← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning EMNLP 2023
Relational Program Synthesis with Numerical Reasoning AAAI 2023
Learning Representations of Bi-level Knowledge Graphs for Reasoning beyond Link Prediction AAAI 2023
Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs ACL 2023
Multi-modal Action Chain Abductive Reasoning ACL 2023
Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning EMNLP 2023
Do PLMs Know and Understand Ontological Knowledge? ACL 2023
Beneath Surface Similarity: Large Language Models Make Reasonable Scientific Analogies after Structure Abduction EMNLP 2023
Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data NIPS 2023
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023
Multi-Defendant Legal Judgment Prediction via Hierarchical Reasoning EMNLP 2023
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis AAAI 2023
Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization ICML 2023
TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph NIPS 2023
Deductive Additivity for Planning of Natural Language Proofs ACL 2023
Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts ACL 2023
Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them ACL 2023
SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries ACL 2023
SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic ICML 2023
Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023
Noisy Positive-Unlabeled Learning with Self-Training for Speculative Knowledge Graph Reasoning ACL 2023
Triggering Multi-Hop Reasoning for Question Answering in Language Models using Soft Prompts and Random Walks ACL 2023
Temporal Knowledge Graph Reasoning Based on N-tuple Modeling EMNLP 2023
RESIN-EDITOR: A Schema-guided Hierarchical Event Graph Visualizer and Editor EMNLP 2023