Fang, M.; Deng, S.; Zhang, Y.; Shi, Z.; Chen, L.; Pechenizkiy, M.; Wang, J. Large Language Models Are Neurosymbolic Reasoners. AAAI 2024, 38, 17985-17993.