Efficient Neural Network Verification with Exactness Characterization

Publication
Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019

Related