Srinivasan Iyengar
- Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
2024/09/25 by Debargha Ganguly, Ganguly, Debargha, Srinivasan Iyengar +5 · 3 voices · 6 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
- 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 · 4 citations
Computer Science · #Multi-Agent Systems and Negotiation #cs.AI #cs.CL #cs.LO #cs.SE
- LABELING COPILOT: A Deep Research Agent for Automated Data Curation in Computer Vision
2025/09/26 by Debargha Ganguly, Ganguly, Debargha, Sumit Kumar +15 · 1 voice
#cs.CV #cs.CL
- Modulo: Drive-by Sensing at City-scale on the Cheap
2019/10/21 by D. P. Agarwal, Agarwal, Dhruv, Srinivasan Iyengar +3 · 1 citation
Computer Science · Engineering · Environmental Science · #Air Quality Monitoring and Forecasting #FOS: Computer and information sciences #Indoor and Outdoor Localization Technologies #Mobile Crowdsensing and Crowdsourcing #Networking and Internet Architecture (cs.NI)
- An Agentic Approach to Automatic Creation of P&ID Diagrams from Natural Language Descriptions
2024/12/17 by Shreeyash Gowaikar, Gowaikar, Shreeyash, Srinivasan Iyengar +5 · 2 citations
Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services