32 citations · 162 across the 26 of their papers we have counts for
30 papers
A Deep Learning Perspective on Network Routing
Yarin Perry, Felipe Vieira Frujeri, Chaim Hoch +4
Routing is, arguably, the most fundamental task in computer networking, and the most extensively studied one. A key challenge for routing in real-world environments is the need to…
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…
Pied Piper: Rethinking Internet Data Delivery
Aran Bergman, Israel Cidon, Isaac Keslassy +4
We contend that, analogously to the transition from resource-limited on-prem computing to resource-abundant cloud computing, Internet data delivery should also be adapted to a real…