Paper at ICML
Paper on "Verification-Friendly Deep Neural Networks" accepted for publication at the Forty-first International Conference on Machine Learning.
Paper on "Verification-Friendly Deep Neural Networks" accepted for publication at the Forty-first International Conference on Machine Learning.