Tom Yamaguchi

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Back Propagation

Reachability Analysis

Top Venues

Publications

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. FORMATS (2022)