Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1406.1584
Cited By
v1
v2
v3 (latest)
Learning to Discover Efficient Mathematical Identities
6 June 2014
Wojciech Zaremba
Karol Kurach
Rob Fergus
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Learning to Discover Efficient Mathematical Identities"
22 / 22 papers shown
Title
Simplifying Polylogarithms with Machine Learning
Aurélien Dersy
M. Schwartz
Xiao-Yan Zhang
AI4CE
203
16
0
08 Jun 2022
Generating Symbolic Reasoning Problems with Transformer GANs
Jens U. Kreber
Christopher Hahn
AI4CE
111
6
0
19 Oct 2021
A comparison of LSTM and GRU networks for learning symbolic sequences
Roberto Cahuantzi
Xinye Chen
S. Güttel
93
142
0
05 Jul 2021
Informed Equation Learning
M. Werner
Andrej Junginger
Philipp Hennig
Georg Martius
58
14
0
13 May 2021
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units
A. Mali
Alexander Ororbia
Daniel Kifer
C. Lee Giles
32
16
0
07 Apr 2021
Recursive Tree Grammar Autoencoders
Benjamin Paassen
I. Koprinska
K. Yacef
43
8
0
03 Dec 2020
Deep Learning for Symbolic Mathematics
Guillaume Lample
François Charton
3DGS
160
414
0
02 Dec 2019
Attending to Mathematical Language with Transformers
A. Wangperawong
83
22
0
05 Dec 2018
Open Vocabulary Learning on Source Code with a Graph-Structured Cache
Milan Cvitkovic
Badal Singh
Anima Anandkumar
71
50
0
18 Oct 2018
Learning to Perform Local Rewriting for Combinatorial Optimization
Xinyun Chen
Yuandong Tian
NAI
OffRL
155
352
0
30 Sep 2018
Learning Equations for Extrapolation and Control
Subham S. Sahoo
Christoph H. Lampert
Georg Martius
68
237
0
19 Jun 2018
Can Neural Networks Understand Logical Entailment?
Richard Evans
D. Saxton
David Amos
Pushmeet Kohli
Edward Grefenstette
NAI
196
128
0
23 Feb 2018
Dynamic Neural Program Embedding for Program Repair
Ke Wang
Rishabh Singh
Z. Su
NAI
64
137
0
20 Nov 2017
Deep Network Guided Proof Search
Sarah M. Loos
G. Irving
Christian Szegedy
C. Kaliszyk
AIMat
84
159
0
24 Jan 2017
Learning to superoptimize programs - Workshop Version
Rudy Bunel
Alban Desmaison
M. P. Kumar
Philip Torr
Pushmeet Kohli
143
10
0
04 Dec 2016
Learning Continuous Semantic Representations of Symbolic Expressions
Miltiadis Allamanis
Pankajan Chanthirasegaran
Pushmeet Kohli
Charles Sutton
CLL
NAI
104
99
0
04 Nov 2016
Extrapolation and learning equations
Georg Martius
Christoph H. Lampert
57
160
0
10 Oct 2016
Visual Learning of Arithmetic Operations
Yedid Hoshen
Shmuel Peleg
MU
82
22
0
07 Jun 2015
Learning Program Embeddings to Propagate Feedback on Student Code
Chris Piech
Jonathan Huang
A. Nguyen
Mike Phulsuksombati
Mehran Sahami
Leonidas Guibas
HAI
68
181
0
22 May 2015
Convolutional LSTM Networks for Subcellular Localization of Proteins
Søren Kaae Sønderby
C. Sønderby
H. Nielsen
Ole Winther
96
147
0
06 Mar 2015
Protein Secondary Structure Prediction with Long Short Term Memory Networks
Søren Kaae Sønderby
Ole Winther
122
114
0
25 Dec 2014
Learning to Execute
Wojciech Zaremba
Ilya Sutskever
ODL
121
560
0
17 Oct 2014
1