Analysing Mathematical Reasoning Abilities of Neural Models

2 April 2019

Papers citing "Analysing Mathematical Reasoning Abilities of Neural Models"

50 / 286 papers shown

Title
Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems Keyur Faldu A. Sheth Prashant Kikani Manas Gaur Aditi Avasthi LRM 62 17 0 29 Oct 2021
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 115 6 0 19 Oct 2021
Pretrained Language Models are Symbolic Mathematics Solvers too! Kimia Noorbakhsh Modar Sulaiman M. Sharifi Kallol Roy Pooyan Jamshidi LRM 91 21 0 07 Oct 2021
How BPE Affects Memorization in Transformers Eugene Kharitonov Marco Baroni Dieuwke Hupkes 247 33 0 06 Oct 2021
SCIMAT: Science and Mathematics Dataset Neeraj Kollepara Snehith Kumar Chatakonda Kiran Ravish 23 1 0 30 Sep 2021
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics Sean Welleck Peter West Jize Cao Yejin Choi 146 31 0 28 Sep 2021
Adversarial Examples for Evaluating Math Word Problem Solvers Vivek Kumar Rishabh Maheshwary Vikram Pudi AAML 60 34 0 13 Sep 2021
Teaching Autoregressive Language Models Complex Tasks By Demonstration Gabriel Recchia 83 22 0 05 Sep 2021
Finetuned Language Models Are Zero-Shot Learners Jason W. Wei Maarten Bosma Vincent Zhao Kelvin Guu Adams Wei Yu Brian Lester Nan Du Andrew M. Dai Quoc V. Le ALM UQCV 332 3,806 0 03 Sep 2021
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics Kunhao Zheng Jesse Michael Han Stanislas Polu AIMat 141 178 0 31 Aug 2021
The Devil is in the Detail: Simple Tricks Improve Systematic Generalization of Transformers Róbert Csordás Kazuki Irie Jürgen Schmidhuber ViT 129 134 0 26 Aug 2021
Learning C to x86 Translation: An Experiment in Neural Compilation Jordi Armengol-Estapé Michael F. P. O'Boyle 60 13 0 17 Aug 2021
Pointer Value Retrieval: A new benchmark for understanding the limits of neural network generalization Chiyuan Zhang M. Raghu Jon M. Kleinberg Samy Bengio OOD 111 32 0 27 Jul 2021
A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis Joseph Palermo Johnny Ye Alok Singh AIMat 97 2 0 15 Jul 2021
A Classification of Artificial Intelligence Systems for Mathematics Education S. Van Vaerenbergh Adrián Pérez-Suay 27 13 0 13 Jul 2021
Systematic human learning and generalization from a brief tutorial with explanatory feedback A. Nam James L. McClelland 38 1 0 10 Jul 2021
Latent Execution for Neural Program Synthesis Xinyun Chen Basel Alomair Yuandong Tian NAI 118 53 0 29 Jun 2021
Neural Symbolic Regression that Scales Luca Biggio Tommaso Bendinelli Alexander Neitz Aurelien Lucchi Giambattista Parascandolo 107 180 0 11 Jun 2021
Going Beyond Linear Transformers with Recurrent Fast Weight Programmers Kazuki Irie Imanol Schlag Róbert Csordás Jürgen Schmidhuber 118 64 0 11 Jun 2021
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning Piotr Pikekos Henryk Michalewski Mateusz Malinowski 76 28 0 07 Jun 2021
On Compositional Generalization of Neural Machine Translation Yafu Li Yongjing Yin Yulong Chen Yue Zhang 233 46 0 31 May 2021
Measuring global properties of neural generative model outputs via generating mathematical objects Bernt Ivar Utstøl Nødland 23 0 0 28 May 2021
Compositional Processing Emerges in Neural Networks Solving Math Problems Jacob Russin Roland Fernandez Hamid Palangi Eric Rosen Nebojsa Jojic P. Smolensky Jianfeng Gao 48 14 0 19 May 2021
Which transformer architecture fits my data? A vocabulary bottleneck in self-attention Noam Wies Yoav Levine Daniel Jannai Amnon Shashua 92 20 0 09 May 2021
Math Operation Embeddings for Open-ended Solution Analysis and Feedback Mengxue Zhang Zichao Wang Richard Baraniuk Andrew Lan 65 10 0 25 Apr 2021
AR-LSAT: Investigating Analytical Reasoning of Text Wanjun Zhong Siyuan Wang Duyu Tang Zenan Xu Daya Guo Jiahai Wang Jian Yin Ming Zhou Nan Duan ELM 137 44 0 14 Apr 2021
Distilling Wikipedia mathematical knowledge into neural network models J. Kim Mikel Landajuela Brenden K. Petersen 69 9 0 13 Apr 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
Proof of the Theory-to-Practice Gap in Deep Learning via Sampling Complexity bounds for Neural Network Approximation Spaces Philipp Grohs F. Voigtlaender 88 38 0 06 Apr 2021
Toward Building Science Discovery Machines A. Khalili A. Bouchachia AI4CE 25 1 0 24 Mar 2021
Representing Numbers in NLP: a Survey and a Vision Avijit Thawani Jay Pujara Pedro A. Szekely Filip Ilievski 94 119 0 24 Mar 2021
NaturalProofs: Mathematical Theorem Proving in Natural Language Sean Welleck Jiacheng Liu Ronan Le Bras Hannaneh Hajishirzi Yejin Choi Kyunghyun Cho AIMat 91 69 0 24 Mar 2021
Symbolic integration by integrating learning models with different strengths and weaknesses Hazumi Kubota Y. Tokuoka Takahiro G. Yamada Akira Funahashi AIMat 56 4 0 09 Mar 2021
Size-Invariant Graph Representations for Graph Classification Extrapolations Beatrice Bevilacqua Yangze Zhou Bruno Ribeiro OOD 138 110 0 08 Mar 2021
Selective Replay Enhances Learning in Online Continual Analogical Reasoning Tyler L. Hayes Christopher Kanan CLL 85 20 0 06 Mar 2021
Measuring Mathematical Problem Solving With the MATH Dataset Dan Hendrycks Collin Burns Saurav Kadavath Akul Arora Steven Basart Eric Tang Basel Alomair Jacob Steinhardt ReLM FaML 233 2,414 0 05 Mar 2021
A Minimalist Dataset for Systematic Generalization of Perception, Syntax, and Semantics Qing Li Siyuan Huang Yining Hong Yixin Zhu Ying Nian Wu Song-Chun Zhu AIMat 66 6 0 02 Mar 2021
KANDINSKYPatterns -- An experimental exploration environment for Pattern Analysis and Machine Intelligence Andreas Holzinger Anna Saranti Heimo Mueller 114 10 0 28 Feb 2021
Investigating the Limitations of Transformers with Simple Arithmetic Tasks Rodrigo Nogueira Zhiying Jiang Jimmy J. Li LRM 122 130 0 25 Feb 2021
Symbolic Behaviour in Artificial Intelligence Adam Santoro Andrew Kyle Lampinen Kory W. Mathewson Timothy Lillicrap David Raposo 79 34 0 05 Feb 2021
Disambiguating Symbolic Expressions in Informal Documents Dennis Müller C. Kaliszyk 25 1 0 25 Jan 2021
A Primer for Neural Arithmetic Logic Modules Bhumika Mistry K. Farrahi Jonathon S. Hare 43 8 0 23 Jan 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 142 57 0 15 Jan 2021
Neural Sequence-to-grid Module for Learning Symbolic Rules Segwang Kim Hyoungwook Nam Joonyoung Kim Kyomin Jung NAI 125 11 0 13 Jan 2021
Emergent Symbols through Binding in External Memory Taylor Webb I. Sinha Jonathan Cohen 115 65 0 29 Dec 2020
Can Transformers Reason About Effects of Actions? Pratyay Banerjee Chitta Baral Man Luo Arindam Mitra Kuntal Kumar Pal Tran Cao Son Neeraj Varshney LRM AI4CE 79 10 0 17 Dec 2020
Generating Out of Distribution Adversarial Attack using Latent Space Poisoning Ujjwal Upadhyay Prerana Mukherjee 78 7 0 09 Dec 2020
Towards Coinductive Models for Natural Language Understanding. Bringing together Deep Learning and Deep Semantics Wlodek Zadrozny AI4CE 42 1 0 09 Dec 2020
Revisiting Iterative Back-Translation from the Perspective of Compositional Generalization Yinuo Guo Hualei Zhu Zeqi Lin Bei Chen Jian-Guang Lou Dongmei Zhang BDL 239 27 0 08 Dec 2020
EXAMS: A Multi-Subject High School Examinations Dataset for Cross-Lingual and Multilingual Question Answering Momchil Hardalov Todor Mihaylov Dimitrina Zlatkova Yoan Dinkov Ivan Koychev Preslav Nakov AI4Ed ELM 237 54 0 05 Nov 2020