Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.

Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro

Browse the full CAV paper archive.