Verification papers, 2023–2026

Key findings

• Verification went from 8 papers in 2023 to 48 in 2026, roughly 6.0x in three years.
• NeurIPS publishes the most Verification work: 45 papers from 2023 to 2026, 41% of the four-venue total.
• The fastest-growing overlap is with Reasoning Models: papers tagged with both rose from 0 in 2023 to 8 in 2026.
• Among the 5 topics under Security and Trust, it ranks #4 by 2026 paper count; the fastest grower in the group, Watermarking, is up 9.3x versus 6.0x here.

Representative papers

Spread across years and venues so every edition shows up

• NeurIPS 2026Affine-Image Propagation for Tight and Scalable $\ell_{2}$ Neural Network Verification
• ICML 2026Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
• ICLR 2026Parameterized Hardness of Zonotope Containment and Neural Network Verification
• CVPR 2026Goldilocks Test Sets for Face Verification
• NeurIPS 2025Self-Verification Provably Prevents Model Collapse in Recursive Synthetic Training
• ICML 2025SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
• ICLR 2025Beyond Model Collapse: Scaling Up with Synthesized Data Requires Verification
• CVPR 2025PHGC: Procedural Heterogeneous Graph Completion for Natural Language Task Verification in Egocentric Videos
• NeurIPS 2024Critically Assessing the State of the Art in Neural Network Verification
• ICML 2024Compact Optimality Verification for Optimization Proxies
• ICLR 2024CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing
• CVPR 2024Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
• NeurIPS 2023[Re] On the Reproducibility of “FairCal: Fairness Calibration for Face Verification”
• ICML 2023Trapdoor Normalization with Irreversible Ownership Verification
• ICLR 2023Fundamental Limits in Formal Verification of Message-Passing Neural Networks
• CVPR 2023Efficient Verification of Neural Networks Against LVM-Based Specifications
• NeurIPS 2026End-to-End Verification of Neuro-symbolic Automata via Contrastive Logit-Gaps
• ICML 2026The Latent Guardian: Defending Collaborative Perception via Feature-Level Consistency Verification
• ICLR 2026Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
• CVPR 2026Lipschitz Optimization for Formal Verification of Homographies

All Verification papers

111 papers, page 1 of 3

1. CVPR 2026Goldilocks Test Sets for Face Verification
2. CVPR 2026Lipschitz Optimization for Formal Verification of Homographies
3. CVPR 2026VIRO Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring
4. ICLR 2026Escaping Model Collapse via Synthetic Data Verification: Near-term Improvements and Long-term Convergence
5. ICLR 2026FAME: $\underline{F}$ormal $\underline{A}$bstract $\underline{M}$inimal $\underline{E}$xplanation for neural networks
6. ICLR 2026Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
7. ICLR 2026Out of the Shadows: Exploring a Latent Space for Neural Network Verification
8. ICLR 2026Overcoming Joint Intractability with Lossless Hierarchical Speculative Decoding
9. ICLR 2026Parameterized Hardness of Zonotope Containment and Neural Network Verification
10. ICLR 2026Provably Explaining Neural Additive Models
11. ICLR 2026Softmax Transformers are Turing-Complete
12. ICLR 2026SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
13. ICLR 2026Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
14. ICLR 2026The Counting Power of Transformers
15. ICLR 2026Variation in Verification: Understanding Verification Dynamics in Large Language Models
16. ICLR 2026Verification and Co-Alignment via Heterogeneous Consistency for Preference-Aligned LLM Annotations
17. ICLR 2026Verification of the Implicit World Model in a Generative Model via Adversarial Sequences
18. ICML 20263D Scene Assertion Verification
19. ICML 2026AnalogVerifier: A Neuro-Symbolic Framework for Analog Circuit Verification
20. ICML 2026Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
21. ICML 2026Delegation and Verification under AI
22. ICML 2026Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
23. ICML 2026Formally Exploring Visual Anomaly Detection Evaluation Metrics
24. ICML 2026Probabilistic Robustness Certificates against Adversarial Attacks
25. ICML 2026Stop the Flip-Flop: Context-Preserving Verification for Fast Revocable Diffusion Decoding
26. ICML 2026The Latent Guardian: Defending Collaborative Perception via Feature-Level Consistency Verification
27. ICML 2026Vegas: Self-Speculative Decoding with Verification-Guided Sparse Attention
28. ICML 2026VIA-SD: Verification via Intra-Model Routing for Speculative Decoding
29. ICML 2026When to Trust the Cheap Check: Weak and Strong Verification for Reasoning
30. NeurIPS 2026Affine-Image Propagation for Tight and Scalable $\ell_{2}$ Neural Network Verification
31. NeurIPS 2026Auditor-Assisted Summary-Channel Verification for Hosted LLM Identity Substitution
32. NeurIPS 2026Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks
33. NeurIPS 2026Cross-Channel Agreement Beats Consensus: Compositional Verification for Geometry Reasoning
34. NeurIPS 2026End-to-End Verification of Neuro-symbolic Automata via Contrastive Logit-Gaps
35. NeurIPS 2026FedTrace: Generated-Content-Based Watermark Verification for Traitor Tracing in Federated Learning
36. NeurIPS 2026FocusBranch: Combinatorial Branch-and-Bound for $\ell_0$ Neural Network Robustness Verification
37. NeurIPS 2026LocalAgent: Collaborative Agentic Verification for Fine-Grained Instance-Level Consistency
38. NeurIPS 2026Mining Logic under Uncertainty: Probabilistic Soft Logic with Energy-Based Inference for Chain-of-Thought Verification
39. NeurIPS 2026OpenSearcher: Democratizing Deep Search through a Fully Offline Pipeline with Programmatic Verification
40. NeurIPS 2026Provably Safe, Yet Performant Reinforcement Learning
41. NeurIPS 2026Runtime Verification of Multiple Natural Language Criteria for Agent Governance
42. NeurIPS 2026Self-Trained Verification for Training- and Test-Time Self-Improvement
43. NeurIPS 2026Verification-Aware Training for Speculative Decoding
44. NeurIPS 2026Verification-Guided Abstraction Generation with Large Language Models for Generalized Planning
45. NeurIPS 2026VeriScope: Measuring Verification-Ready Verilog Artifacts
46. NeurIPS 2026VeriVul: A Verification-Guided Framework for Generating Realistic Vulnerability Benchmarks
47. NeurIPS 2026VeruSAGE-Bench: A Benchmark Suite for Rust System Verification
48. NeurIPS 2026VEX-Bench: Benchmarking Verification Complexity of LLM-Generated Misinformation
49. CVPR 2025Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
50. CVPR 2025PHGC: Procedural Heterogeneous Graph Completion for Natural Language Task Verification in Egocentric Videos

FAQ

How many Verification papers were published at NeurIPS, ICLR, ICML and CVPR from 2023 to 2026?

111 in total: 8 in 2023, 22 in 2024, 33 in 2025, 48 in 2026.

How many Verification papers are at NeurIPS 2026?

NeurIPS 2026 has 19 Verification papers, versus 15 the year before.

How many Verification papers are at ICLR 2026?

ICLR 2026 has 14 Verification papers, versus 6 the year before.

How many Verification papers are at ICML 2026?

ICML 2026 has 12 Verification papers, versus 8 the year before.

How many Verification papers are at CVPR 2026?

CVPR 2026 has 3 Verification papers, versus 4 the year before.

Which conference publishes the most Verification papers?

NeurIPS, with 45 papers from 2023 to 2026.