Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation.

Yuan Yang, Siheng Xiong, Ali Payani, Ehsan Shareghi, Faramarz Fekri

Browse the full ACL paper archive.