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

2211.02435 2023-08-15 cs.MS cs.CE cs.NA math.NA physics.comp-ph 78%

Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods

Frederik Hennig, Markus Holzer, Ulrich Rüde

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

Comments 23 pages, 6 figures

2308.00708 2023-08-03 cs.PL cs.LG cs.SE 78%

VeriGen: A Large Language Model for Verilog Code Generation

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

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

Comments arXiv admin note: text overlap with arXiv:2212.11140

2210.16494 2023-06-14 cs.SE cs.AI cs.HC cs.PL 78%

Aligning Offline Metrics and Human Judgments of Value for Code Generation Models

Victor Dibia, Adam Fourney, Gagan Bansal, Forough Poursabzi-Sangdeh, Han Liu, Saleema Amershi

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

Comments Accepted at ACL 2023 (Findings)

2305.01707 2023-05-04 quant-ph 78%

Discovering Quantum Circuit Components with Program Synthesis

Leopoldo Sarra, Kevin Ellis, Florian Marquardt

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

2212.03491 2023-03-30 cs.HC 78%

"It would work for me too": How Online Communities Shape Software Developers' Trust in AI-Powered Code Generation Tools

Ruijia Cheng, Ruotong Wang, Thomas Zimmermann, Denae Ford

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

2302.03499 2023-02-08 cs.CL cs.AI cs.PL 78%

Exploring Data Augmentation for Code Generation Tasks

Pinzhen Chen, Gerasimos Lampouras

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

Comments Findings of EACL 2023

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)

1. 代码生成 4113 篇

Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods

VeriGen: A Large Language Model for Verilog Code Generation

Aligning Offline Metrics and Human Judgments of Value for Code Generation Models

Discovering Quantum Circuit Components with Program Synthesis

"It would work for me too": How Online Communities Shape Software Developers' Trust in AI-Powered Code Generation Tools

Exploring Data Augmentation for Code Generation Tasks

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