arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-08-22 至 2025-08-22 共收录 1 信号源:cs.CL, cs.AI, cs.LG

1. 代码与定理证明 1 篇

2508.14927 2025-08-22 cs.GT cs.AI 57%

AI Testing Should Account for Sophisticated Strategic Behaviour

Vojtech Kovarik, Eric Olav Chen, Sami Petersen, Alexis Ghersengorin, Vincent Conitzer

机构 * Department of Computer Science(计算机科学系) Czech Technical University Prague(捷克技术大学布拉格) Global Priorities Institute(全球优先研究所) University of Oxford(牛津大学) Foundations of Cooperative AI Lab(合作人工智能基础实验室) Carnegie Mellon University(卡内基梅隆大学)

专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI

详情

展开后加载摘要…

URL PDF HTML 收藏