Towards Efficient Verification of Quantized Neural Networks.

Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett

Published in: CoRR (2023)

Keyphrases

neural network
artificial neural networks
data sets
genetic algorithm
lightweight
artificial intelligence
e learning
computationally efficient
recurrent neural networks
formal methods
signature verification