Li, Z.; Huang, J.; Liu, J.; Zhu, F.; Zhao, E.; Dodds, W.; Velingker, N.; Alur, R.; Naik, M. Relational Programming With Foundational Models. AAAI 2024, 38, 10635-10644.