验证论文趋势 2023–2026
形式化与验证
统计范围：NeurIPS、ICLR、ICML、CVPR 四个会议，2023–2026 年，共 111 篇被归入该主题的论文。
主要结论
- 验证论文从 2023 年的 8 篇增长到 2026 年的 48 篇，三年间扩大到约 6.0 倍。
- NeurIPS 是发验证论文最多的会议，2023–2026 年共 45 篇，占四个会议总量的 41%。
- 交叉方向里涨得最快的是推理模型：同时属于两个主题的论文从 2023 年的 0 篇增至 2026 年的 8 篇。
- 在「安全与可信」的 5 个主题里，它的 2026 年论文数排第 4；同组增长最快的水印是 9.3 倍，验证是 6.0 倍。
各会议论文数
按年份和会议统计
| 年份 | NeurIPS | ICLR | ICML | CVPR | 合计 |
|---|---|---|---|---|---|
| 2023 | 1 | 4 | 1 | 2 | 8 |
| 2024 | 10 | 4 | 7 | 1 | 22 |
| 2025 | 15 | 6 | 8 | 4 | 33 |
| 2026 | 19 | 14 | 12 | 3 | 48 |
代表论文
按年份和会议均匀挑选，方便快速看到每一届的样貌
- 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
全部验证论文
共 19 篇，第 1 / 1 页
- NeurIPS 2026Affine-Image Propagation for Tight and Scalable $\ell_{2}$ Neural Network Verification
- NeurIPS 2026Auditor-Assisted Summary-Channel Verification for Hosted LLM Identity Substitution
- NeurIPS 2026Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks
- NeurIPS 2026Cross-Channel Agreement Beats Consensus: Compositional Verification for Geometry Reasoning
- NeurIPS 2026End-to-End Verification of Neuro-symbolic Automata via Contrastive Logit-Gaps
- NeurIPS 2026FedTrace: Generated-Content-Based Watermark Verification for Traitor Tracing in Federated Learning
- NeurIPS 2026FocusBranch: Combinatorial Branch-and-Bound for $\ell_0$ Neural Network Robustness Verification
- NeurIPS 2026LocalAgent: Collaborative Agentic Verification for Fine-Grained Instance-Level Consistency
- NeurIPS 2026Mining Logic under Uncertainty: Probabilistic Soft Logic with Energy-Based Inference for Chain-of-Thought Verification
- NeurIPS 2026OpenSearcher: Democratizing Deep Search through a Fully Offline Pipeline with Programmatic Verification
- NeurIPS 2026Provably Safe, Yet Performant Reinforcement Learning
- NeurIPS 2026Runtime Verification of Multiple Natural Language Criteria for Agent Governance
- NeurIPS 2026Self-Trained Verification for Training- and Test-Time Self-Improvement
- NeurIPS 2026Verification-Aware Training for Speculative Decoding
- NeurIPS 2026Verification-Guided Abstraction Generation with Large Language Models for Generalized Planning
- NeurIPS 2026VeriScope: Measuring Verification-Ready Verilog Artifacts
- NeurIPS 2026VeriVul: A Verification-Guided Framework for Generating Realistic Vulnerability Benchmarks
- NeurIPS 2026VeruSAGE-Bench: A Benchmark Suite for Rust System Verification
- NeurIPS 2026VEX-Bench: Benchmarking Verification Complexity of LLM-Generated Misinformation
在 Claude、Cursor 里直接问这个趋势
接上 Paperlist MCP 后，写综述、挑方向或准备投稿时，不用离开对话框就能拿到这页的数字：每年各会议的论文数、增长倍数、涨得最快的子方向和代表论文，AI 会按你的问题整理。
可以直接复制这句话问 AI
用 paperlist 查验证在 NeurIPS 2023–2026 的论文趋势，哪一年涨得最快？
AI 会调用的工具：get_topic_stats {"topic": "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 篇。