@misc{indiciaec77c61dfd320, title = {Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning}, author = {Ningke Li and Yahui Song and Kailong Wang and Yuekang Li and Ling Shi and Yi Liu and Haoyu Wang}, year = {2025}, url = {https://arxiv.org/abs/2502.13416}, note = {Source identifier: 2502.13416} }