Reasoning

Fundamental Limits and Optimal Methods for Sharp Analytical Causal Bounds in Instrumental Variable Models UAI 2026 GheGheGhe at SemEval-2026 Task 11: Decoupling Logic from Belief with Bias-Targeted Fine-Tuning and Neuro-Symbolic Syllogistic Reasoning SemEval 2026 Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions ACL 2026 HCMUSDroneBoys at SemEval-2026 Task 11: Asymmetric Counterfactual Debiasing and Rank-Sensitive Logical Invariance Adaptation for Syllogistic Reasoning SemEval 2026 Hierarchical Causal Models JMLR 2026 Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification L4DC 2026 Horizontal and Vertical Federated Causal Structure Learning via Higher-order Cumulants AAAI 2026 How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors UAI 2026 Hybrid State Representation for Video Procedure Planning WACV 2026 I-CAM-UV: Integrating Causal Graphs over Non-Identical Variable Sets Using Causal Additive Models with Unobserved Variables AAAI 2026 Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026 Identification and Bounding of Central Moments of Causal Effects Using Marginal Moments Information UAI 2026 Implicit Learning for Reasoning in First-Order Probabilistic Logic UAI 2026 Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026 iTAG: Inverse Design for Natural Text Generation with Accurate Causal Graph Annotations ACL 2026 ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs SemEval 2026 lakshadvani at SemEval-2026 Task 11: A Neuro-Symbolic Approach to Content-Independent Syllogistic Reasoning SemEval 2026 LaMoGen: Language to Motion Generation Through LLM-Guided Symbolic Inference CVPR 2026 Language Model as Planner and Formalizer under Constraints ACL 2026 Leveraging Large Language Models for Causal Discovery: a Constraint-based, Argumentation-driven Approach UAI 2026 LOGICAL-COMMONSENSEQA: A Benchmark for Logical Commonsense Reasoning ACL 2026 Making Logic a First-Class Citizen in Generative ML for Networking NSDI 2026 Mixture-of-Minds: Multi-Agent Reinforcement Learning for Table Understanding ACL 2026 Model Change for Description Logic Concepts AAAI 2026 Multimodal Causality-Driven Representation Learning for Generalizable Medical Image Segmentation CVPR 2026