Hugging Face's logo

RickyDeSkywalker
/
GAR_DeepSeek-Prover-V2

Text Generation
Transformers
Safetensors
llama
math
lean
theorem-proving
reinforcement-learning
conversational
text-generation-inference
Model card Files
xet
 Community
1
GAR_DeepSeek-Prover-V2

Commit History

Update model card with metadata, paper link and GitHub repository (#1)
af0b449

RickyDeSkywalker nielsr HF Staff commited on

Upload folder using huggingface_hub
904c1b7
verified

RickyDeSkywalker commited on