Have you been wondering why large language models (LLMs) like ChatGPT can generate pretty convincing text, but struggle in giving factually correct answers? The main reason is that they're missing some key ingredients - formal and