Hugging Face model: VladShash/deepseek-math-7B-lean-prover-grpo-olmo-weighed
Author: VladShash
Created: 2026-04-27 12:14:49
Last modified: 2026-05-02 04:45:12
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 18
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-grpo-olmo-weighed
tags: generated_from_trainer, trl, dpo
licence: license