FIMO
收藏数据链接：
官方服务：
资源简介：
一个包含国际数学奥林匹克(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
搜集汇总
数据集介绍
背景与挑战
背景概述
FIMO是一个包含国际数学奥林匹克(IMO)短选问题的正式数学问题陈述的创新数据集。其核心目的是促进IMO级别的先进自动定理证明，专注于高难度数学问题的自动化处理。
以上内容由遇见数据集搜集并总结生成
