Self-correcting Neural Networks for Safe Classification.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Browse the full CAV paper archive.