Efficient Machine Learning Certification