Research Scientist @Google. Former String theorist at @Princeton , @Stanford. Reasoning and language models.