2508.15454 2025-09-19 cs.LG cs.LO cs.PL Mini-Batch Robustness Verification of Deep Neural Networks Saar Tzour-Shaday, Dana Drachsler-Cohen 机构 * Technion(技术学院) 纠错 Comments 30 pages, 12 figures, conference OOPSLA 2025 详情 DOI 10.1145/3763150 展开后加载摘要… URL PDF HTML 收藏 复制 复制简介 复制详情 生成图片 生成简图 生成详图