TY - RPRT TI - Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning AU - Debargha Ganguly AU - Srinivasan Iyengar AU - Vipin Chaudhary AU - Shivkumar Kalyanaraman PY - 2024 UR - https://arxiv.org/abs/2409.17270 ID - 2409.17270 ER -