Hugging Face model: formalmathatepfl/DeepseekProverV2Finetuned01
Author: formalmathatepfl
Created: 2026-02-24 21:48:03
Last modified: 2026-02-25 09:22:50
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 6
Tags: transformers, safetensors, llama, text-generation, llama-factory, full, generated_from_trainer, conversational, license:other, text-generation-inference, endpoints_compatible, region:us
Card metadata:
library_name: transformers
license: other
base_model: models/DeepSeek-Prover-V2-7B-CPT
tags: llama-factory, full, generated_from_trainer