验证论文趋势 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
全部验证论文
共 28 篇，第 1 / 1 页
- ICML 20263D Scene Assertion Verification
- ICML 2026AnalogVerifier: A Neuro-Symbolic Framework for Analog Circuit Verification
- ICML 2026Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
- ICML 2026Delegation and Verification under AI
- ICML 2026Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
- ICML 2026Formally Exploring Visual Anomaly Detection Evaluation Metrics
- ICML 2026Probabilistic Robustness Certificates against Adversarial Attacks
- ICML 2026Stop the Flip-Flop: Context-Preserving Verification for Fast Revocable Diffusion Decoding
- ICML 2026The Latent Guardian: Defending Collaborative Perception via Feature-Level Consistency Verification
- ICML 2026Vegas: Self-Speculative Decoding with Verification-Guided Sparse Attention
- ICML 2026VIA-SD: Verification via Intra-Model Routing for Speculative Decoding
- ICML 2026When to Trust the Cheap Check: Weak and Strong Verification for Reasoning
- ICML 2025AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
- ICML 2025DEFAME: Dynamic Evidence-based FAct-checking with Multimodal Experts
- ICML 2025No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks
- ICML 2025PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
- ICML 2025Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
- ICML 2025SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
- ICML 2025Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
- ICML 2025Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
- ICML 2024Compact Optimality Verification for Optimization Proxies
- ICML 2024Copula-Nested Spectral Kernel Network
- ICML 2024Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
- ICML 2024Relational DNN Verification With Cross Executional Bound Refinement
- ICML 2024SLEB: Streamlining LLMs through Redundancy Verification and Elimination of Transformer Blocks
- ICML 2024Verification of Machine Unlearning is Fragile
- ICML 2024VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
- ICML 2023Trapdoor Normalization with Irreversible Ownership Verification
在 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 篇。