4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Hai Duong, Thanh Le, ThanhVu Nguyen
Neural network verification (NNV) formally verifies that a network satisfies a specified property for all inputs within a defined region. Modern NNV tools employ abstract domains t…