arXiv · AI· Aboubaker Seddiq Benterki, J\"uri Vain, Gert Kanter, Leelo Aino J\"urgenstein·· 13 小时前AI 评分29
ALBI：基于 LLM 的归纳逻辑编程框架
ALBI: LLM-Guided Inductive Logic Programming via Iterative Generate-Test-Constrain Refineme
AI 导读
研究团队提出名为 ALBI 的神象征融合归纳逻辑编程（ILP）框架，用 LLM 生成假设并依靠 SWI-Prolog 进行验证。在 30 个标准 ILP 基准测试中，ALBI 在 Gemini 3.1 Pro、GPT 5.4 Pro、Claude Opus 4.6 上均取得 100% 成功率，平均仅需 1.4-1.7 次迭代，且通过匿名化测试证明了模型具备稳定的符号推理能力。
来源：arXiv · AI · arxiv.org