{"id":"952f10a8-ed88-40c2-a12f-a4a0d3ce04a9","slug":"hf-model-uw-math-ai-gapril-w-exp-nwr5jx-n","name":"gAPRIL-w-exp","description":"Hugging Face model uw-math-ai/gAPRIL-w-exp. Task: text generation. Library: transformers. 36 downloads. 2 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:28.408Z"}