Sublime
An inspiration engine for ideas
Backsubstitution as matrix multiplication. The left ma-trix M k in Fig. 2 encodes bounds for ` -th layer neurons with polyhedral expressions defined over the neurons in layer 1 ≤ k < ` . The center matrix F k encodes con-straints for k -th layer neurons defined over the neurons in layer k − 1 . We focus on the computation of the entry ( h 2 , j... See more
Link

In mathematics, everything is obvious if you look at it the right way https://t.co/fIyVS2KZnU



