3 papers
cs.LG2026
Some Complexity Results for Robustness Verification for Binarized Neural Networks
Harshit Goyal, Sudakshina Dutta
This paper investigates the computational complexity of verification problems for Binarized Neural Networks (BNNs), in which activations and weights are binary. Specifically, we st…
cs.DC2025
Artificial Intelligence for Cost-Aware Resource Prediction in Big Data Pipelines
Harshit Goyal
Efficient resource allocation is a key challenge in modern cloud computing. Over-provisioning leads to unnecessary costs, while under-provisioning risks performance degradation and…
cs.HC2024
AI as a Medical Ally: Evaluating ChatGPT's Usage and Impact in Indian Healthcare
Aryaman Raina, Prateek Mishra, Harshit goyal +1
This study investigates the integration and impact of Large Language Models (LLMs), like ChatGPT, in India's healthcare sector. Our research employs a dual approach, engaging both…