暂无分享,去创建一个
Armando Solar-Lezama | Joshua B. Tenenbaum | Brenden M. Lake | Maxwell I. Nye | J. Tenenbaum | B. Lake | Armando Solar-Lezama | Maxwell Nye
[1] Gary Marcus,et al. Deep Learning: A Critical Appraisal , 2018, ArXiv.
[2] G. Marcus. The Algebraic Mind: Integrating Connectionism and Cognitive Science , 2001 .
[3] S. Kolassa. Two Cheers for Rebooting AI: Building Artificial Intelligence We Can Trust , 2020 .
[4] Brenden M. Lake,et al. Compositional generalization through meta sequence-to-sequence learning , 2019, NeurIPS.
[5] Lior Wolf,et al. Automatic Program Synthesis of Long Programs with a Learned Garbage Collector , 2018, NeurIPS.
[6] Leslie Pack Kaelbling,et al. Selecting Representative Examples for Program Synthesis , 2017, ICML.
[7] Dawn Song,et al. Execution-Guided Neural Program Synthesis , 2018, ICLR.
[8] Jacob Andreas,et al. Good-Enough Compositional Data Augmentation , 2019, ACL.
[9] J. Fodor,et al. Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.
[10] Frank D. Wood,et al. Inference Compilation and Universal Probabilistic Programming , 2016, AISTATS.
[11] G. Marcus. Rethinking Eliminative Connectionism , 1998, Cognitive Psychology.
[12] Sanjit A. Seshia,et al. Combinatorial sketching for finite programs , 2006, ASPLOS XII.
[13] Sumit Gulwani,et al. FlashMeta: a framework for inductive program synthesis , 2015, OOPSLA.
[14] Marco Baroni,et al. Rearranging the Familiar: Testing Compositional Generalization in Recurrent Networks , 2018, BlackboxNLP@EMNLP.
[15] Irene Heim,et al. Semantics in generative grammar , 1998 .
[16] Marco Baroni,et al. Human few-shot learning of compositional instructions , 2019, CogSci.
[17] Swarat Chaudhuri,et al. Neural Sketch Learning for Conditional Program Generation , 2017, ICLR.
[18] Pushmeet Kohli,et al. RobustFill: Neural Program Learning under Noisy I/O , 2017, ICML.
[19] Sumit Gulwani,et al. Program Synthesis , 2017, Software Systems Safety.
[20] Rajeev Alur,et al. Syntax-guided synthesis , 2013, 2013 Formal Methods in Computer-Aided Design.
[21] Armando Solar-Lezama,et al. Learning to Infer Program Sketches , 2019, ICML.
[22] Jimmy Ba,et al. Adam: A Method for Stochastic Optimization , 2014, ICLR.
[23] Isil Dillig,et al. Synthesizing data structure transformations from input-output examples , 2015, PLDI.
[24] N. McGlynn. Thinking fast and slow. , 2014, Australian veterinary journal.
[25] Armando Solar-Lezama,et al. Program synthesis from polymorphic refinement types , 2015, PLDI.
[26] Sebastian Nowozin,et al. DeepCoder: Learning to Write Programs , 2016, ICLR.
[27] Christopher D. Manning,et al. Effective Approaches to Attention-based Neural Machine Translation , 2015, EMNLP.
[28] C. Cordell Green,et al. What Is Program Synthesis? , 1985, J. Autom. Reason..
[29] Jia Deng,et al. Learning to Prove Theorems via Interacting with Proof Assistants , 2019, ICML.
[30] Yoshua Bengio,et al. Compositional generalization in a deep seq2seq model by separating syntax and semantics , 2019, ArXiv.
[31] Robert C. Bolles,et al. Random sample consensus: a paradigm for model fitting with applications to image analysis and automated cartography , 1981, CACM.
[32] Armando Solar-Lezama,et al. Write, Execute, Assess: Program Synthesis with a REPL , 2019, NeurIPS.
[33] Marco Baroni,et al. Generalization without Systematicity: On the Compositional Skills of Sequence-to-Sequence Recurrent Networks , 2017, ICML.