Yang, Y.; Hu, H.; Wei, T.; Li, S. E.; Liu, C. Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint). AAAI 2026, 40, 39905-39905.