@misc{indiciae639ce38b0106,
  title = {Out of the Shadows: Exploring a Latent Space for Neural Network Verification},
  author = {Lukas Koller and Tobias Ladner and Matthias Althoff},
  year = {2026},
  url = {https://arxiv.org/abs/2505.17854},
  note = {Source identifier: 2505.17854}
}