会员服务
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
Arxiv
0+阅读 · 2025年12月31日
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Arxiv
0+阅读 · 2025年12月30日
VeriFlow: Modeling Distributions for Neural Network Verification
Arxiv
0+阅读 · 2025年11月19日
Cost-Driven Synthesis of Sound Abstract Interpreters
Arxiv
0+阅读 · 2025年11月17日
Proof Minimization in Neural Network Verification
Arxiv
0+阅读 · 2025年11月11日
Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
Arxiv
0+阅读 · 2025年12月11日
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Arxiv
0+阅读 · 2023年4月18日
Efficient Symbolic Reasoning for Neural-Network Verification
Arxiv
0+阅读 · 2023年3月23日
参考链接
微信扫码咨询专知VIP会员
Top