Hugging Face model: VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo
Author: VladShash
Created: 2026-05-16 13:07:51
Last modified: 2026-05-16 13:09:30
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 9
Tags: transformers, safetensors, llama, text-generation, conversational, arxiv:1910.09700, text-generation-inference, endpoints_compatible, region:us
Card metadata:
library_name: transformers