BackwardAlgorithms
This section of the manual describes the module for backward algorithms.
NeuralNetworkReachability.BackwardAlgorithms.BackwardAlgorithm — TypeBackwardAlgorithm
Abstract supertype of backward algorithms.
NeuralNetworkReachability.BackwardAlgorithms.PolyhedraBackward — TypePolyhedraBackward <: BackwardAlgorithmBackward algorithm for piecewise-affine activations; uses a union of polyhedra.
NeuralNetworkReachability.BackwardAlgorithms.BoxBackward — TypeBoxBackward <: BackwardAlgorithmBackward algorithm that uses a polyhedral approximation with axis-aligned linear constraints.
NeuralNetworkReachability.BackwardAlgorithms.PartitioningLeakyReLU — TypePartitioningLeakyReLU{N<:Real}Iterator over the partitions of a leaky ReLU activation.
Fields
n– dimensionslope– slope of the leaky ReLU activation