TY - RPRT TI - Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning AU - Ningke Li AU - Yahui Song AU - Kailong Wang AU - Yuekang Li AU - Ling Shi AU - Yi Liu AU - Haoyu Wang PY - 2025 UR - https://arxiv.org/abs/2502.13416 ID - 2502.13416 ER -