代码大模型 / AI 编程

Iterative Genetic Improvement: Scaling Stochastic Program Synthesis

Yuan Yuan, Wolfgang Banzhaf

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

Comments 18 pages, 10 figures, 16 tables

Synchromesh: Reliable code generation from pre-trained language models

Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani

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

Comments 10 pages, 9 additional pages of Appendix

Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts

Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa

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

Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming

Dominik Sobania, Martin Briesch, Franz Rothlauf

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

Optimal Neural Program Synthesis from Multimodal Specifications

Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

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

Comments Findings of EMNLP 2021

Retrieval Augmented Code Generation and Summarization

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

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

Comments accepted in EMNLP-Findings 2021

Autoencoders as Tools for Program Synthesis

Sander de Bruin, Vadim Liventsev, Milan Petković

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

Comments A dedicted website for demonstrating the principles shown in the paper is available at: https://tree2tree.app/ Source code is available at https://github.com/sander102907/autoencoder_program_synthesis

Toward Neural-Network-Guided Program Synthesis and Verification

Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno

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

Comments A summary will appear in Proceedings of SAS 2021, Springer LNCS

Program Synthesis with Large Language Models

Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, Charles Sutton

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

Comments Jacob and Augustus contributed equally

Latent Programmer: Discrete Latent Codes for Program Synthesis

Joey Hong, David Dohan, Rishabh Singh, Charles Sutton, Manzil Zaheer

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

Comments ICML 2021; 15 pages, 9 figures

A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis

Joseph Palermo, Johnny Ye, Alok Singh

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

On Adversarial Robustness of Synthetic Code Generation

Mrinal Anand, Pratik Kayal, Mayank Singh

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

Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization

Shivam Handa, Martin Rinard

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

Embedding API Dependency Graph for Neural Code Generation

Chen Lyu, Ruyun Wang, Hongyu Zhang, Hanwen Zhang, Songlin Hu

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

Journal ref Empir Software Eng 26, 61 (2021)

Automatic Code Generation using Pre-Trained Language Models

Luis Perez, Lizi Ottens, Sudharshan Viswanathan

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

Comments 9 pages, 11 figures

Learning Compositional Rules via Neural Program Synthesis

Maxwell I. Nye, Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake

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

Comments NeurIPS 2020. Code can be found at https://github.com/mtensor/rulesynthesis

Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis

Kavi Gupta, Peter Ebert Christensen, Xinyun Chen, Dawn Song

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

Comments Published in NeurIPS 2020

Program Synthesis with Pragmatic Communication

Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama

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

Comments The second author and the third author contributed equally to this work

Formal Fields: A Framework to Automate Code Generation Across Domains

Jacques Basaldúa

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

Information-theoretic User Interaction: Significant Inputs for Program Synthesis

Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman

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

Semantic Scaffolds for Pseudocode-to-Code Generation

Ruiqi Zhong, Mitchell Stern, Dan Klein

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

Leveraging Code Generation to Improve Code Retrieval and Summarization via Dual Learning

Wei Ye, Rui Xie, Jinglei Zhang, Tianxiang Hu, Xiaoyin Wang, Shikun Zhang

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

Comments Published at The Web Conference (WWW) 2020, full paper

TreeGen: A Tree-Based Transformer Architecture for Code Generation

Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang

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

Journal ref AAAI 2020

A Grammar-Based Structural CNN Decoder for Code Generation

Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang

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

HOUDINI: Lifelong Learning as Program Synthesis

Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri

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

TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation

Pengcheng Yin, Graham Neubig

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

Comments EMNLP 2018 (Demo Track)

Program Synthesis from Visual Specification

Evan Hernandez, Ara Vartanian, Xiaojin Zhu

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

Recent Advances in Neural Program Synthesis

Neel Kant

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

Comments 16 pages (without citations); Literature Review

A parallel corpus of Python functions and documentation strings for automated code documentation and code generation

Antonio Valerio Miceli Barone, Rico Sennrich

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

Comments 5 pages, 1 figure, 3 tables

Neuro-Symbolic Program Synthesis

Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, Pushmeet Kohli

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