Use theorem provers to ensure the correctness of your LLM’s reasoning