1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Chuqin Geng, Zhaoyue Wang, Haolin Ye +1
Formal verification is only as good as the specification of a system, which is also true for neural network verification. Existing specifications follow the paradigm of data as spe…