Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang 0001. Sora: Scalable Black-Box Reachability Analyser on Neural Networks. In IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023. pages 1-5, IEEE, 2023. [doi]
Abstract is missing.