Efficient and Mathematically Robust Operations for Certified Neural Networks Inference

Open in new window