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

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

1911.07721 2019-11-20 cs.LG stat.ML 79%

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

1908.04546 2019-10-10 cs.PL cs.PF 79%

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

1909.12281 2019-09-27 cs.HC cs.PL 79%

Human-Centric Program Synthesis

Will Crichton

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

Comments To appear at PLATEAU'19

1907.05649 2019-07-15 cs.PL 79%

Augmenting Type Signatures for Program Synthesis

Bruce Collie, Michael O'Boyle

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

Comments TyDe 2019 Extended Abstract

1. 代码生成 4087 篇

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

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

Type-Directed Program Synthesis and Constraint Generation for Library Portability

Human-Centric Program Synthesis

Augmenting Type Signatures for Program Synthesis