Probabilistic Lipschitz Analysis of Neural Networks
No abstract available.
Related papers
- Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates CAV 2025
- A dual number abstraction for static analysis of Clarke Jacobians POPL 2022
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI CAV 2020
- Feature-Guided Black-Box Safety Testing of Deep Neural Networks TACAS 2018
- A general construction for abstract interpretation of higher-order automatic differentiation OOPSLA 2022
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025