Hugging Face model: VladShash/deepseek-math-7B-lean-prover-dpo-mistral
Author: VladShash
Created: 2026-05-03 05:12:03
Last modified: 2026-05-04 20:25:21
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 15
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: deepseek-math-7B-lean-prover-dpo-mistral
tags: generated_from_trainer, trl, dpo
licence: license