{"id":"1733f845-8bc8-4c28-8989-d697aad54d3a","slug":"hf-model-vladshash-deepseek-math-7b-lean-prover-dpo-300k-mistral-150k-olmo-o6yvw5-1t","name":"deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo","description":"Hugging Face model VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo. Task: text generation. Library: transformers. 29 downloads.","capabilities":["transformers","safetensors","llama","text-generation","conversational","arxiv:1910.09700","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:47.975Z"}