Documents publiés en "2020"

Département de génie informatique et génie logiciel

Tjandraatmadja, C., Anderson, R., Huchette, J., Ma, W., Patel, K., & Vielma, J. P. (décembre 2020). The convex relaxation barrier, revisited: Tightened single-neuron relaxations for neural network verification [Communication écrite]. 34th Conference on Neural Information Processing Systems (NeurIPS 2020). Non disponible