DOI,IST REx ID,Research Group,Title of publication
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks