代码大模型 / AI 编程

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

Learning to Complete Code with Sketches

Daya Guo, Alexey Svyatkovskiy, Jian Yin, Nan Duan, Marc Brockschmidt, Miltiadis Allamanis

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

Comments Published in ICLR 2022

Learning logic programs through divide, constrain, and conquer

Andrew Cropper

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

Comments Accepted for AAAI2022

DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion

Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, Bin Ren

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

Solving Visual Analogies Using Neural Algorithmic Reasoning

Atharv Sonwane, Gautam Shroff, Lovekesh Vig, Ashwin Srinivasan, Tirtharaj Dash

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

Comments 20 pages. Contains extended abstract accepted at the AAAI-22 Student Abstract and Poster Program along with relevent supplementary material

Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning

Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis

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

Neural-guided, Bidirectional Program Search for Abstraction and Reasoning

Simon Alford, Anshula Gandhi, Akshay Rangamani, Andrzej Banburski, Tony Wang, Sylee Dandekar, John Chin, Tomaso Poggio, Peter Chin

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

Comments Published as a conference paper at Complex Networks 2021

A domain-specific modeling and analysis environment for complex IoT applications

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio

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