Automated Repair of C Programs Using Large Language Models
专题命中 推理评测 :reasoning(abstract);chain-of-thought(abstract);CoT(abstract)
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 推理评测 :reasoning(abstract);chain-of-thought(abstract);CoT(abstract)
机构 * Stanford University(斯坦福大学) ; University of California, Santa Cruz(加州大学圣克ruz分校) ; Hitachi America, Ltd.(日立美国有限公司)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
机构 * Nara Institute of Science and Technology (NAIST)(奈良科学技术研究所) ; University of Colombo School of Computing (UCSC)(科伦坡大学计算学院) ; Informatics Institute of Technology (IIT)(信息技术研究所)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL
Comments 19 pages, 11 figures
机构 * Bilkent University, Turkey(巴伊肯大学)
专题命中 推理评测 :chain-of-thought(abstract);分类 cs.AI
Comments Accepted to ASE2025
机构 * University of Manchester(曼彻斯特大学) ; School of Informatics, University of Edinburgh(爱丁堡大学信息学院) ; Leiden University(莱顿大学) ; LIACS ; LUMC
专题命中 推理评测 :chain-of-thought(abstract);分类 cs.CL
专题命中 推理评测 :reasoning(abstract)
Comments Work under review in NeurIPS 2025 with the title "Are we using Motion in Referring Segmentation? A Motion-Centric Evaluation"
专题命中 推理评测 :planning(abstract)