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

Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation Yuan Yang author Siheng Xiong author Ali Payani author Ehsan Shareghi author Faramarz Fekri author 2024-08 text Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) Lun-Wei Ku editor Andre Martins editor Vivek Srikumar editor Association for Computational Linguistics Bangkok, Thailand conference publication yang-etal-2024-harnessing 10.18653/v1/2024.acl-long.375 https://aclanthology.org/2024.acl-long.375/ 2024-08 6942 6959