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
FrenzyMath
university
frenzymath
Activity Feed
Request to join this org
Follow
29
AI & ML interests
None defined yet.
Recent Activity
Al2S3
Â
updated
a dataset
3 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Al2S3
Â
updated
a dataset
3 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
anabelian
Â
updated
a dataset
6 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
View all activity
Team members
12
FrenzyMath
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Articles
Al2S3
Â
updated
2 datasets
3 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated
3 days ago
•
49
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer
•
Updated
3 days ago
•
311k
•
92
anabelian
Â
updated
a dataset
6 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer
•
Updated
3 days ago
•
311k
•
92
anabelian
Â
published
a dataset
6 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer
•
Updated
3 days ago
•
311k
•
92
anabelian
Â
updated
a dataset
6 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated
3 days ago
•
49
anabelian
Â
published
a dataset
6 days ago
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated
3 days ago
•
49
tonyxty
Â
updated
a dataset
8 months ago
FrenzyMath/mathlib_informal_v4.19.0
Viewer
•
Updated
Sep 19, 2025
•
218k
•
248
•
3
tonyxty
Â
published
a dataset
8 months ago
FrenzyMath/mathlib_informal_v4.19.0
Viewer
•
Updated
Sep 19, 2025
•
218k
•
248
•
3
simon2011
Â
published
a dataset
10 months ago
FrenzyMath/state_tactic_pairs
Viewer
•
Updated
Jul 11, 2025
•
56.4k
•
41
•
1
simon2011
Â
published
3 models
10 months ago
FrenzyMath/REAL-Prover
Text Generation
•
8B
•
Updated
Jul 17, 2025
•
23
FrenzyMath/LeanSearch-PS-faiss
Updated
Jul 2, 2025
•
1
FrenzyMath/LeanSearch-PS
Updated
Jul 2, 2025
•
15
mmtke
Â
updated
a model
10 months ago
FrenzyMath/REAL-Prover
Text Generation
•
8B
•
Updated
Jul 17, 2025
•
23
mmtke
Â
updated
a dataset
10 months ago
FrenzyMath/state_tactic_pairs
Viewer
•
Updated
Jul 11, 2025
•
56.4k
•
41
•
1
simon2011
Â
updated
2 models
11 months ago
FrenzyMath/LeanSearch-PS-faiss
Updated
Jul 2, 2025
•
1
FrenzyMath/LeanSearch-PS
Updated
Jul 2, 2025
•
15
jjdishere
Â
updated
2 datasets
about 1 year ago
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13, 2025
•
44.6k
•
172
•
4
FrenzyMath/Herald_statements
Viewer
•
Updated
May 13, 2025
•
580k
•
41
•
2
jjdishere
Â
updated
a model
about 1 year ago
FrenzyMath/Herald_translator
Text Generation
•
7B
•
Updated
May 13, 2025
•
60
•
4
tonyxty
Â
updated
a dataset
about 1 year ago
FrenzyMath/mathlib_informal_v4.16.0
Viewer
•
Updated
May 4, 2025
•
188k
•
167
•
6
Load more