AI / ML Researcher & Engineer
Aryan D
Haritsa
Researching mechanistic interpretability, alternative encoder architectures for dense retrieval, and the limits of inference-time reasoning.
I build systems that push the boundary between model capability and reliable deployment — from inference-time math reasoning pipelines to interpretability tooling for understanding what models actually compute. My work sits at the intersection of engineering under constraint and curiosity about the mechanisms beneath neural computation.
Read more about me →What I'm Working On
Research
Project Ramanujan
AIMO Prize 3 on Kaggle. Built the full GPT-OSS-120B inference stack in 3 weeks. Beat the previous year's winning score.
Mesa-Optimization Probe
Do small transformers implement gradient descent internally? Using TransformerLens and activation patching.
Encoder Archaeology
Transformer vs SSM vs RNN encoders for dense retrieval. Mapping the latency-accuracy Pareto frontier.
Engineering & Competitions
Projects
TITAN
KYC + ZK Proofs + AML · Paper → SeCrypt 2026
Zero-knowledge identity verification with AI forensics and graph-based fraud detection.
ARC AGI 3 Active
Abstract reasoning competition — testing the frontier of AI generalization.
WaySafe
Hackverse 2025 · MIT Bangalore · 7th Place
Safety-weighted route optimization for tourists in unfamiliar cities.
CrediCrew
Semantic resume-JD matching with FAISS retrieval and cross-encoder re-ranking.
Now
Building Project Rick at Nagravision Kudelski (Jan–May 2026). Scaffolding two parallel research projects — mesa-optimization probe and encoder architecture comparison. Competing in ARC AGI 3 on Kaggle. Applied to MSR India undergraduate research internship for 2026.