Yakun Sheng
Yakun Sheng
Affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China
Pages in this Program
QAV-FT: Quadratic Approximation-based Neural Network Verification via Fourier Series and Taylor Truncation
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