Hey there! 👋🏼

I'm a Master's student in Applied Mathematics and Statistics at Institut Polytechnique de Paris; currently pursuing the M2 Data Science track. I enjoy building models and tools at the intersection of mathematics and machine learning.

Explore my work, read my posts, and feel free to reach out!

I am looking for end-of-studies internships for Summer 2026.

Education

• Institut Polytechnique de ParisSep 2025–Present
  M2 Data Science
  — Charpak Masters Scholar 2025.
  — Focus: computer vision, reinforcement learning, NLP, graph ML, optimal transport, optimization.
• Institut Polytechnique de ParisSep 2024–Aug 2025
  M1 Applied Mathematics and Statistics
  — Focus: machine learning, statistics, stochastic processes, optimization.
• St. Stephen's College, University of DelhiNov 2021–Jun 2024
  B.Sc. (Honours) Mathematics
  — Graduated with distinction.
  — Department of Mathematics Prize · Professor Nagpaul Research Fellowship.

Experience

• ETH Zürich Student Summer Research FellowJul 2025–Aug 2025
  — One of 19 fellows selected from 2,000+ applicants for the Student Summer Research Fellowship 2025.
  — Worked on a benchmark for comparing formal and natural language reasoning in LLMs, automated theorem provers, and CauSciBench in the Language, Reasoning, & Education Lab at the Institute of Machine Learning.
• Business Analyst — Ripik AIJun 2024–Sep 2024
  — Set up CRM for the international division; led migration from legacy spreadsheet-based databases.
  — Created proposals, collaterals, business studies, and strategies for the international business division.
• Research and Analysis intern — EYAug 2023–Sep 2023
  — Supported three public sector consulting projects by conducting research and drafting reports.

Research

I'm interested in:

• LLM-based provers for Lean 4, and in general, AI for math.
• AI for science.
• formal aspects of language modelling and multimodal models.
• statistical machine learning.

If you'd like to collaborate, please get in touch.