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