Lukas Koller, Tobias Ladner, Benedikt Kellner, Matthias Althoff. CORA: Verifying Neural Networks in a Shared Latent Space (Competition Contribution). In Guy Avni, Christian Schilling 0001, editors, AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings. Volume 16831 of Lecture Notes in Computer Science, pages 373-379, Springer, 2026. [doi]
Abstract is missing.