代码大模型 / AI 编程

Correct and Optimal: the Regular Expression Inference Challenge

Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger

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

Comments accepted to IJCAI 2024; 7 pages with 2 tables, 5 pages appendix with 3 tables, 1 figure

Advancements in Generative AI: A Comprehensive Review of GANs, GPT, Autoencoders, Diffusion Model, and Transformers

Staphord Bengesi, Hoda El-Sayed, Md Kamruzzaman Sarker, Yao Houkpati, John Irungu, Timothy Oladunni

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

Enabling High-Sparsity Foundational Llama Models with Efficient Pretraining and Deployment

Abhinav Agarwalla, Abhay Gupta, Alexandre Marques, Shubhra Pandit, Michael Goin, Eldar Kurtic, Kevin Leong, Tuan Nguyen, Mahmoud Salem, Dan Alistarh, Sean Lie, Mark Kurtz

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

Digital ASIC Design with Ongoing LLMs: Strategies and Prospects

Maoyang Xiang, Emil Goh, T. Hui Teo

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

Comments 8 pages, 2 figures, 1 table

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph

Guanxuan Wu, Allison Sullivan

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

Comments 12 pages

Exploring Combinatorial Problem Solving with Large Language Models: A Case Study on the Travelling Salesman Problem Using GPT-3.5 Turbo

Mahmoud Masoud, Ahmed Abdelhay, Mohammed Elhenawy

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

Tabular Embedding Model (TEM): Finetuning Embedding Models For Tabular RAG Applications

Sujit Khanna, Shishir Subedi

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

Comments 11 pages, 5 figures

BANSAI: Towards Bridging the AI Adoption Gap in Industrial Robotics with Neurosymbolic Programming

Benjamin Alt, Julia Dvorak, Darko Katic, Rainer Jäkel, Michael Beetz, Gisela Lanza

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

Comments 6 pages, 3 figures, accepted at the 2024 CIRP International Conference on Manufacturing Systems (CMS)

LLMatic: Neural Architecture Search via Large Language Models and Quality Diversity Optimization

Muhammad U. Nasir, Sam Earle, Christopher Cleghorn, Steven James, Julian Togelius

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

Comments Accepted to The Genetic and Evolutionary Computation Conference 2024

The Argument for Meta-Modeling-Based Approaches to Hardware Generation Languages

Johannes Schreiner, Daniel Gerl, Robert Kunzelmann, Paritosh Kumar Sinha, Wolfgang Ecker

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

Natural Language as Policies: Reasoning for Coordinate-Level Embodied Control with LLMs

Yusuke Mikami, Andrew Melnik, Jun Miura, Ville Hautamäki

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

Comments 8 pages, 2 figures

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course

Boxaun Ma, Li Chen, Shin'ichi Konomi

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

TeleChat Technical Report

Zhongjiang He, Zihan Wang, Xinzhang Liu, Shixuan Liu, Yitong Yao, Yuyao Huang, Xuelong Li, Yongxiang Li, Zhonghao Che, Zhaoxi Zhang, Yan Wang, Xin Wang, Luwen Pu, Huinan Xu, Ruiyu Fang, Yu Zhao, Jie Zhang, Xiaomeng Huang, Zhilong Lu, Jiaxin Peng, Wenjun Zheng, Shiquan Wang, Bingkai Yang, Xuewei he, Zhuoru Jiang, Qiyi Xie, Yanhan Zhang, Zhongqiu Li, Lingling Shi, Weiwei Fu, Yin Zhang, Zilu Huang, Sishi Xiong, Yuxiang Zhang, Chao Wang, Shuangyong Song

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

Comments 28 pages, 2 figures

LTL learning on GPUs

Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger

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

Comments 27 pages

Bugs in Large Language Models Generated Code: An Empirical Study

Florian Tambon, Arghavan Moradi Dakhel, Amin Nikanjam, Foutse Khomh, Michel C. Desmarais, Giuliano Antoniol

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

Comments 47 pages, 7 figures

KnowCoder: Coding Structured Knowledge into LLMs for Universal Information Extraction

Zixuan Li, Yutao Zeng, Yuxin Zuo, Weicheng Ren, Wenxuan Liu, Miao Su, Yucan Guo, Yantao Liu, Xiang Li, Zhilei Hu, Long Bai, Wei Li, Yidan Liu, Pan Yang, Xiaolong Jin, Jiafeng Guo, Xueqi Cheng

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

Poisoning Programs by Un-Repairing Code: Security Concerns of AI-generated Code

Cristina Improta

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

Comments Accepted at The 1st IEEE International Workshop on Reliable and Secure AI for Software Engineering (ReSAISE), co-located with ISSRE 2023

RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Horizon Generation

Zihao Wang, Anji Liu, Haowei Lin, Jiaqi Li, Xiaojian Ma, Yitao Liang

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

Semantic Mirror Jailbreak: Genetic Algorithm Based Jailbreak Prompts Against Open-source LLMs

Xiaoxia Li, Siyuan Liang, Jiyi Zhang, Han Fang, Aishan Liu, Ee-Chien Chang

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

Coffee: Boost Your Code LLMs by Fixing Bugs with Feedback

Seungjun Moon, Hyungjoo Chae, Yongho Song, Taeyoon Kwon, Dongjin Kang, Kai Tzu-iunn Ong, Seung-won Hwang, Jinyoung Yeo

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

Comments Work in progress

Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity Tracking

Nikhil Prakash, Tamar Rott Shaham, Tal Haklay, Yonatan Belinkov, David Bau

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

Comments ICLR 2024. 26 pages, 13 figures. Code and data at https://finetuning.baulab.info/

Are Human-generated Demonstrations Necessary for In-context Learning?

Rui Li, Guoyin Wang, Jiwei Li

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

CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing

Zhibin Gou, Zhihong Shao, Yeyun Gong, Yelong Shen, Yujiu Yang, Nan Duan, Weizhu Chen

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

Comments ICLR 2024

Advancing GenAI Assisted Programming--A Comparative Study on Prompt Efficiency and Code Quality Between GPT-4 and GLM-4

Angus Yang, Zehan Li, Jie Li

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

Comments 18 pages, 4 figures, 3 tables

Dynamic Retrieval-Augmented Generation

Anton Shapkin, Denis Litvinov, Yaroslav Zharov, Egor Bogomolov, Timur Galimzyanov, Timofey Bryksin

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

Comments 10 pages

Enhancing LLM-Based Coding Tools through Native Integration of IDE-Derived Static Context

Yichen Li, Yun Peng, Yintong Huo, Michael R. Lyu

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

Language-Driven Engineering An Interdisciplinary Software Development Paradigm

Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff

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

Comments 43 pages, 30 figures

SwissNYF: Tool Grounded LLM Agents for Black Box Setting

Somnath Sendhil Kumar, Dhruv Jain, Eshaan Agarwal, Raunak Pandey

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

Language Models are Better Bug Detector Through Code-Pair Classification

Kamel Alrashedy, Ahmed Binjahlan

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

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis

Richard Roberson, Gowtham Kaki, Ashutosh Trivedi

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