代码大模型 / AI 编程 - arXivDaily 专题

2212.11140 2022-12-22 cs.PL cs.LG cs.SE 78%

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

Shailja Thakur, Baleegh Ahmad, Zhenxing Fan, Hammond Pearce, Benjamin Tan, Ramesh Karri, Brendan Dolan-Gavitt, Siddharth Garg

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

Comments Accepted in DATE 2023. 7 pages, 4 tables, 7 figures

2204.07889 2022-11-29 cs.RO cs.CV cs.SC 78%

SymForce: Symbolic Computation and Code Generation for Robotics

Hayk Martiros, Aaron Miller, Nathan Bucki, Bradley Solliday, Ryan Kennedy, Jack Zhu, Tung Dang, Dominic Pattison, Harrison Zheng, Teo Tomic, Peter Henry, Gareth Cross, Josiah VanderMey, Alvin Sun, Samuel Wang, Kristen Holtz

专题命中代码生成：code generation(title,abstract)

Comments 10 pages, 5 figures. RSS 2022

2203.11419 2022-04-01 math.OC 78%

Embedded Code Generation with CVXPY

Maximilian Schaller, Goran Banjac, Steven Diamond, Akshay Agrawal, Bartolomeo Stellato, Stephen Boyd

专题命中代码生成：code generation(title,abstract)

2202.10390 2022-02-22 cs.DB 78%

Optimizing Recursive Queries with Program Synthesis

Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu

专题命中代码生成：program synthesis(title,abstract)

2201.10531 2022-01-26 cs.CR cs.FL cs.LO 78%

HOLL: Program Synthesis for Higher OrderLogic Locking

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

专题命中代码生成：program synthesis(title,abstract)

Comments Accepted in TACAS-22 conference. 24 pages llncs format (without references), 11 figures, 5 tables

2108.13191 2021-08-31 cs.DC cs.PF 78%

High Performance GPU Code Generation for Matrix-Matrix Multiplication using MLIR: Some Early Results

Navdeep Katel, Vivek Khandelwal, Uday Bondhugula

专题命中代码生成：code generation(title,abstract)

2106.04985 2021-06-10 cs.LG cs.CL cs.NE cs.SE 78%

Energy-Based Models for Code Generation under Compilability Constraints

Tomasz Korbak, Hady Elsahar, Marc Dymetman, Germán Kruszewski

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

Comments Accepted for the First Workshop on Natural Language Processing for Programming, ACL 2021

2104.08012 2021-04-19 cs.MS 78%

Code generation for productive portable scalable finite element simulation in Firedrake

Jack D. Betteridge, Patrick E. Farrell, David A. Ham

专题命中代码生成：code generation(title,abstract)

2103.11445 2021-03-23 cs.DC 78%

Graph Transformation and Specialized Code Generation For Sparse Triangular Solve (SpTRSV)

Buse Yilmaz

专题命中代码生成：code generation(title,abstract)

Comments 6 pages, 6 figures

2102.08518 2021-02-18 cs.MS 78%

Automatic Generation of Interpolants for Lattice Samplings: Part II -- Implementation and Code Generation

Joshua Horacsek, Usman Alim

专题命中代码生成：code generation(title,abstract)

1912.00488 2020-11-04 cs.MS 78%

Replicated Computational Results (RCR) Report for "Code Generation for Generally Mapped Finite Elements"

Neil Lindquist

专题命中代码生成：code generation(title,abstract)

Comments 7 pages, 7 figures. Submitted to ACM Transactions on Mathematical Software

Journal ref ACM Transactions on Mathematical Software (TOMS): Volume 45 Issue 4, December 2019

2004.13873 2020-04-30 eess.SY cs.SY 78%

Automated Physics-Derived Code Generation for Sensor Fusion and State Estimation

Orestis Kaparounakis, Vasileios Tsoutsouras, Dimitrios Soudris, Phillip Stanley-Marbell

专题命中代码生成：code generation(title,abstract)

Comments 11 pages, 7 figures

2001.11806 2020-04-14 cs.MS cs.CE cs.DC 78%

lbmpy: Automatic code generation for efficient parallel lattice Boltzmann methods

Martin Bauer, Harald Köstler, Ulrich Rüde

专题命中代码生成：code generation(title,abstract)

2003.00532 2020-03-03 cs.PF 78%

High Performance Code Generation in MLIR: An Early Case Study with GEMM

