Debargha Ganguly

1. Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
   2024/09/25 by Debargha Ganguly, Srinivasan Iyengar, Ganguly, Debargha +5 · 3 voices · 5 citations
   Computer Science · #AI-based Problem Solving and Planning #Computability, Logic, AI Algorithms #Formal Methods in Verification #cs.AI #cs.CL #cs.LG #cs.LO #cs.NE
2. Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
   2025/05/26 by Debargha Ganguly, Vikash Singh, Ganguly, Debargha +18 · 4 voices · 3 citations
   Computer Science · #Multi-Agent Systems and Negotiation #cs.AI #cs.CL #cs.LO #cs.SE
3. Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
   2026/02/27 by Vikash Singh, Debargha Ganguly, Haotian Yu +5 · 2 voices
   #cs.CV #cs.AI #cs.CL #cs.LO
4. LABELING COPILOT: A Deep Research Agent for Automated Data Curation in Computer Vision
   2025/09/26 by Debargha Ganguly, Sumit Kumar, Ganguly, Debargha +15 · 1 voice
   #cs.CV #cs.CL
5. K⁴: Online Log Anomaly Detection Via Unsupervised Typicality Learning
   2025/07/26 by Weicong Chen, Vikash Singh, Chen, Weicong +9 · 2 voices
   Computer Science · #Computation and Language (cs.CL) #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #and Cluster Computing (cs.DC) #cs.CL #cs.DC #cs.LG