热点
"鲁棒性验证" 相关文章
A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
cs.AI updates on arXiv.org 2025-07-30T04:12:16.000000Z
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
cs.AI updates on arXiv.org 2025-07-09T04:01:40.000000Z