Imagen de Portada

Out of the Shadows: Exploring a Latent Space for Neural Network Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Koller, Lukas, Ladner, Tobias, Althoff, Matthias
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Set-Based Training for Neural Network Verification
por: Koller, Lukas, et al.
Publicado: (2024)

Fully Automatic Neural Network Reduction for Formal Verification
por: Ladner, Tobias, et al.
Publicado: (2023)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
por: Wendl, Manuel, et al.
Publicado: (2024)

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
por: Ladner, Tobias, et al.
Publicado: (2024)

Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode
por: Gassert, Philipp, et al.
Publicado: (2024)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
por: Kranzlmüller, Miriam, et al.
Publicado: (2026)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
por: Abu-Haeyeh, Yasmine, et al.
Publicado: (2026)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
por: Kaulen, Konstantin, et al.
Publicado: (2025)

Provably Explaining Neural Additive Models
por: Bassan, Shahaf, et al.
Publicado: (2026)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
por: Bassan, Shahaf, et al.
Publicado: (2025)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
por: Krasowski, Hanna, et al.
Publicado: (2024)

Verification of Unknown Dynamical Systems via Autoencoder Latent Space
por: Reed, Robert, et al.
Publicado: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
por: Boetius, David, et al.
Publicado: (2024)

BSAT: B-Spline Adaptive Tokenizer for Long-Term Time Series Forecasting
por: Reinwardt, Maximilian, et al.
Publicado: (2026)

Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
por: Külz, Jonathan, et al.
Publicado: (2023)

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
por: Ladner, Tobias, et al.
Publicado: (2026)

SWAT-NN: Simultaneous Weights and Architecture Training for Neural Networks in a Latent Space
por: Huang, Zitong, et al.
Publicado: (2025)

Towards Explaining Deep Neural Network Compression Through a Probabilistic Latent Space
por: Mozafari-Nia, Mahsa, et al.
Publicado: (2024)

Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment?
por: Markgraf, Hannah, et al.
Publicado: (2025)

Exploring Representation-Aligned Latent Space for Better Generation
por: Xu, Wanghan, et al.
Publicado: (2025)

Navigating the Latent Space Dynamics of Neural Models
por: Fumero, Marco, et al.
Publicado: (2025)

Latent Space Representations of Neural Algorithmic Reasoners
por: Mirjanić, Vladimir V., et al.
Publicado: (2023)

Latent Space Energy-based Neural ODEs
por: Cheng, Sheng, et al.
Publicado: (2024)

Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
por: Stolz, Roland, et al.
Publicado: (2025)

CommonPower: A Framework for Safe Data-Driven Smart Grid Control
por: Eichelbeck, Michael, et al.
Publicado: (2024)

Closed-Form Interpretation of Neural Network Latent Spaces with Symbolic Gradients
por: Wetzel, Sebastian J., et al.
Publicado: (2024)

Unlocking Out-of-Distribution Generalization in Transformers via Recursive Latent Space Reasoning
por: Altabaa, Awni, et al.
Publicado: (2025)

Backdoor Channels Hidden in Latent Space: Cryptographic Undetectability in Modern Neural Networks
por: Eggen, Marte, et al.
Publicado: (2026)

Bias in the Shadows: Explore Shortcuts in Encrypted Network Traffic Classification
por: Wang, Chuyi, et al.
Publicado: (2026)

Contingency-constrained economic dispatch with safe reinforcement learning
por: Eichelbeck, Michael, et al.
Publicado: (2022)

Neural Network Verification with PyRAT
por: Lemesle, Augustin, et al.
Publicado: (2024)

Robustness Verification of Polynomial Neural Networks
por: Alexandr, Yulia, et al.
Publicado: (2026)

Topology of Out-of-Distribution Examples in Deep Neural Networks
por: Datta, Esha, et al.
Publicado: (2025)

Latent Shadows: The Gaussian-Discrete Duality in Masked Diffusion
por: Chen, Guinan, et al.
Publicado: (2026)

Forward-Forward Learning achieves Highly Selective Latent Representations for Out-of-Distribution Detection in Fully Spiking Neural Networks
por: Terres-Escudero, Erik B., et al.
Publicado: (2024)

Reduced Order Modeling of Energetic Materials Using Physics-Aware Recurrent Convolutional Neural Networks in a Latent Space (LatentPARC)
por: Gray, Zoë J., et al.
Publicado: (2025)

Latent Space Inference via Paired Autoencoders
por: Hart, Emma, et al.
Publicado: (2026)

Exploring Token-Space Manipulation in Latent Audio Tokenizers
por: Paissan, Francesco, et al.
Publicado: (2026)

Exploring Molecule Generation Using Latent Space Graph Diffusion
por: Pombala, Prashanth, et al.
Publicado: (2025)

Proof Minimization in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)