187 citations
- Carnegie Mellon UniversityUS2 papers
- Microsoft (United States)US2 papers
- Baidu (China)CN1 paper
- Bar-Ilan UniversityIL1 paper
- Ben-Gurion University of the NegevIL1 paper
- Concern Worldwide UKGB1 paper
- Concern Worldwide USUS1 paper
- Cornell UniversityUS1 paper
- ETH ZurichCH1 paper
- FORTH Institute of Computer ScienceGR1 paper
- Georgia Institute of TechnologyUS1 paper
- Hewlett Packard Enterprise (United States)US1 paper
4 papers · 1 filter
Scaling Polyhedral Neural Network Verification on GPUs
Christoph Müller, François Serre, Gagandeep Singh +2
Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical d…
Constant-Time Snapshots with Applications to Concurrent Data Structures
Yuanhao Wei, Naama Ben-David, Guy E. Blelloch +3
We present an approach for efficiently taking snapshots of the state of a collection of CAS objects. Taking a snapshot allows later operations to read the value that each CAS objec…
Hermes Attack: Steal DNN Models with Lossless Inference Accuracy
Yuankun Zhu, Yueqiang Cheng, Husheng Zhou +1
Deep Neural Networks (DNNs) models become one of the most valuable enterprise assets due to their critical roles in all aspects of applications. With the trend of privatization dep…
Resource Management in Wireless Networks via Multi-Agent Deep Reinforcement Learning
Navid Naderializadeh, Jaroslaw Sydir, Meryem Simsek +1
We propose a mechanism for distributed resource management and interference mitigation in wireless networks using multi-agent deep reinforcement learning (RL). We equip each transm…