{"id":"cba0b1cf-e8be-4b2c-85b0-cfd1dd73f87e","slug":"hf-model-uw-math-ai-gapril-wo-exp-8y1j58-o","name":"gAPRIL-wo-exp","description":"Hugging Face model uw-math-ai/gAPRIL-wo-exp. Task: text generation. Library: transformers. 37 downloads. 1 likes.","capabilities":["transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/APRIL","arxiv:2602.02990","base_model:Goedel-LM/Goedel-Prover-V2-8B","base_model:finetune:Goedel-LM/Goedel-Prover-V2-8B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:26.589Z"}