代码大模型 / AI 编程 - arXivDaily 专题

2204.02495 2022-04-07 cs.AI 79%

Efficient Pragmatic Program Synthesis with Informative Specifications

Saujas Vaduguru, Kevin Ellis, Yewen Pu

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

Comments 9 pages, Meaning in Context Workshop 2021

2203.09452 2022-03-21 cs.PL 79%

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

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

Comments Fixed some incorrectly rendered citations

2202.07806 2022-02-17 cs.CL 79%

Code Generation for Unknown Libraries via Reading API Documentations

Koki Washio, Yusuke Miyao

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

2202.07612 2022-02-16 cs.SE 79%

CodeGen-Test: An Automatic Code Generation Model Integrating Program Test Information

Maosheng Zhong, Gen Liu, Hongwei Li, Jiangling Kuang, Jinshan Zeng, Mingwen Wang

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

Comments 10 paper pages, 7 figures; 2 appendix pages, 5 appendix figures

2108.07117 2022-01-26 cs.SE 79%

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

Ali Shokri

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

Comments This paper has been accepted in the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) and is going to be published. Please feel free to cite it

Journal ref 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

2106.12496 2022-01-20 cs.PL 79%

Threaded Code Generation with a Meta-Tracing JIT Compiler

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong

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

Comments to appear in the Journal of Object Technology Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21)

2102.11137 2021-11-03 cs.AI 79%

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

Yichen David Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

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

Journal ref NeurIPS 2021

2101.11149 2021-09-23 cs.SE 79%

In-IDE Code Generation from Natural Language: Promise and Challenges

Frank F. Xu, Bogdan Vasilescu, Graham Neubig

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

Comments 47 pages, accepted to ACM Transactions on Software Engineering and Methodology

2102.06360 2021-09-22 cs.SE 79%

Fine-grained Pseudo-code Generation Method via Code Feature Extraction and Transformer

Guang Yang, Yanlin Zhou, Xiang Chen, Chi Yu

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

Comments Accepted in APSEC2021

2107.10160 2021-09-01 cs.PL cs.LO 79%

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

Emanuele De Angelis, Wim Vanhoof

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

Comments Papers selected for presentation at LOPSTR 2021, Invited talks and Tutorial

2103.04880 2021-08-31 cs.RO cs.PL 79%

Iterative Program Synthesis for Adaptable Social Navigation

Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas

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

Comments IROS 2021

2108.12227 2021-08-30 cs.NE cs.SE 79%

Recent Developments in Program Synthesis with Evolutionary Algorithms

Dominik Sobania, Dirk Schweim, Franz Rothlauf

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

2001.10119 2021-06-16 cs.LG stat.ML 79%

Unsupervised Program Synthesis for Images By Sampling Without Replacement

Chenghui Zhou, Chun-Liang Li, Barnabas Poczos

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

Comments Accepted to UAI 2021

Journal ref UAI 2021

2106.06566 2021-06-15 cs.CL 79%

Sample-efficient Linguistic Generalizations through Program Synthesis: Experiments with Phonology Problems

Saujas Vaduguru, Aalok Sathe, Monojit Choudhury, Dipti Misra Sharma

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

Comments SIGMORPHON 2021

2106.06086 2021-06-14 cs.SE cs.NE 79%

PSB2: The Second Program Synthesis Benchmark Suite

Thomas Helmuth, Peter Kelly

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

Comments To be published in GECCO 2021

2106.00261 2021-06-02 cs.CL 79%

Exploring Dynamic Selection of Branch Expansion Orders for Code Generation

Hui Jiang, Chulun Zhou, Fandong Meng, Biao Zhang, Jie Zhou, Degen Huang, Qingqiang Wu, Jinsong Su

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

Comments Accepted by ACL 2021 main conference

2105.14796 2021-06-01 cs.AI 79%

Improving Tree-Structured Decoder Training for Code Generation via Mutual Learning

