PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.