Z. Liu, “Training Verification-Friendly Neural Networks via Neuron Behavior Consistency”, AAAI, vol. 39, no. 6, pp. 5757–5765, Apr. 2025.