File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ ---
2+ layout : post
3+ date : 2025-06-09
4+ inline : true
5+ ---
6+
7+ Started internship with Google NYC, working on improving tool calling for LLMs.
8+
Original file line number Diff line number Diff line change @@ -17,15 +17,16 @@ selected_papers: false # includes a list of papers marked as "selected={true}"
1717social : false # includes social icons at the bottom of the page
1818---
1919
20- I'm a second year PhD student working with Jeff Flanigan at UC Santa Cruz. Previously I worked at
21- Amazon AI with the AGI team on problems in open-domain QA. Previously previously I worked on
22- computer vision, specifically semantic segmentation with Piyush Kumar at CGI.
20+ I'm a fourth year PhD student working with Jeff Flanigan at UC Santa Cruz.
21+ Previously I've worked at Google AI on tool-calling LLMs, and Amazon AI with
22+ the AGI team on open-domain QA. Previously previously I worked on computer
23+ vision, specifically semantic segmentation with Piyush Kumar at CGI.
2324
2425You can reach me at ` <firstname> at ucsc dot edu ` or by clicking the mail button at the top left.
2526
2627### research interests
2728I have a wide range of interests, but primarily work in the intersection of mathematics and AI/NLP
28- on problems such as automated theorem proving and autoformalization. Currently I am working on a
29- project in autoformalization of mathematics into a formal language like Lean.
29+ on problems such as automated theorem proving and autoformalization. I
30+ currently work on projects in both of these fields.
3031
3132I also enjoy learning math and applying it in fun/novel ways to AI.
You can’t perform that action at this time.
0 commit comments