Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

linyongver published a model 1 day ago

Goedel-LM/Goedel-Prover-DPO

linyongver published a model 1 day ago

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

linyongver updated a model 1 day ago

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

View all activity

models 4

Goedel-LM/Goedel-Prover-DPO

Updated 1 day ago • 1

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

Updated 1 day ago

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

Updated 1 day ago • 5

Goedel-LM/Goedel-Prover-SFT

Updated 2 days ago • 16.7k • 27

datasets 3

Goedel-LM/Goedel-Pset-v1-solved

Viewer • Updated 1 day ago • 2.55M • 40

Goedel-LM/Goedel-Pset-v1

Viewer • Updated 2 days ago • 1.73M • 77 • 6

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 28 days ago • 29.8k • 509 • 8