Thus far, my research has primarily been focused on (1) expanding the set of problems that LLMs can solve by addressing their key contemporary limitations, and (2) developing principled techniques for ensuring that the real-world deployment of these systems can take place in socially responsible ways.

Going forward, I am excited to work on applications of LLM-based systems to scientific and mathematical domains, including (and especially!) frameworks that employ formal verification to bootstrap generation and aid in search. I want to help build systems that are (eventually) capable of superhuman mathematical theorem-proving, compositional multi-step reasoning, and can serve as valuable tools, or even partners in STEM research.