Issues

• Fix Verisig unsoundness with tanh

  bug 🐛
  JuliaReach/NeuralNetworkReachability.jl#8 · Filter by author schillic opened on Dec 25, 2023

• Support BoxForward with unbounded sets

  extension ⬆️
  JuliaReach/NeuralNetworkReachability.jl#7 · Filter by author schillic opened on Dec 25, 2023

• Support Verisig with multiple hidden layers

  extension ⬆️
  JuliaReach/NeuralNetworkReachability.jl#6 · Filter by author schillic opened on Dec 25, 2023

• Algorithms for LeakyReLU

  feature ➕
  JuliaReach/NeuralNetworkReachability.jl#5 · Filter by author schillic opened on Dec 25, 2023

• Documentation

  documentation 📖
  JuliaReach/NeuralNetworkReachability.jl#4 · Filter by author schillic opened on Dec 25, 2023