These days I’m most excited about efficient algorithms for online learning and reasoning that allow machines to adapt to changing environments.
A selection of my current and past work is below. The full list is available on Google Scholar.
Reasoning
I’m interested in general and efficient goal-directed search algorithms to solve hard problems, possibly through discovery of new insights.
- LEVER: Adaptive Cost-Aware Proof Search Over AND/OR GraphsNeurIPS Workshops on MATH-AI and VeriCodeGen 2026 · Under review at ICLR 2027
Large Language Models
My research focused on post-training LLMs at Amazon: SFT, RL and evaluations for coding assistants. I also worked on RAG for repo-level coding and reducing hallucinations.
- On Mitigating Code LLM Hallucinations with API DocumentationICSE SEIP 2025 · Video · Slides
- The Amazon Nova Family of ModelsAmazon Technical Report 2024
- ContraCLM: Contrastive Learning For Causal Language ModelACL 2023 · arXiv · Code · Video · Poster
Representation Learning
I had a fantastic time working on unsupervised representation learning algorithms at Adobe Research. I’ve also worked on interpretability for these models.
* Equal contribution.