Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability. - William Hofgard (CoRR, 2024)