Nadali, A.; Murali, V.; Trivedi, A.; Zamani, M. Neural Closure Certificates. AAAI 2024, 38, 21446-21453.