Picture for Zihao Mo

Zihao Mo

A Transition System Abstraction Framework for Neural Network Dynamical System Models

Add code
Feb 18, 2024
Viaarxiv icon

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation

Add code
Feb 18, 2024
Viaarxiv icon

Guaranteed Quantization Error Computation for Neural Network Model Compression

Add code
Apr 26, 2023
Viaarxiv icon

A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems

Add code
Apr 26, 2023
Viaarxiv icon