Automated Reasoning

Enhancing Transformers for Generalizable First-Order Logical Entailment ACL 2025 Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025 Facets in Argumentation: A Formal Approach to Argument Significance IJCAI 2025 Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 Featured Argumentation Framework: Semantics and Complexity IJCAI 2025 FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025 From Chain to Tree: Refining Chain-like Rules into Tree-like Rules on Knowledge Graphs COLING 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 Generating Commonsense Reasoning Questions with Controllable Complexity through Multi-step Structural Composition COLING 2025 Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025 GIVE: Structured Reasoning of Large Language Models with Knowledge Graph Inspired Veracity Extrapolation ICML 2025 Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 Graph-constrained Reasoning: Faithful Reasoning on Knowledge Graphs with Large Language Models ICML 2025 GraphEval36K: Benchmarking Coding and Reasoning Capabilities of Large Language Models on Graph Datasets NAACL 2025 Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025 Hypo3D: Exploring Hypothetical Reasoning in 3D ICML 2025 IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction ACL 2025 Improving Soft Unification with Knowledge Graph Embedding Methods ICML 2025 Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025 iQUEST: An Iterative Question-Guided Framework for Knowledge Base Question Answering ACL 2025 Is Complex Query Answering Really Complex? ICML 2025 Iterated Belief Change as Learning IJCAI 2025 KARPA: A Training-free Method of Adapting Knowledge Graph as References for Large Language Model’s Reasoning Path Aggregation ACL 2025 KG-Agent: An Efficient Autonomous Agent Framework for Complex Reasoning over Knowledge Graph ACL 2025