Proof Transfer for Fast Certification of Multiple Approximate Neural Networks

Published in OOPSLA, 2022

Recommended citation: Shubham Ugare, Gagandeep Singh, Sasa Misailovic, OOPSLA 2022. https://dl.acm.org/doi/10.1145/3527319