Keyword:Lipschitz constant

Publications
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement Edoardo Manino, Bernardo Magri, Mustafa Mustafa and Lucas Cordeiro In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems