代码大模型 / 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