Uday Bondhugula

专题命中代码生成：code generation(title,abstract)

2003.00292 2020-03-03 math.OC cs.NA math.NA 78%

OpEn: Code Generation for Embedded Nonconvex Optimization

Pantelis Sopasakis, Emil Fresk, Panagiotis Patrinos

专题命中代码生成：code generation(title,abstract)

Comments IFAC World Congress 2020, Berlin

1811.05213 2018-11-14 cs.DC cs.MS 78%

FusionStitching: Deep Fusion and Code Generation for Tensorflow Computations on GPUs

Guoping Long, Jun Yang, Kai Zhu, Wei Lin

专题命中代码生成：code generation(title,abstract)

Comments 11 pages, 8 figures

1804.01186 2018-09-17 cs.AI cs.LG cs.PL 78%

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples

Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani

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

Comments Published in ICLR 2018, International Conference on Learning Representations (2018)

1808.03326 2018-09-12 cs.LO 78%

Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

Fred Mesnard, Peter J. Stuckey

专题命中代码生成：program synthesis(title,abstract)

Comments Corrected typos

1709.06780 2018-02-28 physics.comp-ph 78%

How to Differentiate Collective Variables in Free Energy Codes: Computer-Algebra Code Generation and Automatic Differentiation

Toni Giorgino

专题命中代码生成：code generation(title,abstract)

Comments Title changed with respect to the initial submission

1801.09373 2018-02-07 cs.SE cs.AI cs.PL 78%

Search Based Code Generation for Machine Learning Programs

Muhammad Zubair Malik, Muhammad Nawaz, Nimrah Mustafa, Junaid Haroon Siddiqui

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

Comments Search Based Software Engineering, Generating Machine Learning Code, Partial Evaluation, Futamura Projection, Sketching

1712.03320 2017-12-12 cs.DB 78%

Code Generation Techniques for Raw Data Processing

Xin Zhang

专题命中代码生成：code generation(title,abstract)

Comments MS thesis

1611.07051 2017-05-23 stat.ML 78%

Time Series Structure Discovery via Probabilistic Program Synthesis

Ulrich Schaechtle, Feras Saad, Alexey Radul, Vikash Mansinghka

专题命中代码生成：program synthesis(title,abstract)

Comments The first two authors contributed equally to this work

1607.04767 2016-07-19 cs.MS cs.GR 78%

Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application

Ahmad Hosney Awad Eid

专题命中代码生成：code generation(title,abstract)

Comments PhD Thesis, 2010, 249 pages

1501.01363 2015-01-08 cs.LO 78%

Program Synthesis from Axiomatic Proof of Correctness

Charles Volkstorf

专题命中代码生成：program synthesis(title,abstract)

1104.0199 2011-04-04 cs.MS 78%

Optimisations for quadrature representations of finite element tensors through automated code generation

Kristian B. Ølgaard, Garth N. Wells

专题命中代码生成：code generation(title,abstract)

Journal ref ACM Trans. Math. Softw. 37, 1, Article 8 (January 2010), 23 pages

2502.18905 2025-02-27 cs.SE cs.LG 77%

Automated Code Generation and Validation for Software Components of Microcontrollers

Sebastian Haug, Christoph Böhm, Daniel Mayer

专题命中代码生成：code generation(title,comments)；分类 cs.SE、cs.LG

Comments Sebastian Haug: This paper, spanning 12 pages with 5 figures, presents my work on automated code generation and validation for STM32F407 microcontroller software components. Developed as part of a research project at Munich University of Applied Sciences and AGSOTEC GmbH, it leverages AST and RAG to streamline embedded development. Includes glossary and bibliography as supplementary materials

2608.13522 2026-08-14 cs.LG cs.AI cs.LO cs.PL cs.SE 新提交 77%

Vero: Can AI Agents Build Formally Verified Software Repositories?

Vero：AI智能体能否构建形式化验证的软件仓库？

Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song

机构 * University of Chicago（芝加哥大学）； California Institute of Technology（加州理工学院）； Stanford University（斯坦福大学）； UC Berkeley（加州大学伯克利分校）； Amazon Web Services（亚马逊云计算服务）； Apodex

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

AI总结研究推出首个仓库级验证软件综合基准Vero，含43个多模块实例，评估发现前沿智能体仅解决27个实例，为相关研究提供测试平台。

