The Illusion of Procedural Reasoning: Measuring Long-Horizon FSM Execution in LLMs
专题命中 推理评测 :reasoning(title,abstract);分类 cs.AI
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 推理评测 :reasoning(title,abstract);分类 cs.AI
专题命中 推理评测 :reasoning(title,abstract);分类 cs.AI
Comments 9 pages, 5 figures
专题命中 推理评测 :reasoning(abstract);chain-of-thought(abstract);CoT(abstract);分类 cs.CL、cs.AI
Comments Accepted by AAAI 2026
机构 * University of California, Berkeley(加州大学伯克利分校) ; Columbia Business School(哥伦比亚大学商学院)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Version 2: corrected footnote and added code repository link. Extended version of our work presented at the AAAI-26 AI4TS Workshop (poster) and AAAI-26 Student Abstract Program (oral)
机构 * The University of Queensland(昆士兰大学)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments This paper has been accepted to SIGIR-AP 2025
计算机使用代理作为生成用户界面的法官
机构 * University of Oxford(牛津大学) ; Show Lab, National University of Singapore(新加坡国立大学Show实验室) ; Microsoft(微软公司)
专题命中 推理评测 :verifier(abstract);分类 cs.CL
AI总结 本研究提出Coder-CUA协作框架,通过代理作为法官与编码模型协作,提升自动GUI设计的效率和可靠性。
Comments Project: https://showlab.github.io/AUI Github: https://github.com/showlab/AUI
机构 * Department of Computer Science(计算机科学系) ; Duke University(杜克大学)
专题命中 推理评测 :reasoning(abstract);分类 cs.LG
Comments Accepted to the 39th Conference on Neural Information Processing Systems (NeurIPS 2025) Workshop on Multi-Turn Interactions in Large Language Models
机构 * Department of Biomedical Data Science, Stanford University(生物医学数据科学系,斯坦福大学)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI
Comments Preprint. Accepted for publication at AIAS 2025
专题命中 推理评测 :reasoning(abstract);分类 cs.CL
机构 * Information Technology University of Punjab(旁遮普信息科技大学) ; Chughtai Lab(楚格塔实验室)
专题命中 推理评测 :reasoning(abstract);分类 cs.LG
机构 * IWR-Bench Team(IWR-Bench团队)
专题命中 推理评测 :reasoning(abstract)
专题命中 推理评测 :reasoning(abstract)
机构 * Stanford University(斯坦福大学)
专题命中 推理评测 :reasoning(abstract)