A Formally Verified Robustness Certifier for Neural Networks.

James Tobler, Hira Taqdees Syeda, Toby Murray

Browse the full CAV paper archive.