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
main
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955
/
README.md
Commit History
Update README.md
5685ede
verified
haielab
commited on
Jul 28
Update README.md
03ead27
verified
haielab
commited on
Jul 28
Upload model
e8cc342
verified
haielab
commited on
Jul 28
haielab
commited on
haielab
commited on
haielab
commited on
