Automated Reasoning

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Towards Better Chain-of-Thought: A Reflection on Effectiveness and Faithfulness ACL 2025 Uncommon Belief in Rationality AAAI 2025 Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible ICML 2025 Verifying the Steps of Deductive Reasoning Chains ACL 2025 Walk Wisely on Graph: Knowledge Graph Reasoning with Dual Agents via Efficient Guidance-Exploration AAAI 2025 Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025 World Knowledge Resolves Some Aspectual Ambiguity ACL 2025 Zero-shot Graph Reasoning via Retrieval Augmented Framework with LLMs EMNLP 2025 Abductive Reasoning in Logical Credal Networks NeurIPS 2024 A Foundation Model for Zero-shot Logical Query Reasoning NeurIPS 2024 Ambiguity-Aware Abductive Learning ICML 2024 Anchoring Path for Inductive Relation Prediction in Knowledge Graphs AAAI 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 A New Pipeline for Knowledge Graph Reasoning Enhanced by Large Language Models Without Fine-Tuning EMNLP 2024 Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024 Are LLMs classical or nonmonotonic reasoners? Lessons from generics ACL 2024 ARIES: A Corpus of Scientific Paper Edits Made in Response to Peer Reviews ACL 2024 A Unified Temporal Knowledge Graph Reasoning Model Towards Interpolation and Extrapolation ACL 2024 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 A Usage-centric Take on Intent Understanding in E-Commerce EMNLP 2024 Auto311: A Confidence-Guided Automated System for Non-emergency Calls AAAI 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024 Beyond Recognising Entailment: Formalising Natural Language Inference from an Argumentative Perspective ACL 2024 Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining ACL 2024