Theo X. Olausson (he/him)
I'm a Member of Technical Staff at Inception, where I work on reinforcement learning for diffusion language models.
I recently graduated from MIT, where I was advised by Armando Solar-Lezama. My PhD started with early work on self-correcting code generation [OIW+24, GLJ+24], abstraction learning [BOW+23, GWB+24] and combining language models with symbolic tools [OGL+23]. Later on, I shifted my focus to diffusion language models [JOB+26, OJW+26, BTM+26] and statistically guaranteed hallucination control [EOS+26]. During my PhD I also had the good fortune of working on these topics (and more) at Apple ML Research, the Center for Computational Mathematics at the Flatiron Institute, and Microsoft Research.
I'm passionate about community building and have previously served as co-President of the MIT EECS Graduate Students' Association. I'm also one of the lead organizers of VerifAI, the Workshop on AI Verification in the Wild (held at ICLR'25 and '26). Most of my free time is spent doing some variation of cycling, running or climbing. I also like film photography, gothic novels and writing music.