Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

linyongver updated a dataset about 21 hours ago

Goedel-LM/MathOlympiadBench

zzzzzhy new activity 1 day ago

Goedel-LM/Goedel-Prover-V2-8B:Update README.md

zzzzzhy new activity 1 day ago

Goedel-LM/Goedel-Prover-V2-32B:Update README.md

View all activity

models 6

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

8B • Updated 1 day ago • 1 • 1

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

33B • Updated 1 day ago • 8

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22 • 50 • 4

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

33B • Updated Apr 22 • 3

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

33B • Updated Apr 22 • 4

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 2.29k • 29

datasets 3

Goedel-LM/MathOlympiadBench

Viewer • Updated about 21 hours ago • 360 • 1

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18 • 1.73M • 483 • 8

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 623 • 12