6 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Xuan Xie, Kristian Kersting, Daniel Neider
Formal verification has emerged as a powerful approach to ensure the safety and reliability of deep neural networks. However, current verification tools are limited to only a handf…