Reasoning

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible ICML 2025 Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025 Verifying the Steps of Deductive Reasoning Chains ACL 2025 VG-TVP: Multimodal Procedural Planning via Visually Grounded Text-Video Prompting AAAI 2025 Walk Wisely on Graph: Knowledge Graph Reasoning with Dual Agents via Efficient Guidance-Exploration AAAI 2025 What Makes Treatment Effects Identifiable? Characterizations and Estimators Beyond Unconfoundedness (Extended Abstract) COLT 2025 Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025 World Knowledge Resolves Some Aspectual Ambiguity ACL 2025 Your Assumed DAG is Wrong And Here’s How To Deal With It CLeaR 2025 Z1: Efficient Test-time Scaling with Code EMNLP 2025 Zero-shot Graph Reasoning via Retrieval Augmented Framework with LLMs EMNLP 2025 $χ$SPN: Characteristic Interventional Sum-Product Networks for Causal Inference in Hybrid Domains UAI 2024 3D Rotation and Translation for Hyperbolic Knowledge Graph Embedding EACL 2024 Abductive Reasoning in Logical Credal Networks NeurIPS 2024 Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 A causality-inspired plus-minus model for player evaluation in team sports CLeaR 2024 Achievable distributional robustness when the robust risk is only partially identified NeurIPS 2024 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 A Compositional Atlas for Algebraic Circuits NeurIPS 2024 A Conflict-Embedded Narrative Generation Using Commonsense Reasoning IJCAI 2024 Action Inference for Destination Prediction in Vision-and-Language Navigation ACL 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 Adjustment Identification Distance: A gadjid for Causal Structure Learning UAI 2024 A Dual-module Framework for Counterfactual Estimation over Time ICML 2024