about me

I'm a fourth-year mathematics, computer science, and physics undergraduate student at Stanford University.

I'm currently working as a mathematics engineer at Math, Inc., creating verified superintelligence by scaling autoformalization.

Below is a graph of some things I'm interested in; if you want, you can drag the nodes around for fun.