代码大模型 / AI 编程

New Directions in Cloud Programming

Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano

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

Journal ref CIDR 2021

Advancing Requirements Engineering through Generative AI: Assessing the Role of LLMs

Chetan Arora, John Grundy, Mohamed Abdelrazek

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

Generative retrieval-augmented ontologic graph and multi-agent strategies for interpretive large language model-based materials design

Markus J. Buehler

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

Is GPT-4 a Good Data Analyst?

Liying Cheng, Xingxuan Li, Lidong Bing

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

Comments 19 pages, 2 figures

GPT-4 as an interface between researchers and computational software: improving usability and reproducibility

Juan C. Verduzco, Ethan Holbrook, Alejandro Strachan

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

Comments 22 pages, 7 figures

Let's reward step by step: Step-Level reward model as the Navigators for Reasoning

Qianli Ma, Haotian Zhou, Tingkai Liu, Jianbo Yuan, Pengfei Liu, Yang You, Hongxia Yang

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

ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?

Michael Fu, Chakkrit Tantithamthavorn, Van Nguyen, Trung Le

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

Comments Accepted at the 30th Asia-Pacific Software Engineering Conference (APSEC 2023)

Mini-DALLE3: Interactive Text to Image by Prompting Large Language Models

Zeqiang Lai, Xizhou Zhu, Jifeng Dai, Yu Qiao, Wenhai Wang

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

Comments Technical report. Project page at https://minidalle3.github.io/

Large Language Models for Scientific Synthesis, Inference and Explanation

Yizhen Zheng, Huan Yee Koh, Jiaxin Ju, Anh T. N. Nguyen, Lauren T. May, Geoffrey I. Webb, Shirui Pan

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

Comments Supplementary Information: https://drive.google.com/file/d/1KrpUpzuFTeMx6a6zl18lqdo8vV-UUa1Z/view?usp=sharing Github Repo: https://github.com/zyzisastudyreallyhardguy/LLM4SD

SIMD Everywhere Optimization from ARM NEON to RISC-V Vector Extensions

Ju-Hung Li, Jhih-Kuan Lin, Yung-Cheng Su, Chi-Wei Chu, Lai-Tak Kuok, Hung-Ming Lai, Chao-Lin Lee, Jenq-Kuen Lee

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

LayoutNUWA: Revealing the Hidden Layout Expertise of Large Language Models

Zecheng Tang, Chenfei Wu, Juntao Li, Nan Duan

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

PwR: Exploring the Role of Representations in Conversational Programming

Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani

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

Comments 23 pages, 3 figures, 2 tables, under submission for ACM CHI 2024

MetaOCaml Theory and Implementation

Oleg Kiselyov

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

Comments Peer-reviewed, accepted for presentation and presented at the ACM SIGPLAN OCAML 2023 workshop

Demystifying Practices, Challenges and Expected Features of Using GitHub Copilot

Beiqi Zhang, Peng Liang, Xiyu Zhou, Aakash Ahmad, Muhammad Waseem

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

Comments Preprint accepted for publication in International Journal of Software Engineering and Knowledge Engineering, 2023. arXiv admin note: substantial text overlap with arXiv:2303.08733

A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller

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

Learning of Generalizable and Interpretable Knowledge in Grid-Based Reinforcement Learning Environments

Manuel Eberhardinger, Johannes Maucher, Setareh Maghsudi

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

Comments to be published in AIIDE 2023

Data Extraction via Semantic Regular Expression Synthesis

Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, Greg Durrett, Isil Dillig

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

Learning MDL logic programs from noisy data

Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper

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

Comments arXiv admin note: text overlap with arXiv:2206.01614

Modular System Synthesis

Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas Reps

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

Enhancing Network Management Using Code Generated by Large Language Models

Sathiya Kumaran Mani, Yajie Zhou, Kevin Hsieh, Santiago Segarra, Ranveer Chandra, Srikanth Kandula

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

Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms

Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu

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

CodeGen2: Lessons for Training LLMs on Programming and Natural Languages

Erik Nijkamp, Hiroaki Hayashi, Caiming Xiong, Silvio Savarese, Yingbo Zhou

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

Explaining Competitive-Level Programming Solutions using LLMs

Jierui Li, Szymon Tworkowski, Yingying Wu, Raymond Mooney

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

Comments 14 pages, presented at the 1st NLRSE workshop

Entity Identifier: A Natural Text Parsing-based Framework For Entity Relation Extraction

El Mehdi Chouham, Jessica López Espejel, Mahaman Sanoussi Yahaya Alassan, Walid Dahhane, El Hassane Ettifouri

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

Comments Under review for Elsevier's Natural Language Processing Journal

Calculating Originality of LLM Assisted Source Code

Shipra Sharma, Balwinder Sodhi

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

From ChatGPT to ThreatGPT: Impact of Generative AI in Cybersecurity and Privacy

Maanak Gupta, CharanKumar Akiri, Kshitiz Aryal, Eli Parker, Lopamudra Praharaj

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

From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams

Iddo Drori, Sarah J. Zhang, Reece Shuttleworth, Sarah Zhang, Keith Tyser, Zad Chin, Pedro Lantigua, Saisamrit Surbehera, Gregory Hunter, Derek Austin, Leonard Tang, Yann Hicke, Sage Simhon, Sathwik Karnik, Darnell Granberry, Madeleine Udell

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

Comments 9 pages

Is AI the better programming partner? Human-Human Pair Programming vs. Human-AI pAIr Programming

Qianou Ma, Tongshuang Wu, Kenneth Koedinger

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

Comments 8 pages (without references), 2 tables

Computing Education in the Era of Generative AI

Paul Denny, James Prather, Brett A. Becker, James Finnie-Ansley, Arto Hellas, Juho Leinonen, Andrew Luxton-Reilly, Brent N. Reeves, Eddie Antonio Santos, Sami Sarsa

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

Comments Accepted for publication as a Contributed Article in Communications of the ACM (CACM)

From Perception to Programs: Regularize, Overparameterize, and Amortize

Hao Tang, Kevin Ellis

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

Comments ICML 2023