Hugging Face model: formalmathatepfl/deepseek-prover-v2-cpt
Author: formalmathatepfl
Created: 2026-05-16 21:13:44
Last modified: 2026-05-16 21:15:38
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 24
Tags: transformers, safetensors, llama, text-generation, llama-factory, full, generated_from_trainer, conversational, base_model:deepseek-ai/DeepSeek-Prover-V2-7B, base_model:finetune:deepseek-ai/DeepSeek-Prover-V2-7B, license:other, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: deepseek-ai/DeepSeek-Prover-V2-7B
Card metadata:
library_name: transformers
license: other
base_model: deepseek-ai/DeepSeek-Prover-V2-7B
tags: llama-factory, full, generated_from_trainer