DeepSeek/DeepSeek-Prover-V2
1
0
Fork 0
mirror of https://github.com/deepseek-ai/DeepSeek-Prover-V2 synced 2025-06-26 18:16:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix: correct typo README.md

Browse Source
This commit is contained in:
Sergiu 2025-05-01 00:19:53 +08:00
parent 36acbf5d6d
commit e05171255c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -70,7 +70,7 @@ We introduce DeepSeek-Prover-V2, an open-source large language model designed fo
## 3. ProverBench: Formalization of AIME and Textbook Problems
we introduce ProverBench, a benchmark dataset comprising 325 problems. Of these, 15 are formalized from number theory and algebra questions featured in the recent AIME competitions (AIME 24 and 25), offering authentic high-school competition-level challenges. The remaining 310 problems are drawn from curated textbook examples and educational tutorials, contributing a diverse and pedagogically grounded collection of formalized mathematical problems. This benchmark is designed to enable more comprehensive evaluation across both high-school competition problems and undergraduate-level mathematics.
We introduce ProverBench, a benchmark dataset comprising 325 problems. Of these, 15 are formalized from number theory and algebra questions featured in the recent AIME competitions (AIME 24 and 25), offering authentic high-school competition-level challenges. The remaining 310 problems are drawn from curated textbook examples and educational tutorials, contributing a diverse and pedagogically grounded collection of formalized mathematical problems. This benchmark is designed to enable more comprehensive evaluation across both high-school competition problems and undergraduate-level mathematics.
<div align="center">