AI-MO/CombiBench
收藏Hugging Face2025-07-13 更新2025-05-31 收录
下载链接：
https://hf-mirror.com/datasets/AI-MO/CombiBench
下载链接
链接失效反馈官方服务：
资源简介：
CombiBench是一个基于Lean 4的专注于组合问题的首个基准数据集，包含100个难度和知识水平各异的组合数学问题。该数据集旨在为评估自动化定理证明系统在组合数学方面的能力提供基准。
CombiBench is the first benchmark focused on combinatorial problems based on the formal language Lean 4, including 100 combinatorial mathematics problems of varying difficulty and knowledge levels. It aims to provide a benchmark for evaluating the combinatorial mathematics capabilities of automated theorem proving systems.
提供机构：
AI-MO
