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