Hugging Face model: RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Author: RickyDeSkywalker
Created: 2026-03-01 04:38:53
Last modified: 2026-03-04 05:19:44
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 101
Tags: transformers, safetensors, llama, text-generation, math, lean, theorem-proving, reinforcement-learning, conversational, arxiv:2510.11769, base_model:deepseek-ai/DeepSeek-Prover-V2-7B, base_model:finetune:deepseek-ai/DeepSeek-Prover-V2-7B, license:mit, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: deepseek-ai/DeepSeek-Prover-V2-7B
Card metadata:
base_model: deepseek-ai/DeepSeek-Prover-V2-7B
license: mit
library_name: transformers
pipeline_tag: text-generation
tags: math, lean, theorem-proving, reinforcement-learning