3:05:55 [Tutorials @ ICFP'23] Vehicle - A Specification Language for Neural Network Properties ACM SIGPLAN
