From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models Paper • 2511.10899 • Published 24 days ago • 3 • 2