ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Programs with common sense

John W. McCarthy. 1959 · 1959

Earlier work this paper cites.

Applications of circumscription to formalizing common sense knowledge

John McCarthy. 1984 · 1984

Earlier work this paper cites.

Of brittleness and bottlenecks: Challenges in the creation of pattern-recognition and expert-system models

Mark A Musen and Johan Van der Lei. 1988 · 1988

Earlier work this paper cites.

What you always wanted to know about datalog (and never dared to ask)

S. Ceri, G. Gottlob, and L. Tanca. 1989 · 1989

Earlier work this paper cites.

Interpretation as abduction

J. Hobbs, Mark E. Stickel, Douglas E. Appelt, and P. Martin. 1993 · 1993

Earlier work this paper cites.

Abductive theories in artificial intelligence

K. Konolige. 1997 · 1997

Earlier work this paper cites.

WT5?! training text-to-text models to explain their predictions

Original

Sharan Narang, Colin Raffel, Katherine Lee, A. Roberts, Noah Fiedel, and Karishma Malkan. 2020 · 2004

Earlier work this paper cites.

Generative language modeling for automated theorem proving

Original

Stanislas Polu and Ilya Sutskever. 2020 · 2009

Earlier work this paper cites.

End-to-end differentiable proving

Tim Rocktäschel and S. Riedel. 2017 · 2017

Earlier work this paper cites.

e-SNLI: Natural language inference with natural language explanations

Oana-Maria Camburu, Tim Rocktäschel, Thomas Lukasiewicz, and Phil Blunsom. 2018 · 2018

Cited alongside, same era.

ERASER: A benchmark to evaluate rationalized nlp models

Jay DeYoung, Sarthak Jain, Nazneen Rajani, E. Lehman, Caiming Xiong, R. Socher, and Byron C. Wallace. 2019 · 2019

Cited alongside, same era.

A survey on semantic parsing

Aishwarya Kamath and Rajarshi Das. 2019 · 2019

Cited alongside, same era.

Language models as knowledge bases?

F. Petroni, Tim Rocktäschel, Patrick Lewis, A. Bakhtin, Y. Wu, Alexander H. Miller, and S. Riedel. 2019 · 2019

Cited alongside, same era.

Learning a SAT solver from single-bit supervision

Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, and David L. Dill. 2019 · 2019

Cited alongside, same era.

Nlprolog: Reasoning with weak unification for question answering in natural language

Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, and Tim Rocktäschel. 2019 · 2019

Measuring systematic generalization in neural proof generation with transformers

Nicolas Gontier, Koustuv Sinha, Siva Reddy, and C. Pal. 2020 · 2020

Closest in time.

R4C: A benchmark for evaluating RC systems to get the right answer for the right reason

N. Inoue, Pontus Stenetorp, and Kentaro Inui. 2020 · 2020

Closest in time.

Learning to explain: Datasets and models for identifying valid reasoning chains in multihop question-answering

Harsh Jhamtani and P. Clark. 2020 · 2020

Closest in time.

Exploring the limits of transfer learning with a unified text-to-text transformer

Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, M. Matena, Yanqi Zhou, W. Li, and Peter J. Liu. 2020 · 2020

Closest in time.

PRover: Proof generation for interpretable reasoning over rules

Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, and Mohit Bansal. 2020 · 2020

Closest in time.