Formal Verification

Ask about this topic

Latest papers 317

44 papers in the last four weeks, up 91% on the four weeks before. 0.3% of all new papers.

All topics
CardsList

  1. Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation

    Mar 26, 2026Zhuofan Zhang, Herbert WiklickyNeural Network VerificationFormal Verification

    Imperial College London, 180 Queen’s Gate, South Kensington, London SW7 2AZ

  2. Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach

    Mar 25, 2026Andreas SchlapbachAgent Communication ProtocolsFormal Verification

    Swiss Federal Railways (SBB) SBB IT Berne, Switzerland

  3. The SCAN Statistical Model Checker

    Mar 24, 2026Enrico Ghiorzi, Armando TacchellaFormal Verification

    Università di Genova

  4. Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains

    Mar 22, 2026Octavian UntilaFormal VerificationAI Agent Safety

    Aisophical SRL, Bucharest, Romania

  5. Neuro-Symbolic Proof Generation for Scaling Systems Software Verification

    Mar 20, 2026Baoding He, Zenan Li, Wei Sun +4Automated Theorem ProvingFormal Verification

    State Key Laboratory of Novel Software Technology, Nanjing University, China · School of Computer Science, Nanjing University, China · Department of Computer Science, ETH Zurich, Switzerland +1

  6. Learning to Disprove: Formal Counterexample Generation with Large Language Models

    Mar 19, 2026Zenan Li, Zhaoyu Li, Kaiyu Yang +2LLM Mathematical ReasoningSynthetic Data Generation for Language Models

    ETH Zurich · University of Toronto · MiroMind +1

  7. Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought

    Mar 18, 2026Zichen Xie, Wenxi WangFormal VerificationLLM Evaluation

    University of Virginia.

  8. Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

    Mar 18, 2026Zenan Li, Ziran Yang, Deyuan He +7Formal VerificationAutomated Theorem Proving

    ETH Zürich · Princeton Language and Intelligence · Department of Computer Science, Princeton University +1

  9. Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents

    Mar 17, 2026Shuvendu K. LahiriAI Agent ReliabilityAutoformalization

    Microsoft Research, USA

  10. Formal verification of tree-based machine learning models for lateral spreading

    Mar 17, 2026Krishna KumarFormal Verification

    aOden Institute of Computational Engineering and Sciences, The University of Texas at Austin, Austin, Texas, USA

  11. From Workflow Automation to Capability Closure: A Formal Framework for Safe and Revenue-Aware Customer Service AI

    Mar 16, 2026Cosimo SperaAI Agent SafetyCustomer Support Automation

    Minerva CQ, 114 Lester Ln, Los Gatos, CA 95032

  12. Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

    Mar 16, 2026Vasily IlinAutoformalizationFormal Verification

    University of Washington

  13. Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs

    Mar 16, 2026Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu +2Fine-TuningTraining Data Curation

    Hebrew University of Jerusalem, Israel · Amherst Col · VMware Research by Broadcom, USA.

  14. Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization

    Mar 16, 2026Banri Yanahama, Akiyoshi SannaiFormal VerificationLean Theorem Proving

    Nyx Foundation · Kyoto University · Large Language Model Research and Development Center, National Institute of Informatics

  15. s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

    Mar 15, 2026Balaji Rao, John Harrison, Soonho Kong +2Automated Theorem ProvingFormal Verification

    Stevens Institute of Technology Hoboken, NJ 07030 · Amazon Web Services Seattle, WA 98101

  16. Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems

    Mar 13, 2026Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma +2Control Barrier FunctionsDynamical Systems

    Department of Computer Science, Vanderbilt University, Nashville, TN 37235 USA. · Department of Civil and Environmental Engineering, Vanderbilt University, Nashville, TN 37235 USA.

  17. Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications

    Mar 12, 2026Liao Zhang, Tong Chen, Xiwei Wu +4Formal VerificationAutoformalization

    School of Computer Science, Shanghai Jiao Tong University · Shanghai Innovation Institute · School of Computer Science and Engineering, University of Washington +1

  18. No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees

    Mar 8, 2026Ayushi AgarwalAI AlignmentFormal Verification

    Independent Researcher

  19. COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance

    Mar 8, 2026Dennis GrossInterpretability in RLSafe RL

  20. FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification

    Mar 6, 2026Lily Jiaxin Wan, Chia-Tung Ho, Yunsheng Bai +4Formal VerificationFormal Hardware Verification

    University of Illinois Urbana-Champaign · NVIDIA · University of Maryland, College Park

  21. Lipschitz-Based Robustness Certification Under Floating-Point Execution

    Mar 6, 2026Toby MurrayNeural Network VerificationNeural Network Robustness

    University of Melbourne, Melbourne, Australia

  22. LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning

    Mar 5, 2026Medina Andresel, Cristinel Mateis, Dejan Nickovic +3AutoformalizationLinear Temporal Logic

    AIT Austrian Institute of Technology, Vienna, Austria · Aristotle University of Thessaloniki, Thessaloniki, Greece · Northeatern University, Boston, MA, USA

  23. Agentic AI-based Coverage Closure for Formal Verification

    Mar 3, 2026Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde +1Formal Hardware VerificationFormal Verification

    Infineon Technologies India Private Limited, India · Dr. B R Ambedkar National Institute of Technology Jalandhar, India · Infineon Technologies Dresden AG & Co. KG, Germany

  24. COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management

    Mar 2, 2026Dennis GrossInventory ControlReinforcement Learning

  25. NM-DEKL∞3^3_\infty: A Three-Layer Non-Monotone Evolving Dependent Type Logic

    Mar 2, 2026Peng ChenNonmonotonic ReasoningFormal Verification

  26. Foundation World Models for Agents that Learn, Verify, and Adapt Reliably Beyond Static Environments

    Feb 27, 2026Florent DelgrangeWorld ModelsAI Agent Reliability

    AI Lab, Vrije Universiteit Brussel & Flanders Make Brussels, Belgium

  27. MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering

    Feb 26, 2026Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee +2Formal VerificationFormal Hardware Verification

    Indian Statistical Institute, Kolkata, India · IBM Systems,India · Texas Instruments,India

  28. Pipeline for Verifying LLM-Generated Mathematical Solutions

    Feb 24, 2026Varvara Sazonova, Dmitri Shmelkin, Stanislav Kikot +1LLM Answer VerificationLLM Evaluation

    Moscow State University · Huawei Technologies Co., Ltd

  29. The LLMbda Calculus: AI Agents, Conversations, and Information Flow

    Feb 23, 2026Zac Garby, Andrew D. Gordon, David SandsPrompt Injection Attacks on AI AgentsLLM Agent Harnesses

    University of Nottingham, Nottingham, UK · University of Edinburgh, Edinburgh, UK · Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden

  30. Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic

    Feb 20, 2026Michal Töpfer, František Plášil, Tomáš Bureš +1LLM-Based Program SynthesisFormal Verification

    Charles University, Czech Republic