Liu Z, Zhao Z, Song F, Sun J, Yang P, Huang X, et al. Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 28];39(6):5757-65. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/32614