{"id":"574fe273-f735-43d3-9f3b-82fffa84ff7a","slug":"hf-model-vladshash-deepseek-math-full-7b-lean-prover-dpo-mistral-1rufvq0-1j","name":"deepseek-math-full-7B-lean-prover-dpo-mistral","description":"Hugging Face model VladShash/deepseek-math-full-7B-lean-prover-dpo-mistral. Task: text generation. Library: transformers. 26 downloads.","capabilities":["transformers","safetensors","llama","text-generation","conversational","arxiv:1910.09700","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:03.928Z"}