Hugging Face's logo

haielab
/
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config

Text Generation
Transformers
Safetensors
PEFT
English
code
lora
causal-lm
theorem-proving
deepseek
flash-attn-2
bf16
conversational
Model card Files Community
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config
  • 1 contributor
 History: 7 commits
haielab's picture
haielab
Update README.md
ec92ad7 verified