Efficient and Mathematically Robust Operations for Certified Neural Networks Inference

Re-assign community