QAV-FT: Quadratic Approximation-Based Neural Network Verification via Fourier Series and Taylor Truncation.

Han Wang, Xuyang Ding, Ying Xie, Yakun Sheng

Browse the full CAV paper archive.