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
Showing 2020 · cs.LGShow all
2 papers · 2 filters
cs.LG2020★ 15 cited
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…
cs.LG2020★ 187 cited
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…