Author of the publication

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

, , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reasoning about Actions and State Changes by Injecting Commonsense Knowledge., , , , , and . CoRR, (2018)ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language., , and . CoRR, (2020)Never Ending Learning., , , , , , , , , and 1 other author(s). AAAI, page 2302--2310. (2015)Tracking State Changes in Procedural Text: A Challenge Dataset and Models for Process Paragraph Comprehension., , , , and . CoRR, (2018)BaRDa: A Belief and Reasoning Dataset that Separates Factual Accuracy and Reasoning Ability., , and . CoRR, (2023)WIQA: A dataset for "What if..." reasoning over procedural text., , , , and . CoRR, (2019)From 'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project., , , , , , , , , and 4 other author(s). CoRR, (2019)Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge., , , , , , , , and . CoRR, (2021)Skill Set Optimization: Reinforcing Language Model Behavior via Transferable Skills., , , , , and . CoRR, (2024)Do language models have coherent mental models of everyday things?, , and . ACL (1), page 1892-1913. Association for Computational Linguistics, (2023)