Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning