I am currently a Research Fellow in the UC Irvine Department of Logic and Philosophy of Science. I am exploring the recent advances in AI through the lens of proof generation in natural and formal languages.
Previously, I co-founded an algorithmic trading firm, was an early employee of Palantir Technologies, and worked in distressed structured products at BlackRock.