TY - RPRT TI - ReFactX: Scalable Reasoning with Reliable Facts via Constrained Generation AU - Riccardo Pozzi AU - Matteo Palmonari AU - Andrea Coletta AU - Luigi Bellomarini AU - Jens Lehmann AU - Sahar Vahdati PY - 2025 DO - 10.1007/978-3-032-09527-5_16 UR - https://arxiv.org/abs/2508.16983 ID - 2508.16983 ER -