Proof Of Thought: Neurosymbolic Program Synthesis Allows Robust Reasoning arxiv.org 3 points by optimalsolver 4 hours ago