形式验证 ML论文趋势 2023–2026
验证辅助
统计范围：NeurIPS、ICLR、ICML、CVPR 四个会议，2023–2026 年，共 84 篇被归入该主题的论文。
主要结论
- 形式验证 ML论文从 2023 年的 10 篇增长到 2026 年的 37 篇，三年间扩大到约 3.7 倍。
- NeurIPS 是发形式验证 ML论文最多的会议，2023–2026 年共 32 篇，占四个会议总量的 38%。
- 交叉方向里涨得最快的是推理模型：同时属于两个主题的论文从 2023 年的 0 篇增至 2026 年的 6 篇。
- 在「程序综合」的 5 个主题里，它的 2026 年论文数排第 4；同组增长最快的定理证明是 13 倍，形式验证 ML是 3.7 倍。
各会议论文数
按年份和会议统计
| 年份 | NeurIPS | ICLR | ICML | CVPR | 合计 |
|---|---|---|---|---|---|
| 2023 | 2 | 5 | 2 | 1 | 10 |
| 2024 | 8 | 5 | 4 | 1 | 18 |
| 2025 | 10 | 5 | 3 | 1 | 19 |
| 2026 | 12 | 11 | 12 | 2 | 37 |
代表论文
按年份和会议均匀挑选，方便快速看到每一届的样貌
- NeurIPS 2026Certified but Private: Scalable Zero-Knowledge Proofs for the Formal Verification of Neural Networks
- ICML 2026Propose, Solve, Verify: Self-Play Through Formal Verification
- ICLR 2026Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
- CVPR 2026Lipschitz Optimization for Formal Verification of Homographies
- NeurIPS 2025Formal Models of Active Learning from Contrastive Examples
- ICML 2025Position: Formal Mathematical Reasoning—A New Frontier in AI
- ICLR 2025Sensitivity Verification for Additive Decision Tree Ensembles
- CVPR 2025Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
- NeurIPS 2024Critically Assessing the State of the Art in Neural Network Verification
- ICML 2024Relational DNN Verification With Cross Executional Bound Refinement
- 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 2023Provably Bounding Neural Network Preimages
- 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 2026Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
- ICLR 2026Out of the Shadows: Exploring a Latent Space for Neural Network Verification
- CVPR 2026Goldilocks Test Sets for Face Verification
全部形式验证 ML论文
共 26 篇，第 1 / 1 页
- ICLR 2026Certifying the Full YOLO Pipeline: A Probabilistic Verification Approach
- ICLR 2026Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
- ICLR 2026Out of the Shadows: Exploring a Latent Space for Neural Network Verification
- ICLR 2026Overcoming Joint Intractability with Lossless Hierarchical Speculative Decoding
- ICLR 2026Provably Explaining Neural Additive Models
- ICLR 2026Softmax Transformers are Turing-Complete
- ICLR 2026SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
- ICLR 2026The Counting Power of Transformers
- ICLR 2026VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
- ICLR 2026VERIFY: A Novel Multi-Domain Dataset Grounding LTL in Contextual Natural Language via Provable Intermediate Logic
- ICLR 2026VoG: Enhancing LLM Reasoning through Stepwise Verification on Knowledge Graphs
- ICLR 2025A Percolation Model of Emergence: Analyzing Transformers Trained on a Formal Language
- ICLR 2025Block Verification Accelerates Speculative Decoding
- ICLR 2025Sensitivity Verification for Additive Decision Tree Ensembles
- ICLR 2025Training Neural Networks as Recognizers of Formal Languages
- ICLR 2025Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues
- ICLR 2024CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing
- ICLR 2024Incremental Randomized Smoothing Certification
- ICLR 2024Interpreting Robustness Proofs of Deep Neural Networks
- ICLR 2024Lemur: Integrating Large Language Models in Automated Program Verification
- ICLR 2024Prediction without Preclusion: Recourse Verification with Reachable Sets
- ICLR 2023Formal Mathematics Statement Curriculum Learning
- ICLR 2023Fundamental Limits in Formal Verification of Message-Passing Neural Networks
- ICLR 2023Iterative Circuit Repair Against Formal Specifications
- ICLR 2023Sound Randomized Smoothing in Floating-Point Arithmetic
- ICLR 2023Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
在 Claude、Cursor 里直接问这个趋势
接上 Paperlist MCP 后，写综述、挑方向或准备投稿时，不用离开对话框就能拿到这页的数字：每年各会议的论文数、增长倍数、涨得最快的子方向和代表论文，AI 会按你的问题整理。
可以直接复制这句话问 AI
用 paperlist 查形式验证 ML在 NeurIPS 2023–2026 的论文趋势，哪一年涨得最快？
AI 会调用的工具：get_topic_stats {"topic": "formal-verification-ml"}
常见问题
- 2023–2026 年四大会议一共有多少篇形式验证 ML论文？
- 共 84 篇，按年份分别是 2023 年 10 篇、2024 年 18 篇、2025 年 19 篇、2026 年 37 篇。
- NeurIPS 2026 有多少篇形式验证 ML论文？
- NeurIPS 2026 有 12 篇形式验证 ML论文，上一届是 10 篇。
- ICLR 2026 有多少篇形式验证 ML论文？
- ICLR 2026 有 11 篇形式验证 ML论文，上一届是 5 篇。
- ICML 2026 有多少篇形式验证 ML论文？
- ICML 2026 有 12 篇形式验证 ML论文，上一届是 3 篇。
- CVPR 2026 有多少篇形式验证 ML论文？
- CVPR 2026 有 2 篇形式验证 ML论文，上一届是 1 篇。
- 哪个会议的形式验证 ML论文最多？
- NeurIPS，2023–2026 年共 32 篇。