A. Nadali, V. Murali, A. Trivedi, and M. Zamani, “Neural Closure Certificates”, AAAI, vol. 38, no. 19, pp. 21446-21453, Mar. 2024.