2601.13240 2026-04-28 cs.SE cs.AI cs.CL cs.LG 77%

KOCO-BENCH: Can Large Language Models Leverage Domain Knowledge in Software Development?

KOCO-BENCH: 大型语言模型能否在软件开发中利用领域知识？

Xue Jiang, Ge Li, Jiaru Qian, Xianjie Shi, Chenjie Li, Hao Zhu, Ziyu Wang, Jielun Zhang, Zheyu Zhao, Lingwei Wu, Kechi Zhang, Jia Li, Wenpin Jiao, Zhi Jin, Yihong Dong

机构 * School of Computer Science, Peking University（北京大学计算机科学系）； School of Computer Science, Wuhan University（武汉大学计算机科学系）

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

AI总结 KOCO-BENCH旨在评估大型语言模型在软件开发中利用领域知识的能力，包含6个新兴领域、11个软件框架和25个项目，通过多粒度任务测试模型的知识获取与应用能力。

Comments Accepted by ACL 2026

2603.06620 2026-03-10 cs.SE cs.AI cs.CL cs.LG 77%

GraphSkill: Documentation-Guided Hierarchical Retrieval-Augmented Coding for Complex Graph Reasoning

GraphSkill: 基于文档的分层检索增强编码用于复杂图推理

Fali Wang, Chenglin Weng, Xianren Zhang, Siyuan Hong, Hui Liu, Suhang Wang

机构 * The Pennsylvania State University（宾夕法尼亚州立大学）； Michigan State University（密歇根州立大学）

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

AI总结 GraphSkill通过分层检索增强编码框架和自我调试代理，提升复杂图推理任务的准确性和效率。

Comments Under review

2512.15148 2025-12-18 cs.SE 77%

Aligning Academia with Industry: An Empirical Study of Industrial Needs and Academic Capabilities in AI-Driven Software Engineering

将学术与产业对齐：一项关于工业需求和学术能力的AI驱动软件工程实证研究

Hang Yu, Yuzhou Lai, Li Zhang, Xiaoli Lian, Fang Liu, Yanrui Dong, Ting Zhang, Zhi Jin, David Lo

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

AI总结本文通过分析学术研究与工业需求的差距，揭示AI驱动软件工程中的关键挑战，旨在引导未来研究更贴近实际应用。

1. 代码生成 4087 篇

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

SymForce: Symbolic Computation and Code Generation for Robotics

Embedded Code Generation with CVXPY

Optimizing Recursive Queries with Program Synthesis

HOLL: Program Synthesis for Higher OrderLogic Locking

High Performance GPU Code Generation for Matrix-Matrix Multiplication using MLIR: Some Early Results

Energy-Based Models for Code Generation under Compilability Constraints

Code generation for productive portable scalable finite element simulation in Firedrake

Graph Transformation and Specialized Code Generation For Sparse Triangular Solve (SpTRSV)

Automatic Generation of Interpolants for Lattice Samplings: Part II -- Implementation and Code Generation

Replicated Computational Results (RCR) Report for "Code Generation for Generally Mapped Finite Elements"

Automated Physics-Derived Code Generation for Sensor Fusion and State Estimation

lbmpy: Automatic code generation for efficient parallel lattice Boltzmann methods

High Performance Code Generation in MLIR: An Early Case Study with GEMM

OpEn: Code Generation for Embedded Nonconvex Optimization

FusionStitching: Deep Fusion and Code Generation for Tensorflow Computations on GPUs

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples

Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

How to Differentiate Collective Variables in Free Energy Codes: Computer-Algebra Code Generation and Automatic Differentiation

Search Based Code Generation for Machine Learning Programs

Code Generation Techniques for Raw Data Processing

Time Series Structure Discovery via Probabilistic Program Synthesis

Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application

Program Synthesis from Axiomatic Proof of Correctness

Optimisations for quadrature representations of finite element tensors through automated code generation

Automated Code Generation and Validation for Software Components of Microcontrollers

Vero: Can AI Agents Build Formally Verified Software Repositories?

KOCO-BENCH: Can Large Language Models Leverage Domain Knowledge in Software Development?

GraphSkill: Documentation-Guided Hierarchical Retrieval-Augmented Coding for Complex Graph Reasoning

Aligning Academia with Industry: An Empirical Study of Industrial Needs and Academic Capabilities in AI-Driven Software Engineering