Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation
Research article (Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024) · cited 13× · AI/ML