DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v36i6.20631,12510,ToHe,GoTube: Scalable statistical verification of continuous-depth models