Goedel-LM/Goedel-Prover-SFT
7B • Updated • 1.48k • 32
Edit Models filters
Showing models from
Tasks
Parameters
Inference Providers
Hardware
Models
9
Active filters: Goedel-LM
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
33B • Updated • 16 • 1
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
33B • Updated • 15
Goedel-LM/Goedel-Prover-DPO
7B • Updated • 14 • 4
Goedel-LM/Goedel-Prover-V2-32B
Text Generation • 33B • Updated • 3.22k • • 75
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 2.34k • • 27
Goedel-LM/Goedel-Formalizer-V2-32B
33B • Updated • 32 • 9
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 230 • 6
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 61 • 11