Analysing Mathematical Reasoning Abilities of Neural Models

2 April 2019

Papers citing "Analysing Mathematical Reasoning Abilities of Neural Models"

27 / 277 papers shown

Title
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 20 72 0 18 Jun 2020
IsarStep: a Benchmark for High-level Mathematical Reasoning Wenda Li Lei Yu Yuhuai Wu Lawrence Charles Paulson AIMat LRM 26 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 36 39 0 11 Jun 2020
Learning advanced mathematical computations from examples Franccois Charton Amaury Hayat Guillaume Lample PINN 16 4 0 11 Jun 2020
Neural Power Units Niklas Heim Tomás Pevný Václav Smídl 29 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 12 13 0 18 May 2020
Emergence of Syntax Needs Minimal Supervision Raphaël Bailly Kata Gábor 36 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 16 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 11 26 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 23 0 0 25 Apr 2020
Neural Status Registers Lukas Faber Roger Wattenhofer 30 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 23 3 0 10 Apr 2020
Injecting Numerical Reasoning Skills into Language Models Mor Geva Ankit Gupta Jonathan Berant AIMat LRM 17 220 0 09 Apr 2020
Teaching Temporal Logics to Neural Networks Christopher Hahn Frederik Schmitt Jens U. Kreber M. Rabe Bernd Finkbeiner NAI 29 66 0 06 Mar 2020
Transformers as Soft Reasoners over Language Peter Clark Oyvind Tafjord Kyle Richardson ReLM OffRL LRM 42 346 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 21 347 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 21 13 0 13 Dec 2019
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 28 403 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 22 52 0 15 Oct 2019
Do NLP Models Know Numbers? Probing Numeracy in Embeddings Eric Wallace Yizhong Wang Sujian Li Sameer Singh Matt Gardner 21 262 0 17 Sep 2019
Giving BERT a Calculator: Finding Operations and Arguments with Reading Comprehension D. Andor Luheng He Kenton Lee Emily Pitler AIMat 13 97 0 31 Aug 2019
Compositionality decomposed: how do neural networks generalise? Dieuwke Hupkes Verna Dankers Mathijs Mul Elia Bruni CoGe 33 322 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 32 90 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 27 240 0 30 May 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 29 15 0 30 May 2019
Human-like machine thinking: Language guided imagination Feng Qi Wenchuan Wu AI4CE MLLM 16 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 18 1 0 09 May 2019