代码大模型 / AI 编程

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos

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

Comments 9 pages, 1 figure, 2 tables, submitted to a workshop

Qwen2.5-Coder Technical Report

Binyuan Hui, Jian Yang, Zeyu Cui, Jiaxi Yang, Dayiheng Liu, Lei Zhang, Tianyu Liu, Jiajun Zhang, Bowen Yu, Keming Lu, Kai Dang, Yang Fan, Yichang Zhang, An Yang, Rui Men, Fei Huang, Bo Zheng, Yibo Miao, Shanghaoran Quan, Yunlong Feng, Xingzhang Ren, Xuancheng Ren, Jingren Zhou, Junyang Lin

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

An Empirical Study on the Code Refactoring Capability of Large Language Models

Jonathan Cordeiro, Shayan Noei, Ying Zou

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

Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering?

Guoqing Wang, Zeyu Sun, Zhihao Gong, Sixiang Ye, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao

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

Building A Coding Assistant via the Retrieval-Augmented Language Model

Xinze Li, Hanbin Wang, Zhenghao Liu, Shi Yu, Shuo Wang, Yukun Yan, Yukai Fu, Yu Gu, Ge Yu

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

Evaluating LLMs' Mathematical and Coding Competency through Ontology-guided Interventions

Pengfei Hong, Navonil Majumder, Deepanway Ghosal, Somak Aditya, Rada Mihalcea, Soujanya Poria

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

Comments With o1 and GPT-4o results. Reformatted the data and presented more analysis

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Junyoung Jang, Brigitte Pientka

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

Ethics of Software Programming with Generative AI: Is Programming without Generative AI always radical?

Marcellin Atemkeng, Sisipho Hamlomo, Brian Welman, Nicole Oyetunji, Pouya Ataei, Jean Louis K. E Fendji

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

Explainable Behavior Cloning: Teaching Large Language Model Agents through Learning by Demonstration

Yanchu Guan, Dong Wang, Yan Wang, Haiqing Wang, Renen Sun, Chenyi Zhuang, Jinjie Gu, Zhixuan Chu

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

Comments 20 pages

Substance Beats Style: Why Beginning Students Fail to Code with LLMs

Francesca Lucchetti, Zixuan Wu, Arjun Guha, Molly Q Feldman, Carolyn Jane Anderson

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

Watermarking Large Language Models and the Generated Content: Opportunities and Challenges

Ruisi Zhang, Farinaz Koushanfar

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

Comments invited paper to Asilomar Conference on Signals, Systems, and Computers

Large Language Models in Computer Science Education: A Systematic Literature Review

Nishat Raihan, Mohammed Latif Siddiq, Joanna C. S. Santos, Marcos Zampieri

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

Comments Accepted at 56th ACM Technical Symposium on Computer Science Education (SIGCSE TS 2025)

Materials science in the era of large language models: a perspective

Ge Lei, Ronan Docherty, Samuel J. Cooper

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

Journal ref Digital Discovery, 2024,3, 1257-1272

Can Large Language Models Generate Geospatial Code?

Shuyang Hou, Zhangxiao Shen, Jianyuan Liang, Anqi Zhao, Zhipeng Gui, Rui Li, Huayi Wu

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

Deep Learning-based Software Engineering: Progress, Challenges, and Opportunities

Xiangping Chen, Xing Hu, Yuan Huang, He Jiang, Weixing Ji, Yanjie Jiang, Yanyan Jiang, Bo Liu, Hui Liu, Xiaochen Li, Xiaoli Lian, Guozhu Meng, Xin Peng, Hailong Sun, Lin Shi, Bo Wang, Chong Wang, Jiayi Wang, Tiantian Wang, Jifeng Xuan, Xin Xia, Yibiao Yang, Yixin Yang, Li Zhang, Yuming Zhou, Lu Zhang

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

Comments Accepted in SCIENCE CHINA Information Sciences

SciDoc2Diagrammer-MAF: Towards Generation of Scientific Diagrams from Documents guided by Multi-Aspect Feedback Refinement

Ishani Mondal, Zongxia Li, Yufang Hou, Anandhavelu Natarajan, Aparna Garimella, Jordan Boyd-Graber

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

