TY - RPRT TI - Training Verification-Friendly Neural Networks via Neuron Behavior Consistency AU - Zongxin Liu AU - Zhe Zhao AU - Fu Song AU - Jun Sun AU - Pengfei Yang AU - Xiaowei Huang AU - Lijun Zhang PY - 2024 UR - https://arxiv.org/abs/2412.13229 ID - 2412.13229 ER -