HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification. - Jesse Wayment; Brian Yarbrough; Jingbo Wang; Shreyas Sundaram; Philip E. Paré (CoRR, 2026)