验证论文趋势 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

全部验证论文

共 45 篇，第 1 / 1 页

1. NeurIPS 2026Affine-Image Propagation for Tight and Scalable $\ell_{2}$ Neural Network Verification
2. NeurIPS 2026Auditor-Assisted Summary-Channel Verification for Hosted LLM Identity Substitution
3. NeurIPS 2026Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks
4. NeurIPS 2026Cross-Channel Agreement Beats Consensus: Compositional Verification for Geometry Reasoning
5. NeurIPS 2026End-to-End Verification of Neuro-symbolic Automata via Contrastive Logit-Gaps
6. NeurIPS 2026FedTrace: Generated-Content-Based Watermark Verification for Traitor Tracing in Federated Learning
7. NeurIPS 2026FocusBranch: Combinatorial Branch-and-Bound for $\ell_0$ Neural Network Robustness Verification
8. NeurIPS 2026LocalAgent: Collaborative Agentic Verification for Fine-Grained Instance-Level Consistency
9. NeurIPS 2026Mining Logic under Uncertainty: Probabilistic Soft Logic with Energy-Based Inference for Chain-of-Thought Verification
10. NeurIPS 2026OpenSearcher: Democratizing Deep Search through a Fully Offline Pipeline with Programmatic Verification
11. NeurIPS 2026Provably Safe, Yet Performant Reinforcement Learning
12. NeurIPS 2026Runtime Verification of Multiple Natural Language Criteria for Agent Governance
13. NeurIPS 2026Self-Trained Verification for Training- and Test-Time Self-Improvement
14. NeurIPS 2026Verification-Aware Training for Speculative Decoding
15. NeurIPS 2026Verification-Guided Abstraction Generation with Large Language Models for Generalized Planning
16. NeurIPS 2026VeriScope: Measuring Verification-Ready Verilog Artifacts
17. NeurIPS 2026VeriVul: A Verification-Guided Framework for Generating Realistic Vulnerability Benchmarks
18. NeurIPS 2026VeruSAGE-Bench: A Benchmark Suite for Rust System Verification
19. NeurIPS 2026VEX-Bench: Benchmarking Verification Complexity of LLM-Generated Misinformation
20. NeurIPS 2025Characterizing the Expressivity of Fixed-Precision Transformer Language Models
21. NeurIPS 2025Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
22. NeurIPS 2025Compositional Neural Network Verification via Assume-Guarantee Reasoning
23. NeurIPS 2025DSCS: Fast CPDAG-Based Verification of Collapsible Submodels in High-Dimensional Bayesian Networks
24. NeurIPS 2025Efficiently Verifiable Proofs of Data Attribution
25. NeurIPS 2025Generating and Checking DNN Verification Proofs
26. NeurIPS 2025Learning Simple Interpolants for Linear Integer Arithmetic
27. NeurIPS 2025Let a Neural Network be Your Invariant
28. NeurIPS 2025Limitations of Normalization in Attention
29. NeurIPS 2025RvLLM: LLM Runtime Verification with Domain Knowledge
30. NeurIPS 2025Self-Verification Provably Prevents Model Collapse in Recursive Synthetic Training
31. NeurIPS 2025SpecEM: Training-Free LLM Ensembling via Iterative Drafting, Verification, and Online Feedback
32. NeurIPS 2025Traversal Verification for Speculative Tree Decoding
33. NeurIPS 2025Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
34. NeurIPS 2025Weaver: Shrinking the Generation-Verification Gap by Scaling Compute for Verification
35. NeurIPS 2024Compact Proofs of Model Performance via Mechanistic Interpretability
36. NeurIPS 2024Critically Assessing the State of the Art in Neural Network Verification
37. NeurIPS 2024FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
38. NeurIPS 2024Neural Model Checking
39. NeurIPS 2024Optimistic Verifiable Training by Controlling Hardware Nondeterminism
40. NeurIPS 2024Relational Verification Leaps Forward with RABBit
41. NeurIPS 2024Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
42. NeurIPS 2024SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
43. NeurIPS 2024Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning
44. NeurIPS 2024ZeroMark: Towards Dataset Ownership Verification without Disclosing Watermark
45. NeurIPS 2023[Re] On the Reproducibility of “FairCal: Fairness Calibration for Face Verification”

常见问题

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 篇。