Automated Reasoning

0704mis at SemEval-2026 Task 11: Single-Call Joint Abstraction for Robust Neuro-Symbolic Retrieval SemEval 2026 2-ASP(Q) Solving Based on CEGAR AAAI 2026 An Epistemic Perspective on Agent Awareness AAAI 2026 ARGUS: Argumentation-Based Minimal-Change Repair for Verifiable LLM Self-Explanations UAI 2026 A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 Birds of a Feather Reason Together: Gestalt Grouping Meets Neuro-Symbolic Inference UAI 2026 CoG: Controllable Graph Reasoning via Relational Blueprints and Failure-Aware Refinement over Knowledge Graphs ACL 2026 Concept Sketching for Description Logics UAI 2026 Convergent Semantics for Weighted Bipolar Argumentation AAAI 2026 CUETLuminaries at SemEval-2026 Task 11 Disentangling Logical Validity from Semantic Plausibility through Canonical Abstraction SemEval 2026 Dialogue is Better Than Monologue: Instructing Meidcal LLMs via Strategic Conversations EACL 2026 Dual-View Consistency Testing for Content-Invariant Multilingual Syllogistic Reasoning SemEval 2026 dutirshlee at SemEval-2026 Task 11: Symbolic Augmentation for Content-Bias-Resistant Syllogistic Reasoning SemEval 2026 Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026 FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction SemEval 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 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 Implicit Learning for Reasoning in First-Order Probabilistic Logic UAI 2026 ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs SemEval 2026 LaMoGen: Language to Motion Generation Through LLM-Guided Symbolic Inference CVPR 2026 LOGICAL-COMMONSENSEQA: A Benchmark for Logical Commonsense Reasoning ACL 2026 Making Logic a First-Class Citizen in Generative ML for Networking NSDI 2026