Neural Closure Certificates.

Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Browse the full AAAI paper archive.