AI圈报
论文研究普通

上海 AI 实验室发布 AdvancedMathBench:面向高等数学证明生成与验证的基准套件

信息来源:上海人工智能实验室 InternLM:原创项目·
原始标题:InternLM/AdvancedMathBench

内容摘要

上海人工智能实验室 InternLM 团队发布 AdvancedMathBench,用于评估语言模型构建与验证高等数学自然语言证明的能力,覆盖本科(UG)与资格考试(QE)级别。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源上海人工智能实验室 InternLM:原创项目
站内情报编号intel-5e65417df0de414897eb2d23