Efficient Certified Reasoning for Binarized Neural Networks

Open in new window