Binbin Xie, Jinsong Su, Yubin Ge, Xiang Li, Jianwei Cui, Junfeng Yao, Bin Wang

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

2104.03224 2021-06-01 cs.DB cs.LG 79%

Efficient and Accurate In-Database Machine Learning with SQL Code Generation in Python

Michael Kaufmann, Gabriel Stechschulte, Anna Huber

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

2105.09221 2021-05-20 cs.AI cs.LO 79%

Program Synthesis as Dependency Quantified Formula Modulo Theory

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

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

Comments 12 page excluding reference. To be published in 30th International Joint Conference on Artificial Intelligence (IJCAI-21)

2104.07162 2021-04-16 cs.PL 79%

Web Question Answering with Neurosymbolic Program Synthesis

Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig

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

Comments 20 pages

2009.10272 2021-03-15 cs.PL 79%

Inductive Program Synthesis Over Noisy Data

Shivam Handa, Martin Rinard

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

2103.02004 2021-03-04 cs.SE 79%

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis

Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman

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

Comments Accepted at ICSE 2021

2010.06135 2020-10-14 cs.PL cs.CR 79%

Session-layer Attack Traffic Classification by Program Synthesis

Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo

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

Comments 13 pages

2003.10485 2020-07-28 cs.LG stat.ML 79%

Creating Synthetic Datasets via Evolution for Neural Program Synthesis

Alexander Suh, Yuval Timen

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

Comments 10 pages, 0 figures, submitted to ICML 2020; experiments on Karel domain added

2007.12500 2020-07-27 cs.RO cs.AI 79%

Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study

Simón C. Smith, Subramanian Ramamoorthy

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

Comments In Proceedings AREA 2020, arXiv:2007.11260

Journal ref EPTCS 319, 2020, pp. 81-101

2006.10924 2020-06-22 stat.ML cs.LG 79%

Neural Program Synthesis with a Differentiable Fixer

Matej Balog, Rishabh Singh, Petros Maniatis, Charles Sutton

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

2004.09015 2020-04-21 cs.CL 79%

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

1911.06817 2020-03-31 cs.MS cs.SE 79%

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

2002.03485 2020-02-11 cs.LG stat.ML 79%

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

1912.13430 2020-01-01 cs.AI cs.FL cs.GT cs.LO cs.NE 79%

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications

Alberto Camacho, Sheila A. McIlraith

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

1. 代码生成 4106 篇

Efficient Pragmatic Program Synthesis with Informative Specifications

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)

Code Generation for Unknown Libraries via Reading API Documentations

CodeGen-Test: An Automatic Code Generation Model Integrating Program Test Information

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

Threaded Code Generation with a Meta-Tracing JIT Compiler

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

In-IDE Code Generation from Natural Language: Promise and Challenges

Fine-grained Pseudo-code Generation Method via Code Feature Extraction and Transformer

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

Iterative Program Synthesis for Adaptable Social Navigation

Recent Developments in Program Synthesis with Evolutionary Algorithms

Unsupervised Program Synthesis for Images By Sampling Without Replacement

Sample-efficient Linguistic Generalizations through Program Synthesis: Experiments with Phonology Problems

PSB2: The Second Program Synthesis Benchmark Suite

Exploring Dynamic Selection of Branch Expansion Orders for Code Generation

Improving Tree-Structured Decoder Training for Code Generation via Mutual Learning

Efficient and Accurate In-Database Machine Learning with SQL Code Generation in Python

Program Synthesis as Dependency Quantified Formula Modulo Theory

Web Question Answering with Neurosymbolic Program Synthesis

Inductive Program Synthesis Over Noisy Data

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis

Session-layer Attack Traffic Classification by Program Synthesis

Creating Synthetic Datasets via Evolution for Neural Program Synthesis

Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study

Neural Program Synthesis with a Differentiable Fixer

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

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

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

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications