{"id":"000a957d-15fb-4607-8116-8942db44ef89","slug":"hf-model-vladshash-deepseek-math-7b-lean-prover-dpo-olmo-3-ue02ib-1d","name":"deepseek-math-7b-lean-prover-dpo-olmo-3","description":"Hugging Face model VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3. Task: text generation. Library: transformers. 60 downloads. 4 likes.","capabilities":["transformers","safetensors","llama","text-generation","generated_from_trainer","trl","dpo","conversational","arxiv:2305.18290","base_model:formalmathatepfl/deepseek-math-7B-finetuned","base_model:finetune:formalmathatepfl/deepseek-math-7B-finetuned","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":35.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:57.261Z"}