DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v35i5.16496,10665,"GradSch,ToHe",Scalable verification of quantized neural networks