Y. Yang, H. Hu, T. Wei, S. E. Li, and C. Liu, “Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint)”, AAAI, vol. 40, no. 47, pp. 39905–39905, Mar. 2026.