About

Who I Am

I am a student researcher based in India, interested in machine learning, mathematics, and formal reasoning. I work on problems at the intersection of these fields - from automated theorem proving to foundation models for biology. I co-founded AETHRA, a community for ambitious student builders and researchers, and I am an Emergent Ventures Grantee supported by the Mercatus Center.

Research Interests

My work spans machine learning theory, optimisation, computational biology, quantum computing, and mathematical reasoning. I am particularly drawn to questions about how systems learn, generalise, and fail - and how we can build more reliable tools for scientific discovery.

Questions I Think About

• What structural properties of neural networks enable generalisation beyond their training distribution?
• Can formal proof systems serve as reliable verifiers for machine-generated mathematical reasoning?
• How does entanglement entropy constrain the classical simulability of quantum algorithms?
• What are the fundamental failure modes of foundation models applied to biological data?

Background

I have worked at MIT CSAIL under Prof. Manolis Kellis, been selected for the BeyondQuantum research programme (60 of 434 applicants), and will attend the PACT programme at Rutgers University and Apex Maths 2026 in Chișinău, Moldova, this summer. My research has been recognised at ICYS 2026 and INSEF India.