Picture for Yejiang Yang

Yejiang Yang

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

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

Add code
Apr 26, 2023
Viaarxiv icon

Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method

Add code
Jul 27, 2021
Figure 1 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Figure 2 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Figure 3 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Figure 4 for Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
Viaarxiv icon