%0 Conference Proceedings %T Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation %A Yang, Yuan %A Xiong, Siheng %A Payani, Ali %A Shareghi, Ehsan %A Fekri, Faramarz %Y Ku, Lun-Wei %Y Martins, Andre %Y Srikumar, Vivek %S Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) %D 2024 %8 August %I Association for Computational Linguistics %C Bangkok, Thailand %F yang-etal-2024-harnessing %R 10.18653/v1/2024.acl-long.375 %U https://aclanthology.org/2024.acl-long.375/ %U https://doi.org/10.18653/v1/2024.acl-long.375 %P 6942-6959