arXiv · Software Engineering· Hai Duong, Thanh Le, ThanhVu Nguyen·· 3 小时前AI 评分27
CLAD：用于神经网络验证的约束抽象域
CLAD: Constrained Abstract Domain for Neural Network Verification
AI 导读
研究者提出 Constrained Lagrangian Abstract Domain（CLAD），一种新的神经网络验证抽象域，可对由凸约束组合定义的输入区域计算可靠的上近似。
来源：arXiv · Software Engineering · arxiv.org