代码大模型 / AI 编程

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

Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates

Zhihong Sun, Yao Wan, Jia Li, Hongyu Zhang, Zhi Jin, Ge Li, Chen Lyu

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

Comments Accepted by the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)

Extending Isabelle/HOL's Code Generator with support for the Go programming language

Terru Stübinger, Lars Hupel

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

Comments 23 pages, of which 15 pages are main content

Journal ref FM 2024: Formal Methods Volume 14934 of the series Lecture Notes in Computer Science pp 3-19, Springer

Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs

William Van Woensel, Oshani Seneviratne

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

Adaptive Language-Guided Abstraction from Contrastive Explanations

Andi Peng, Belinda Z. Li, Ilia Sucholutsky, Nishanth Kumar, Julie A. Shah, Jacob Andreas, Andreea Bobu

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

Comments CoRL 2024

DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation

Mingke Yang, Yuqi Chen, Yi Liu, Ling Shi

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

Differentiable programming across the PDE and Machine Learning barrier

Nacime Bouziani, David A. Ham, Ado Farsi

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

It is Time to Develop an Auditing Framework to Promote Value Aware Chatbots

Yanchen Wang, Lisa Singh

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

Comments arXiv admin note: substantial text overlap with arXiv:2306.07500

Journal ref 13th International Conference on Data Science, Technology and Applications (DATA 2024), pages 460-470

Exploring the Problems, their Causes and Solutions of AI Pair Programming: A Study on GitHub and Stack Overflow

Xiyu Zhou, Peng Liang, Beiqi Zhang, Zengyang Li, Aakash Ahmad, Mojtaba Shahin, Muhammad Waseem

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

Comments Preprint accepted for publication in Journal of Systems and Software, 2024

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs

Shaan Nagy, Jinwoo Kim, Thomas Reps, Loris D'Antoni

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

Comments 30 pages, 5 figures, 2 tables, Will be published in OOPSLA '24 (Vol. 8, No. OOPSLA2, Article 275)

To Code, or Not To Code? Exploring Impact of Code in Pre-training

Viraat Aryabumi, Yixuan Su, Raymond Ma, Adrien Morisot, Ivan Zhang, Acyr Locatelli, Marzieh Fadaee, Ahmet Üstün, Sara Hooker

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

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring

Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni

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

FT K-means: A High-Performance K-means on GPU with Fault Tolerance

Shixun Wu, Yitong Ding, Yujia Zhai, Jinyang Liu, Jiajun Huang, Zizhe Jian, Huangliang Dai, Sheng Di, Bryan M. Wong, Zizhong Chen, Franck Cappello

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

ProMoAI: Process Modeling with Generative AI

Humam Kourani, Alessandro Berti, Daniel Schuster, Wil M. P. van der Aalst

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

GUI Element Detection Using SOTA YOLO Deep Learning Models

Seyed Shayan Daneshvar, Shaowei Wang

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

Leveraging Generative AI for Urban Digital Twins: A Scoping Review on the Autonomous Generation of Urban Data, Scenarios, Designs, and 3D City Models for Smart City Advancement

Haowen Xu, Femi Omitaomu, Soheil Sabri, Sisi Zlatanova, Xiao Li, Yongze Song

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

Extend Model Merging from Fine-Tuned to Pre-Trained Large Language Models via Weight Disentanglement

Le Yu, Bowen Yu, Haiyang Yu, Fei Huang, Yongbin Li

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

Comments 17 pages

Automatic Platform Configuration and Software Integration for Software-Defined Vehicles

Fengjunjie Pan, Jianjie Lin, Markus Rickert

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

Comments 7 pages, 6 figures, preprint

Music2P: A Multi-Modal AI-Driven Tool for Simplifying Album Cover Design

Joong Ho Choi, Geonyeong Choi, Ji-Eun Han, Wonjin Yang, Zhi-Qi Cheng

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

Comments Accepted at CIKM 2024 Demo Paper track. Project available at https://github.com/JC-78/Music2P

AutoM3L: An Automated Multimodal Machine Learning Framework with Large Language Models

Daqin Luo, Chengjian Feng, Yuxuan Nong, Yiqing Shen

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

Comments Accpeted by ACMMM2024

Pyramid Coder: Hierarchical Code Generator for Compositional Visual Question Answering

Ruoyue Shen, Nakamasa Inoue, Koichi Shinoda

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

Comments Accepted to the IEEE International Conference on Image Processing (IEEE ICIP) 2024

Strong Copyright Protection for Language Models via Adaptive Model Fusion

Javier Abad, Konstantin Donhauser, Francesco Pinto, Fanny Yang

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

Generating Unseen Code Tests In Infinitum

Marcel Zalmanovici, Orna Raz, Eitan Farchi, Iftach Freund

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

LLASP: Fine-tuning Large Language Models for Answer Set Programming

Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca

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

FuncEvalGMN: Evaluating Functional Correctness of SQL via Graph Matching Network

Yi Zhan, Yang Sun, Han Weng, Longjie Cui, Guifeng Wang, Jiajun Xie, Yu Tian, Xiaoming Yin, Boyi Liu, Dongchi Huang

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

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers

Zhihao Xu, Shikai Guo, Guilin Zhao, Peiyu Zou, Xiaochen Li, He Jiang

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