Liu, Z. (2025) “Training Verification-Friendly Neural Networks via Neuron Behavior Consistency”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(6), pp. 5757–5765. doi: 10.1609/aaai.v39i6.32614.