@inproceedings{dblp-conf-aaai-nadalim0024,
  title = {Neural Closure Certificates},
  author = {Alireza Nadali and Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2024},
  url = {https://dblp.org/rec/conf/aaai/NadaliM0024},
  booktitle = {AAAI 2024}
}