Reasoning

Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021 LOA: Logical Optimal Actions for Text-based Interaction Games ACL 2021 Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification EMNLP 2021 Mapping probability word problems to executable representations EMNLP 2021 Mathematical Reasoning via Self-supervised Skip-tree Training ICLR 2021 Math Word Problem Generation with Mathematical Consistency and Problem Context Constraints EMNLP 2021 MindCraft: Theory of Mind Modeling for Situated Dialogue in Collaborative Tasks EMNLP 2021 Moral Stories: Situated Reasoning about Norms, Intents, Actions, and their Consequences EMNLP 2021 Multivalent Entailment Graphs for Question Answering EMNLP 2021 Neural Analogical Matching AAAI 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning ACL 2021 Neural Sequence-to-grid Module for Learning Symbolic Rules AAAI 2021 Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 Neuro-Symbolic Reinforcement Learning with First-Order Logic EMNLP 2021 Neuro-Symbolic Techniques for Description Logic Reasoning (Student Abstract) AAAI 2021 NOAHQA: Numerical Reasoning with Interpretable Graph Question Answering Dataset EMNLP 2021 Numerical reasoning in machine reading comprehension tasks: are we there yet? EMNLP 2021 Online Action Recognition AAAI 2021 On the Challenges of Evaluating Compositional Explanations in Multi-Hop Inference: Relevance, Completeness, and Expert Ratings EMNLP 2021 On the Optimal Efficiency of A* with Dominance Pruning AAAI 2021 Ordinal Historical Dependence in Graphical Event Models with Tree Representations AAAI 2021 OTTers: One-turn Topic Transitions for Open-Domain Dialogue ACL 2021 Paired Examples as Indirect Supervision in Latent Decision Models EMNLP 2021