ReFactX: Scalable Reasoning with Reliable Facts via Constrained Generation Paper • 2508.16983 • Published Aug 23, 2025