Liu, Zongxin, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, and Lijun Zhang. “Training Verification-Friendly Neural Networks via Neuron Behavior Consistency”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 6 (April 11, 2025): 5757–5765. Accessed May 28, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/32614.