3 papers
cs.AI2026
Why Pure Reasoning is Not Enough: Nature as the Source of Mathematical Innovation
Charanjit S. Jutla, Vimal Sharma
We advance the hypothesis that human mathematical reasoning, constrained by both the undecidability and the computational intractability of even modest logical fragments, relies fu…
cs.CR2024
Towards Building Secure UAV Navigation with FHE-aware Knowledge Distillation
Arjun Ramesh Kaushik, Charanjit Jutla, Nalini Ratha
In safeguarding mission-critical systems, such as Unmanned Aerial Vehicles (UAVs), preserving the privacy of path trajectories during navigation is paramount. While the combination…
cs.CR2024
Confidential and Protected Disease Classifier using Fully Homomorphic Encryption
Aditya Malik, Nalini Ratha, Bharat Yalavarthi +3
With the rapid surge in the prevalence of Large Language Models (LLMs), individuals are increasingly turning to conversational AI for initial insights across various domains, inclu…