代码大模型 / AI 编程

LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas

Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton

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

Pitfalls in Language Models for Code Intelligence: A Taxonomy and Survey

Xinyu She, Yue Liu, Yanjie Zhao, Yiling He, Li Li, Chakkrit Tantithamthavorn, Zhan Qin, Haoyu Wang

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

Exploring Large Language Models for Code Explanation

Paheli Bhattacharya, Manojit Chakraborty, Kartheek N S N Palepu, Vikas Pandey, Ishan Dindorkar, Rakesh Rajpurohit, Rishabh Gupta

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

Comments Accepted at the Forum for Information Retrieval Evaluation 2023 (IRSE Track)

SpikingJelly: An open-source machine learning infrastructure platform for spike-based intelligence

Wei Fang, Yanqi Chen, Jianhao Ding, Zhaofei Yu, Timothée Masquelier, Ding Chen, Liwei Huang, Huihui Zhou, Guoqi Li, Yonghong Tian

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

Comments Accepted in Science Advances (https://www.science.org/doi/10.1126/sciadv.adi1480)

ByteSized32: A Corpus and Challenge Task for Generating Task-Specific World Models Expressed as Text Games

Ruoyao Wang, Graham Todd, Eric Yuan, Ziang Xiao, Marc-Alexandre Côté, Peter Jansen

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

Comments Accepted to EMNLP 2023

From Words to Wires: Generating Functioning Electronic Devices from Natural Language Descriptions

Peter Jansen

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

Comments Accepted to EMNLP 2023 (Findings)

LORD: Low Rank Decomposition Of Monolingual Code LLMs For One-Shot Compression

Ayush Kaushal, Tejas Vaidhya, Irina Rish

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

Comments 9 pages

OpenAi's GPT4 as coding assistant

Lefteris Moussiades, George Zografos

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

Comments 10 pages

GrACE: Generation using Associated Code Edits

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

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

An Empirical Study of AI-based Smart Contract Creation

Rabimba Karanjai, Edward Li, Lei Xu, Weidong Shi

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

Comments Updated to address issues

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