Dataset Groups Activity Stream Neural Network Repair with Reachability Analysis The dataset used in the paper is a neural network repair framework for safety-critical systems. BibTex: @dataset{Xiaodong_Yang_and_Tom_Yamaguchi_and_Hoang-Dung_Tran_and_Bardh_Hoxha_and_Taylor_T_Johnson_and_Danil_Prokhorov_2024, abstract = {The dataset used in the paper is a neural network repair framework for safety-critical systems.}, author = {Xiaodong Yang and Tom Yamaguchi and Hoang-Dung Tran and Bardh Hoxha and Taylor T Johnson and Danil Prokhorov}, doi = {10.57702/r1wdvxb1}, institution = {No Organization}, keyword = {'Neural Network Repair', 'Reachability Analysis', 'Safety-Critical Systems'}, month = {dec}, publisher = {TIB}, title = {Neural Network Repair with Reachability Analysis}, url = {https://service.tib.eu/ldmservice/dataset/neural-network-repair-with-reachability-analysis}, year = {2024} }
