Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

zzzzzhy updated a model 3 days ago

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

zzzzzhy updated a model 3 days ago

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

Bohan22 authored a paper 6 days ago

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

View all activity

models 8

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

Text Generation • 8B • Updated 3 days ago • 7.51k • 7

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

Text Generation • 33B • Updated 3 days ago • 2.49k • 29

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

33B • Updated 22 days ago • 91 • 3

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

8B • Updated 23 days ago • 79 • 1

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22 • 26 • 4

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

33B • Updated Apr 22 • 6 • 1

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

33B • Updated Apr 22 • 4

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 4.58k • 29

datasets 3

Goedel-LM/MathOlympiadBench

Viewer • Updated 6 days ago • 360 • 460 • 7

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18 • 1.73M • 361 • 9

Goedel-LM/Lean-workbook-proofs

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