Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning

Open in new window