 Deep Spectral Clustering using Dual Autoencoder NetworkComputer Vision and Pattern Recognition (CVPR), 2019 |
 Reluplex: An Efficient SMT Solver for Verifying Deep Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2017 |
 Auto-Encoding Variational BayesInternational Conference on Learning Representations (ICLR), 2013 |
