Overcoming the convex barrier for simplex input
Recent progress in neural network verification has challenged the notion of a convex barrier, that is, an inherent weakness in the convex relaxation of the output of a neural network. Specifically, there now exists a tight relaxation for verifying the robustness of a neural network to `∞ input pertu...
| Glavni autori: | , , , |
|---|---|
| Format: | Conference item |
| Jezik: | English |
| Izdano: |
NeurIPS Proceedings
2021
|