Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units

7 April 2021

Papers citing "Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units"

31 / 31 papers shown

Title
Recognizing Long Grammatical Sequences Using Recurrent Networks Augmented With An External Differentiable Stack A. Mali Alexander Ororbia Daniel Kifer C. Lee Giles 31 13 0 04 Apr 2020
PyTorch: An Imperative Style, High-Performance Deep Learning Library Adam Paszke Sam Gross Francisco Massa Adam Lerer James Bradbury ... Sasank Chilamkurthy Benoit Steiner Lu Fang Junjie Bai Soumith Chintala ODL 580 42,677 0 03 Dec 2019
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 131 414 0 02 Dec 2019
Memory-Augmented Recurrent Neural Networks Can Learn Generalized Dyck Languages Mirac Suzgun Sebastian Gehrmann Yonatan Belinkov Stuart M. Shieber 69 50 0 08 Nov 2019
Compositional Generalization with Tree Stack Memory Units Forough Arabshahi Zhichu Lu Pranay Mundra Sameer Singh Anima Anandkumar 46 10 0 05 Nov 2019
The Neural State Pushdown Automata A. Mali Alexander Ororbia C. Lee Giles 37 20 0 07 Sep 2019
Compositionality decomposed: how do neural networks generalise? Dieuwke Hupkes Verna Dankers Mathijs Mul Elia Bruni CoGe 162 339 0 22 Aug 2019
Theoretical Limitations of Self-Attention in Neural Sequence Models Michael Hahn 74 275 0 16 Jun 2019
LSTM Networks Can Perform Dynamic Counting Mirac Suzgun Sebastian Gehrmann Yonatan Belinkov Stuart M. Shieber 76 75 0 09 Jun 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 212 431 0 02 Apr 2019
Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning Guillaume Rabusseau Tianyu Li Doina Precup 134 41 0 04 Jul 2018
Can Neural Networks Understand Logical Entailment? Richard Evans D. Saxton David Amos Pushmeet Kohli Edward Grefenstette NAI 188 128 0 23 Feb 2018
Graph Memory Networks for Molecular Activity Prediction Trang Pham T. Tran Svetha Venkatesh GNN 63 30 0 08 Jan 2018
Visualisation and 'diagnostic classifiers' reveal how recurrent and recursive neural networks process hierarchical structure Dieuwke Hupkes Sara Veldhoen Willem H. Zuidema 86 280 0 28 Nov 2017
The Neural Network Pushdown Automaton: Model, Stack and Learning Simulations Guo-Zheng Sun Colin Giles Hsing-Hen Chen Yee-Chun Lee 52 31 0 15 Nov 2017
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 819 132,725 0 12 Jun 2017
Making Neural Programming Architectures Generalize via Recursion Jonathon Cai Richard Shin Basel Alomair AI4CE LRM 84 147 0 21 Apr 2017
Tree Memory Networks for Modelling Long-term Temporal Dependencies Tharindu Fernando Simon Denman A. Mcfadyen Sridha Sridharan Clinton Fookes 81 54 0 12 Mar 2017
Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli Charles Sutton CLL NAI 104 99 0 04 Nov 2016
Multiplicative LSTM for sequence modelling Ben Krause Liang Lu Iain Murray Steve Renals 86 208 0 26 Sep 2016
On Multiplicative Integration with Recurrent Neural Networks Yuhuai Wu Saizheng Zhang Yanzhe Zhang Yoshua Bengio Ruslan Salakhutdinov 74 156 0 21 Jun 2016
Neural Programmer-Interpreters Scott E. Reed Nando de Freitas 110 411 0 19 Nov 2015
Ask Me Anything: Dynamic Memory Networks for Natural Language Processing A. Kumar Ozan Irsoy Peter Ondruska Mohit Iyyer James Bradbury Ishaan Gulrajani Victor Zhong Romain Paulus R. Socher 129 1,182 0 24 Jun 2015
Learning to Transduce with Unbounded Memory Edward Grefenstette Karl Moritz Hermann Mustafa Suleyman Phil Blunsom 107 297 0 08 Jun 2015
Inferring Algorithmic Patterns with Stack-Augmented Recurrent Nets Armand Joulin Tomas Mikolov TPM 146 412 0 03 Mar 2015
Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai R. Socher Christopher D. Manning AIMat 146 3,123 0 28 Feb 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 2.1K 150,433 0 22 Dec 2014
Neural Turing Machines Alex Graves Greg Wayne Ivo Danihelka 115 2,333 0 20 Oct 2014
Memory Networks Jason Weston S. Chopra Antoine Bordes GNN KELM 164 1,709 0 15 Oct 2014
Learning to Discover Efficient Mathematical Identities Wojciech Zaremba Karol Kurach Rob Fergus 97 54 0 06 Jun 2014
Can recursive neural tensor networks learn logical reasoning? Samuel R. Bowman NAI 84 44 0 21 Dec 2013