Research Explorer
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
About
Methodology
← Reasoning
Knowledge & Reasoning
›
Reasoning
›
Automated Reasoning
840 directly classified papers
Papers per year
2007: 3
2008: 4
2010: 3
2011: 5
2012: 3
2013: 7
2014: 3
2016: 1
2017: 45
2018: 49
2019: 76
2020: 83
2021: 96
2022: 105
2023: 117
2024: 115
2025: 118
2026: 7
Papers
Learning Action Conditions from Instructional Manuals for Instruction Understanding
ACL 2023
Hence, Socrates is mortal: A Benchmark for Natural Language Syllogistic Reasoning
ACL 2023
Temporal Datalog with Existential Quantification
IJCAI 2023
Connecting Symbolic Statutory Reasoning with Legal Information Extraction
EMNLP 2023
Decker: Double Check with Heterogeneous Knowledge for Commonsense Fact Verification
ACL 2023
RESIN-EDITOR: A Schema-guided Hierarchical Event Graph Visualizer and Editor
EMNLP 2023
ChatCoT: Tool-Augmented Chain-of-Thought Reasoning on Chat-based Large Language Models
EMNLP 2023
Can ChatGPT Perform Reasoning Using the IRAC Method in Analyzing Legal Scenarios Like a Lawyer?
EMNLP 2023
Query2Triple: Unified Query Encoding for Answering Diverse Complex Queries over Knowledge Graphs
EMNLP 2023
Monte Carlo Thought Search: Large Language Model Querying for Complex Scientific Reasoning in Catalyst Design
EMNLP 2023
Reasoning Makes Good Annotators : An Automatic Task-specific Rules Distilling Framework for Low-resource Relation Extraction
EMNLP 2023
JECC: Commonsense Reasoning Tasks Derived from Interactive Fictions
ACL 2023
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
ACL 2023
Explore the Way: Exploring Reasoning Path by Bridging Entities for Effective Cross-Document Relation Extraction
EMNLP 2023
Math Word Problem Solving by Generating Linguistic Variants of Problem Statements
ACL 2023
Counterfactual reasoning: Testing language models’ understanding of hypothetical scenarios
ACL 2023
LATENTLOGIC: Learning Logic Rules in Latent Space over Knowledge Graphs
EMNLP 2023
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language
ACL 2023
Reasoning with Language Model Prompting: A Survey
ACL 2023
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
EMNLP 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
<
1
…
10
11
12
…
34
>