Automated Reasoning

Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication ACL 2026 AICOE-Tredence at SemEval-2026 Task 11: Mitigating Content Bias in Syllogisms via Symbolic Logic-Language Decoupling SemEval 2026 Benchmarking Testing in Automated Theorem Proving ACL 2026 CHAIRO: Contextual Hierarchical Analogical Induction and Reasoning Optimization for LLMs ACL 2026 CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization ACL 2026 Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation NSDI 2026 Differentiable Causal Search CLeaR 2026 Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026 EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving ACL 2026 Extending First-Order Logic for Factual Reasoning over Knowledge Graphs ACL 2026 Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis ACL 2026 FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean ACL 2026 FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction SemEval 2026 From Trajectories to Graphs: Contract-Checked Editing for Verifier-Guided LLM Reasoning ACL 2026 GigitAI at SemEval-2026 Task 11: Hybrid Symbolic-Neural Approach for Syllogistic Validity Classification SemEval 2026 GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities SemEval 2026 Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions ACL 2026 HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization SemEval 2026 HHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal Reasoning SemEval 2026 Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning CVPR 2026 Human-like Abstract Visual Reasoning via Understanding and Solving Reasoning Loop CVPR 2026 Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026 Improving Autoformalization Using Direct Dependency Retrieval ACL 2026 Lakksh at SemEval-2026 Task 11(1 & 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning SemEval 2026 lakshadvani at SemEval-2026 Task 11: A Neuro-Symbolic Approach to Content-Independent Syllogistic Reasoning SemEval 2026