Fully Automatic Neural Network Reduction for Formal Verification

Documenti analoghi

• Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
  di: Ladner, Tobias, et al.
  Pubblicazione: (2024)
• Out of the Shadows: Exploring a Latent Space for Neural Network Verification
  di: Koller, Lukas, et al.
  Pubblicazione: (2025)
• Set-Based Training for Neural Network Verification
  di: Koller, Lukas, et al.
  Pubblicazione: (2024)
• Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
  di: Abu-Haeyeh, Yasmine, et al.
  Pubblicazione: (2026)
• Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
  di: Wendl, Manuel, et al.
  Pubblicazione: (2024)