Formal Verification

Ask about this field

Recent momentum

emerging

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this field, kept on the site without email delivery.

Period ending 2026-09-21

17 new papers

A weekly snapshot of new work published in Formal Verification.

Period ending 2026-09-14

18 new papers

A weekly snapshot of new work published in Formal Verification.

Period ending 2026-09-07

22 new papers

A weekly snapshot of new work published in Formal Verification.

Inside this field

Focused directions

607 papers

Latest in Formal Verification

Browse all topics →
CardsList

  1. Distilling Answer Set Programming Theories from Large Language Models

    Jul 30, 2026Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-CondreiAnswer Set ProgrammingNeuro-Symbolic Framework

  2. AutoSupervision: Closing the Feedback Loop in Scientific Workflows with Grounded Revision Verification

    Jul 30, 2026Haobo Li, Eunseo Jung, Wenxiao Zhao +8Peer ReviewScientific Workflows

  3. VeriSkill: A Self-Evolution Framework for Program Verification Skills

    Jul 30, 2026Changguo Jia, Tianqi Zhao, Zhiyou Xiao +2Skill EvolutionVerifier

  4. MECA: A Mechanism-Centered Agent for Constructing Well-Specified and Valuable Mathematical Conjectures

    Jul 30, 2026Wentao Long, Yunfei Zhang, Chenyi Li +1ConjectureTheorem

  5. PIE-APT: Abductive Planning over Temporal Dynamic Knowledge Graphs via Incremental Reasoning

    Jul 29, 2026Amir Hossein Sharafi, Alireza ShahbaziClassical PlanningAbductive Reasoning

  6. Beyond Accuracy: Auditing Spatial Provenance in Visual Token Pruning for OCR-Critical MLLM Inference

    Jul 29, 2026Feixiang Liu, Qiang Qiu, Hao Zhang +1Visual Token PruningTextvqa

  7. A First Look at Coding Agents' Compliance with AI Contribution Rules in Open-Source Communities

    Jul 29, 2026Wenhao Yang, Runzhi He, Minghui ZhouRepositoryCoding Agents

  8. Enhancing Generative Information Extraction with Two-step Validation: A Product Attribute Use Case

    Jul 29, 2026Yi-Sheng Hsu, Nermeen Abou Baker, Uwe HandmannLarge Language Model PerformanceDomain-Specific Language

  9. FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs

    Jul 29, 2026Yifan Zhang, Xinkui Zhao, Sai Liu +3AuthorizationRuntime Enforcement

  10. Graph Is the Verifier: Agentic Reinforcement Learning for Interprocedural Vulnerability Detection

    Jul 29, 2026Yikun Li, Ting Zhang, Jiakun Liu +9Vulnerability Detection & RepairVulnerable Code

  11. Revisiting Lossy Verification in Speculative Decoding: Mechanisms, Trade-offs, and Failure Modes

    Jul 29, 2026Tianyu Wang, Yuxuan Zhou, Wenbin Wang +3Speculative DecodingLLM Inference Efficiency

  12. Evidence-Ledger Adjudication for Claim-Evidence Traceability

    Jul 29, 2026Gengyu Chen, Yongjie Yu, Weiling WangAdjudicationProof

  13. GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

    Jul 28, 2026Xin Xin, Jincheng Lou, Junhui Li +11Formal VerificationRegister Transfer Level

  14. Messier: A High-Resolution Corpus for Cross-Benchmark Agent Evaluation

    Jul 28, 2026Stefan Krsteski, Charlotte Meyer, Guillaume Allegre +2Text CorporaVerifier

  15. Self-Authored Verification Is Unreliable in Heuristic Self-Improving Agents

    Jul 27, 2026Diandian Guo, Cong Cao, Fangfang Yuan +3VerifierAgentic Evaluations

  16. On the Use of Synthetic Data for Threshold Calibration in Face Recognition: Performance and Security Implications for Border Control Systems

    Jul 27, 2026Arto ApilaSynthetic DataDecision Thresholds

  17. Face Age Verification Vulnerabilities Under Simple Appearance Manipulations

    Jul 27, 2026Ioannis Sarridis, Ioannis Kompatsiaris, Symeon PapadopoulosAppearanceBias Mitigation

  18. A Frozen 12B Beats Frontier Models on Verified Work: 100% Accuracy, 0 Tokens, Bit-Exact, Forever

    Jul 26, 2026Sietse SchelpeFrozen ModelsFrontier Models

  19. GEMCo: A Validated, Ethically Releasable Proxy for Inaccessible Counselling Data

    Jul 26, 2026Philipp Steigerwald, Eric Rudolph, Mara Stieler +3Synthesizing Long-Horizon Campus Psychological Counseling DialoguesConversational Datasets

  20. DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory

    Jul 26, 2026Xingyang YuEffective Field TheoryVerifier

  21. Formalizing Flag Algebras in Lean

    Jul 26, 2026Gyeongwon Jeong, Seonghun Park, Jihoon Hyun +2Graph TheoryAlgebraic Structures

  22. Learned Interventions in Lean 4 grind

    Jul 25, 2026Evan Wang, Simon Chess, Sophie Szeto +1TheoremHeuristics

  23. Skill Self-Play: Pushing the Frontier of LLM Capability with Co-Evolving Skills

    Jul 24, 2026Siyuan Huang, Pengyu Cheng, Haotian Liu +10Skill EvolutionSelf-Evolution

  24. CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference

    Jul 24, 2026Jiyuan Tan, Vasilis SyrgkanisAutoresearchCausal Inferences

  25. DRC-Aid: Design-Rule Correction via Agentic Framework utilizing Inference-Time Large Language Models

    Jul 23, 2026Anushka Mukherjee, Kang He, Kaushik RoyElectronic Design AutomationComputer-Aided Design

  26. Every Model Cheats: Prompt-Level Mitigation of Cheating on Offensive Cyber Tasks

    Jul 23, 2026Michael Kouremetis, Ads Dawson, Raja Sekhar Rao Dheekonda +1Security AnalysisPrompt-Level Mitigations

  27. Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study

    Jul 23, 2026Yan Huang, Xubing Hao, Xiaojin Li +4Formalization

  28. Case study: solving P-99 with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Thierry Marianne, Étienne Payet +1TheoremInductive Logic Programming

  29. Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB

    Jul 23, 2026Katharina Engels, Jan Gruteser, Michael LeuschelTheoremProof

  30. Case study: proving sqrt(2) irrational with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Étienne Payet, Wim VanhoofTheoremModal Logic

  31. Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference

    Jul 23, 2026Xiaolong Liang, Juanjuan Li, Rui Qin +1Homomorphic EncryptionTransformer Architectures

  32. Code Monitor Red Teaming for Public-Test-Passing Code

    Jul 23, 2026Junchi Liao, Jiawen Deng, Fuji RenRed-TeamingVerifier

  33. An Interactive Vision Language Platform for Cognitive Remediation in Schizophrenia

    Jul 21, 2026Nassira Ait Mehdi, Milissa Temmam, Slimane LarabiRehabilitationLarge Vision Language Models

  34. Agents in the Wild: Where Research Meets Deployment

    Jul 21, 2026Grace Hui Yang, Pranav N. Venkit, Hooman Sedghamiz +3Agentic SystemsVerifier

  35. Circuit Claims Depend on What Is Extracted and How It Is Compared

    Jul 21, 2026Yang Sheng, Jie FuCircuitsAblation

  36. Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer

    Jul 21, 2026Rajat SrivastavaCanonical Action Verification And AttestationFraud Detection

  37. Audio Cross Verification Using Dual Alignment Likelihood Ratio Test

    Jul 20, 2026Heidi Lei, Arm Wonghirundacha, Irmak Bukey +1AudioSpeaker Verification Performance

  38. HALLMARK: Diagnosing Three Failure Modes in LLM Citation Verifiers

    Jul 20, 2026Patrik Reizinger, Wieland BrendelCitationsVerifier

  39. Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents

    Jul 20, 2026Yitao Wu, Si Shen, Rui Yang +2VerifierAgent Loop

  40. Oracle Gap and Signal Fidelity: A Fixed-Pool Diagnostic for Test-Time Collaboration

    Jul 20, 2026Jie HuCollaborationOracles

  41. Grounded verification of chemical and materials reasoning: detection is the bottleneck

    Jul 19, 2026Can Polat, Mustafa Kurban, Erchin Serpedin +1VerifierVast Chemical Space

  42. Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory

    Jul 19, 2026Antonio Acuaviva, Pablo AcuavivaMathematicsProof

  43. Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution

    Jul 19, 2026Yuqing Li, Zeguan Wu, Yu Gan +1TheoremAgent Loop

  44. DRNOISE: Benchmarking Deep Research Agents in Misleading Evidence Environments

    Jul 19, 2026Jun Nie, Zhiqin Yang, Zhenheng Tang +4Deep ResearchFalsehood

  45. Lookahead Branching for Neural Network Verification

    Jul 19, 2026Liam Davis, Duo Zhou, Huan Zhang +3Neural Network VerificationFormal Verification

  46. Where Does Agent Reliability Come From? A Cross-Benchmark Decomposition of Verification Loops, Specialist Models, and Scaffolding in a Production Enterprise Agent

    Jul 19, 2026Arunabh DastidarVerifierLiar

  47. PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs

    Jul 18, 2026Neel SomaniProofTheorem

  48. SpecLA: Efficient Speculative Decoding for Linear-Attention Models

    Jul 18, 2026Zhibin Wang, Xuying Han, Zhaohua Yang +5Speculative DecodingQuadratic Attention

  49. The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure

    Jul 17, 2026Jun He, Deying YuFault ToleranceConsensus

  50. AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language

    Jul 17, 2026Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang +4TheoremProof

  51. Testing Distributions Against Bounded Distinguishers

    Jul 17, 2026Mark Bun, Rathin Desai, Renato Ferreira PintoIndistinguishabilityOptimal Sample Complexity

  52. A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction

    Jul 17, 2026Karen SargsyanStructural Causal ModelAxiom

  53. Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control

    Jul 16, 2026Jek Huang, Jeffery Hsia, Jiayi Sun +3LifecycleVerifier

  54. MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research

    Jul 16, 2026Junjie Zhang, Jiayu Liu, Wenbin Liu +11TheoremMathematical Reasoning

  55. Tactile: Giving Computer-Using Agents Hands and Feet

    Jul 16, 2026Yong Liu, Zhenyi Zhong, Zhanpeng ShiComputer-Use AgentsTactile Perception

  56. Random Parameter Noise Does Not Make Exact ReLU Verification Easy

    Jul 15, 2026Mojtaba SoltanalianNeural Network VerificationRectified Linear Unit Networks

  57. The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK

    Jul 15, 2026Tobias PhilippVerifierSecurity Analysis

  58. The Dynamic Verifiable Multi-Agent Human Agentic Loyalty Loop (DVM-HALL) Model and the Net Human-Agent Score (NHAS) in Autonomous Commerce

    Jul 15, 2026Sai Srikanth Madugula, Peplluis Esteva de la Rosa, Daya ShankarAgentic CommerceBrand Pairs

  59. Partially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot Ceilings

    Jul 15, 2026Jiangang HanVerifierFailure Mechanism

  60. CAVA: Canonical Action Verification and Attestation for Runtime Governance of Agentic AI Systems

    Jul 15, 2026Zexun WangCanonical Action Verification And AttestationArtificial Intelligence Governance