Training Language Models to Use Prolog as a Tool
arXiv:2512.07407v2 Announce Type: replace
Abstract: 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, train…