Automated reasoning to remove LLM hallucinations | Heykuki News