TY  - RPRT
TI  - Out of the Shadows: Exploring a Latent Space for Neural Network Verification
AU  - Lukas Koller
AU  - Tobias Ladner
AU  - Matthias Althoff
PY  - 2026
UR  - https://arxiv.org/abs/2505.17854
ID  - 2505.17854
ER  -