代码大模型 / AI 编程

Neural Program Synthesis with a Differentiable Fixer

Matej Balog, Rishabh Singh, Petros Maniatis, Charles Sutton

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

Incorporating External Knowledge through Pre-training for Natural Language to Code Generation

Frank F. Xu, Zhengbao Jiang, Pengcheng Yin, Bogdan Vasilescu, Graham Neubig

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

Comments Accepted by ACL 2020

Role-Oriented Code Generation in an Engine for Solving Hyperbolic PDE Systems

Jean-Matthieu Gallard, Lukas Krenz, Leonhard Rannabauer, Anne Reinarz, Michael Bader

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

Comments SC19 SE-HER

Evaluating Sequence-to-Sequence Learning Models for If-Then Program Synthesis

Dhairya Dalal, Byron V. Galbraith

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

Comments AAAI IPA workshop submission

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications

Alberto Camacho, Sheila A. McIlraith

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

Program synthesis performance constrained by non-linear spatial relations in Synthetic Visual Reasoning Test

Lu Yihe, Scott C. Lowe, Penelope A. Lewis, Mark C. W. van Rossum

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

Type-Directed Program Synthesis and Constraint Generation for Library Portability

Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle

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

Comments Accepted to PACT 2019

Human-Centric Program Synthesis

Will Crichton

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

Comments To appear at PLATEAU'19

Augmenting Type Signatures for Program Synthesis

Bruce Collie, Michael O'Boyle

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

Comments TyDe 2019 Extended Abstract

Constraint-Based Type-Directed Program Synthesis

Peter-Michael Osera

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

Comments Extended version of report that appeared in TyDe 2019

Learning Neurosymbolic Generative Models via Program Synthesis

Halley Young, Osbert Bastani, Mayur Naik

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

Relational Program Synthesis

Yuepeng Wang, Xinyu Wang, Isil Dillig

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

Retrieval-Based Neural Code Generation

Shirley Anugrah Hayati, Raphael Olivier, Pravalika Avvaru, Pengcheng Yin, Anthony Tomasic, Graham Neubig

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

Comments This paper is accepted in EMNLP 2018. It has 6 pages

Selecting Representative Examples for Program Synthesis

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

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

EgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model

Jiawei Zhang, Limeng Cui, Fisher B. Gouza

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

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli

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

Comments ICLR 2018

Learning Abstractions for Program Synthesis

Xinyu Wang, Greg Anderson, Isil Dillig, K. L. McMillan

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

Neural Program Synthesis with Priority Queue Training

Daniel A. Abolafia, Mohammad Norouzi, Jonathan Shen, Rui Zhao, Quoc V. Le

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

Systematic Mapping Study of Template-based Code Generation

Eugene Syriani, Lechanceux Luhunu, Houari Sahraoui

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

Program Synthesis using Conflict-Driven Learning

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

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

Comments This was a miscommunication and one author did not want to make it publicly available right now

Program Synthesis using Abstraction Refinement

Xinyu Wang, Isil Dillig, Rishabh Singh

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

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

Fabio Fioravanti, John P. Gallagher

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

Comments Papers selected for presentation at LOPSTR 2017

Interactive Program Synthesis

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani

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

Latent Attention For If-Then Program Synthesis

Xinyun Chen, Chang Liu, Richard Shin, Dawn Song, Mingcheng Chen

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

Comments Accepted by NIPS 2016

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Manuel V. Hermenegildo, Pedro Lopez-Garcia

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

Comments Papers selected for presentation at LOPSTR 2016

Program Synthesis from Polymorphic Refinement Types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

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

Code Generation for Event-B

Victor Rivera

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

Comments PhD thesis. Supervisor: Nestor Catano

Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps

Eric Umuhoza

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

Code Generation for High-Level Synthesis of Multiresolution Applications on FPGAs

Moritz Schmid, Oliver Reiche, Christian Schmitt, Frank Hannig, Jürgen Teich

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

Comments Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

Program Synthesis and Linear Operator Semantics

Herbert Wiklicky

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

Comments In Proceedings SYNT 2014, arXiv:1407.4937

Journal ref EPTCS 157, 2014, pp. 17-33