Proof Transfer for Fast Certification of Multiple Approximate Neural Networks
Published in OOPSLA, 2022
Recommended citation: Shubham Ugare, Gagandeep Singh, Sasa Misailovic, OOPSLA 2022. /files/FANC.pdf
Published in OOPSLA, 2022
Recommended citation: Shubham Ugare, Gagandeep Singh, Sasa Misailovic, OOPSLA 2022. /files/FANC.pdf