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