Layers

Simple Layers

NeuralVerifier.Encoding.denseFunction
dense(x, W, b)

Fully-connected or dense layer that given a weight vector or matrix W, and a bias b, compute the linear function y = Wx + b

source

Convolutional Layers

NeuralVerifier.Encoding.conv2DFunction
conv2D(x::Array{PyObject,2}, filter, stride_size = (2,2))

Apply a 2D Convolutional operation to a 2D matrix x, using the filter matrix as the weight matrices.

source

Pooling Layers