PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.
Simon Henniger hasn't written anything yet.
