代码大模型 / AI 编程

Program Synthesis Dialog Agents for Interactive Decision-Making

Matthew Toles, Nikhil Balwani, Rattandeep Singh, Valentina Giulia Sartori Rodriguez, Zhou Yu

机构 * Columbia University（哥伦比亚大学） ； Amazon（亚马逊） ； Sciences Po Paris（巴黎社会科学高等研究院） 纠错

专题命中 代码生成 ：program synthesis(title,abstract)；code generation(abstract)；分类 cs.AI

VFocus: Better Verilog Generation from Large Language Model via Focused Reasoning

Zhuorui Zhao, Bing Li, Grace Li Zhang, Ulf Schlichtmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE、cs.PL

Comments accepted by SOCC 2025

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search

Vincenzo Collura, Karim Tit, Laura Bussi, Eleonora Giunchiglia, Maxime Cordy

机构 * University of Luxembourg（卢森堡大学） ； Imperial College London（伦敦帝国学院） 纠错

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.AI、cs.LG

VCode: a Multimodal Coding Benchmark with SVG as Symbolic Visual Representation

Kevin Qinghong Lin, Yuhao Zheng, Hangyu Ran, Dantong Zhu, Dongxing Mao, Linjie Li, Philip Torr, Alex Jinpeng Wang

专题命中 代码评测 ：code generation(abstract)；program synthesis(abstract)；分类 cs.CL

Comments Project page: https://csu-jpg.github.io/VCode Github: https://github.com/CSU-JPG/VCode

SWE-rebench: An Automated Pipeline for Task Collection and Decontaminated Evaluation of Software Engineering Agents

Ibragim Badertdinov, Alexander Golubev, Maksim Nekrashevich, Anton Shevtsov, Simon Karasik, Andrei Andriushchenko, Maria Trofimova, Daria Litvintseva, Boris Yangel

机构 * Nebius 纠错

专题命中 代码评测 ：code generation(abstract)；分类 cs.SE、cs.CL

Comments Dataset: https://huggingface.co/datasets/nebius/SWE-rebench, SWE-rebench leaderboard https://swe-rebench.com NeurIPS 2025

Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients

Muhammad Sheharyar Liaqat

专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI

Improving the solver for the Balitsky-Kovchegov evolution equation with Automatic Differentiation

Florian Cougoulic, Piotr Korcyl, Tomasz Stebel

专题命中 仓库级理解 ：repository(abstract,comments)

Comments 17 pages, 4 figures, source code is published in the repository

Journal ref Comput.Phys.Commun. 313 (2025) 109616