hey, I'm charlie meyer.

---

currently

I'm a fourth year @ UVA studying computer science and entrepreneurship. I'm a 2025 Neo Scholar, Model UN-er, dedicated weightlifter, and (decent) snowboarder. Previously, I've worked at Principal Financial, Scenthound, and Vercel.

I work on inference research with Zhepei Wei and independently explore AI for math research. How can we get LLMs to reason in formal math (Lean)?

---

built

• simpletext: stupidly simple sms provider
• hufflo: ecommerce marketing on autopilot

in progress

• uvacompute: rent compute from my personal workstation at $0.50 per 5090-hour

todo

• self driving couch
• my own os

---

future

The intersection of what I'm good at, what I care about, and what's important in the world is AGI and AI safety. So I'm working on that, and its subproblems. That currently being inference research, automated theorem proving, and some safety work.

I'm also deeply interested in the infrastructure behind AI research. Why is it so hard to run experiments at scale, multi-node, multi-gpu? Training and serving models should be as easy as developing and deploying web apps.

---

talk to me

I'm open to work at somewhere dope. If my interests align with what you're doing or are just someone who's incredibly passionate about something, I'd love to chat.