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
Topics & Concepts
Computer scienceTranslation (biology)Natural languageMachine translationNatural language processingNatural (archaeology)Universal Networking LanguageOrder (exchange)Natural language generationArtificial intelligenceProgramming languageComprehension approachHistoryMessenger RNABiochemistryFinanceArchaeologyEconomicsChemistryGeneNatural Language Processing Techniques