Proven: Verifying robustness of neural networks with a probabilistic approach
- Tsui Wei Weng
- Pin-Yu Chen
- et al.
- 2019
- ICML 2019
Publications
Variational Russian roulette for deep Bayesian nonparametrics
- Kai Xu
- Akash Srivastava
- et al.
- 2019
- ICML 2019
Estimating information flow in deep neural networks
- Ziv Goldfeld
- Ewout van den Berg
- et al.
- 2019
- ICML 2019
Generalized linear rule models
- Dennis Wei
- Sanjeeb Dash
- et al.
- 2019
- ICML 2019
DAG-GNN: DAG structure learning with graph neural networks
- Yue Yu
- Jie Chen
- et al.
- 2019
- ICML 2019
Kernel-based reinforcement learning in Robust Markov decision processes
- Shiau Hong Lim
- Arnaud Autef
- 2019
- ICML 2019
Collective model fusion for multiple black-box experts
- Quang Minh Hoang
- Trong Nghia Hoang
- et al.
- 2019
- ICML 2019
Dynamic learning with frequent new product launches: A sequential multinomial logit bandit problem
- Junyu Cao
- Wei Sun
- 2019
- ICML 2019
Efficient circuits for quantum search over 2D square lattice architecture
- Shaohan Hu
- Dmitri Maslov
- et al.
- 2019
- DAC 2019
Comprehensive search for ECO rectification using symbolic sampling
- Victor N. Kravets
- Nian Ze Lee
- et al.
- 2019
- DAC 2019