About
Math, machines, and verified truth.
Background
Computational mathematics at MIT, class of 2022. Founded a computer vision company, worked at institutional labs, and shipped production AI at early-stage startups. Now focused on the intersection of formal reasoning and AI.
AI × Math
I believe neuro-symbolic AI — combining neural networks with formal verification — is the only credible path to mathematical superintelligence. The current LLM bottleneck is the interface between latent knowledge and provable truth. I'm building tools to close that gap.