LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation - Li, Bowen; Li, Zhaoyu; Du, Qiwei; Luo, Jinqi; Wang, Wenshan; Xie, Yaqi; Stepputtis, Simon; Wang, Chen; Sycara, Katia; Ravikumar, Pradeep; Gray, Alexander; Si, Xujie; et al. (Advances in Neural Information Processing Systems, 2024)