暂无分享,去创建一个
Joshua B. Tenenbaum | Jacob Andreas | Maxwell Nye | Yewen Pu | Matthew Bowers | Armando Solar-Lezama
[1] Rajeev Alur,et al. SyGuS-Comp 2016: Results and Analysis , 2016, SYNT@CAV.
[2] Sebastian Nowozin,et al. DeepCoder: Learning to Write Programs , 2016, ICLR.
[3] Pushmeet Kohli,et al. RobustFill: Neural Program Learning under Noisy I/O , 2017, ICML.
[4] Le Song,et al. Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs , 2020, ICLR.
[5] Mirella Lapata,et al. Coarse-to-Fine Decoding for Neural Semantic Parsing , 2018, ACL.
[6] Chris Dyer. Should Neural Network Architecture Reflect Linguistic Structure? , 2017, CoNLL.
[7] Armando Solar-Lezama,et al. Write, Execute, Assess: Program Synthesis with a REPL , 2019, NeurIPS.
[8] Armando Solar-Lezama,et al. DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning , 2020, Philosophical Transactions of the Royal Society A.
[9] Li Fei-Fei,et al. Inferring and Executing Programs for Visual Reasoning , 2017, 2017 IEEE International Conference on Computer Vision (ICCV).
[10] Swarat Chaudhuri,et al. Neural Sketch Learning for Conditional Program Generation , 2017, ICLR.
[11] Armando Solar-Lezama,et al. Learning to Infer Program Sketches , 2019, ICML.
[12] Charles Sutton,et al. Learning to Represent Programs with Property Signatures , 2020, ICLR.
[13] Eran Yahav,et al. Programming with a read-eval-synth loop , 2020, Proc. ACM Program. Lang..
[14] Sanjiv Kumar,et al. On the Convergence of Adam and Beyond , 2018 .
[15] Rishabh Singh,et al. Synthesizing data structure manipulations from storyboards , 2011, ESEC/FSE '11.
[16] Pieter Abbeel,et al. Tractability of Planning with Loops , 2015, AAAI.
[17] Lior Wolf,et al. Automatic Program Synthesis of Long Programs with a Learned Garbage Collector , 2018, NeurIPS.
[18] Dan Klein,et al. Neural Module Networks , 2015, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[19] Dawn Song,et al. Execution-Guided Neural Program Synthesis , 2018, ICLR.
[20] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[21] Armando Solar-Lezama,et al. The three pillars of machine programming , 2018, MAPL@PLDI.
[22] Andrew Zisserman,et al. Spatial Transformer Networks , 2015, NIPS.
[23] Javier Segovia Aguas,et al. A review of generalized planning , 2019, The Knowledge Engineering Review.
[24] Marc Brockschmidt,et al. Learning to Represent Programs with Graphs , 2017, ICLR.
[25] J. W. Backus,et al. The FORTRAN automatic coding system , 1899, IRE-AIEE-ACM '57 (Western).
[26] Oleksandr Polozov,et al. Generative Code Modeling with Graphs , 2018, ICLR.
[27] Isil Dillig,et al. Program synthesis using abstraction refinement , 2017, Proc. ACM Program. Lang..