Mizar Problems
收藏arXiv2025-09-30 收录
下载链接：
http://grid01.ciirc.cvut.cz/~mptp/00proved_20210902
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个全面收集了由自动定理证明器（ATPs）自动证明的Mizar问题的集合。它包含了超过三百万个证明，并已用于训练各种人工智能/定理证明系统。该数据集不断更新，纳入新的证明和方法。其规模涵盖了43,717个由ATPs证明的问题，任务主要集中在自动定理证明领域。
This dataset is a comprehensive collection of Mizar problems that have been automatically proved by Automated Theorem Provers (ATPs). It contains over three million proofs and has been employed to train various artificial intelligence and theorem proving systems. This dataset is continuously updated with new proofs and methodological advancements. It covers 43,717 ATP-proven problems, with its core tasks primarily focused on the field of automated theorem proving.
提供机构：
AI4Reason
