Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

zrrr authored a paper 11 days ago

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

zrrr updated a dataset 13 days ago

Goedel-LM/RL_dataset_V2

zrrr updated a dataset 13 days ago

Goedel-LM/SFT_dataset_v2

View all activity

models 8

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

Text Generation • Updated Aug 27, 2025 • 4.97k • 64

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

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

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

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

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

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

Goedel-LM/Goedel-Prover-DPO

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

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

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

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

33B • Updated Apr 22, 2025 • 5

Goedel-LM/Goedel-Prover-SFT

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

datasets 5

Goedel-LM/RL_dataset_V2

Viewer • Updated 13 days ago • 98.6k • 105 • 1

Goedel-LM/SFT_dataset_v2

Viewer • Updated 13 days ago • 1.75M • 1.21k • 29

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 230 • 13

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18, 2025 • 1.73M • 308 • 13

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 365 • 16