会员服务
Stress-Testing Neural Network Verifiers with Provably Robust Instances
Arxiv
0+阅读 · 5月16日
The Luna Bound Propagator for Formal Analysis of Neural Networks
Arxiv
0+阅读 · 5月11日
Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
Arxiv
0+阅读 · 5月22日
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
Arxiv
0+阅读 · 6月2日
Neural Network Verification using Partial Multi-Neuron Relaxation
Arxiv
0+阅读 · 5月28日
Neural Network Verification using Partial Multi-Neuron Relaxation
Arxiv
0+阅读 · 6月2日
Parameterized Hardness of Zonotope Containment and Neural Network Verification
Arxiv
0+阅读 · 5月18日
Verification of Neural Networks (Lecture Notes)
Arxiv
0+阅读 · 4月28日
Incremental Neural Network Verification via Learned Conflicts
Incremental Neural Network Verification via Learned Conflicts
Arxiv
0+阅读 · 3月12日
Compiling High-Level Neural Network Specifications into VNN-LIB Queries
Arxiv
0+阅读 · 2月12日
PICID: Proof-Driven Clause Learning in Neural Network Verification
Arxiv
0+阅读 · 2月3日
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日
参考链接
微信扫码咨询专知VIP会员
Top