Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

Published in Journal of Artificial Intelligence Research (**JAIR**), 2025