INSAIT-Institute/OPC
收藏Hugging Face2025-07-15 更新2025-07-05 收录
下载链接：
https://hf-mirror.com/datasets/INSAIT-Institute/OPC
下载链接
链接失效反馈官方服务：
资源简介：
Open Proof Corpus (OPC)是一个大规模的、开源的人类验证的数学问题解决方案数据集。它包含了超过5000个人类验证的解决方案，涵盖了1000多个来自20多个国家和国际数学竞赛的问题。每个解决方案都由一个或两个人类评委进行了正确性评估，并提供了评分和反馈。
The Open Proof Corpus (OPC) is a large-scale, open-source dataset of human-verified solutions to advanced mathematics problems. It contains over 5,000 human-verified samples spanning more than 1,000 problems from over 20 national and international math competitions. Each solution is evaluated for correctness by one or two human judges, along with scores and feedback provided.
提供机构：
INSAIT-Institute
