Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
3
6
30
Hugues de Saxcé
desaxce
Follow
dark-pen's profile picture
GigaBoy's profile picture
hehepig166's profile picture
12 followers
·
3 following
desaxce
AI & ML interests
None yet
Organizations
desaxce
's datasets
2
Sort: Recently updated
desaxce/numinamath-lean-filtered-v2
Viewer
•
Updated
Sep 16, 2025
•
9.42k
•
4
desaxce/filtered-numinamath-lean
Viewer
•
Updated
Sep 14, 2025
•
9.45k
•
23
