1 citations · 1 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022
On Optimizing Back-Substitution Methods for Neural Network Verification
Tom Zelazny, Haoze Wu, Clark Barrett +1
With the increasing application of deep learning in mission-critical systems, there is a growing need to obtain formal guarantees about the behaviors of neural networks. Indeed, ma…
cs.LG2022★ 1 cited
Verification-Aided Deep Ensemble Selection
Guy Amir, Tom Zelazny, Guy Katz +1
Deep neural networks (DNNs) have become the technology of choice for realizing a variety of complex tasks. However, as highlighted by many recent studies, even an imperceptible per…