Login / Signup
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.
Zhaodi Zhang
Yiting Wu
Si Liu
Jing Liu
Min Zhang
Published in:
CoRR (2022)
Keyphrases
</>
linear approximation
neural network
activation function
basis functions
pattern recognition
back propagation
artificial neural networks
model checking
computer vision
policy iteration
markov decision processes
piece wise