Deep Learning for Symbolic Mathematics

2 December 2019

Papers citing "Deep Learning for Symbolic Mathematics"

22 / 22 papers shown

Title
Int2Int: a framework for mathematics with transformers François Charton ViT 81 0 0 22 Feb 2025
Analytical Lyapunov Function Discovery: An RL-based Generative Approach Haohan Zou Jie Feng Hao Zhao Yuanyuan Shi 114 0 0 04 Feb 2025
Al-Khwarizmi: Discovering Physical Laws with Foundation Models Christopher E. Mower Haitham Bou-Ammar AI4CE 109 2 0 03 Feb 2025
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence İlker Işık R. G. Cinbis Ebru Aydin Gol 50 0 0 22 Oct 2024
ParFam -- (Neural Guided) Symbolic Regression Based on Continuous Global Optimization Philipp Scholl Katharina Bieker Hillary Hauger Gitta Kutyniok 60 5 0 09 Oct 2023
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 88 420 0 02 Apr 2019
Neural Arithmetic Logic Units Andrew Trask Felix Hill Scott E. Reed Jack W. Rae Chris Dyer Phil Blunsom NAI 40 205 0 01 Aug 2018
Analyzing Uncertainty in Neural Machine Translation Myle Ott Michael Auli David Grangier MarcÁurelio Ranzato UQLM 69 272 0 28 Feb 2018
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 304 129,831 0 12 Jun 2017
Improving the Neural GPU Architecture for Algorithm Learning Kārlis Freivalds Renars Liepins 103 43 0 28 Feb 2017
Learning to Parse and Translate Improves Neural Machine Translation Akiko Eriguchi Yoshimasa Tsuruoka Kyunghyun Cho AI4CE AIMat 39 150 0 12 Feb 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 35 158 0 24 Jan 2017
Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis Pankajan Chanthirasegaran Pushmeet Kohli Charles Sutton CLL NAI 47 99 0 04 Nov 2016
Recurrent Neural Network Grammars Chris Dyer A. Kuncoro Miguel Ballesteros Noah A. Smith GNN 51 524 0 25 Feb 2016
Neural GPUs Learn Algorithms Lukasz Kaiser Ilya Sutskever 58 369 0 25 Nov 2015
Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai R. Socher Christopher D. Manning AIMat 90 3,114 0 28 Feb 2015
Grammar as a Foreign Language Oriol Vinyals Lukasz Kaiser Terry Koo Slav Petrov Ilya Sutskever Geoffrey E. Hinton 57 930 0 23 Dec 2014
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 450 149,474 0 22 Dec 2014
Learning to Execute Wojciech Zaremba Ilya Sutskever ODL 48 557 0 17 Oct 2014
Sequence to Sequence Learning with Neural Networks Ilya Sutskever Oriol Vinyals Quoc V. Le AIMat 240 20,467 0 10 Sep 2014
Neural Machine Translation by Jointly Learning to Align and Translate Dzmitry Bahdanau Kyunghyun Cho Yoshua Bengio AIMat 313 27,205 0 01 Sep 2014
Learning to Discover Efficient Mathematical Identities Wojciech Zaremba Karol Kurach Rob Fergus 47 54 0 06 Jun 2014