3 ms·Proof Of Thought: Neurosymbolic Program Synthesis Allows Robust Reasoning3 points by optimalsolver 2y ago