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 Community
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955
  • 1 contributor
 History: 6 commits
haielab's picture
haielab
Update README.md
5685ede verified