Cover Image

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Zongxin, Zhao, Zhe, Song, Fu, Sun, Jun, Yang, Pengfei, Huang, Xiaowei, Zhang, Lijun
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

Verification of Bit-Flip Attacks against Quantized Neural Networks
by: Zhang, Yedi, et al.
Published: (2025)

Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks
by: Song, Mooho, et al.
Published: (2025)

Advancing Direct Training for Spiking Neural Networks with Circulate-Firing Neurons and Learnable Gradients
by: Zhou, Feifan, et al.
Published: (2026)

Where Did It Go Wrong? Attributing Undesirable LLM Behaviors via Representation Gradient Tracing
by: Li, Zhe, et al.
Published: (2025)

Multi-Evidence based Fact Verification via A Confidential Graph Neural Network
by: Lan, Yuqing, et al.
Published: (2024)

Accelerating Training with Neuron Interaction and Nowcasting Networks
by: Knyazev, Boris, et al.
Published: (2024)

A&B BNN: Add&Bit-Operation-Only Hardware-Friendly Binary Neural Network
by: Ma, Ruichen, et al.
Published: (2024)

Attention Consistency Regularization for Interpretable Early-Exit Neural Networks
by: Zhao, Yanhua
Published: (2026)

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression
by: Li, Jingyang, et al.
Published: (2026)

Harnessing Neuron Stability to Improve DNN Verification
by: Duong, Hai, et al.
Published: (2024)

FLAIN: Mitigating Backdoor Attacks in Federated Learning via Flipping Weight Updates of Low-Activation Input Neurons
by: Ding, Binbin, et al.
Published: (2024)

Neural Network Verification with PyRAT
by: Lemesle, Augustin, et al.
Published: (2024)

Exploring Consistency in Graph Representations:from Graph Kernels to Graph Neural Networks
by: Liu, Xuyuan, et al.
Published: (2024)

Direct Training Needs Regularisation: Anytime Optimal Inference Spiking Neural Network
by: Wu, Dengyu, et al.
Published: (2024)

Reasoning on the Manifold: Bidirectional Consistency for Self-Verification in Diffusion Language Models
by: Ruan, Jiaoyang, et al.
Published: (2026)

GNNavigator: Towards Adaptive Training of Graph Neural Networks via Automatic Guideline Exploration
by: Qiao, Tong, et al.
Published: (2024)

COPYCOP: Ownership Verification for Graph Neural Networks
by: Nandakumar, Rahul, et al.
Published: (2026)

Multivector Neurons: Better and Faster O(n)-Equivariant Clifford Graph Neural Networks
by: Liu, Cong, et al.
Published: (2024)

LOGIN: A Large Language Model Consulted Graph Neural Network Training Framework
by: Qiao, Yiran, et al.
Published: (2024)

ConsistRM: Improving Generative Reward Models via Consistency-Aware Self-Training
by: Liang, Yu, et al.
Published: (2026)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
by: Mao, Yuhao, et al.
Published: (2024)

Generalizability of Memorization Neural Networks
by: Yu, Lijia, et al.
Published: (2024)

Predicting Effects, Missing Distributions: Evaluating LLMs as Human Behavior Simulators in Operations Management
by: Zhang, Runze, et al.
Published: (2025)

Training data membership inference via Gaussian process meta-modeling: a post-hoc analysis approach
by: Huang, Yongchao, et al.
Published: (2025)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Invariant Correlation of Representation with Label: Enhancing Domain Generalization in Noisy Environments
by: Jin, Gaojie, et al.
Published: (2024)

SURGE: Surrogate Gradient Adaptation in Binary Neural Networks
by: Huang, Haoyu, et al.
Published: (2026)

Understanding Artificial Neural Network's Behavior from Neuron Activation Perspective
by: Zhang, Yizhou, et al.
Published: (2024)

Lie Neurons: Adjoint-Equivariant Neural Networks for Semisimple Lie Algebras
by: Lin, Tzu-Yuan, et al.
Published: (2023)

Behavior Backdoor for Deep Learning Models
by: Wang, Jiakai, et al.
Published: (2024)

Distribution Consistency based Self-Training for Graph Neural Networks with Sparse Labels
by: Wang, Fali, et al.
Published: (2024)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
by: Papamichail, Merkouris, et al.
Published: (2026)

Wormhole Dynamics in Deep Neural Networks
by: Lai, Yen-Lung, et al.
Published: (2025)

Exact and Asymptotically Complete Robust Verifications of Neural Networks via Quantum Optimization
by: Li, Wenxin, et al.
Published: (2026)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

Enhancing Deep Learning with Optimized Gradient Descent: Bridging Numerical Methods and Neural Network Training
by: Ma, Yuhan, et al.
Published: (2024)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)

Backward-Friendly Optimization: Training Large Language Models with Approximate Gradients under Memory Constraints
by: Yang, Jing, et al.
Published: (2025)

Make Graph Neural Networks Great Again: A Generic Integration Paradigm of Topology-Free Patterns for Traffic Speed Prediction
by: Zhou, Yicheng, et al.
Published: (2024)