├── DeepSeek_Prover_V2.pdf ├── LICENSE-MODEL ├── README.md ├── figures └── performance.png └── minif2f-solutions.zip /DeepSeek_Prover_V2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/deepseek-ai/DeepSeek-Prover-V2/HEAD/DeepSeek_Prover_V2.pdf -------------------------------------------------------------------------------- /LICENSE-MODEL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/deepseek-ai/DeepSeek-Prover-V2/HEAD/LICENSE-MODEL -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/deepseek-ai/DeepSeek-Prover-V2/HEAD/README.md -------------------------------------------------------------------------------- /figures/performance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/deepseek-ai/DeepSeek-Prover-V2/HEAD/figures/performance.png -------------------------------------------------------------------------------- /minif2f-solutions.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/deepseek-ai/DeepSeek-Prover-V2/HEAD/minif2f-solutions.zip --------------------------------------------------------------------------------