Model: haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config
Author: haielab
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, lora, peft, causal-lm, theorem-proving, deepseek, flash-attn-2, bf16, text-generation, conversational, en, code, dataset:stp_lean_conversations, base_model:deepseek-ai/DeepSeek-Prover-V2-7B, base_model:adapter:deepseek-ai/DeepSeek-Prover-V2-7B, endpoints_compatible, region:us
Base models (adapter): id: deepseek-ai/DeepSeek-Prover-V2-7B
Card metadata: library_name: transformers
pipeline_tag: text-generation
language: en, code
base_model: deepseek-ai/DeepSeek-Prover-V2-7B
datasets: stp_lean_conversations
metrics: train_loss, eval_loss
tags: lora, peft, causal-lm, theorem-proving, deepseek, flash-attn-2, bf16
new_version: v1.0
Likes: 0 | All-time downloads: 0
Created: 2025-07-13 17:51:17