Picture for Justin Ruths

Justin Ruths

Hybrid Zonotopes Exactly Represent ReLU Neural Networks

Add code
Apr 05, 2023
Viaarxiv icon

Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts

Add code
Apr 05, 2023
Viaarxiv icon

Performance Bounds for Neural Network Estimators: Applications in Fault Detection

Add code
Mar 22, 2021
Figure 1 for Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Figure 2 for Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Figure 3 for Performance Bounds for Neural Network Estimators: Applications in Fault Detection
Viaarxiv icon

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization

Add code
Dec 19, 2020
Figure 1 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Figure 2 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Figure 3 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Figure 4 for Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Viaarxiv icon