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. Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning

    Apr 21, 2026Kyuhee Kim, Auguste Poiroux, Antoine BosselutFormalizationLarge Language Model Reasoning

  2. Debating the Unspoken: Role-Anchored Multi-Agent Reasoning for Half-Truth Detection

    Apr 21, 2026Yixuan Tang, Yirui Zhang, Hang Feng +1Fact-CheckingTruth

  3. Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees

    Apr 21, 2026Xiaoyang Liu, Zineng Dong, Yifan Bai +3AutoformalizationNeuro-Symbolic Framework

  4. Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline

    Apr 20, 2026George KoomullilPatentFormal Verification

  5. Temporal UI State Inconsistency in Desktop GUI Agents: Formalizing and Defending Against TOCTOU Attacks on Computer-Use Agents

    Apr 20, 2026Wenpeng XuGraphical User Interface AgentsUser Interface

  6. The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification

    Apr 20, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network VerificationConvex Sets

  7. FUSE: Ensembling Verifiers with Zero Labeled Data

    Apr 20, 2026Joonhyuk Lee, Virginia Ma, Sarah Zhao +4VerifierGround Truth

  8. AJ-Bench: Benchmarking Agent-as-a-Judge for Environment-Aware Evaluation

    Apr 20, 2026Wentao Shi, Yu Wang, Yuyang Zhao +8Llm-As-A-JudgeVerifier

  9. Aether: Network Validation Using Agentic AI and Digital Twin

    Apr 20, 2026Jordan Auge, Sam Betts, Giovanna Carofiglio +3Optical NetworksDigital Twin Framework

  10. SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution

    Apr 20, 2026Woojin Lee, Jin-Xia HuangMock-Interface SynthesisLarge Language Model Generation

  11. Learning to Correct: Calibrated Reinforcement Learning for Multi-Attempt Chain-of-Thought

    Apr 20, 2026Muhammed Emrullah Ildiz, Halil Alperen Gozeten, Ege Onur Taga +1Reinforcement Learning With Verifiable RewardEfficient Chain-Of-Thought Reasoning

  12. Learning from AVA: Early Lessons from a Curated and Trustworthy Generative AI for Policy and Development Research

    Apr 20, 2026Nimisha Karnatak, Mohamad Chatila, Daniel Alejandro Pinzón Hernández +3Trustworthy Artificial IntelligenceVerifier

  13. WISV: Wireless-Informed Semantic Verification for Distributed Speculative Decoding in Device-Edge LLM Inference

    Apr 20, 2026Zixuan Liu, Zhiyong Chen, Nan Xue +4Speculative DecodingHeterogeneous Edge Devices

  14. Semantic Entanglement in Vector-Based Retrieval: A Formal Framework and Context-Conditioned Disentanglement Pipeline for Agentic RAG Systems

    Apr 20, 2026Nick LoghmaniVector DatabaseEntanglement

  15. Peerispect: Claim Verification in Scientific Peer Reviews

    Apr 19, 2026Ali Ghorbanpour, Soroush Sadeghian, Alireza Daghighfarsoodeh +4Peer ReviewNoisy Claim Verification

  16. Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces

    Apr 19, 2026Simon FoldvikCausal GraphAgent Execution

  17. Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1

    Apr 19, 2026Alexandre LinharesTheoremProof

  18. A Multi-Agent Approach for Claim Verification from Tabular Data Documents

    Apr 19, 2026Rudra Ranajee Saha, Laks V. S. Lakshmanan, Raymond T. NgVerifierTabular Data

  19. Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification

    Apr 18, 2026Antonio Valerio Miceli Barone, Poon Tsz NokEquivalenceMock-Interface Synthesis

  20. Bolzano: Case Studies in LLM-Assisted Mathematical Research

    Apr 18, 2026Martin Balko, Jan Grebík, Pavel Hubáček +5MathematicsTheorem

  21. Learning to Reason with Insight for Informal Theorem Proving

    Apr 17, 2026Yunhe Li, Hao Shi, Bowen Deng +8TheoremLarge Language Model Reasoning

  22. Certified Program Synthesis with a Multi-Modal Verifier

    Apr 17, 2026Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5Mock-Interface SynthesisVerifier

  23. Reasoning on the Manifold: Bidirectional Consistency for Self-Verification in Diffusion Language Models

    Apr 17, 2026Jiaoyang Ruan, Xin Gao, Yinda Chen +5Diffusion Language ModelsLarge Language Model Reasoning

  24. Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4

    Apr 17, 2026Chengwu Liu, Yichun Yin, Ye Yuan +7TheoremHard

  25. ACE: Self-Evolving LLM Coding Framework via Adversarial Unit Test Generation and Preference Optimization

    Apr 17, 2026Yixu Huang, Xinglei Yu, Zhongyu WeiCode GenerationAdversarial Evaluation

  26. Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints

    Apr 17, 2026Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens +3Formal SemanticsAutoformalization

  27. Verification Modulo Tested Library Contracts

    Apr 16, 2026Abhishek Uppar, Omar Muhammad, Sumanth Prabhu +3Kernel ContractsVerifier

  28. Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis

    Apr 16, 2026Ke Zhang, Patricio Gallardo, Maziar Raissi +1Multi-Turn Tool-Use AgentFormalization

  29. LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking

    Apr 16, 2026Lukas Helff, Quentin Delfosse, David Steinmann +6Reinforcement Learning With Verifiable RewardVerifiable Rewards

  30. Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study

    Apr 16, 2026Michal Töpfer, František Plášil, Tomáš Bureš +1Vibe CodingFormal Verification

  31. Fact4ac at the Financial Misinformation Detection Challenge Task: Reference-Free Financial Misinformation Detection via Fine-Tuning and Few-Shot Prompting of Large Language Models

    Apr 16, 2026Cuong Hoang, Le-Minh NguyenMisinformation DetectionMisinformation

  32. VeriX-Anon: A Multi-Layered Framework for Mathematically Verifiable Outsourced Target-Driven Data Anonymization

    Apr 14, 2026Miit Daga, Swarna Priya RamuAnonymizationVerifier

  33. Beyond Task Completion: A Verification-vs.-Conformance Gap in Tool-Evolving Agents

    Apr 1, 2026Alibek Kaliyev, Artem MaryanskyyMulti-Turn Tool-Use AgentTool

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

    Mar 25, 2026Andreas SchlapbachModel Context ProtocolFormal Semantics

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

    Mar 16, 2026Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu +2Small Language ModelsVerifier

  36. Verify to Amplify: Improving Reasoning via Learned Chain-of-Thought Verification

    Mar 3, 2026Maria-Florina Balcan, Avrim Blum, Kiriaki Fragkia +2VerifierChain-of-Thought Reasoning

  37. Delegation and Verification Under AI

    Mar 3, 2026Lingxiao Huang, Wenyang Xiao, Nisheeth K. VishnoiDelegationArtificial Intelligence Governance

  38. Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4

    Feb 21, 2026Leni Aniva, Iori Oikawa, David Dill +1TheoremProof

  39. MobileManiBench: Simplifying Model Verification for Mobile Manipulation

    Feb 5, 2026Wenbo Wang, Fangyun Wei, QiXiu Li +5Generalizable Robotic ManipulationsTeleoperation

  40. MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems

    Feb 3, 2026Vishal Venkataramani, Haizhou Shi, Zixuan Ke +6Multi-Agent SystemsVerifier

  41. ProofVerifier: A Scalable, Diversity-Driven Framework for Natural-Language Proof Verification

    Feb 2, 2026Haotong Yang, Zitong Wang, Shijia Kang +7ProofReinforcement Learning With Verifiable Reward

  42. More Bang for the Buck: Improving the Inference of Large Language Models at a Fixed Budget using Reset and Discard (ReD)

    Jan 29, 2026Sagi Meir, Tommer D. Keidar, Noam Levi +2LLM Inference EfficiencyToken Budgets

  43. LLMs versus the Halting Problem: Characterizing Program Termination Reasoning

    Jan 26, 2026Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli +4Formal VerificationLarge Language Model Reasoning

  44. Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study

    Jan 22, 2026Zachary BurtonTheoremInference-Time

  45. Can Coding Agents Migrate to Post-Quantum Cryptography?

    Dec 15, 2025Abdulmalik AlquwayfiliPost-Quantum CryptographyCoding Agents

  46. MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification

    Dec 11, 2025Mantas Baksys, Stefan Zetzsche, Olivier Bouissou +1TheoremVerifier

  47. Training Language Models to Use Prolog as a Tool

    Dec 8, 2025Niklas Mellgren, Peter Schneider-Kamp, Lukas Galke PoechTraining Language ModelsInductive Logic Programming

  48. The 4/δδ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

    Nov 30, 2025Pierre Dantas, Lucas Cordeiro, Youcheng Sun +1Formal VerificationVerifier

  49. Pessimistic Verification for Open Ended Math Questions

    Nov 26, 2025Yanxing Huang, Zihan Tang, Zejin Lin +2VerifierMath Problems

  50. TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition

    Oct 13, 2025Yupei Li, Philipp Borchert, Gerasimos LampourasAutoformalizationFormalization

  51. The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives

    Oct 7, 2025Matthieu Bou, Nyal Patel, Arjun Jagota +2Reinforcement Learning With Verifiable RewardVerifier

  52. Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph

    Oct 6, 2025Hanyu Wang, Ruohan Xie, Yutong Wang +3AutoformalizationTheorem

  53. Parameterized Hardness of Zonotope Containment and Neural Network Verification

    Sep 26, 2025Vincent Froese, Moritz Grillo, Christoph Hertrich +1Neural Network VerificationRectified Linear Unit Networks

  54. Discovering New Theorems via LLMs with In-Context Proof Learning in Lean

    Sep 16, 2025Kazumi Kasaura, Naoto Onda, Yuta Oriike +3TheoremLarge Language Model Reasoning

  55. Hybrid Sequence Modeling and Reinforced Verification for Controllable Target-Conditioned Decision Making

    Aug 22, 2025Yue Pei, Hongming Zhang, Chao Gao +7Goal-Conditioned PolicyGoal-Conditioned Reinforcement Learning

  56. Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

    Jul 22, 2025Chuanhao Yan, Fengdi Che, Xuhan Huang +12Formal VerificationHuman Annotations

  57. CertDW: Towards Certified Dataset Ownership Verification via Conformal Calibration

    Jun 16, 2025Ting Qiao, Yiming Li, Jianbin Li +5WatermarksVerifier

  58. Formally Solving Answer-Construction Problems in Lean

    May 24, 2025Jialiang Sun, Yuzhi Tang, Ao Li +2TheoremConjecture

  59. Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry

    May 20, 2025Oren Sultan, Eitan Stern, Dafna ShahafTheoremAnalogy

  60. CBW: Towards Dataset Ownership Verification for Speaker Verification via Clustering-based Backdoor Watermarking

    Mar 2, 2025Yiming Li, Kaiying Yan, Jiawen Diao +4Speaker Verification PerformanceWatermarking