Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

Bohan22 new activity about 2 months 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 about 2 months 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 4 months ago

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

View all activity

Goedel-LM 's models 8

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

Text Generation • 33B • Updated Aug 27, 2025 • 5.75k • 62

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

Text Generation • 8B • Updated Aug 9, 2025 • 3.05k • 22

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

33B • Updated Jul 22, 2025 • 107 • 7

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

8B • Updated Jul 20, 2025 • 371 • 5

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22, 2025 • 3 • 4

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

33B • Updated Apr 22, 2025 • 2 • 1

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

33B • Updated Apr 22, 2025 • 2

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18, 2025 • 2.43k • 28

Goedel-LM (Goedel-LM)

Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

Bohan22 new activity about 2 months 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 about 2 months 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 4 months ago

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

View all activity

Goedel-LM 's models 8

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

Text Generation • 33B • Updated Aug 27, 2025 • 5.75k • 62

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

Text Generation • 8B • Updated Aug 9, 2025 • 3.05k • 22

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

33B • Updated Jul 22, 2025 • 107 • 7

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

8B • Updated Jul 20, 2025 • 371 • 5

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22, 2025 • 3 • 4

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

33B • Updated Apr 22, 2025 • 2 • 1

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

33B • Updated Apr 22, 2025 • 2

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18, 2025 • 2.43k • 28