Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2
like
0
Text Generation
Transformers
Safetensors
PEFT
English
code
lora
causal-lm
theorem-proving
stp
flash-attn-2
bf16
conversational
Model card
Files
Files and versions
xet
Community
Train
Deploy
Use this model
main
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2
/
tokenizer.json
haielab
Upload tokenizer
381180d
verified
4 months ago
raw
Copy download link
history
contribute
delete
Safe
7.5 MB
File too large to display, you can
check the raw version
instead.