Shivkumar Kalyanaraman
- Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
2024/09/25 by Debargha Ganguly, Srinivasan Iyengar, Ganguly, Debargha +5 · 3 voices · 8 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 · 5 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 · 1 citation
Computer Science · #cs.CV #cs.CL
- DeepSolarEye: Power Loss Prediction and Weakly Supervised Soiling Localization via Fully Convolutional Networks for Solar Panels
2017/10/10 by Sachin Mehta, Amar P. Azad, Amar Prakash Azad +10 · 1 citation
Computer Science · Energy · Environmental Science · #Advanced Neural Network Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Photovoltaic System Optimization Techniques #Photovoltaic Systems and Sustainability #cs.CV
- 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
- Value of Supporting Class-of-Service in IP Backbones
2007/06/01 by Murat Yüksel, K. K. Ramakrishnan, Shivkumar Kalyanaraman +2 · 1 citation
Computer Science · Engineering · #Network Traffic and Congestion Control #Software-Defined Networks and 5G #Advanced Optical Network Technologies