Goedel-LM
Goedel-LM has 2 public catalog records and 11,042 upstream downloads indexed by Hugging Bay.
- Namespace
- Goedel-LM
- Artifacts
- 2
- Hosted files
- 0
- Downloads
- 11,042
- Goedel-LM/Goedel-Prover-V2-32B Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers apache-2.0
- Goedel-LM/Goedel-Formalizer-V2-8B Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown apache-2.0
Publisher JSON Publisher launch kit Open interactive publisher page
Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs.