Iyengar, Srinivasan

2 publications

NeurIPS 2025 Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Debargha Ganguly, Vikash Singh, Sreehari Sankar, Biyao Zhang, Xuecen Zhang, Srinivasan Iyengar, Xiaotian Han, Amit Sharma, Shivkumar Kalyanaraman, Vipin Chaudhary

NeurIPSW 2024 PROOF of THOUGHT : Neurosymbolic Program Synthesis Allows Robust and Interpretable Reasoning Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary, Shivkumar Kalyanaraman