Hugging Face model: haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2
Author: haielab
Created: 2025-07-19 01:52:31
Last modified: 2025-07-22 03:15:38
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, lora, peft, causal-lm, theorem-proving, stp, flash-attn-2, bf16, text-generation, conversational, en, code, base_model:kfdong/STP_model_Lean_0320, base_model:adapter:kfdong/STP_model_Lean_0320, endpoints_compatible, region:us
Base model relation: adapter
Base models: id: kfdong/STP_model_Lean_0320
Card metadata:
library_name: transformers
pipeline_tag: text-generation
language: en, code
base_model: kfdong/STP_model_Lean_0320
metrics: train_loss, eval_loss
tags: lora, peft, causal-lm, theorem-proving, stp, flash-attn-2, bf16
new_version: v1.0