AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev

Browse the full SP paper archive.