4 papers
Cubical Type Theoretic Navya-NyÄya
Mrityunjoy Panday, Sudipta Ghosh
We present a formalization of the technical language of Navya-Nyaya - the "New Logic" school of late-classical Indian philosophy - in CCHM De Morgan cubical type theory (CTT). Prev…
Parental Imprints On Birth Weight: A Data-Driven Model For Neonatal Prediction In Low Resource Prenatal Care
Rajeshwari Mistri, Harsh Joshi, Nachiket Kapure +6
Accurate fetal birth weight prediction is a cornerstone of prenatal care, yet traditional methods often rely on imaging technologies that remain inaccessible in resource-limited se…
Predicting Fetal Birthweight from High Dimensional Data using Advanced Machine Learning
Nachiket Kapure, Harsh Joshi, Rajeshwari Mistri +6
Birth weight serves as a fundamental indicator of neonatal health, closely linked to both early medical interventions and long-term developmental risks. Traditional predictive mode…
The Dunning-Kruger Effect in Large Language Models: An Empirical Study of Confidence Calibration
Sudipta Ghosh, Mrityunjoy Panday
Large language models (LLMs) have demonstrated remarkable capabilities across diverse tasks, yet their ability to accurately assess their own confidence remains poorly understood.…