Training Language Models to Use Prolog as a Tool
训练语言模型以使用Prolog作为工具
机构 * University of Southern Denmark(南丹麦大学)
专题命中 指令微调 :language model(title,abstract);分类 cs.CL
AI总结 本文探讨通过强化学习训练语言模型使用Prolog进行符号推理,发现正确性与可审计性之间存在权衡,影响模型性能与可解释性。
Comments ACL 2026 Findings (change from last version: corrected year in this comment)