Analysing Mathematical Reasoning Abilities of Neural Models

2 April 2019

Papers citing "Analysing Mathematical Reasoning Abilities of Neural Models"

50 / 277 papers shown

Title
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics Kunhao Zheng Jesse Michael Han Stanislas Polu AIMat 41 153 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 30 129 0 26 Aug 2021
Learning C to x86 Translation: An Experiment in Neural Compilation Jordi Armengol-Estapé Michael F. P. O'Boyle 27 11 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 32 30 0 27 Jul 2021
A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis Joseph Palermo Johnny Ye Alok Singh AIMat 28 2 0 15 Jul 2021
A Classification of Artificial Intelligence Systems for Mathematics Education S. Van Vaerenbergh Adrián Pérez-Suay 22 12 0 13 Jul 2021
Systematic human learning and generalization from a brief tutorial with explanatory feedback A. Nam James L. McClelland 16 1 0 10 Jul 2021
Latent Execution for Neural Program Synthesis Xinyun Chen D. Song Yuandong Tian NAI 23 52 0 29 Jun 2021
Neural Symbolic Regression that Scales Luca Biggio Tommaso Bendinelli Alexander Neitz Aurelien Lucchi Giambattista Parascandolo 54 170 0 11 Jun 2021
Going Beyond Linear Transformers with Recurrent Fast Weight Programmers Kazuki Irie Imanol Schlag Róbert Csordás Jürgen Schmidhuber 33 57 0 11 Jun 2021
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning Piotr Pikekos Henryk Michalewski Mateusz Malinowski 32 28 0 07 Jun 2021
On Compositional Generalization of Neural Machine Translation Yafu Li Yongjing Yin Yulong Chen Yue Zhang 156 45 0 31 May 2021
Measuring global properties of neural generative model outputs via generating mathematical objects Bernt Ivar Utstøl Nødland 16 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 14 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 40 20 0 09 May 2021
Math Operation Embeddings for Open-ended Solution Analysis and Feedback Mengxue Zhang Zichao Wang Richard Baraniuk Andrew S. Lan 26 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 27 40 0 14 Apr 2021
Distilling Wikipedia mathematical knowledge into neural network models J. Kim Mikel Landajuela Brenden K. Petersen 23 9 0 13 Apr 2021
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units A. Mali Alexander Ororbia Daniel Kifer C. Lee Giles 14 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 31 34 0 06 Apr 2021
Toward Building Science Discovery Machines A. Khalili A. Bouchachia AI4CE 21 1 0 24 Mar 2021
Representing Numbers in NLP: a Survey and a Vision Avijit Thawani Jay Pujara Pedro A. Szekely Filip Ilievski 32 114 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 24 64 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 31 4 0 09 Mar 2021
Size-Invariant Graph Representations for Graph Classification Extrapolations Beatrice Bevilacqua Yangze Zhou Bruno Ribeiro OOD 35 108 0 08 Mar 2021
Selective Replay Enhances Learning in Online Continual Analogical Reasoning Tyler L. Hayes Christopher Kanan CLL 31 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 D. Song Jacob Steinhardt ReLM FaML 84 1,891 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 19 6 0 02 Mar 2021
KANDINSKYPatterns -- An experimental exploration environment for Pattern Analysis and Machine Intelligence Andreas Holzinger Anna Saranti Heimo Mueller 46 10 0 28 Feb 2021
Investigating the Limitations of Transformers with Simple Arithmetic Tasks Rodrigo Nogueira Zhiying Jiang Jimmy J. Li LRM 24 123 0 25 Feb 2021
Symbolic Behaviour in Artificial Intelligence Adam Santoro Andrew Kyle Lampinen Kory W. Mathewson Timothy Lillicrap David Raposo 19 34 0 05 Feb 2021
Disambiguating Symbolic Expressions in Informal Documents Dennis Müller C. Kaliszyk 18 1 0 25 Jan 2021
A Primer for Neural Arithmetic Logic Modules Bhumika Mistry K. Farrahi Jonathon S. Hare 13 7 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 75 52 0 15 Jan 2021
Neural Sequence-to-grid Module for Learning Symbolic Rules Segwang Kim Hyoungwook Nam Joonyoung Kim Kyomin Jung NAI 72 11 0 13 Jan 2021
Emergent Symbols through Binding in External Memory Taylor Webb I. Sinha Jonathan Cohen 67 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 29 10 0 17 Dec 2020
Generating Out of Distribution Adversarial Attack using Latent Space Poisoning Ujjwal Upadhyay Prerana Mukherjee 39 7 0 09 Dec 2020
Towards Coinductive Models for Natural Language Understanding. Bringing together Deep Learning and Deep Semantics Wlodek Zadrozny AI4CE 24 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 182 26 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 41 50 0 05 Nov 2020
Scaling Laws for Autoregressive Generative Modeling T. Henighan Jared Kaplan Mor Katz Mark Chen Christopher Hesse ... Nick Ryder Daniel M. Ziegler John Schulman Dario Amodei Sam McCandlish 53 408 0 28 Oct 2020
An Empirical Investigation of Contextualized Number Prediction Daniel M. Spokoyny Taylor Berg-Kirkpatrick AI4TS 27 34 0 20 Oct 2020
PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha Sayan Ghosh Shashank Srivastava Joey Tianyi Zhou ReLM LRM 34 77 0 06 Oct 2020
Are Neural Nets Modular? Inspecting Functional Modularity Through Differentiable Weight Masks Róbert Csordás Sjoerd van Steenkiste Jürgen Schmidhuber 53 88 0 05 Oct 2020
Bongard-LOGO: A New Benchmark for Human-Level Concept Learning and Reasoning Weili Nie Zhiding Yu Lei Mao Ankit B. Patel Yuke Zhu Anima Anandkumar VLM LRM 26 75 0 02 Oct 2020
Domain Adversarial Fine-Tuning as an Effective Regularizer Giorgos Vernikos Katerina Margatina Alexandra Chronopoulou Ion Androutsopoulos 27 15 0 28 Sep 2020
Recurrent Inference in Text Editing Ning Shi Ziheng Zeng Haotian Zhang Yichen Gong KELM 20 2 0 26 Sep 2020
How Neural Networks Extrapolate: From Feedforward to Graph Neural Networks Keyulu Xu Mozhi Zhang Jingling Li S. Du Ken-ichi Kawarabayashi Stefanie Jegelka MLT 25 306 0 24 Sep 2020
Learning Representations that Support Extrapolation Taylor Webb Zachary Dulberg Steven M. Frankland A. Petrov R. C. O'Reilly Jonathan Cohen 15 51 0 09 Jul 2020