Automated Reasoning

Language Models, Graph Searching, and Supervision Adulteration: When More Supervision is Less and How to Make More More ACL 2025 Learning First-Order Logic Rules for Argumentation Mining ACL 2025 LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025 Leveraging Explicit Reasoning for Inference Integration in Commonsense-Augmented Dialogue Models COLING 2025 LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025 LLMSR@XLLM25: Integrating Reasoning Prompt Strategies with Structural Prompt Formats for Enhanced Logical Inference ACL 2025 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving ACL 2025 Logical Table-to-Text Generation: Challenges, Methods, and Reasoning IJCNLP 2025 LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025 Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025 Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics ICML 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025 MedEx: Enhancing Medical Question-Answering with First-Order Logic based Reasoning and Knowledge Injection COLING 2025 Memory-augmented Query Reconstruction for LLM-based Knowledge Graph Reasoning ACL 2025 Minimal Evidence Group Identification for Claim Verification NAACL 2025 Mining Complex Patterns of Argumentative Reasoning in Natural Language Dialogue ACL 2025 MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025 NeSyA: Neurosymbolic Automata IJCAI 2025 Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs NAACL 2025 Neuro-Symbolic Natural Language Processing EMNLP 2025 Non-expansive Fuzzy ALC IJCAI 2025 On Action Theories with Iterable First-Order Progression AAAI 2025 On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint) IJCAI 2025