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

608 papers

Latest in Formal Verification

Browse all topics →
CardsList

  1. Faults in Our Formal Benchmarking: Dataset Defects and Evaluation Failures in Lean Theorem Proving

    Jun 28, 2026Pawan Sasanka Ammanamanchi, Siddharth Bhat, Stella BidermanTheoremDefect

  2. PolicyGuard: A Dialogue-Grounded Sub-Agent Verifier for Policy Adherence in LLM Agents

    Jun 28, 2026Seongjae Kang, Taehyung Yu, Sung Ju HwangStructural EnforcementViolation

  3. LAMP: Lean-based Agentic framework with MCP and Proof Repair

    Jun 27, 2026Santhana Srinivasan R, Maithilee PatawarTheoremCombinations

  4. Self-Supervised Theorem Discovery in a Formal Axiomatic System

    Jun 27, 2026Kazuki Ota, Takayuki Osa, Tatsuya HaradaTheoremMathematical Reasoning

  5. Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings

    Jun 26, 2026Rodrigo Mendoza-SmithProofAxiom

  6. The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization

    Jun 26, 2026Chengxiao Dai, Zhaokun Yan, Zhanhui LinAutoformalizationFormalization

  7. Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing

    Jun 26, 2026Can Li, Ting Zhang, Junbo Zhao +1Neuro-Symbolic FrameworkAutoformalization

  8. Dockerless: Environment-Free Program Verifier for Coding Agents

    Jun 26, 2026Wenhao Zeng, Yuling Shi, Xiaodong Gu +10VerifierCoding Agents

  9. GAVEL: Grounded Caption Error Verification and Localization

    Jun 25, 2026Zixian Gao, Atsushi Hashimoto, Kuniaki SaitoImage-Text PairsVideo Captioning

  10. Delayed Verification Destabilizes Multi-Agent LLM Belief: Instability Thresholds and Optimal Corrector Placement

    Jun 25, 2026Igor ItkinMulti-Agent Large Language ModelVerifier

  11. Autoformalization of Agent Instructions into Policy-as-Code

    Jun 25, 2026Adam Mondl, Matthew Maisel, John H. BrockStructural EnforcementAutoformalization

  12. Theory-Scale Auto-Formalization of Logics for Computer Science

    Jun 25, 2026Yuming Feng, Frederick Pu, One An +5AutoformalizationFormal Verification

  13. An Empirical Study of LLM-Generated Specifications for VeriFast

    Jun 25, 2026Wen Fan, Minh Tran, Sanya Dod +5Formal VerificationCode Generation

  14. AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities

    Jun 24, 2026Jimmy Xin, Alex Schneidman, Chris Cummins +3TheoremInfrastructure

  15. The Verification Horizon: No Silver Bullet for Coding Agent Rewards

    Jun 24, 2026Binghai Wang, Chenlong Zhang, Dayiheng Liu +10VerifierCoding Agents

  16. Weave of Formal Thought

    Jun 24, 2026Alexandre BouayadSyntactic StructureWeave

  17. Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers

    Jun 24, 2026Alireza ShojaeiRuntime EnforcementFault Tolerance

  18. TheoremGraph: Bridging Formal and Informal Mathematics

    Jun 24, 2026Simon Kurgan, Evan Wang, Eric Leonen +6MathematicsDependency Graph

  19. The Verifier is the Curriculum: Execution-Gated Self-Distillation for Cross-Family Game Generation

    Jun 23, 2026Chenyu Zhou, Qiliang Jiang, Shuning Wu +1VerifierMotion Generation

  20. Cycle-Consistent Neural Explanation of Formal Verification Certificates

    Jun 23, 2026Andoni Rodriguez, Alberto Pozanco, Daniel BorrajoFormal VerificationNeural Network Verification

  21. VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification

    Jun 23, 2026Ninghan Zhong, Ahmet Ege Tanriverdi, Kaan Kale +1Reasoning TracesFormal Verification

  22. Maestro Order: A Model-Agnostic Orchestration Harness

    Jun 22, 2026Hidayet AksuOrchestrationVerifier

  23. Does My Embedding Reflect That A=BA = B? Evaluating Mathematical Equivalence in Embedding Models

    Jun 22, 2026Jiaying Ye, Samarth Rao, Leo Carlin +9MathematicsEquivalence

  24. Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI

    Jun 22, 2026Armin Heydari, Torben LeowaldReinforcement Learning With Verifiable RewardFormal Semantics

  25. ESBMC-PLC+: A Unified IEC 61131-3 Formal Verification Framework as a PLCverif Successor

    Jun 22, 2026Pierre Dantas, Lucas Cordeiro, Waldir JuniorFormal Verification

  26. Cryptographic certificates of validity for trustworthy AI

    Jun 22, 2026Murdoch J. GabbayZero-Knowledge ProofsCertificates

  27. VeriEvol: Scaling Multimodal Mathematical Reasoning via Verifiable Evol-Instruct

    Jun 22, 2026Haoling Li, Kai Zheng, Jie Wu +4Mathematical ReasoningVisual Reasoning

  28. Some Results about the Expressivity of Preference-Incomplete Structured Argumentation Frameworks

    Jun 22, 2026Antonio Yuste-GinelAbstract ArgumentationPairwise Preferences

  29. From numerical proportions to analogical proportions between probabilities

    Jun 22, 2026Henri Prade, Gilles RichardAnalogyProbability

  30. FedOT: Ownership Verification and Leakage Tracing via Watermarks for Federated LDMs

    Jun 22, 2026Wenlong Cheng, Yuan Gan, Yunqiu Xu +1Federated LearningWatermarks

  31. Not All Claims Are Equally Risky: FACTOR for Adaptive Verification in Factual Long-Form Generation

    Jun 21, 2026Areeba Hassan, Arooj Kausar, Syeda Kisaa Fatima +2FactsLong-Form Generation

  32. Plurification in/of language technology -- The integration of culture in next-generation AI

    Jun 20, 2026Gertraud Koch, Fausto GiunchigliaCultural KnowledgeSociotechnical Systems

  33. ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

    Jun 20, 2026Pei-Cing Huang, Chienyu Liu, Chan Hsu +3Large Language Model EvaluationFormal Verification

  34. CalVerT: Augmenting Agents with Calibrated Verifier Telemetry Improves Action and Learning in Knowledge-Intensive Tasks

    Jun 19, 2026Ashwin Vinod, Ying Ding, Elias Stengel-EskinVerifierMultivariate Telemetry Data

  35. Denoising Iterative Self-Correction: Structured Verification Loops for Reliable LLM Reasoning

    Jun 19, 2026Shen Yin, David Ken, Joel StremmelIterative Self-CorrectionReasoning Errors

  36. Decodable but Not Faithful: Coupling Natural-Language Rationales to Programmatic Verifiers

    Jun 19, 2026Vatsal Ananthula, Adarsh KumarappanRationalesExplanation Faithfulness

  37. AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis

    Jun 18, 2026Han Zhou, Yu Luo, Dianxiang XuMock-Interface SynthesisProgram Analysis

  38. Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification

    Jun 18, 2026Baiyang Qu, Leonardo Ranaldi, Xi Wang +1Neuro-Symbolic FrameworkAbductive Reasoning

  39. SciLens: Multi-modal Scientific Claim Verification with Agentic Entailment and Grounding

    Jun 18, 2026Yueming Wang, Tianshi Zheng, Jiaxin Bai +3Scientific DiscoveryRelation-Conditioned Evidence Encoder

  40. A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA

    Jun 18, 2026Raik Hipler, Martin Leucker, Patrick RodlerFault DiagnosisRuntime Enforcement

  41. Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things

    Jun 18, 2026Colin Samplawski, Adam D. CobbFormal VerificationAutomated Synthesis Techniques

  42. Process-Verified Reinforcement Learning for Theorem Proving via Lean

    Jun 18, 2026Minsu Kim, Se-Young YunReinforcement Learning With Verifiable RewardReliable Medical Process-Level Reward Model Evaluation Framework

  43. QMaxCal: Path-Space Regularization for Open Quantum Control via Girsanov's Theorem

    Jun 18, 2026Merijn Moody, Zier Mensch, Miranda C. N. Cheng +2N$-Qubit Stabilizer StatesKullback-Leibler Divergence

  44. Think Again or Think Longer? Selective Verification for Budget-Aware Reasoning

    Jun 18, 2026Sajib Acharjee Dip, Dawei Zhou, Liqing ZhangVerifierToken Budgets

  45. Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation

    Jun 17, 2026Ahmad Farooq, Kamran IqbalMulti-Agent Reinforcement LearningMulti-Robot Systems

  46. Mesh Inference: A Formal Model of Collective Inference Without a Center

    Jun 17, 2026Hongwei XuPartial ObservabilityStrategic Agents

  47. A Categorial and Sheaf-Theoretic Semantics for Autonomic Component Ensembles

    Jun 17, 2026Manuel Hernández, Eduardo Sánchez-SotoSheafCyber-Physical System

  48. VeriBound: PAC-Bayesian Generalization Bounds for Process Reward Models Trained with Formal Verification Tools

    Jun 17, 2026Amirul Rahman, Mohammed Sabih AlsharariReinforcement Learning With Verifiable RewardFormal Verification

  49. Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation

    Jun 17, 2026Ruida Wang, Rui Pan, Pengcheng Wang +2TheoremMathematical Reasoning

  50. ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking

    Jun 17, 2026Pierre Dantas, Lucas Cordeiro, Waldir JuniorFormal VerificationProbabilistic Model Checking

  51. VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

    Jun 17, 2026Manish Acharya, Zhenyu Liao, Yueke Zhang +3TheoremProof

  52. As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture

    Jun 16, 2026Marcos Abel Zuzuárregui, Stefano CarpinLarge Language Model PlanningLlm-Driven

  53. All Smoke, No Alarm: Oracle Signals in Agent-Authored Test Code

    Jun 16, 2026Dipayan Banik, Kowshik Chowdhury, Shazibul Islam ShamimCode QualityRepository

  54. On the Reliability of Networks of AI Agents: Density Evolution, Stopping Sets, and Architecture Optimization

    Jun 16, 2026Ehsan Aghazadeh, Hossein Pishro-NikArtificial Intelligence AgentsVerifier

  55. First Proof Second Batch

    Jun 16, 2026Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward +1MathematicsProof

  56. IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

    Jun 16, 2026Elliot Jones, William KnottenbeltTheoremConsensus-Based Protocol

  57. A Generalized Formalism of Auto-Regressive Decoding for Speech Processing

    Jun 16, 2026Julia Gachot, Philipp Allgeuer, Marie S. Bauer +1Autoregressive DecodingAutoregressive Model

  58. Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics

    Jun 16, 2026Xiyu Zhai, Xinyi Chen, Yiping Wang +3TheoremMathematics

  59. Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems

    Jun 15, 2026Sajjad KhanMulti-Agent Large Language Model SystemsDeterministic

  60. Symbolic Informalization: Fluent, Productive, Multilingual

    Jun 15, 2026Aarne RantaFormalizationLong-Form Generation