Faster Verified Explanations for Neural Networks

FaVeX introduces a hybrid framework that leverages prior query states to eliminate redundant computation, achieving a 40% reduction in query overhead for ver...

Level: advanced

By Alessandro De Palma, Greta Dolcetti, Caterina Urban

Category: research