代码大模型 / AI 编程

An investigation into the scientific landscape of the conversational and generative artificial intelligence, and human-chatbot interaction in education and research

Ikpe Justice Akpan, Yawo M. Kobara, Josiah Owolabi, Asuama Akpam, Onyebuchi Felix Offodile

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

Comments The study analyzes the implications of AI adoption in education and research and offer policy recommendations to overcome challenges; shows the intellectual structure and collaboration among eminent sources contributing AI discourse; highlights the use cases, benefits, and challenges of GenAI; examines techniques for GenAI integration with modeling and decision support systems, and existing gaps

VoicePilot: Harnessing LLMs as Speech Interfaces for Physically Assistive Robots

Akhil Padmanabha, Jessie Yuan, Janavi Gupta, Zulekha Karachiwalla, Carmel Majidi, Henny Admoni, Zackory Erickson

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

Online Joint Fine-tuning of Multi-Agent Flows

Paul Mineiro

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

NoviCode: Generating Programs from Natural Language Utterances by Novices

Asaf Achi Mordechai, Yoav Goldberg, Reut Tsarfaty

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

BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks

Ruijia Cheng, Titus Barik, Alan Leung, Fred Hohman, Jeffrey Nichols

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

Recursive Visual Programming

Jiaxin Ge, Sanjay Subramanian, Baifeng Shi, Roei Herzig, Trevor Darrell

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

VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction

Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le, Bach Le, Patanamon, Thongtanunam

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

Comments Accepted in ISSTA'24

AutoChunk: Automated Activation Chunk for Memory-Efficient Long Sequence Inference

Xuanlei Zhao, Shenggan Cheng, Guangyang Lu, Jiarui Fang, Haotian Zhou, Bin Jia, Ziming Liu, Yang You

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

Comments ICLR 2024

Example-Based Reasoning about the Realizability of Polymorphic Programs

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

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

BEEAR: Embedding-based Adversarial Removal of Safety Backdoors in Instruction-tuned Language Models

Yi Zeng, Weiyu Sun, Tran Ngoc Huynh, Dawn Song, Bo Li, Ruoxi Jia

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

Agent-Driven Automatic Software Improvement

Fernando Vallecillos Ruiz

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

Comments The content in this pre-print is the same as in the CRC accepted for publication in the International Conference on Evaluation and Assessment in Software Engineering (EASE 2024)

Journal ref Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, June 2024, Pages 470 - 475

UniCoder: Scaling Code Large Language Model via Universal Code

Tao Sun, Linzheng Chai, Jian Yang, Yuwei Yin, Hongcheng Guo, Jiaheng Liu, Bing Wang, Liqun Yang, Zhoujun Li

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

Comments Accepted by ACL 2024 (Main)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables

Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka

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

Comments 54 pages, 30 figures, 1 table, published at PLDI 2024

Prose-to-P4: Leveraging High Level Languages

Mihai-Valentin Dumitru, Vlad-Andrei Bădoiu, Costin Raiciu

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

A Lightweight Framework for Adaptive Retrieval In Code Completion With Critique Model

Wenrui Zhang, Tiehang Fu, Ting Yuan, Ge Zhang, Dong Chen, Jie Wang

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

Anticipating User Needs: Insights from Design Fiction on Conversational Agents for Computational Thinking

Jacob Penney, João Felipe Pimentel, Igor Steinmacher, Marco A. Gerosa

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

Comments 17 pages, three figures, Conversations 2023. Chatbot research and design (2024). In Lecture notes in computer science

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito

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

SinkLoRA: Enhanced Efficiency and Chat Capabilities for Long-Context Large Language Models

Hengyu Zhang

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

Comments A rethinking of Short Shifted Attention

Experimenting with Multi-Agent Software Development: Towards a Unified Platform

Malik Abdul Sami, Muhammad Waseem, Zeeshan Rasheed, Mika Saari, Kari Systä, Pekka Abrahamsson

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

LogiCode: an LLM-Driven Framework for Logical Anomaly Detection

Yiheng Zhang, Yunkang Cao, Xiaohao Xu, Weiming Shen

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

Scaling Automatic Extraction of Pseudocode

Levent Toksoz, Gang Tan, C. Lee Giles

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

Verified Code Transpilation with LLMs

Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

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

AutoChip: Automating HDL Generation Using LLM Feedback

Shailja Thakur, Jason Blocklove, Hammond Pearce, Benjamin Tan, Siddharth Garg, Ramesh Karri

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

Q-Probe: A Lightweight Approach to Reward Maximization for Language Models

Kenneth Li, Samy Jelassi, Hugh Zhang, Sham Kakade, Martin Wattenberg, David Brandfonbrener

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

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction

Hanxian Huang, Zhenghan Lin, Zixuan Wang, Xin Chen, Ke Ding, Jishen Zhao

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

Efficient Model-agnostic Alignment via Bayesian Persuasion

Fengshuo Bai, Mingzhi Wang, Zhaowei Zhang, Boyuan Chen, Yinda Xu, Ying Wen, Yaodong Yang

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

DS-Agent: Automated Data Science by Empowering Large Language Models with Case-Based Reasoning

Siyuan Guo, Cheng Deng, Ying Wen, Hechang Chen, Yi Chang, Jun Wang

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

Comments Accepted by ICML 2024

A Study on Developer Behaviors for Validating and Repairing LLM-Generated Code Using Eye Tracking and IDE Actions

Ningzhi Tang, Meng Chen, Zheng Ning, Aakash Bansal, Yu Huang, Collin McMillan, Toby Jia-Jun Li

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

Analogical proportions II

Christian Antić

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

Proving Functional Program Equivalence via Directed Lemma Synthesis

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong

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

Comments 21 pages