Hugging Face model: VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3
Author: VladShash
Created: 2026-03-31 11:12:18
Last modified: 2026-04-13 07:22:11
Pipeline: text-generation
Library: transformers
Likes: 4 | Downloads: 20
Tags: 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, region:us
Base model relation: finetune
Base models: id: formalmathatepfl/deepseek-math-7B-finetuned
Card metadata:
base_model: formalmathatepfl/deepseek-math-7B-finetuned
library_name: transformers
model_name: olmo-3-7b-lean-prover-dpo
tags: generated_from_trainer, trl, dpo
licence: license