Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

Bohan22 new activity 7 days ago

Goedel-LM/Goedel-Formalizer-V2-32B:Improve model card: Add title, paper link, project page, library name, pipeline tag and citation

Bohan22 new activity 7 days ago

Goedel-LM/Goedel-Formalizer-V2-32B:Improve model card: Add title, paper link, project page, library name, pipeline tag and citation

redpig-at-imo authored a paper 3 months ago

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

View all activity

models 8

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • 33B • Updated Aug 27 • 35.5k • 60

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9 • 7.14k • 19

Goedel-LM/Goedel-Formalizer-V2-32B

33B • Updated Jul 22 • 198 • 8

Goedel-LM/Goedel-Formalizer-V2-8B

8B • Updated Jul 20 • 1.21k • 4

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22 • 6 • 4

Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated

33B • Updated Apr 22 • 12 • 1

Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated

33B • Updated Apr 22 • 5

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 70 • 28

datasets 3

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6 • 360 • 121 • 12

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18 • 1.73M • 400 • 13

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 391 • 14