AboutI'm passionate about CS, Math, entrepreneurship, leveraging ML, and problem-solving.Currently:
Local weather this week
Hi, I'm Anaïs
More about me
Cambridge, MA
Researching proof-based math reasoning approaches using RL, with PPO and GRPO variants.Learn More
AIMachine LearningProblem SolvingLearningResearch
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