Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 1.18k • 11
Goedel-LM
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
models 9
Goedel-LM/Goedel-Prover-V2-32B
Text Generation • Updated • 7.67k • • 69
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 5.08k • • 28
Goedel-LM/Goedel-Formalizer-V2-32B
33B • Updated • 51 • 8
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 58 • 7
Goedel-LM/Goedel-Prover-DPO
7B • Updated • 111 • 4
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
33B • Updated • 7 • 1
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
33B • Updated • 2
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 345 • 30
datasets 5
Goedel-LM/RL_dataset_V2
Viewer • Updated • 98.6k • 348 • 2
Goedel-LM/SFT_dataset_v2
Viewer • Updated • 1.75M • 1.71k • 30
Goedel-LM/MathOlympiadBench
Viewer • Updated • 360 • 153 • 14
Goedel-LM/Goedel-Pset-v1
Viewer • Updated • 1.73M • 364 • 13
Goedel-LM/Lean-workbook-proofs
Viewer • Updated • 29.8k • 269 • 16