Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
university
frenzymath
Activity Feed
Request to join this org
Follow
25
AI & ML interests
None defined yet.
Team members
11
FrenzyMath
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Articles
tonyxty
Â
updated
a dataset
3 months ago
FrenzyMath/mathlib_informal_v4.19.0
Viewer
•
Updated
Sep 19
•
218k
•
108
•
2
tonyxty
Â
published
a dataset
3 months ago
FrenzyMath/mathlib_informal_v4.19.0
Viewer
•
Updated
Sep 19
•
218k
•
108
•
2
simon2011
Â
published
a dataset
5 months ago
FrenzyMath/state_tactic_pairs
Viewer
•
Updated
Jul 11
•
56.4k
•
91
simon2011
Â
published
3 models
5 months ago
FrenzyMath/REAL-Prover
Text Generation
•
8B
•
Updated
Jul 17
•
20.3k
FrenzyMath/LeanSearch-PS-faiss
Updated
Jul 2
•
1
FrenzyMath/LeanSearch-PS
Updated
Jul 2
•
92
mmtke
Â
updated
a model
5 months ago
FrenzyMath/REAL-Prover
Text Generation
•
8B
•
Updated
Jul 17
•
20.3k
mmtke
Â
updated
a dataset
6 months ago
FrenzyMath/state_tactic_pairs
Viewer
•
Updated
Jul 11
•
56.4k
•
91
simon2011
Â
updated
2 models
6 months ago
FrenzyMath/LeanSearch-PS-faiss
Updated
Jul 2
•
1
FrenzyMath/LeanSearch-PS
Updated
Jul 2
•
92
jjdishere
Â
updated
2 datasets
8 months ago
FrenzyMath/Herald_proofs
Viewer
•
Updated
May 13
•
44.6k
•
176
•
2
FrenzyMath/Herald_statements
Viewer
•
Updated
May 13
•
580k
•
222
•
1
jjdishere
Â
updated
a model
8 months ago
FrenzyMath/Herald_translator
Text Generation
•
7B
•
Updated
May 13
•
252
•
2
tonyxty
Â
updated
a dataset
8 months ago
FrenzyMath/mathlib_informal_v4.16.0
Viewer
•
Updated
May 4
•
188k
•
517
•
5
tonyxty
Â
published
a dataset
9 months ago
FrenzyMath/mathlib_informal_v4.16.0
Viewer
•
Updated
May 4
•
188k
•
517
•
5
IkuyoIkuyo
Â
updated
a model
10 months ago
FrenzyMath/Herald_translator
Text Generation
•
7B
•
Updated
May 13
•
252
•
2
Slashblade
Â
updated
a model
10 months ago
FrenzyMath/Herald_translator
Text Generation
•
7B
•
Updated
May 13
•
252
•
2
Slashblade
Â
published
a model
10 months ago
FrenzyMath/Herald_translator
Text Generation
•
7B
•
Updated
May 13
•
252
•
2
IkuyoIkuyo
Â
updated
a Space
10 months ago
Running
README
🦀
IkuyoIkuyo
Â
published
a Space
10 months ago
Running
README
🦀