neurosymbolic 5 LINC Oct 22, 2023 Leveraging Large Language Models to Generate Answer Set Programs Jul 14, 2023 Logic-LM May 19, 2023 Program of Thoughts Prompting Nov 21, 2022 PAL Nov 17, 2022