Hugging Face model: formalmathatepfl/deepseek-prover-v2-grpo-800
Author: formalmathatepfl
Created: 2026-05-22 01:12:36
Last modified: 2026-05-22 01:15:14
Pipeline: reinforcement-learning
Library: transformers
Likes: 0 | Downloads: 27
Tags: transformers, safetensors, llama, text-generation, theorem-proving, lean, math, grpo, reinforcement-learning, base_model:formalmathatepfl/deepseek-prover-v2-cpt-sft-1e, base_model:finetune:formalmathatepfl/deepseek-prover-v2-cpt-sft-1e, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
Card metadata:
library_name: transformers
base_model: formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
tags: theorem-proving, lean, math, grpo, reinforcement-learning