Reasoning

A Sample Efficient Conditional Independence Test in the Presence of Discretization ICML 2025 A Sequent Calculus for Answer Set Entailment IJCAI 2025 ASHiTA: Automatic Scene-grounded HIerarchical Task Analysis CVPR 2025 ASP Chef Chats with Large Language Models IJCAI 2025 ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025 Assessing the Reasoning Capabilities of LLMs in the context of Evidence-based Claim Verification ACL 2025 A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 A Trusted Lesion-assessment Network for Interpretable Diagnosis of Coronary Artery Disease in Coronary CT Angiography AAAI 2025 A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025 Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025 A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025 Back Attention: Understanding and Enhancing Multi-Hop Reasoning in Large Language Models EMNLP 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Bayesian Active Learning for Bivariate Causal Discovery ICML 2025 Beyond Flatland: A Geometric Take on Matching Methods for Treatment Effect Estimation CLeaR 2025 Beyond Paraphrasing: Analyzing Summarization Abstractiveness and Reasoning EMNLP 2025 Beyond Patterns: Harnessing Causal Logic for Autonomous Driving Trajectory Prediction IJCAI 2025 BioHopR: A Benchmark for Multi-Hop, Multi-Answer Reasoning in Biomedical Domain ACL 2025 Bivariate Causal Discovery with Proxy Variables: Integral Solving and Beyond ICML 2025 Bounds and Sensitivity Analysis of the Causal Effect Under Outcome-Independent MNAR Confounding CLeaR 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 C2MIL: Synchronizing Semantic and Topological Causalities in Multiple Instance Learning for Robust and Interpretable Survival Analysis ICCV 2025