Comments Code and data available at https://github.com/Ishani-Mondal/SciDoc2DiagramGeneration

Journal ref Empirical Methods in Natural Language Processing 2024

Evidence of Cognitive Deficits andDevelopmental Advances in Generative AI: A Clock Drawing Test Analysis

Isaac R. Galatzer-Levy, Jed McGiffin, David Munday, Xin Liu, Danny Karmon, Ilia Labzovsky, Rivka Moroshko, Amir Zait, Daniel McDuff

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

Instructive Code Retriever: Learn from Large Language Model's Feedback for Code Intelligence Tasks

Jiawei Lu, Haoye Wang, Zhongxin Liu, Keyu Liang, Lingfeng Bao, Xiaohu Yang

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

Comments to appear at the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)

Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns

Jan H. Klemmer, Stefan Albert Horstmann, Nikhil Patnaik, Cordelia Ludden, Cordell Burton, Carson Powers, Fabio Massacci, Akond Rahman, Daniel Votipka, Heather Richter Lipford, Awais Rashid, Alena Naiakshina, Sascha Fahl

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

Comments Extended version of the paper that appeared at ACM CCS 2024. 21 pages, 2 figures, 3 tables

COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement

Yuxi Xie, Anirudh Goyal, Xiaobao Wu, Xunjian Yin, Xiao Xu, Min-Yen Kan, Liangming Pan, William Yang Wang

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

Comments 12 pages, 7 figures, 3 tables (23 pages, 9 figures, 4 tables including references and appendices)

Context-Aware SQL Error Correction Using Few-Shot Learning -- A Novel Approach Based on NLQ, Error, and SQL Similarity

Divyansh Jain, Eric Yang

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

Comments Accepted for the 1st Workshop on GenAI and RAG Systems for Enterprise @ CIKM 2024

Is DPO Superior to PPO for LLM Alignment? A Comprehensive Study

Shusheng Xu, Wei Fu, Jiaxuan Gao, Wenjie Ye, Weilin Liu, Zhiyu Mei, Guangju Wang, Chao Yu, Yi Wu

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

Comments 16 pages, 2 figures, 14 tables

Journal ref ICML 2024

Leroy: Library Learning for Imperative Programming Languages

Abhiram Bellur, Razan Alghamdi, Kidus Workneh, Joseph Izraelevitz

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

Comments Presented at the 5th Intl. Wkshp. on Human Aspects of Types and Reasoning Assistants (HATRA). Pasadena, CA, USA. 2024

Not All LLM Reasoners Are Created Equal

Arian Hosseini, Alessandro Sordoni, Daniel Toyama, Aaron Courville, Rishabh Agarwal

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

DreamStruct: Understanding Slides and User Interfaces via Synthetic Data Generation

Yi-Hao Peng, Faria Huq, Yue Jiang, Jason Wu, Amanda Xin Yue Li, Jeffrey Bigham, Amy Pavel

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

Comments ECCV 2024

OpTC -- A Toolchain for Deployment of Neural Networks on AURIX TC3xx Microcontrollers

Christian Heidorn, Frank Hannig, Dominik Riedelbauch, Christoph Strohmeyer, Jürgen Teich

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

Journal ref Proceedings of the 2024 Stuttgart International Symposium on Automotive and Engine Technology

HM3: Hierarchical Multi-Objective Model Merging for Pretrained Models

Yu Zhou, Xingyu Wu, Jibin Wu, Liang Feng, Kay Chen Tan

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

Step-based checkpointing with high-level algorithmic differentiation

James R. Maddison

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

Automatic Library Migration Using Large Language Models: First Results

Aylton Almeida, Laerte Xavier, Marco Tulio Valente

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

Comments Accepted at 18th International Symposium on Empirical Software Engineering and Measurement (ESEM), pages 1-7, 2024

Demo: SGCode: A Flexible Prompt-Optimizing System for Secure Generation of Code

Khiem Ton, Nhi Nguyen, Mahmoud Nazzal, Abdallah Khreishah, Cristian Borcea, NhatHai Phan, Ruoming Jin, Issa Khalil, Yelong Shen

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