HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:polynomial approximation

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
Copyright © 2012-2025 easychair.org. All rights reserved.