Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config
like
0
Text Generation
Transformers
Safetensors
PEFT
stp_lean_conversations
English
code
lora
causal-lm
theorem-proving
deepseek
flash-attn-2
bf16
conversational
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config
/
special_tokens_map.json
Commit History
Upload tokenizer
ac08942
verified
haielab
commited on
Jul 15
haielab
commited on
