arXiv · cs.CL· Andrea Brunello·· 19 天前AI 评分30
自然语言到一阶逻辑：基于 LLM 的自动形式化综述
Natural Language to First-Order Logic LLM-based Autoformalization
来源与原文
arXiv · cs.CL
作者：Andrea Brunello
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.12030v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
arXiv 论文（已被 EMNLP-2026 接收）为一阶逻辑（FOL）自动形式化给出统一定义，区分本体抽取与逻辑翻译，指出二者混淆模糊了跨研究评估。文章综述了现有数据集、评测指标及基于 LLM 的微调、提示词与基于验证的精炼方法，并提出 benchmarking、语义评估、本体感知方法等开放挑战。
来源：arXiv · cs.CL · arxiv.org