Rodrigo Porto

Hi! I'm Rodrigo, a junior at Princeton studying Mathematics with minors in Statistics & Machine Learning. I'm broadly interested in large language models for mathematics, formal theorem proving, and superforecasters.

Some notable things worth mentioning:

• Research at Princeton with Prof. Sanjeev Arora's group on LLM math reasoning and formal theorem proving (see Escaping the Cognitive Well and Goedel-Architect).
• Founding Member of Technical Staff at Vigil Labs, building super forecasters for live markets.
• Previously SWE intern at Amazon (global inventory systems) and at Eric Schmidt's family office, working with Eric Schmidt and Sebastian Thrun on mobile applications and training/deploying vision models to production servers.

Reach out at rodrigaosdp [at] gmail [dot] com.