Ishaan Goyal
@ishaangoyal05
Ishaan Goyal
The advantage of using an ID is that because it has no meaning to humans, it never needs to change: the ID can remain the same, even if the information it identifies changes. Anything that is meaningful to humans may need to change sometime in the future—and if that information is duplicated, all the redundant copies need to be updated. That incurs
... See morewhat is a residual block explain?
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 ... See more
Link
What does this even mean
The thing you are deeply yearning to create is told to you in all the subtle ways other people's artwork slightly misses the mark
he affine transformation x ` i = ∑ j a ` − 1 i,j · x ` − 1 j + b i adds the bounds ∑ j a ` − 1 i,j · x ` − 1 i + b i ≤ x ` i ≤ ∑ j a ` − 1 i,j · x ` − 1 i + b i . Thus DeepPoly handles affine layers ex-actly. • x ` i = ReLU ( x ` − 1 i ) adds the bounds α ` i · x ` − 1 i + β ` i ≤ x ` i ≤ γ ` i · x ` − 1 i + δ ` i where the constants α ` i , β ` i ... See more
Link
Gotta ask avaljot what this means