Zihao Mo

17 papers A* 1C 4Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
EqBaB: Efficient equivalence verification for compressed DNNs with bound propagation.
Neurocomputing
Zihao Mo, Weiming Xiang
2025 A* conf
PatchWiper: Leveraging Dynamic Patch-Wise Parameters for Real-World Visible Watermark Removal.
ACM Multimedia
Zihao Mo, Junye Chen, Chaowei Fang, Guanbin Li
2024 C conf
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
ACC
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 J jnl
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
CoRR
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 C conf
Approximate Bisimulation Relation Restoration for Neural Networks Based On Knowledge Distillation.
ICMLA
Jie Chen, Zihao Mo, Tao Wang, Weiming Xiang
2024 C conf
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
ACC
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
2024 J jnl
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
CoRR
Zihao Mo, Yejiang Yang, Shuaizheng Lu, Weiming Xiang
2024 — conf
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction.
ADHS
Yejiang Yang, Zihao Mo, Weiming Xiang
2024 C conf
Discrepancy-Based Knowledge Distillation for Image Classification Restoration.
ICMLA
Zihao Mo, Yejiang Yang, Weiming Xiang
2024 J jnl
Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems.
CoRR
Yejiang Yang, Zihao Mo, Weiming Xiang
2024 J jnl
Maximum output discrepancy computation for convolutional neural network compression.
Inf. Sci.
Zihao Mo, Weiming Xiang
2024 J jnl
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach.
CoRR
Tao Wang, Yapeng Li, Zihao Mo, Wesley Cooke, Weiming Xiang
2024 J jnl
Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach.
Int. J. Control
Tao Wang, Yapeng Li, Zihao Mo, Wesley Cooke, Weiming Xiang
2023 — conf
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
ICIT
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 J jnl
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
CoRR
Yejiang Yang, Zihao Mo, Weiming Xiang
2023 — conf
Guaranteed Quantization Error Computation for Neural Network Model Compression.
ICIT
Wesley Cooke, Zihao Mo, Weiming Xiang
2023 J jnl
Guaranteed Quantization Error Computation for Neural Network Model Compression.
CoRR
Wesley Cooke, Zihao Mo, Weiming Xiang