HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Edoardo Manino

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
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista Pereira Matos Júnior, Iury Bessa, Edoardo Manino, Xidan Song and Lucas C. Cordeiro
EasyChair Preprint 8617

Keyphrases

abstract interpretation, Deep Neural Networks, Equivalence Verification, homomorphic encryption, Lipschitz constant, Neural Network Compression, Neural Network Equivalence, polynomial approximation, privacy-preserving machine learning, Robust Compression.

Copyright © 2012-2025 easychair.org. All rights reserved.