Max pooling #115

ducoffeM · 2023-08-16T08:25:59Z

decompose maxpooling in to two sequential operators: a convolution followed by a max
this trick allows to use previous operators

…rator (ongoing)

…ed routines between multiple layers

…r convolution is computed

…e worst positive errors on the corners. It ensures soundness

…mples

…trix outside the call function

ducoffeM added 16 commits August 7, 2023 15:12

utils_pooling will contain the convolutional part of a maxpooling ope…

3b3251d

…rator (ongoing)

split maxpooling into a linear function and a maximum operation

85162f6

move get_affine_components outside BackwardConv2D to use it as a shar…

ad1c3b3

…ed routines between multiple layers

linear hull of maxpooling, assuming the linear relaxation of the inne…

200b852

…r convolution is computed

linear hull of maxpooling

0fa18c4

linear hull for maxpooling in backward_layers/utils_pooling

05ea5cb

debug extension from single channel to multi channel in maxpooling

45dcee5

tf.linalg.solve suffer from numerical error, we compensate it with th…

b84e9cd

…e worst positive errors on the corners. It ensures soundness

remove share pooling routines from layers and backward_layer

98ba328

forward maxpooling optimized

af5c69f

minor corrections in axis dimension and runtime error

6c42f93

testing backward pooling(

82a32a2

add maxpooling_opt file

a8309a4

check that backward bounds of conv and pool are sound on the test exa…

92b4be7

…mples

improve runtime efficiency of backward conv by initing the toepliz ma…

676b49d

…trix outside the call function

update the shape of crown bounds for 3d tensors

06882c2

Provide feedback