4 ms·Towards a Certified Proof Checker for Deep Neural Network Verification1 points by bluish29 3y ago