Cheng Tan, Yibo Zhu, Chuanxiong Guo. Building verified neural networks with specifications for systems. In Haryadi S. Gunawi, Xiaosong Ma, editors, APSys '21: 12th ACM SIGOPS Asia-Pacific Workshop on Systems, Hong Kong, China, August 24-25, 2021. pages 42-47, ACM, 2021. [doi]
Abstract is missing.