![]() | Up a level |
Tjandraatmadja, C., Anderson, R., Huchette, J., Ma, W., Patel, K., & Vielma, J. P. (2020, December). The convex relaxation barrier, revisited: Tightened single-neuron relaxations for neural network verification [Paper]. 34th Conference on Neural Information Processing Systems (NeurIPS 2020). Unavailable