Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955
like
0
Text Generation
PEFT
Safetensors
lora
trl-sft
mathematics
conjecture-proving
flash-attention-2
conversational
Model card
Files
Files and versions
xet
Community
Use this model
haielab
commited on
Jul 28
Commit
68a6d54
·
verified
·
1 Parent(s):
a92daae
Upload loss_curve.png
Browse files
Files changed (1)
hide
show
loss_curve.png
+0
-0
loss_curve.png
ADDED
Viewed