← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

840 directly classified papers

Papers per year

Papers

Memory-augmented Query Reconstruction for LLM-based Knowledge Graph Reasoning ACL 2025
MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025
DSPNet: Dual-vision Scene Perception for Robust 3D Question Answering CVPR 2025
Cascaded Information Disclosure for Generalized Evaluation of Problem Solving Capabilities AACL 2025
Logical Table-to-Text Generation: Challenges, Methods, and Reasoning IJCNLP 2025
Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025
SwiLTra-Bench: The Swiss Legal Translation Benchmark ACL 2025
Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025
LA²I²F at SemEval-2025 Task 5: Reasoning in Embedding Space – Fusing Analogical and Ontology-based Reasoning for Document Subject Tagging ACL 2025
iQUEST: An Iterative Question-Guided Framework for Knowledge Base Question Answering ACL 2025
Decoding on Graphs: Faithful and Sound Reasoning on Knowledge Graphs through Generation of Well-Formed Chains ACL 2025
LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025
Correcting on Graph: Faithful Semantic Parsing over Knowledge Graphs with Large Language Models ACL 2025
Breaking the Reasoning Barrier A Survey on LLM Complex Reasoning through the Lens of Self-Evolution ACL 2025
IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction ACL 2025
KARPA: A Training-free Method of Adapting Knowledge Graph as References for Large Language Model’s Reasoning Path Aggregation ACL 2025
Enhancing Complex Reasoning in Knowledge Graph Question Answering through Query Graph Approximation ACL 2025
Counting and Reasoning with Plans AAAI 2025
Minimal Evidence Group Identification for Claim Verification NAACL 2025
Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025
Performance and Limitations of Fine-Tuned LLMs in SPARQL Query Generation COLING 2025
Ontology-Guided Reverse Thinking Makes Large Language Models Stronger on Knowledge Graph Question Answering ACL 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025