AI EVALUATION, IN CONTEXT.BY EQUALITY MACHINE

OpenCompass Hub

CombiBench

CombiBench是一个包含100个组合问题的综合基准测试，每个问题都用Lean4进行了形式化，并附有其对应的非形式化表述。这些问题涵盖了从中学生到国际数学奥林匹克竞赛（IMO）以及大学水平的广泛难度范围。

评测信息与证据

来源: OpenCompass Hub
发布者: AMSS, SYSU, Moonshot AI, Numina
评测发布日期: 2025-04-28
采集日期: 2026-08-18
模态: 未收录

本站保留来源报告的结果，不代表独立复测。请先核对任务版本、评测协议、分数单位和报告日期；不同运行条件不能直接合并为统一排名。

原始资料

报告成绩 0

本来源记录尚未收录数值成绩。这不表示模型得分为零，也不表示该评测没有公开成绩；请查阅原始资料。