Goedel-LM on Hugging Face: model downloads

Goedel-LM has 9 tracked models, downloaded 8,440 times in the last 30 days and 501,265 times in total. Goedel-LM Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. Goedel-LM/Goedel-Prover-V2-32B 5.2K downloads, text generation
2. Goedel-LM/Goedel-Prover-V2-8B 2.7K downloads, text generation
3. Goedel-LM/Goedel-Prover-SFT 261 downloads, model
4. Goedel-LM/Goedel-Formalizer-V2-8B 229 downloads, model
5. Goedel-LM/Goedel-Code-Prover-8B 57 downloads, model
6. Goedel-LM/Goedel-Formalizer-V2-32B 41 downloads, model
7. Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated 11 downloads, model
8. Goedel-LM/Goedel-Prover-DPO 11 downloads, model
9. Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated 8 downloads, model