代码大模型 / AI 编程

Modelling Program Spaces in Program Synthesis with Constraints

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic

机构 * TU Delft（代尔夫特理工大学） 纠错

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

ITUNLP at SemEval-2025 Task 8: Question-Answering over Tabular Data: A Zero-Shot Approach using LLM-Driven Code Generation

Atakan Site, Emre Hakan Erdemir, Gülşen Eryiğit

机构 * Department of Artificial Intelligence and Data Engineering（人工智能与数据工程系） 纠错

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

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms

Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze

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

Comments 78 pages. Undergraduate thesis project submitted in partial fulfillment of the requirements for the Bachelor's degree in Computer Science at Kutaisi International University

IFEvalCode: Controlled Code Generation

Jian Yang, Wei Zhang, Shukai Liu, Linzheng Chai, Yingshui Tan, Jiaheng Liu, Ge Zhang, Wangchunshu Zhou, Guanglin Niu, Zhoujun Li, Binyuan Hui, Junyang Lin

机构 * Beihang University（北京航空航天大学） ； M-A-P ； OPPO 纠错

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

Comments 10 pages

Is LLM-Generated Code More Maintainable \& Reliable than Human-Written Code?

Alfred Santa Molison, Marcia Moraes, Glaucia Melo, Fabio Santos, Wesley K. G. Assuncao

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

Comments Accepted ESEM2025

Comparison of Large Language Models for Deployment Requirements

Alper Yaman, Jannik Schwab, Christof Nitsche, Abhirup Sinha, Marco Huber

机构 * Fraunhofer Institute for Manufacturing Engineering and Automation IPA（弗劳恩霍夫智能制造与自动化研究所） 纠错

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

Journal ref Proceedings of the First International Conference on Generative Pre-trained Transformer Models and Beyond (GPTMB 2024), Porto, Portugal, Jun. 2024, pp. 41-44, ISBN: 978-1-68558-182-4

OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM

Bowen Zhang, Pengcheng Luo, Genke Yang, Boon-Hee Soong, Chau Yuen

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

Comments 8 pages, 13 figures

Benchmarking LLMs for Unit Test Generation from Real-World Functions

Dong Huang, Jie M. Zhang, Mark Harman, Qianru Zhang, Mingzhe Du, See-Kiong Ng

机构 * National University of Singapore（新加坡国立大学） ； King's College London（伦敦国王学院） ； University College London（伦敦大学学院） ； The University of Cambridge（剑桥大学） 纠错

专题命中 测试生成 ：unit test generation(title,abstract)；分类 cs.SE、cs.CL

Comments Under Review

Multi-Agent Game Generation and Evaluation via Audio-Visual Recordings

Alexia Jolicoeur-Martineau

机构 * Samsung SAIL Montréal（三星SAIL蒙特利尔） 纠错

专题命中 代码评测 ：coding agent(abstract)；分类 cs.AI

Oedipus and the Sphinx: Benchmarking and Improving Visual Language Models for Complex Graphic Reasoning

Jianyi Zhang, Xu Ji, Ziyin Zhou, Yuchen Zhou, Shubo Shi, Haoyu Wu, Zhen Li, Shizhao Liu

机构 * Beijing Electronic Science & Technology Institute（北京电子科学技术研究所） 纠错

专题命中 代码评测 ：repository(abstract)；分类 cs.AI

YOLO-FireAD: Efficient Fire Detection via Attention-Guided Inverted Residual Learning and Dual-Pooling Feature Preservation

Weichao Pan, Bohan Xu, Xu Wang, Chengze Lv, Shuoyang Wang, Zhenke Duan, Zhen Tian

机构 * School of Computer Science and Technology, Shandong Jianzhu University（计算机科学与技术学院，山东建筑大学） ； International School of Information Science\&Engineering, Dalian University of Technology（信息科学与工程国际学院，大连理工大学） ； Wuhan SecureScape Technology Co., Ltd（武汉SecureScape科技有限公司） ； University of Glasgow, Glasgow, UK（格拉斯哥大学） 纠错

专题命中 代码评测 ：repository(abstract)

Comments 2025 International Conference on Intelligent Computing (ICIC 2025)