Model · Hugging Face
viai957/proofforge-goedel8b-sft-lora-e2e-smoke
| Author / organization | viai957 |
|---|---|
| License (as declared) | apache-2.0 |
| Downloads | 0 (as reported by Hugging Face) |
| Likes | 0 |
| Library | peft |
| Created | 27 October 2026 |
| Last updated at source | — |
Connected in the knowledge graph
- Goedel-LM/Goedel-Prover-V2-8BModel · trained on
- Goedel-LM/Goedel-Pset-v1Dataset · trained on
Recent changes
- 27 Oct 2026 License: none → apache-2.0
- 27 Oct 2026 Topics added peft, safetensors, lean4, theorem-proving, proofforge, lora, smoke-test, dataset:Goedel-LM/Goedel-Pset-v1
Changes detected by Silytics between refreshes of the source.
More from viai957
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 27 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.