Towards Efficient Verification of Quantized Neural Networks

Published in AAAI Conference on Artificial Intelligence (AAAI'24), 2024