LAUSR

Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation

Sign Up to like & get
recommendations!
2 Published in 2023 at "IEEE Access"

DOI: 10.1109/access.2023.3263145

Abstract: Deep neural networks have been widely used in several complex tasks such as robotics, self-driving cars, medicine, etc. However, they have recently shown to be vulnerable in uncertain environments where inputs are noisy. As a… read more here.

Keywords: neural network; abstract interpretation; layer; abstract layer ... See more keywords