暂无分享,去创建一个
Anima Anandkumar | Sameer Singh | Forough Arabshahi | Anima Anandkumar | Sameer Singh | Forough Arabshahi
[1] Cezary Kaliszyk,et al. Deep Network Guided Proof Search , 2017, LPAR.
[2] Cezary Kaliszyk,et al. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving , 2017, ICLR.
[3] Ziga Sajovic,et al. Operational calculus on programming spaces and generalized tensor networks , 2016, ArXiv.
[4] Pushmeet Kohli,et al. Learning to superoptimize programs - Workshop Version , 2016, ICLR.
[5] Christopher D. Manning,et al. Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks , 2015, ACL.
[6] Sebastian Nowozin,et al. DeepCoder: Learning to Write Programs , 2016, ICLR.
[7] Tim Rocktäschel,et al. Programming with a Differentiable Forth Interpreter , 2016, ICML.
[8] Dawn Xiaodong Song,et al. Making Neural Programming Architectures Generalize via Recursion , 2017, ICLR.
[9] Lihong Li,et al. Neuro-Symbolic Program Synthesis , 2016, ICLR.
[10] Dustin Tran,et al. Deep Probabilistic Programming , 2017, ICLR.
[11] Andy R. Terrel,et al. SymPy: Symbolic computing in Python , 2017, PeerJ Prepr..
[12] Jimmy Ba,et al. Adam: A Method for Stochastic Optimization , 2014, ICLR.
[13] Zheng Zhang,et al. MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems , 2015, ArXiv.
[14] Mark Steedman,et al. Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning , 2012 .
[15] Quoc V. Le,et al. Neural Programmer: Inducing Latent Programs with Gradient Descent , 2015, ICLR.
[16] Tim Rocktäschel,et al. Learning Knowledge Base Inference with Neural Theorem Provers , 2016, AKBC@NAACL-HLT.
[17] Wojciech Zaremba,et al. Learning to Discover Efficient Mathematical Identities , 2014, NIPS.
[18] Andrew Y. Ng,et al. Semantic Compositionality through Recursive Matrix-Vector Spaces , 2012, EMNLP.
[19] Alex Graves,et al. Neural Turing Machines , 2014, ArXiv.
[20] Leonidas J. Guibas,et al. Learning Program Embeddings to Propagate Feedback on Student Code , 2015, ICML.
[21] Josef Urban,et al. DeepMath - Deep Sequence Models for Premise Selection , 2016, NIPS.
[22] Pushmeet Kohli,et al. Learning Continuous Semantic Representations of Symbolic Expressions , 2016, ICML.
[23] Nando de Freitas,et al. Neural Programmer-Interpreters , 2015, ICLR.
[24] Martin Vuk,et al. Operational Calculus on Programming Spaces , 2016, 1610.07690.
[25] Andrew Y. Ng,et al. Parsing Natural Scenes and Natural Language with Recursive Neural Networks , 2011, ICML.