{"id":"d0872aaa-6d7e-48d2-a4da-efd826fde539","slug":"hf-model-typeof-morph-prover-v0-7b-sharded-1iekvan-x","name":"morph-prover-v0-7b-sharded","description":"Hugging Face model typeof/morph-prover-v0-7b-sharded. Task: text generation. Library: transformers. 18 downloads.","capabilities":["transformers","safetensors","mistral","text-generation","math","lean","en","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":32.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:40:13.616Z"}