formal verification

A Topological Rewriting of Tarski’s Mereogeometry AAAI 2026 Automata-less Monitoring via Trace-Checking AAAI 2026 Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures AAAI 2026 Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models ACL 2026 Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps AAAI 2026 Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables AAAI 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 Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles AAAI 2026 FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction SemEval 2026 Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions CVPR 2026 Improving Autoformalization Using Direct Dependency Retrieval ACL 2026 jwmalloc: A Verified Memory Allocator for Mobile Devices OSDI 2026 Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees AAAI 2026 Lipschitz Optimization for Formal Verification of Homographies CVPR 2026 LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems AAAI 2026 Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models ACL 2026 Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026 NP-Hard Lower Bound Complexity for Semantic Self-Verification EACL 2026 OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows ACL 2026 OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026 Parameterized Abstract Interpretation for Transformer Verification AAAI 2026 Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries EACL 2026 Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026 Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026