ReFactX: Scalable Reasoning with Reliable Facts via Constrained Generation