Title
MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms Aida Amini Saadia Gabriel Shanchuan Lin Rik Koncel-Kedziorski Yejin Choi Hannaneh Hajishirzi AIMat ReLM AI4CE 92 553 0 30 May 2019
Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng AIMat LRM 86 144 0 21 May 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 125 420 0 02 Apr 2019
DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphs Dheeru Dua Yizhong Wang Pradeep Dasigi Gabriel Stanovsky Sameer Singh Matt Gardner AIMat 73 933 0 01 Mar 2019
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 966 93,936 0 11 Oct 2018
A Comprehensive Survey of Deep Learning for Image Captioning Md Zakir Hossain Ferdous Sohel M. Shiratuddin Hamid Laga VLM 3DV 72 769 0 06 Oct 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 61 110 0 02 Jun 2018
Numeracy for Language Models: Evaluating and Improving their Ability to Predict Numbers Georgios P. Spithourakis Sebastian Riedel 41 83 0 21 May 2018
Mapping to Declarative Knowledge for Word Problem Solving Subhro Roy Dan Roth ReLM AIMat 41 102 0 26 Dec 2017
Proximal Policy Optimization Algorithms John Schulman Filip Wolski Prafulla Dhariwal Alec Radford Oleg Klimov OffRL 236 18,685 0 20 Jul 2017
Verb Physics: Relative Physical Knowledge of Actions and Objects Maxwell Forbes Yejin Choi 25 84 0 12 Jun 2017
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 453 129,831 0 12 Jun 2017
Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problems Wang Ling Dani Yogatama Chris Dyer Phil Blunsom AIMat 54 701 0 11 May 2017
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving C. Kaliszyk François Chollet Christian Szegedy 28 82 0 01 Mar 2017
Unit Dependency Graph and its Application to Arithmetic Word Problem Solving Subhro Roy Dan Roth AIMat 36 97 0 03 Dec 2016
Annotating Derivations: A New Evaluation Strategy and Dataset for Algebra Word Problems Shyam Upadhyay Ming-Wei Chang AIMat 36 57 0 23 Sep 2016
Numerically Grounded Language Models for Semantic Error Correction Georgios P. Spithourakis Isabelle Augenstein Sebastian Riedel KELM 16 16 0 14 Aug 2016
Solving General Arithmetic Word Problems Subhro Roy Dan Roth AIMat 42 468 0 04 Aug 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 41 229 0 14 Jun 2016
VQA: Visual Question Answering Aishwarya Agrawal Jiasen Lu Stanislaw Antol Margaret Mitchell C. L. Zitnick Dhruv Batra Devi Parikh CoGe 150 5,421 0 03 May 2015