Papers by Niklas Mellgren
Training Language Models to Use Prolog as a Tool (2026.findings-acl)
Copied to clipboard
| Challenge: | Language models often produce plausible but incorrect reasoning traces that are difficult to verify. |
| Approach: | They train language models to use Prolog as an external symbolic reasoning tool . they find an accuracy–auditability trade-off between tuning for correctness alone and using Prolog only for the final computation . |
| Outcome: | The proposed model outperforms supervised fine-tuning on a clean version of GSM8K. |