Research

Publications & open output.

Published research, plus the public models, Spaces, and code that the clinical systems can't show. Publications sync from ORCID; the rest from GitHub and Hugging Face.

Verified peer reviews: 10
Citations: 7
Verified on: PUE-0798-2026

Papers

Publications.

AtheNA an avid traveller using LSTM based RNN architecture
2020

Journal of Engineering Science and Technology (JESTEC)

Scopus-indexed · EID 2-s2.0-85084141722
Interactive Chatbots and Applications
2018

JSSATE, Bangalore

Survey — NLU, NLG, intent classification, entity recognition

Mathematics

Off-domain, machine-checked.

Open problems worked outside medical imaging, each carrying its artifacts — a Lean formalization that compiles, with nothing left unproved.

Analytic number theory · Lean 4

The unconditional frontier of the compression method for zeta zeros

A cubic-weight certificate for distinct zeros of the Riemann zeta function, and the third-moment barrier at bandwidth one.

Built on Anthropic’s zeta-23-lean formalization, which is left unchanged: adds 2,470 lines across 9 Lean files — a Schur–Horn linear-algebra step, the cubic-weight certificate built on it, and the analytic bridge to the paper’s compression. Machine-checked end to end, with no unproved steps left behind, on three standard axioms.

Paper & code

Peer review