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