代码大模型 / AI 编程

TaskMatrix.AI: Completing Tasks by Connecting Foundation Models with Millions of APIs

Yaobo Liang, Chenfei Wu, Ting Song, Wenshan Wu, Yan Xia, Yu Liu, Yang Ou, Shuai Lu, Lei Ji, Shaoguang Mao, Yun Wang, Linjun Shou, Ming Gong, Nan Duan

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

From {Solution Synthesis} to {Student Attempt Synthesis} for Block-Based Visual Programming Tasks

Adish Singla, Nikitas Theodoropoulos

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

Comments Longer version of EDM 2022 paper

LLMSecEval: A Dataset of Natural Language Prompts for Security Evaluations

Catherine Tony, Markus Mutas, Nicolás E. Díaz Ferreyra, Riccardo Scandariato

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

Comments Accepted at MSR '23 Data and Tool Showcase Track

Machine Learning-Driven Adaptive OpenMP For Portable Performance on Heterogeneous Systems

Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, David Beckingsale, Todd Gamblin, Bronis de Supinski

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

AMOM: Adaptive Masking over Masking for Conditional Masked Language Model

Yisheng Xiao, Ruiyang Xu, Lijun Wu, Juntao Li, Tao Qin, Yan-Tie Liu, Min Zhang

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

Comments Accepted by AAAI2023

Exploring Effects of Computational Parameter Changes to Image Recognition Systems

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

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

Comments 9 pages, 8 figures, 1 table

Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages

Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

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

Comments Accepted to EACL 2023 (Main)

A Vector Quantized Approach for Text to Speech Synthesis on Real-World Spontaneous Speech

Li-Wei Chen, Shinji Watanabe, Alexander Rudnicky

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

Comments Accepted to AAAI 2023

JBMC: A Bounded Model Checking Tool for Java Bytecode

Romain Brenguier, Lucas Cordeiro, Daniel Kroening, Peter Schrammel

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

Comments Book chapter preview

Self-Programming Artificial Intelligence Using Code-Generating Language Models

Alex Sheng, Shankar Padmanabhan

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

Unsupervised Learning of Neurosymbolic Encoders

Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri

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

Language Models of Code are Few-Shot Commonsense Learners

Aman Madaan, Shuyan Zhou, Uri Alon, Yiming Yang, Graham Neubig

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

Comments EMNLP 2022

Learning logic programs by discovering where not to search

Andrew Cropper, Céline Hocquette

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

Comments Preprint for AAAI23

Steps towards prompt-based creation of virtual worlds

Jasmine Roberts, Andrzej Banburski-Fahey, Jaron Lanier

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

Comments 15 pages

MDE4QAI: Towards Model-Driven Engineering for Quantum Artificial Intelligence

Armin Moin, Moharram Challenger, Atta Badii, Stephan Günnemann

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

Comments GI Quantum Computing Workshop - INFORMATIK 2022

Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming

Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca

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

FuncFooler: A Practical Black-box Attack Against Learning-based Binary Code Similarity Detection Methods

Lichen Jia, Bowen Tang, Chenggang Wu, Zhe Wang, Zihan Jiang, Yuanming Lai, Yan Kang, Ning Liu, Jingfeng Zhang

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

Comments 9 pages, 4 figures

A Hazard Analysis Framework for Code Synthesis Large Language Models

Heidy Khlaaf, Pamela Mishkin, Joshua Achiam, Gretchen Krueger, Miles Brundage

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

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

Daniil Berezun, Dmitry Boulytchev

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

Comments In Proceedings TFPIE 2021/22, arXiv:2207.11600

Journal ref EPTCS 363, 2022, pp. 22-43

AutoDiCE: Fully Automated Distributed CNN Inference at the Edge

Xiaotian Guo, Andy D. Pimentel, Todor Stefanov

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

Transformer with Tree-order Encoding for Neural Program Generation

Klaudia-Doris Thellmann, Bernhard Stadler, Ricardo Usbeck, Jens Lehmann

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

Comments This paper was authored in late 2020 and early 2021 for the most part

Controlling Conditional Language Models without Catastrophic Forgetting

Tomasz Korbak, Hady Elsahar, German Kruszewski, Marc Dymetman

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

Comments ICML 2022

Functional Code Building Genetic Programming

Edward Pantridge, Thomas Helmuth, Lee Spector

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

A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2

Alessandro Coglio

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

Comments In Proceedings ACL2 2022, arXiv:2205.11103

Journal ref EPTCS 359, 2022, pp. 185-201

A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java

Alessandro Coglio

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

Comments In Proceedings ACL2 2022, arXiv:2205.11103

Journal ref EPTCS 359, 2022, pp. 168-184

Facilitating automated conversion of scientific knowledge into scientific simulation models with the Machine Assisted Generation, Calibration, and Comparison (MAGCC) Framework

Chase Cockrell, Scott Christley, Gary An

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

Comments 20 Pages, 8 Figures, 5 Tables

What If: Generating Code to Answer Simulation Questions

Gal Peretz, Kira Radinsky

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

Landmarks and Regions: A Robust Approach to Data Extraction

Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza

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

Comments To be published at PLDI,2022

What Do They Capture? -- A Structural Analysis of Pre-Trained Language Models for Source Code

Yao Wan, Wei Zhao, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin

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

Comments Accepted by ICSE 2022 (The 44th International Conference on Software Engineering)

From Examples to Rules: Neural Guided Rule Synthesis for Information Extraction

Robert Vacareanu, Marco A. Valenzuela-Escarcega, George C. G. Barbosa, Rebecca Sharp, Mihai Surdeanu

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