M. Fang, “Large Language Models Are Neurosymbolic Reasoners”, AAAI, vol. 38, no. 16, pp. 17985-17993, Mar. 2024.