Goedel-LM

university

https://github.com/Goedel-LM

AI & ML interests

None defined yet.

Recent Activity

shangetang updated a model 11 days ago

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

zzzzzhy updated a model 29 days ago

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

zzzzzhy updated a model 29 days ago

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

View all activity

Goedel-LM 's models 8

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

Text Generation • 33B • Updated 11 days ago • 5.64k • 39

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

Text Generation • 8B • Updated 29 days ago • 7.02k • 15

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

33B • Updated Jul 22 • 160 • 4

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

8B • Updated Jul 20 • 115 • 2

Goedel-LM/Goedel-Prover-DPO

7B • Updated Apr 22 • 6 • 4

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

33B • Updated Apr 22 • 38 • 1

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

33B • Updated Apr 22 • 26

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 1.28k • 29