logical reasoning

Counterfactual reasoning: Testing language models’ understanding of hypothetical scenarios ACL 2023 Document-Level Event Argument Extraction With a Chain Reasoning Paradigm ACL 2023 Do PLMs Know and Understand Ontological Knowledge? ACL 2023 Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs AAAI 2023 Empower Nested Boolean Logic via Self-Supervised Curriculum Learning EMNLP 2023 Enabling Knowledge Refinement upon New Concepts in Abductive Learning AAAI 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Explicit Planning Helps Language Models in Logical Reasoning EMNLP 2023 Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change ACL 2023 Gradually Excavating External Knowledge for Implicit Complex Question Answering EMNLP 2023 Hence, Socrates is mortal: A Benchmark for Natural Language Syllogistic Reasoning ACL 2023 IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning ACL 2023 Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming ACL 2023 Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning ACL 2023 It Ain’t Over: A Multi-aspect Diverse Math Word Problem Dataset EMNLP 2023 KG-GPT: A General Framework for Reasoning on Knowledge Graphs Using Large Language Models EMNLP 2023 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 Large Language Models are Better Reasoners with Self-Verification EMNLP 2023 Learning Logical Reasoning Using an Intelligent Tutoring System: A Hybrid Approach to Student Modeling AAAI 2023 LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023 Logical Implications for Visual Question Answering Consistency CVPR 2023 Logical Message Passing Networks with One-hop Inference on Atomic Formulas ICLR 2023 LogicAttack: Adversarial Attacks for Evaluating Logical Consistency of Natural Language Inference EMNLP 2023 Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning EMNLP 2023 LogiCoT: Logical Chain-of-Thought Instruction Tuning EMNLP 2023