Mrityunjoy Panday

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). Previous formalization attempts in first-order logic (Matilal), higher-order logic (Ganeri), and Martin-Lof type theory (Bhattacharyya) each lose load-bearing structure: dependent delimitation (avacchedaka), typed absence (abhava), non-extensional identity (tadatmya), or unbounded relational depth (parampara-sambandha). We argue that CTT closes this gap natively. We give CTT encodings for seven core constructs (sambandha, avacchedaka, abhava, vyapti, tadatmya, higher relations, paryapti) plus the qualifier-qualificand structure; develop a stratified-universe foundation for the padartha system; and prove four signature theorems internal to the encoding (involution of abhava, kevalanvayi irreducibility, coextension without identity, no h-set collapse) and six metatheoretic results (soundness, conservativity, faithfulness, distinction preservation, decidability, commentarial conservativity). We close with worked encodings of fifteen Tattvacintamani passages, comparison with prior formalizations, an implementation sketch in Cubical Agda, and five distinguishing predictions - including a novel argument from Navya-Nyaya's involutive-negation doctrine for the necessity of De Morgan over Cartesian cubical foundations.

Nachiket Kapure, Harsh Joshi, Rajeshwari Mistri et al.

Birth weight serves as a fundamental indicator of neonatal health, closely linked to both early medical interventions and long-term developmental risks. Traditional predictive models, often constrained by limited feature selection and incomplete datasets, struggle to achieve overlooking complex maternal and fetal interactions in diverse clinical settings. This research explores machine learning to address these limitations, utilizing a structured methodology that integrates advanced imputation strategies, supervised feature selection techniques, and predictive modeling. Given the constraints of the dataset, the research strengthens the role of data preprocessing in improving the model performance. Among the various methodologies explored, tree-based feature selection methods demonstrated superior capability in identifying the most relevant predictors, while ensemble-based regression models proved highly effective in capturing non-linear relationships and complex maternal-fetal interactions within the data. Beyond model performance, the study highlights the clinical significance of key physiological determinants, offering insights into maternal and fetal health factors that influence birth weight, offering insights that extend over statistical modeling. By bridging computational intelligence with perinatal research, this work underscores the transformative role of machine learning in enhancing predictive accuracy, refining risk assessment and informing data-driven decision-making in maternal and neonatal care. Keywords: Birth weight prediction, maternal-fetal health, MICE, BART, Gradient Boosting, neonatal outcomes, Clinipredictive.