1.
Overview
2.
Preprocessing
3.
Verification Methods
3.1.
Bound Propagation
3.2.
Linearization of Basics Operators
3.2.1.
ReLU(x)
3.2.2.
Heaviside(x)
3.2.3.
Exp(x)
3.2.4.
x^2
3.2.5.
1/x
3.2.6.
Sigmoid(x)
3.2.7.
Tanh(x)
3.3.
Linearization of Complex Operators
3.3.1.
Softmax
3.3.2.
LayerNorm
4.
Token Pruning
4.1.
Top-K
4.2.
EViT
4.3.
POMT
4.4.
ToMe
5.
About Zonotope
Light
Rust
Coal
Navy
Ayu
HexagonDiff Wiki
LayerNorm
Temperately ignored due to
Shi et. al.
.