代码大模型 / AI 编程

Learning logic programs by combining programs

Andrew Cropper, Céline Hocquette

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

Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example

Mukul Singh, Jose Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen

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

Comments 4 Pages, VLDB 2023 Demonstration Track

MyCrunchGPT: A chatGPT assisted framework for scientific machine learning

Varun Kumar, Leonard Gleyzer, Adar Kahana, Khemraj Shukla, George Em Karniadakis

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

Comments Updated title, abstract and added references

Copilot for Xcode: Exploring AI-Assisted Programming by Prompting Cloud-based Large Language Models

Chee Wei Tan, Shangxin Guo, Man Fai Wong, Ching Nam Hang

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

FacTool: Factuality Detection in Generative AI -- A Tool Augmented Framework for Multi-Task and Multi-Domain Scenarios

I-Chun Chern, Steffi Chern, Shiqi Chen, Weizhe Yuan, Kehua Feng, Chunting Zhou, Junxian He, Graham Neubig, Pengfei Liu

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

ChatGPT for Digital Forensic Investigation: The Good, The Bad, and The Unknown

Mark Scanlon, Frank Breitinger, Christopher Hargreaves, Jan-Niclas Hilgert, John Sheppard

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

GRAN is superior to GraphRNN: node orderings, kernel- and graph embeddings-based metrics for graph generators

Ousmane Touat, Julian Stier, Pierre-Edouard Portier, Michael Granitzer

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

Comments Preprint for The 9th International Conference on machine Learning, Optimization and Data science - LOD 2023

Model-Driven Engineering Method to Support the Formalization of Machine Learning using SysML

Simon Raedler, Juergen Mangler, Stefanie Rinderle-Ma

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

Comments 43 pages, 24 figure, 3 tables

Multi-Intent Detection in User Provided Annotations for Programming by Examples Systems

Nischal Ashok Kumar, Nitin Gupta, Shanmukha Guttula, Hima Patel

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

QIGen: Generating Efficient Kernels for Quantized Inference on Large Language Models

Tommaso Pegolotti, Elias Frantar, Dan Alistarh, Markus Püschel

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

Stay on topic with Classifier-Free Guidance

Guillaume Sanchez, Honglu Fan, Alexander Spangher, Elad Levi, Pawan Sasanka Ammanamanchi, Stella Biderman

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

Artificial Intelligence for Technical Debt Management in Software Development

Srinivas Babu Pandi, Samia A. Binta, Savita Kaushal

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

Adding guardrails to advanced chatbots

Yanchen Wang, Lisa Singh

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

Empowering Business Transformation: The Positive Impact and Ethical Considerations of Generative AI in Software Product Management -- A Systematic Literature Review

Nishant A. Parikh

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

Comments 24 pages, 4 figures

A Static Evaluation of Code Completion by Large Language Models

Hantian Ding, Varun Kumar, Yuchen Tian, Zijian Wang, Rob Kwiatkowski, Xiaopeng Li, Murali Krishna Ramanathan, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, Bing Xiang

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

Comments Accepted by ACL 2023 industry track

SelfEvolve: A Code Evolution Framework via Large Language Models

Shuyang Jiang, Yuhao Wang, Yu Wang

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

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis

Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

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

Comments SYNT 2023 of CAV 2023, 4 Pages

Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion

Hengzhi Pei, Jinman Zhao, Leonard Lausen, Sheng Zha, George Karypis

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

Comments 12 pages. Accepted to AAAI 2023

Learning-Based Automatic Synthesis of Software Code and Configuration

Shantanu Mandal

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

Comments arXiv admin note: text overlap with arXiv:2211.00828

Prompting Is Programming: A Query Language for Large Language Models

Luca Beurer-Kellner, Marc Fischer, Martin Vechev

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

Comments To be published at PLDI'23: 44th ACM SIGPLAN International Conference on Programming Language Design and Implementation

ChatGPT for PLC/DCS Control Logic Generation

Heiko Koziolek, Sten Gruener, Virendra Ashiwal

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

Comments 8 pages, 6 figures

The Larger They Are, the Harder They Fail: Language Models do not Recognize Identifier Swaps in Python

Antonio Valerio Miceli-Barone, Fazl Barez, Ioannis Konstas, Shay B. Cohen

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

Comments 17 pages, 5 figure, ACL 2023

Gorilla: Large Language Model Connected with Massive APIs

Shishir G. Patil, Tianjun Zhang, Xin Wang, Joseph E. Gonzalez

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

Generating Data for Symbolic Language with Large Language Models

Jiacheng Ye, Chengzu Li, Lingpeng Kong, Tao Yu

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

Beyond the Safeguards: Exploring the Security Risks of ChatGPT

Erik Derner, Kristina Batistič

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

Better Language Models of Code through Self-Improvement

Hung Quoc To, Nghi D. Q. Bui, Jin Guo, Tien N. Nguyen

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

Comments Accepted to Findings, ACL 2023

AI-assisted coding: Experiments with GPT-4

Russell A Poldrack, Thomas Lu, Gašper Beguš

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

GitHub Copilot AI pair programmer: Asset or Liability?

Arghavan Moradi Dakhel, Vahid Majdinasab, Amin Nikanjam, Foutse Khomh, Michel C. Desmarais, Zhen Ming, Jiang

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

Comments 27 pages, 8 figures

Language Models Can Teach Themselves to Program Better

Patrick Haluptzok, Matthew Bowers, Adam Tauman Kalai

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

Comments 22 pages, 14 figures

Synthesizing Programs with Continuous Optimization

Shantanu Mandal, Todd A. Anderson, Javier Turek, Justin Gottschlich, Abdullah Muzahid

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