Parallel Verification for delta-Equivalence of Neural Network Quantization

Published in International Symposium on AI Verification (SAIV'24), 2024