2026
Out of the Shadows: Exploring a Latent Space for Neural Network Verification
ICLR 2026poster
Neural networks are ubiquitous. However, they are often sensitive to small input changes. Hence, to prevent unexpected behavior in safety-critical applications, their formal verification -- a notoriously hard problem -- is necessary. Many state-of-the-art verification algorithms use reachability ana…