deductive reasoning

Natural Language Deduction through Search over Statement Compositions EMNLP 2022 Natural Language Deduction with Incomplete Information EMNLP 2022 ProofInfer: Generating Proof via Iterative Hierarchical Inference EMNLP 2022 Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability AAAI 2022 RobustLR: A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners EMNLP 2022 BiQuAD: Towards QA based on deeper text understanding ACL 2021 Flexible Generation of Natural Language Deductions EMNLP 2021 RuleBERT: Teaching Soft Rules to Pre-Trained Language Models EMNLP 2021 Faithful Embeddings for Knowledge Base Queries NeurIPS 2020 LGPSolver - Solving Logic Grid Puzzles Automatically EMNLP 2020 LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning IJCAI 2020 PuzzLing Machines: A Challenge on Learning From Small Data ACL 2020 Finding Friend and Foe in Multi-Agent Games NeurIPS 2019