Liu, Z.; Zhao, Z.; Song, F.; Sun, J.; Yang, P.; Huang, X.; Zhang, L. Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. AAAI 2025, 39, 5757-5765.