Reasoning

NeuroRule: Bridging Vision and Logic with Differentiable Rule Induction CVPR 2026 NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise ACL 2026 One Model to Rule Them All: Canonically Gluing Causal Models Along Shared Substructures UAI 2026 On the Granularity of Causal Effect Identifiability UAI 2026 Partially Observed Structural Causal Models UAI 2026 Planning with Formal Reachability Guarantees in Goal-Oriented MDPs with Dead-Ends UAI 2026 Proximal Identification and Estimation in Front-Door Causal Structures with Unobserved Confounding of the Mediator UAI 2026 Rational Revision of Group Intentions AAAI 2026 Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026 Relaxing Faithfulness with Intervention-Only Causal Discovery UAI 2026 Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis L4DC 2026 Robust Weighted Triangulation of Causal Effects Under Model Uncertainty UAI 2026 Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation L4DC 2026 SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance SemEval 2026 Self-Supervised Inductive Logic Programming AAAI 2026 SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models SemEval 2026 SemEval-2026 Task 12: Abductive Event Reasoning: Towards Real-World Event Causal Inference for Large Language Models SemEval 2026 Sign Identifiability of Causal Effects in Stationary Stochastic Dynamical Systems UAI 2026 Spatio-Temporal Hierarchical Causal Models AAAI 2026 Stochastic Safe Action Model Learning COLT 2026 Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 Structure Guided Retrieval-Augmented Generation for Factual Queries ACL 2026 Structure Learning for Unfaithful Distributions: The Minimal Dependence Faithfulness UAI 2026 Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026 Testing Partially-Identifiable Causal Queries Using Ternary Tests UAI 2026