Hugging Face's logo

haielab
/
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955

Text Generation
PEFT
Safetensors
lora
trl-sft
mathematics
conjecture-proving
flash-attention-2
conversational
Model card Files
xet
Community
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955
3.51 GB
  • 1 contributor
 History: 6 commits
haielab's picture
haielab
Update README.md
5685ede verified