Liu, Zongxin, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, and Lijun Zhang. 2025. “Training Verification-Friendly Neural Networks via Neuron Behavior Consistency”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (6):5757-65. https://doi.org/10.1609/aaai.v39i6.32614.