32 citations · 162 across the 26 of their papers we have counts for
4 papers · 1 filter
Verifying Generalization in Deep Learning
Guy Amir, Osher Maayan, Tom Zelazny +2
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the state of the art in numerous application domains. However, DNN-based decision rules are notor…
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…
Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir, Michael Schapira, Guy Katz
Deep neural networks (DNNs) have gained significant popularity in recent years, becoming the state of the art in a variety of domains. In particular, deep reinforcement learning (D…
Online Safety Assurance for Deep Reinforcement Learning
Noga H. Rotman, Michael Schapira, Aviv Tamar
Recently, deep learning has been successfully applied to a variety of networking problems. A fundamental challenge is that when the operational environment for a learning-augmented…