FIMO
收藏arXiv2023-12-05 更新2024-08-06 收录
下载链接：
http://arxiv.org/abs/2309.04295v2
下载链接
链接失效反馈官方服务：
资源简介：
一个包含国际数学奥林匹克(IMO)短选问题的正式数学问题陈述的创新数据集，旨在促进IMO级别的先进自动定理证明。
An innovative dataset comprising formal mathematical problem statements of the shortlisted problems from the International Mathematical Olympiad (IMO), aimed at advancing advanced automated theorem proving at the IMO level.
创建时间：
2023-09-08
