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