Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

zrrr updated a model 5 days ago

Goedel-LM/Goedel-Code-Prover-8B

zrrr published a model 5 days ago

Goedel-LM/Goedel-Code-Prover-8B

zrrr authored a paper 25 days ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

View all activity

Goedel-LM 's models 9

Goedel-LM/Goedel-Code-Prover-8B

8B • Updated 4 days ago • 44 • 6

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

Text Generation • Updated Aug 27, 2025 • 3.48k • 65

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

Text Generation • 8B • Updated Aug 9, 2025 • 4.71k • 26

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

33B • Updated Jul 22, 2025 • 192 • 8

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

8B • Updated Jul 20, 2025 • 678 • 7

Goedel-LM/Goedel-Prover-DPO

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

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

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

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

33B • Updated Apr 22, 2025 • 12

Goedel-LM/Goedel-Prover-SFT

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