Convergence of the Backward Deep BSDE Method with Applications to Optimal Stopping Problems. - Chengfan Gao; Siping Gao; Ruimeng Hu; Zimu Zhu (SIAM J. Financial Math., 2023)