Liu, Z., Zhao, Z., Song, F., Sun, J., Yang, P., Huang, X., & Zhang, L. (2025). Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. Proceedings of the AAAI Conference on Artificial Intelligence, 39(6), 5757–5765. https://doi.org/10.1609/aaai.v39i6.32614