Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 75 • 11
Goedel-LM
university
AI & ML interests
None defined yet.
Goedel-LM/Goedel-Prover-V2-32B
Text Generation • 33B • Updated • 63.4k • • 73
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 10.2k • • 27
Goedel-LM/Goedel-Formalizer-V2-32B
33B • Updated • 29 • 9
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 252 • 6
Goedel-LM/Goedel-Prover-DPO
7B • Updated • 11 • 4
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
33B • Updated • 14 • 1
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
33B • Updated • 11
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 352 • 31