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 332 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 165 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 83 559 0 17 Oct 2014
Neural Machine Translation by Jointly Learning to Align and Translate Dzmitry Bahdanau Kyunghyun Cho Yoshua Bengio AIMat 499 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 317 7,923 0 13 Jun 2012

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.