暂无分享,去创建一个
Armando Solar-Lezama | Joshua B. Tenenbaum | Luke B. Hewitt | Maxwell I. Nye | J. Tenenbaum | Armando Solar-Lezama | Maxwell Nye
[1] Armando Solar-Lezama,et al. Program synthesis by sketching , 2008 .
[2] Rastislav Bodík,et al. Programming with angelic nondeterminism , 2010, POPL '10.
[3] Sumit Gulwani,et al. Automating string processing in spreadsheets using input-output examples , 2011, POPL '11.
[4] Butler W. Lampson,et al. A Machine Learning Framework for Programming by Example , 2013, ICML.
[5] Joshua B. Tenenbaum,et al. Bootstrap Learning via Modular Concept Discovery , 2013, IJCAI.
[6] Sumit Gulwani,et al. FlashMeta: a framework for inductive program synthesis , 2015, OOPSLA.
[7] Joshua B. Tenenbaum,et al. Human-level concept learning through probabilistic program induction , 2015, Science.
[8] Isil Dillig,et al. Synthesizing data structure transformations from input-output examples , 2015, PLDI.
[9] Jimmy Ba,et al. Adam: A Method for Stochastic Optimization , 2014, ICLR.
[10] Rajeev Alur,et al. SyGuS-Comp 2016: Results and Analysis , 2016, SYNT@CAV.
[11] Joshua B. Tenenbaum,et al. Building machines that learn and think like people , 2016, Behavioral and Brain Sciences.
[12] Alexander Aiken,et al. Stochastic program optimization , 2016, Commun. ACM.
[13] Pushmeet Kohli,et al. RobustFill: Neural Program Learning under Noisy I/O , 2017, ICML.
[14] Lihong Li,et al. Neuro-Symbolic Program Synthesis , 2016, ICLR.
[15] Tim Rocktäschel,et al. Programming with a Differentiable Forth Interpreter , 2016, ICML.
[16] Dawn Xiaodong Song,et al. Learning Neural Programs To Parse Programs , 2017, ArXiv.
[17] Sebastian Nowozin,et al. DeepCoder: Learning to Write Programs , 2016, ICLR.
[18] Frank D. Wood,et al. Inference Compilation and Universal Probabilistic Programming , 2016, AISTATS.
[19] Illia Polosukhin,et al. Neural Program Search: Solving Programming Tasks from Description and Examples , 2018, ICLR.
[20] Krzysztof Krawiec,et al. Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural Language , 2018, ArXiv.
[21] Dawn Xiaodong Song,et al. Towards Synthesizing Complex Programs From Input-Output Examples , 2017, ICLR.
[22] Sumit Gulwani,et al. Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples , 2018, ICLR.
[23] Lior Wolf,et al. Automatic Program Synthesis of Long Programs with a Learned Garbage Collector , 2018, NeurIPS.
[24] William E. Byrd,et al. Neural Guided Constraint Logic Programming for Program Synthesis , 2018, NeurIPS.
[25] Dawn Xiaodong Song,et al. Improving Neural Program Synthesis with Inferred Execution Traces , 2018, NeurIPS.
[26] Swarat Chaudhuri,et al. Neural Sketch Learning for Conditional Program Generation , 2017, ICLR.
[27] Matthew J. Hausknecht,et al. Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis , 2018, ICLR.
[28] Mirella Lapata,et al. Coarse-to-Fine Decoding for Neural Semantic Parsing , 2018, ACL.