Hugging Face's logo

RickyDeSkywalker
/
GAR_Goedel-Prover-V2

Text Generation
Transformers
Safetensors
qwen3
conversational
text-generation-inference
Model card Files
xet
Community
1
GAR_Goedel-Prover-V2
32.8 GB
  • 2 contributors
 History: 5 commits
RickyDeSkywalker's picture
RickyDeSkywalker
nielsr's picture
nielsr HF Staff
Improve model card metadata and add paper link (#1)
e2912f9