Faster Verified Explanations for Neural Networks.

Alessandro De Palma, Greta Dolcetti, Caterina Urban

Browse the full ECOOP paper archive.