Multi-Operational Mathematical Derivations in Latent Space

v1v2 (latest)

Multi-Operational Mathematical Derivations in Latent Space

2 November 2023

Marco Valentino

ArXiv (abs)PDF HTML

Papers citing "Multi-Operational Mathematical Derivations in Latent Space"

17 / 17 papers shown

Title
Neural Machine Translation for Mathematical Formulae Felix Petersen M. Schubotz André Greiner-Petter Bela Gipp 66 7 0 25 May 2023
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers Jordan Meadows Marco Valentino Damien Teney André Freitas 109 8 0 21 May 2023
Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks Wenhu Chen Xueguang Ma Xinyi Wang William W. Cohen ReLM ReCod LRM 180 825 0 22 Nov 2022
NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks Swaroop Mishra Arindam Mitra Neeraj Varshney Bhavdeep Singh Sachdeva Peter Clark Chitta Baral Ashwin Kalyan AIMat ReLM ELM LRM 92 110 0 12 Apr 2022
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics Sean Welleck Peter West Jize Cao Yejin Choi 119 31 0 28 Sep 2021
Towards Out-Of-Distribution Generalization: A Survey Jiashuo Liu Zheyan Shen Yue He Xingxuan Zhang Renzhe Xu Han Yu Peng Cui CML OOD 157 535 0 31 Aug 2021
NaturalProofs: Mathematical Theorem Proving in Natural Language Sean Welleck Jiacheng Liu Ronan Le Bras Hannaneh Hajishirzi Yejin Choi Kyunghyun Cho AIMat 74 69 0 24 Mar 2021
Shortcut Learning in Deep Neural Networks Robert Geirhos J. Jacobsen Claudio Michaelis R. Zemel Wieland Brendel Matthias Bethge Felix Wichmann 221 2,064 0 16 Apr 2020
A Survey of Convolutional Neural Networks: Analysis, Applications, and Prospects Zewen Li Wenjie Yang Shouheng Peng Fan Liu HAI 3DV 129 2,751 0 01 Apr 2020
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 125 414 0 02 Dec 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 197 98 0 24 May 2019
Multi-relational Poincaré Graph Embeddings Ivana Balazevic Carl Allen Timothy M. Hospedales 71 271 0 23 May 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 212 431 0 02 Apr 2019
Inductive Representation Learning on Large Graphs William L. Hamilton Z. Ying J. Leskovec 518 15,369 0 07 Jun 2017
Semi-Supervised Classification with Graph Convolutional Networks Thomas Kipf Max Welling GNN SSL 682 29,183 0 09 Sep 2016
Convolutional Neural Networks for Sentence Classification Yoon Kim AILaw VLM 648 13,438 0 25 Aug 2014
Efficient Estimation of Word Representations in Vector Space Tomas Mikolov Kai Chen G. Corrado J. Dean 3DV 693 31,571 0 16 Jan 2013