ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1406.1584
  4. Cited By
Learning to Discover Efficient Mathematical Identities
v1v2v3 (latest)

Learning to Discover Efficient Mathematical Identities

6 June 2014
Wojciech Zaremba
Karol Kurach
Rob Fergus
ArXiv (abs)PDFHTML

Papers citing "Learning to Discover Efficient Mathematical Identities"

22 / 22 papers shown
Title
Simplifying Polylogarithms with Machine Learning
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
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
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
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
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
Recursive Tree Grammar Autoencoders
Benjamin Paassen
I. Koprinska
K. Yacef
43
8
0
03 Dec 2020
Deep Learning for Symbolic Mathematics
Deep Learning for Symbolic Mathematics
Guillaume Lample
François Charton
3DGS
160
414
0
02 Dec 2019
Attending to Mathematical Language with Transformers
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
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
Learning to Perform Local Rewriting for Combinatorial Optimization
Xinyun Chen
Yuandong Tian
NAIOffRL
155
352
0
30 Sep 2018
Learning Equations for Extrapolation and Control
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?
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
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
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
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
Learning Continuous Semantic Representations of Symbolic Expressions
Miltiadis Allamanis
Pankajan Chanthirasegaran
Pushmeet Kohli
Charles Sutton
CLLNAI
104
99
0
04 Nov 2016
Extrapolation and learning equations
Extrapolation and learning equations
Georg Martius
Christoph H. Lampert
57
160
0
10 Oct 2016
Visual Learning of Arithmetic Operations
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
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
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
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
Learning to Execute
Wojciech Zaremba
Ilya Sutskever
ODL
121
560
0
17 Oct 2014
1