no code implementations • 11 Feb 2023 • Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the state of the art in numerous application domains.
no code implementations • 16 Aug 2022 • Tom Zelazny, Haoze Wu, Clark Barrett, Guy Katz
A key component in many state-of-the-art verification schemes is computing lower and upper bounds on the values that neurons in the network can obtain for a specific input domain -- and the tighter these bounds, the more likely the verification is to succeed.
no code implementations • 8 Feb 2022 • Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
Deep neural networks (DNNs) have become the technology of choice for realizing a variety of complex tasks.