Automated Reasoning

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming ACL 2023 Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity AAAI 2023 Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning ACL 2023 JECC: Commonsense Reasoning Tasks Derived from Interactive Fictions ACL 2023 Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts ACL 2023 kogito: A Commonsense Knowledge Inference Toolkit EACL 2023 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 LATENTLOGIC: Learning Logic Rules in Latent Space over Knowledge Graphs EMNLP 2023 Learning Action Conditions from Instructional Manuals for Instruction Understanding ACL 2023 Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic ICML 2023 Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion NeurIPS 2023 Learning Representations of Bi-level Knowledge Graphs for Reasoning beyond Link Prediction AAAI 2023 LogicDP: Creating Labels for Graph Data via Inductive Logic Programming ICLR 2023 Logic-driven Indirect Supervision: An Application to Crisis Counseling ACL 2023 Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning EMNLP 2023 LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering NeurIPS 2023 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023 Math Word Problem Solving by Generating Linguistic Variants of Problem Statements ACL 2023 Memory-Augmented Theory of Mind Network AAAI 2023 Memory-Limited Model-Based Diagnosis (Extended Abstract) IJCAI 2023 Monte Carlo Thought Search: Large Language Model Querying for Complex Scientific Reasoning in Catalyst Design EMNLP 2023 MTGER: Multi-view Temporal Graph Enhanced Temporal Reasoning over Time-Involved Document EMNLP 2023 Multi-Defendant Legal Judgment Prediction via Hierarchical Reasoning EMNLP 2023 Multi-granularity Temporal Question Answering over Knowledge Graphs ACL 2023 Multi-modal Action Chain Abductive Reasoning ACL 2023