Automated Reasoning

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025 A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Beyond Paraphrasing: Analyzing Summarization Abstractiveness and Reasoning EMNLP 2025 BioHopR: A Benchmark for Multi-Hop, Multi-Answer Reasoning in Biomedical Domain ACL 2025 Breaking the Reasoning Barrier A Survey on LLM Complex Reasoning through the Lens of Self-Evolution ACL 2025 Building Data-Driven Occupation Taxonomies: A Bottom-Up Multi-Stage Approach via Semantic Clustering and Multi-Agent Collaboration EMNLP 2025 CaDRL: Document-level Relation Extraction via Context-aware Differentiable Rule Learning COLING 2025 Can LLMs Help Uncover Insights about LLMs? A Large-Scale, Evolving Literature Analysis of Frontier LLMs ACL 2025 Can Transformers Reason Logically? A Study in SAT Solving ICML 2025 Categorical Semantics of Compositional Reinforcement Learning JMLR 2025 Checking Consistency of CP-Theory Preferences in Polynomial Time AAAI 2025 CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025 Commonsense Subgraph for Inductive Relation Reasoning with Meta-learning COLING 2025 Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025 Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025 Correcting on Graph: Faithful Semantic Parsing over Knowledge Graphs with Large Language Models ACL 2025 Counting and Reasoning with Plans AAAI 2025 Decoding on Graphs: Faithful and Sound Reasoning on Knowledge Graphs through Generation of Well-Formed Chains ACL 2025 Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025 DSPNet: Dual-vision Scene Perception for Robust 3D Question Answering CVPR 2025 Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases AAAI 2025 Dynamic Epistemic Friction in Dialogue CoNLL 2025 Enhancing Complex Reasoning in Knowledge Graph Question Answering through Query Graph Approximation ACL 2025 Enhancing Retrieval Systems with Inference-Time Logical Reasoning ACL 2025