Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 93 • 8
Goedel-LM
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
Goedel-LM/Goedel-Prover-V2-32B
Text Generation • Updated • 3.72k • 65
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 4.64k • 26
Goedel-LM/Goedel-Formalizer-V2-32B
33B • Updated • 172 • 8
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 679 • 7
Goedel-LM/Goedel-Prover-DPO
7B • Updated • 2 • 4
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
33B • Updated • 18 • 1
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
33B • Updated • 13
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 984 • 28