Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
RickyDeSkywalker
/
GAR_DeepSeek-Prover-V2
like
0
Text Generation
Transformers
Safetensors
llama
math
lean
theorem-proving
reinforcement-learning
conversational
text-generation-inference
arxiv:
2510.11769
License:
mit
Model card
Files
Files and versions
xet
Community
1
Deploy
Use this model
main
GAR_DeepSeek-Prover-V2
/
model-00002-of-00004.safetensors
Commit History
Upload folder using huggingface_hub
904c1b7
verified
RickyDeSkywalker
commited on
Mar 1
RickyDeSkywalker commited on 