Bio

Hello, I’m an engineer with a background in applied mathematics and computer science. My academic training has given me a diverse skill set that I now apply to my work in artificial intelligence, particularly in enhancing mathematical problem-solving capabilities using large language models and interactive theorem provers.

Recently, I was an AI Research Scientist intern at JP Morgan, where I was researching the use of large language models for mathematical reasoning tasks. One part of my work involved developing a custom symbolic algebra system for synthetic data generation in natural language. In another project, I developed a meta-programming framework in Lean for synthetic data generation through forward reasoning. This second project was the subject of my master’s thesis.

I am now pursuing this work as a full-time AI Research Associate at JP Morgan. Feel free to check out my resume and projects pages to learn more about my background and the work I’ve done so far.