A dual approach to scalable verification of deep networks

Publication
Proceedings of the Thirty-Fourth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-18)
Date
Links