About

Hi, I'm Anaïs

I'm a student passionate about CS, Math, entrepreneurship, leveraging ML, and problem-solving.
LEARN MORE

LINKS

Currently:
Undergraduate Researcher: Brantley Lab

Cambridge, MA

Researching proof-based math reasoning approaches, with PPO and GRPO variants.Learn More
AIMachine LearningProblem SolvingLearning
Teaching Fellow

Cambridge, MA

Helping 230+ students learn data structures, algorithms, and theoretical computer science with an emphasis on mathematical proofs (CS 1210, CS 1240).Learn More
PedagogyTheoryMathematicsLearning
Cambridge weather this week