Learning to Discover Efficient Mathematical Identities

6 June 2014

Papers citing "Learning to Discover Efficient Mathematical Identities"

12 / 12 papers shown

Title
A Triumvirate of AI Driven Theoretical Discovery Yang-Hui He AI4CE 48 4 0 30 May 2024
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 30 6 0 19 Oct 2021
A comparison of LSTM and GRU networks for learning symbolic sequences Roberto Cahuantzi Xinye Chen S. Güttel 20 135 0 05 Jul 2021
Learning to Perform Local Rewriting for Combinatorial Optimization Xinyun Chen Yuandong Tian NAI OffRL 19 336 0 30 Sep 2018
Learning Equations for Extrapolation and Control Subham S. Sahoo Christoph H. Lampert Georg Martius 6 226 0 19 Jun 2018
Dynamic Neural Program Embedding for Program Repair Ke Wang Rishabh Singh Z. Su NAI 29 136 0 20 Nov 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 18 157 0 24 Jan 2017
Learning to superoptimize programs - Workshop Version Rudy Bunel Alban Desmaison M. P. Kumar Philip H. S. Torr Pushmeet Kohli 25 10 0 04 Dec 2016
Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli Charles Sutton CLL NAI 31 99 0 04 Nov 2016
Protein Secondary Structure Prediction with Long Short Term Memory Networks Søren Kaae Sønderby Ole Winther 39 114 0 25 Dec 2014
Learning to Execute Wojciech Zaremba Ilya Sutskever ODL 22 555 0 17 Oct 2014
Improving neural networks by preventing co-adaptation of feature detectors Geoffrey E. Hinton Nitish Srivastava A. Krizhevsky Ilya Sutskever Ruslan Salakhutdinov VLM 266 7,636 0 03 Jul 2012