Faithful Chain-of-Thought ensures reasoning chains accurately reflect the model's thought process by converting natural language queries into symbolic reasoning chains with Python, and then uses a deterministic solver to find the final answer.
While typically the prompt should be run separately to generate answers, this template gives a starting point to understand the method