Goedel-Prover-V2-32B
Goedel-LM/Goedel-Prover-V2-32BContent controls: not assessed.
Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers
Enthaltene Dateien
21 hosted of 25 listed
Über dieses Modell
External Hugging Face catalog record for Goedel-LM/Goedel-Prover-V2-32B. Task: text generation. Library: transformers. Popularity signal at import: 31,744 downloads and 74 likes.
Kurzinfo
- Parameters
- 32B
- Hosted here
- 21 hosted of 25 listed
- Full repo upstream
- 65.5 GB
- Format
- safetensors
- Downloads on Hugging Face
- 10,587
- File hashes
- Hashes recorded. Date not recorded.
Lizenz und Quelle
License: apache-2.0
Check the license text and keep the required notices when you use or share the files.
Upstream source →- Task
- text generation
- Hosted here
- at least 21 listed files; full count and size unknown
- Full repo upstream
- 65.5 GB
- Parameters
- 32B
- Files
- 21 hosted of 25 listed
- Download
- Download here (21 hosted files)
- Added to Hugging Bay
- Updated at source
FAQ
What is this model?
Goedel-LM/Goedel-Prover-V2-32B is an open-weights language model for text generation published by Goedel-LM, added to Hugging Bay Jun 29, 2026. Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers
Can I use it commercially?
It is released under the apache-2.0 license. Commercial use is allowed. Permissive open license: commercial use, modification, and redistribution are permitted.
How big is it?
Goedel-LM/Goedel-Prover-V2-32B has 32B parameters. Hosted here: at least 21 listed files; full count and size unknown. Full repo upstream: 65.5 GB.
What can I download here?
Hosted here: at least 21 listed files; full count and size unknown. Full repo upstream: 65.5 GB. The original release is at https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B.
File checks and computer fit
File pattern scans
Automated file-pattern scans flagged nothing; not a safety guarantee. 21 hosted files carry a published SHA-256 you can re-hash. The machine-readable verdict is at /api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/safety on Hugging Bay.
Will Goedel-LM/Goedel-Prover-V2-32B run on my computer?
We can’t check the fit; we don’t know your machine. We don’t have your machine’s specs, so no check ran and no verdict is shown. Answer two quick questions and we’ll estimate, from the memory you tell us, whether it fits your machine. Or skip it; you can still download; fit isn’t checked.