Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
university
https://github.com/Goedel-LM
Activity Feed
Follow
46
AI & ML interests
None defined yet.
Recent Activity
zzzzzhy
updated
a model
about 6 hours ago
Goedel-LM/Goedel-Prover-V2-8B
zzzzzhy
updated
a model
about 6 hours ago
Goedel-LM/Goedel-Prover-V2-32B
Bohan22
authored
a paper
3 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
View all activity
Team members
8
models
8
Sort: Recently updated
Goedel-LM/Goedel-Prover-V2-8B
Text Generation
•
8B
•
Updated
about 6 hours ago
•
6.95k
•
7
Goedel-LM/Goedel-Prover-V2-32B
Text Generation
•
33B
•
Updated
about 6 hours ago
•
2.14k
•
27
Goedel-LM/Goedel-Formalizer-V2-32B
33B
•
Updated
19 days ago
•
82
•
3
Goedel-LM/Goedel-Formalizer-V2-8B
8B
•
Updated
20 days ago
•
76
•
1
Goedel-LM/Goedel-Prover-DPO
7B
•
Updated
Apr 22
•
30
•
4
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
33B
•
Updated
Apr 22
•
6
•
1
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
33B
•
Updated
Apr 22
•
4
Goedel-LM/Goedel-Prover-SFT
7B
•
Updated
Apr 18
•
4.64k
•
29
datasets
3
Sort: Recently updated
Goedel-LM/MathOlympiadBench
Viewer
•
Updated
3 days ago
•
360
•
412
•
7
Goedel-LM/Goedel-Pset-v1
Viewer
•
Updated
Apr 18
•
1.73M
•
351
•
9
Goedel-LM/Lean-workbook-proofs
Viewer
•
Updated
Mar 24
•
29.8k
•
643
•
12