Neural Network Repair with Reachability Analysis

The dataset used in the paper is a neural network repair framework for safety-critical systems.

Data and Resources

Cite this as

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson, Danil Prokhorov (2024). Dataset: Neural Network Repair with Reachability Analysis. https://doi.org/10.57702/r1wdvxb1

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Author Xiaodong Yang
More Authors
Tom Yamaguchi
Hoang-Dung Tran
Bardh Hoxha
Taylor T Johnson
Danil Prokhorov