Learning Continuous Semantic Representations of Symbolic Expressions

Learning Continuous Semantic Representations of Symbolic Expressions

4 November 2016

Miltiadis Allamanis

Pankajan Chanthirasegaran

Papers citing "Learning Continuous Semantic Representations of Symbolic Expressions"

19 / 19 papers shown

Title
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 68 159 0 24 Jan 2017
Layer Normalization Jimmy Lei Ba J. Kiros Geoffrey E. Hinton 342 10,467 0 21 Jul 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 52 229 0 14 Jun 2016
Programming with a Differentiable Forth Interpreter Matko Bosnjak Tim Rocktaschel Jason Naradowsky Sebastian Riedel 49 148 0 21 May 2016
Weight Normalization: A Simple Reparameterization to Accelerate Training of Deep Neural Networks Tim Salimans Diederik P. Kingma ODL 178 1,940 0 25 Feb 2016
A Convolutional Attention Network for Extreme Summarization of Source Code Miltiadis Allamanis Hao Peng Charles Sutton AI4TS 78 582 0 09 Feb 2016
Neural GPUs Learn Algorithms Lukasz Kaiser Ilya Sutskever 77 369 0 25 Nov 2015
Neural Random-Access Machines Karol Kurach Marcin Andrychowicz Ilya Sutskever OOD BDL 74 156 0 19 Nov 2015
Neural Programmer-Interpreters Scott E. Reed Nando de Freitas 90 408 0 19 Nov 2015
Neural Programmer: Inducing Latent Programs with Gradient Descent Arvind Neelakantan Quoc V. Le Ilya Sutskever ODL 73 263 0 16 Nov 2015
Learning to Transduce with Unbounded Memory Edward Grefenstette Karl Moritz Hermann Mustafa Suleyman Phil Blunsom 80 297 0 08 Jun 2015
Transition-Based Dependency Parsing with Stack Long Short-Term Memory Chris Dyer Miguel Ballesteros Wang Ling Austin Matthews Noah A. Smith 117 801 0 29 May 2015
Learning Program Embeddings to Propagate Feedback on Student Code Chris Piech Jonathan Huang A. Nguyen Mike Phulsuksombati Mehran Sahami Leonidas Guibas HAI 58 179 0 22 May 2015
Inferring Algorithmic Patterns with Stack-Augmented Recurrent Nets Armand Joulin Tomas Mikolov TPM 130 411 0 03 Mar 2015
Neural Turing Machines Alex Graves Greg Wayne Ivo Danihelka 95 2,325 0 20 Oct 2014
Learning to Execute Wojciech Zaremba Ilya Sutskever ODL 85 559 0 17 Oct 2014
Neural Machine Translation by Jointly Learning to Align and Translate Dzmitry Bahdanau Kyunghyun Cho Yoshua Bengio AIMat 509 27,263 0 01 Sep 2014
Learning to Discover Efficient Mathematical Identities Wojciech Zaremba Karol Kurach Rob Fergus 88 54 0 06 Jun 2014
Practical Bayesian Optimization of Machine Learning Algorithms Jasper Snoek Hugo Larochelle Ryan P. Adams 327 7,923 0 13 Jun 2012