Analysing Mathematical Reasoning Abilities of Neural Models

2 April 2019

Papers citing "Analysing Mathematical Reasoning Abilities of Neural Models"

36 / 286 papers shown

Title
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 124 433 0 28 Oct 2020
An Empirical Investigation of Contextualized Number Prediction Daniel M. Spokoyny Taylor Berg-Kirkpatrick AI4TS 80 38 0 20 Oct 2020
PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha Sayan Ghosh Shashank Srivastava Joey Tianyi Zhou ReLM LRM 87 78 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 102 97 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 104 77 0 02 Oct 2020
Domain Adversarial Fine-Tuning as an Effective Regularizer Giorgos Vernikos Katerina Margatina Alexandra Chronopoulou Ion Androutsopoulos 70 15 0 28 Sep 2020
Recurrent Inference in Text Editing Ning Shi Ziheng Zeng Haotian Zhang Yichen Gong KELM 46 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 184 313 0 24 Sep 2020
Learning Representations that Support Extrapolation Taylor Webb Zachary Dulberg Steven M. Frankland A. Petrov R. C. O'Reilly Jonathan Cohen 88 51 0 09 Jul 2020
Compositional Generalization by Learning Analytical Expressions Qian Liu Shengnan An Jian-Guang Lou Bei Chen Zeqi Lin Yan Gao Bin Zhou Nanning Zheng Dongmei Zhang CoGe NAI 76 73 0 18 Jun 2020
IsarStep: a Benchmark for High-level Mathematical Reasoning Wenda Li Lei Yu Yuhuai Wu Lawrence Charles Paulson AIMat LRM 70 10 0 13 Jun 2020
Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge Alon Talmor Oyvind Tafjord Peter Clark Yoav Goldberg Jonathan Berant ReLM LRM 96 38 0 11 Jun 2020
Learning advanced mathematical computations from examples Franccois Charton Amaury Hayat Guillaume Lample PINN 81 4 0 11 Jun 2020
Neural Power Units Niklas Heim Tomás Pevný Václav Smídl 66 9 0 02 Jun 2020
Towards Question Format Independent Numerical Reasoning: A Set of Prerequisite Tasks Swaroop Mishra Arindam Mitra Neeraj Varshney Bhavdeep Singh Sachdeva Chitta Baral AIMat 59 13 0 18 May 2020
Emergence of Syntax Needs Minimal Supervision Raphaël Bailly Kata Gábor 91 5 0 03 May 2020
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? Hitomi Yanaka K. Mineshima D. Bekki Kentaro Inui NAI 73 51 0 30 Apr 2020
Machine Number Sense: A Dataset of Visual Arithmetic Problems for Abstract and Relational Reasoning Wenhe Zhang Chi Zhang Yixin Zhu Song-Chun Zhu AIMat 70 27 0 25 Apr 2020
Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision Briti Gangopadhyay S. Hazra P. Dasgupta NAI 37 0 0 25 Apr 2020
Neural Status Registers Lukas Faber Roger Wattenhofer 35 9 0 15 Apr 2020
Joint translation and unit conversion for end-to-end localization Georgiana Dinu Prashant Mathur Marcello Federico Stanislas Lauly Yaser Al-Onaizan 58 4 0 10 Apr 2020
Injecting Numerical Reasoning Skills into Language Models Mor Geva Ankit Gupta Jonathan Berant AIMat LRM 93 227 0 09 Apr 2020
Teaching Temporal Logics to Neural Networks Christopher Hahn Frederik Schmitt Jens U. Kreber M. Rabe Bernd Finkbeiner NAI 109 67 0 06 Mar 2020
Transformers as Soft Reasoners over Language Peter Clark Oyvind Tafjord Kyle Richardson ReLM OffRL LRM 133 362 0 14 Feb 2020
Measuring Compositional Generalization: A Comprehensive Method on Realistic Data Daniel Keysers Nathanael Scharli Nathan Scales Hylke Buisman Daniel Furrer ... Tibor Tihon Dmitry Tsarkov Tianlin Li Marc van Zee Olivier Bousquet CoGe 70 355 0 20 Dec 2019
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 163 414 0 02 Dec 2019
Enhancing the Transformer with Explicit Relational Encoding for Math Problem Solving Imanol Schlag P. Smolensky Roland Fernandez Nebojsa Jojic Jürgen Schmidhuber Jianfeng Gao 92 52 0 15 Oct 2019
Do NLP Models Know Numbers? Probing Numeracy in Embeddings Eric Wallace Yizhong Wang Sujian Li Sameer Singh Matt Gardner 83 266 0 17 Sep 2019
Giving BERT a Calculator: Finding Operations and Arguments with Reading Comprehension D. Andor Luheng He Kenton Lee Emily Pitler AIMat 95 98 0 31 Aug 2019
Compositionality decomposed: how do neural networks generalise? Dieuwke Hupkes Verna Dankers Mathijs Mul Elia Bruni CoGe 167 339 0 22 Aug 2019
A Multi-Type Multi-Span Network for Reading Comprehension that Requires Discrete Reasoning Minghao Hu Yuxing Peng Zhen Huang Dongsheng Li AIMat LRM 98 91 0 15 Aug 2019
What Can Neural Networks Reason About? Keyulu Xu Jingling Li Mozhi Zhang S. Du Ken-ichi Kawarabayashi Stefanie Jegelka NAI AI4CE 110 248 0 30 May 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 83 16 0 30 May 2019
Human-like machine thinking: Language guided imagination Feng Qi Wenchuan Wu AI4CE MLLM 45 5 0 18 May 2019
Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models Sungjae Cho Jaeseo Lim Chris Hickey Jung Ae Park Byoung-Tak Zhang AIMat 58 1 0 09 May 2019