ExamFormal-Bench

我们推出ExamFormal-Bench，这是一个用于形式化证明生成的基准测试集。它始于一个大规模题库，该题库通过人工OCR处理，收集了中学、高中和本科各学术阶段的考试及竞赛题目。这些题目被系统地分类到一个结构化知识体系中，包括分析学、几何学、代数学、概率论与数理统计、计算数学和离散数学。完整的题库通过从上述每个顶级类别中抽取题目构建而成。最终的测试集包含402道题目。

信息

语言： Lean4

内容： id, natural_language, formal_statement

许可协议

ExamFormal-Bench基于Apache 2.0许可协议发布。