الملخص
Large Language Models (LLMs) have renewed interest in autoformalization. Yet, when First-Order Logic (FOL) is considered as the target formalism, the field still lacks a unified task formulation and a systematic survey. This paper addresses this gap: we first provide a principled definition for the FOL-autoformalization task by distinguishing Ontology Extraction from Logical Translation, showing how their conflation obscures (cross-study) evaluation; we review existing datasets, evaluation metrics, and LLM-based methods, including fine-tuning, prompting, and verification-based refinement; we identify open challenges in benchmarking, semantic evaluation, ontology-aware methods, and end-to-end applications.
الكلمات المفتاحية
الموضوع
بيانات النشر
- المجلة
- غير متاح
- وصول مفتوح
- وصول مفتوح أخضر
اقتبس هذه المقالة
APA 7
Brunello, A., Curaba, C., Geatti, L., Mignani, M., Montanari, A., & Saccomanno, N. (2026). Natural Language to First-Order Logic LLM-based Autoformalization. https://omanscience.com/ar/articles/natural-language-to-first-order-logic-llm-based-autoformalization
MLA 9
Brunello, Andrea, et al. "Natural Language to First-Order Logic LLM-based Autoformalization." https://omanscience.com/ar/articles/natural-language-to-first-order-logic-llm-based-autoformalization.
شيكاغو (المؤلف–التاريخ)
Brunello, Andrea, Cristian Curaba, Luca Geatti, Michele Mignani, Angelo Montanari, and Nicola Saccomanno. 2026. "Natural Language to First-Order Logic LLM-based Autoformalization." https://omanscience.com/ar/articles/natural-language-to-first-order-logic-llm-based-autoformalization.
هارفارد
Brunello, A., Curaba, C., Geatti, L., Mignani, M., Montanari, A. and Saccomanno, N. (2026) 'Natural Language to First-Order Logic LLM-based Autoformalization', Available at: https://omanscience.com/ar/articles/natural-language-to-first-order-logic-llm-based-autoformalization.
فانكوفر
Brunello A, Curaba C, Geatti L, Mignani M, Montanari A, Saccomanno N. Natural Language to First-Order Logic LLM-based Autoformalization. https://omanscience.com/ar/articles/natural-language-to-first-order-logic-llm-based-autoformalization
IEEE
A. Brunello, C. Curaba, L. Geatti, M. Mignani, A. Montanari, and N. Saccomanno, "Natural Language to First-Order Logic LLM-based Autoformalization," https://omanscience.com/ar/articles/natural-language-to-first-order-logic-llm-based-autoformalization.