{"id":"aead8142-e551-4501-8494-647e78448f54","slug":"hf-model-rickydeskywalker-gar-goedel-prover-v2-1mdrz6f-11","name":"GAR_Goedel-Prover-V2","description":"Hugging Face model RickyDeSkywalker/GAR_Goedel-Prover-V2. Task: text generation. Library: transformers. 27 downloads.","capabilities":["transformers","safetensors","qwen3","text-generation","conversational","arxiv:2510.11769","base_model:Goedel-LM/Goedel-Prover-V2-8B","base_model:finetune:Goedel-LM/Goedel-Prover-V2-8B","license:mit","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:56.296Z"}