{"id":"86a3fdd4-df79-42bf-b498-ebcd79ce1ea2","slug":"hf-model-anonymous-submission-iclr2027-gobble-prover-1-7b-10401z9-1c","name":"Gobble-Prover-1.7B","description":"Hugging Face model anonymous-submission-ICLR2027/Gobble-Prover-1.7B. Task: text generation. Library: transformers. 340 downloads.","capabilities":["transformers","safetensors","qwen3","text-generation","lean4","theorem-proving","conversational","en","base_model:AI-MO/Kimina-Prover-Distill-1.7B","base_model:finetune:AI-MO/Kimina-Prover-Distill-1.7B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:46.329Z"}