3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Zhaodi Zhang, Yiting Wu, Si Liu +2
The robustness of deep neural networks is crucial to modern AI-enabled systems and should be formally verified. Sigmoid-like neural networks have been adopted in a wide range of ap…