1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LG2021
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…
cs.HC2021
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment
Guy Amir, Ayala Prusak, Tal Reiss +2
Using multiple monitors is commonly thought to improve productivity, but this is hard to check experimentally. We use a survey, taken by 101 practitioners of which 80% have coded p…
cs.LG2020★ 1 cited
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir, Haoze Wu, Clark Barrett +1
Deep learning has emerged as an effective approach for creating modern software systems, with neural networks often surpassing hand-crafted systems. Unfortunately, neural networks…