Once Upon an Input: Reasoning via Per-Instance Program Synthesis
机构 * University of Pennsylvania(宾夕法尼亚大学)
专题命中 代码生成 :program synthesis(title,abstract);分类 cs.CL、cs.AI、cs.LG
Comments Accepted at NeurIPS 2025. 34 pages, 7 figures
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
机构 * University of Pennsylvania(宾夕法尼亚大学)
专题命中 代码生成 :program synthesis(title,abstract);分类 cs.CL、cs.AI、cs.LG
Comments Accepted at NeurIPS 2025. 34 pages, 7 figures
机构 * The Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州))
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE、cs.CL、cs.AI
机构 * Delft University of Technology(代尔夫特理工大学) ; JetBrains Research(JetBrains研究) ; University of California, Davis(加州大学戴维斯分校)
专题命中 代码生成 :code generation(abstract);code model(abstract);分类 cs.SE、cs.AI
Comments Under Review
机构 * Los Alamos National Laboratory(洛斯阿拉莫斯国家实验室)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI
机构 * University of Freiburg(弗赖堡大学) ; ELLIS Institute Tübingen(图宾根ELLIS研究所) ; Open-Sci Collective(开放科学集体) ; LAION ; Prior Labs(Prior实验室)
专题命中 代码生成 :code generation(abstract);分类 cs.AI、cs.LG
Comments Presented at the 39th Conference on Neural Information Processing Systems (NeurIPS 2025) Workshop: The 4th Deep Learning for Code Workshop (DL4C)
机构 * post.runi.ac.il(runi学院)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.LG
Comments 24 pages + 5 pages appendices. 7 Figures. 10 Tables
机构 * School of Computer Science, Wuhan University(武汉大学计算机科学学院) ; School of Mathematical and Computational Sciences, Massey University(马斯赛大学数学与计算科学学院)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI
Comments Preprint accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM), 2025
机构 * Microsoft Research Asia(微软亚洲研究院) ; Zhiyuan College(智远学院) ; Shanghai Jiao Tong University(上海交通大学) ; Peking University(北京大学)
专题命中 代码生成 :code generation(abstract);分类 cs.CL
Comments 30 pages, 7 figures
机构 * UC Berkeley(伯克利大学)
专题命中 软件智能体 :repository(abstract);分类 cs.SE、cs.CL、cs.AI
Comments Website: https://gso-bench.github.io/
专题命中 程序修复 :program repair(title,abstract);分类 cs.SE、cs.LG
Journal ref Proceedings of the International Workshop on Large Language Models for Code (LLM4Code), 2025
专题命中 代码评测 :repository(abstract);分类 cs.AI、cs.LG
Comments Accepted for publication in Transactions of the Association for Computational Linguistics (TACL), 2025. Pre-MIT Press publication version
专题命中 仓库级理解 :repository(abstract);分类 cs.CL、cs.LG
Comments EMNLP 2025. Project Website: https://vehme.github.io/
机构 * Artificial Intelligence Innovation and Incubation Institute, Fudan University(复旦大学人工智能创新与孵化院) ; Shanghai Academy of Artificial Intelligence for Science(上海人工智能科学研究院) ; Computer, Electrical and Mathematical Sciences and Engineering Division, KAUST(卡塔尔大学计算机、电子与数学科学与工程系) ; Center of Excellence for Smart Health, KAUST(卡塔尔大学智能健康卓越中心) ; Center of Excellence on GenAI, KAUST(卡塔尔大学生成人工智能卓越中心) ; Zhongshan Hospital, Fudan University(复旦大学中山医院)
专题命中 仓库级理解 :repository(abstract);分类 cs.AI、cs.LG
专题命中 仓库级理解 :repository(abstract);分类 cs.CL
Comments 21 pages, 2 figures, 3 tables. Includes appendices on ethical guidelines and training framework. Submitted September 04, 2025
机构 * The Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州)) ; Tongji University(同济大学)
专题命中 仓库级理解 :repository(abstract);分类 cs.LG
专题命中 仓库级理解 :repository(abstract);分类 cs.SE
Comments 11 pages, 8 figures, under review
机构 * Department of Statistics, University of Oxford(统计学系、牛津大学)
专题命中 仓库级理解 :repository(abstract);分类 cs.AI
机构 * UCL Hawkes Institute(UCL哈维斯研究所) ; Department of Medical Physics(医学物理系) ; Biomedical Engineering, University College London, UK(生物医学工程,伦敦大学学院,英国) ; Division of Informatics, Imaging and Data Sciences, The University of Manchester, Manchester, UK(信息学、成像与数据科学部门,曼彻斯特大学,曼彻斯特,英国)
专题命中 仓库级理解 :repository(abstract)
Comments 11 pages