Hugging Face model: haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955
Author: haielab
Created: 2025-07-25 09:24:25
Last modified: 2025-07-28 18:04:25
Pipeline: text-generation
Library: peft
Likes: 0 | Downloads: 1
Tags: peft, safetensors, lora, trl-sft, mathematics, conjecture-proving, flash-attention-2, text-generation, conversational, base_model:deepseek-ai/DeepSeek-Prover-V2-7B, base_model:adapter:deepseek-ai/DeepSeek-Prover-V2-7B, region:us
Base model relation: adapter
Base models: id: deepseek-ai/DeepSeek-Prover-V2-7B
Card metadata:
base_model: deepseek-ai/DeepSeek-Prover-V2-7B
library_name: peft
pipeline_tag: text-generation
tags: lora, trl-sft, mathematics, conjecture-proving, flash-attention-2