AI RESEARCH
Training Language Models to Use Prolog as a Tool
arXiv CS.CL
•
ArXi:2512.07407v2 Announce Type: replace Language models frequently produce plausible yet incorrect reasoning traces that are difficult to verify. We investigate fine-tuning models to use Prolog as an external symbolic reasoning tool