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
Edit Datasets filters
Main
Tasks
Libraries
Languages
Licenses
Other
1
Reset Other
software-engineering
art
Synthetic
medical
code
biology
finance
legal
chemistry
agent
music
climate
Apply filters
Datasets
44
Full-text search
Edit filters
Sort: Trending
Active filters:
mathlib
Clear all
openbmb/MA-ProofBench
Viewer
•
Updated
3 days ago
•
200
•
192
•
6
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer
•
Updated
about 1 month ago
•
311k
•
94
•
1
uw-math-ai/Math2Vec-embedding-dataset
Preview
•
Updated
20 days ago
•
111
•
1
phanerozoic/Lean4-Mathlib
Viewer
•
Updated
8 days ago
•
232k
•
125
•
2
ChristianZ97/minif2f_test-AlphaRenamed
Viewer
•
Updated
Jan 27
•
244
•
7
MathNetwork/MathlibGraph
Preview
•
Updated
Apr 6
•
991
7rouz/lean4
Viewer
•
Updated
Feb 10
•
1
•
12
banach1729/goedel-workbook-lean427
Updated
Mar 22
•
1.19k
SJCaldwell/proofjudge
Viewer
•
Updated
Mar 29
•
200
•
21
•
1
adeo1/mathlib_informal_v4.28.0
Viewer
•
Updated
Apr 16
•
183k
•
27
•
1
adamtopaz/mathlib_const_deps
Viewer
•
Updated
Mar 27
•
733k
•
112
SJCaldwell/proofjudge-eval-traces
Viewer
•
Updated
Mar 29
•
2.71k
•
54
mathlib-initiative/mathlib-const-dep
Viewer
•
Updated
20 days ago
•
766k
•
998
mathlib-initiative/mathlib-tactics
Viewer
•
Updated
20 days ago
•
1.91M
•
1.63k
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer
•
Updated
Apr 28
•
10.8k
•
255
ChristianZ97/NuminaMath-LEAN-satp
Viewer
•
Updated
Apr 28
•
81.1k
•
268
ChristianZ97/minif2f-satp
Viewer
•
Updated
Apr 28
•
488
•
338
ChristianZ97/NuminaMath-LEAN-satp-buffer-discard
Viewer
•
Updated
Apr 28
•
12.6k
•
22
mathlib-initiative/mathlib-types
Viewer
•
Updated
20 days ago
•
766k
•
827
leanpolish-anon/lean-proof-compression
Viewer
•
Updated
May 6
•
99k
•
393
•
2
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer
•
Updated
May 7
•
47k
•
30
1337xyz1337xyz/leandojo-benchmark4-v10
Viewer
•
Updated
May 1
•
251k
•
128
anon-mlib-d3a4/MathlibGraph
Preview
•
Updated
May 6
•
119
scicraft/LeanCat
Viewer
•
Updated
May 4
•
100
•
108
MathlibPR/MathlibPR
Viewer
•
Updated
May 6
•
57.4k
•
195
taoanalysisbench/TaoAnalysisBench
Updated
May 7
•
99
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated
about 1 month ago
•
321
uw-math-ai/grothendieck-vanishing-logs
Viewer
•
Updated
27 days ago
•
53.7k
•
189
adeo1/mathlib_informal_v4.15.0
Viewer
•
Updated
24 days ago
•
170k
•
41
adeo1/mathlib_informal_v4.24.0
Viewer
•
Updated
24 days ago
•
190k
•
42
Previous
1
2
Next