验证论文趋势 2023–2026

主要结论

• 验证论文从 2023 年的 8 篇增长到 2026 年的 48 篇，三年间扩大到约 6.0 倍。
• NeurIPS 是发验证论文最多的会议，2023–2026 年共 45 篇，占四个会议总量的 41%。
• 交叉方向里涨得最快的是推理模型：同时属于两个主题的论文从 2023 年的 0 篇增至 2026 年的 8 篇。
• 在「安全与可信」的 5 个主题里，它的 2026 年论文数排第 4；同组增长最快的水印是 9.3 倍，验证是 6.0 倍。

代表论文

按年份和会议均匀挑选，方便快速看到每一届的样貌

• 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

全部验证论文

共 28 篇，第 1 / 1 页

1. ICLR 2026Escaping Model Collapse via Synthetic Data Verification: Near-term Improvements and Long-term Convergence
2. ICLR 2026FAME: $\underline{F}$ormal $\underline{A}$bstract $\underline{M}$inimal $\underline{E}$xplanation for neural networks
3. ICLR 2026Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
4. ICLR 2026Out of the Shadows: Exploring a Latent Space for Neural Network Verification
5. ICLR 2026Overcoming Joint Intractability with Lossless Hierarchical Speculative Decoding
6. ICLR 2026Parameterized Hardness of Zonotope Containment and Neural Network Verification
7. ICLR 2026Provably Explaining Neural Additive Models
8. ICLR 2026Softmax Transformers are Turing-Complete
9. ICLR 2026SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
10. ICLR 2026Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
11. ICLR 2026The Counting Power of Transformers
12. ICLR 2026Variation in Verification: Understanding Verification Dynamics in Large Language Models
13. ICLR 2026Verification and Co-Alignment via Heterogeneous Consistency for Preference-Aligned LLM Annotations
14. ICLR 2026Verification of the Implicit World Model in a Generative Model via Adversarial Sequences
15. ICLR 2025Beyond Model Collapse: Scaling Up with Synthesized Data Requires Verification
16. ICLR 2025Block Verification Accelerates Speculative Decoding
17. ICLR 2025Data Taggants: Dataset Ownership Verification Via Harmless Targeted Data Poisoning
18. ICLR 2025Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
19. ICLR 2025Sensitivity Verification for Additive Decision Tree Ensembles
20. ICLR 2025Triples as the Key: Structuring Makes Decomposition and Verification Easier in LLM-based TableQA
21. ICLR 2024CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing
22. ICLR 2024Expressivity of ReLU-Networks under Convex Relaxations
23. ICLR 2024Lemur: Integrating Large Language Models in Automated Program Verification
24. ICLR 2024Prediction without Preclusion: Recourse Verification with Reachable Sets
25. ICLR 2023Certified Training: Small Boxes are All You Need
26. ICLR 2023Efficient Certified Training and Robustness Verification of Neural ODEs
27. ICLR 2023Fundamental Limits in Formal Verification of Message-Passing Neural Networks
28. ICLR 2023Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees

常见问题

2023–2026 年四大会议一共有多少篇验证论文？

共 111 篇，按年份分别是 2023 年 8 篇、2024 年 22 篇、2025 年 33 篇、2026 年 48 篇。

NeurIPS 2026 有多少篇验证论文？

NeurIPS 2026 有 19 篇验证论文，上一届是 15 篇。

ICLR 2026 有多少篇验证论文？

ICLR 2026 有 14 篇验证论文，上一届是 6 篇。

ICML 2026 有多少篇验证论文？

ICML 2026 有 12 篇验证论文，上一届是 8 篇。

CVPR 2026 有多少篇验证论文？

CVPR 2026 有 3 篇验证论文，上一届是 4 篇。

哪个会议的验证论文最多？

NeurIPS，2023–2026 年共 45 篇。