Hi, I am Simon.
I am building computational reasoning systems using a blend of LLMs and reflective and genetic algorithms.
I am a PhD student in Harvard's metareflection lab, and hold a Bachelor's degree in Computer Science
from TU Munich, as well as Bachelor's and Master's degrees in Philosophy from the University of Munich.
Previously, I interned at EPFL and Jane Street.
My studies are funded by the Harvard SEAS Prize Fellowship, and the German Studienstiftung's ERP Fellowship. This fall, I am beyond happy to be
a Cosmos Institute grantee working on AI truth-seeking.
Please reach out – I like getting email.
Interests
Below are some of my interests outside of my AI research, to serve as conversation starters
if you like:
- Programming languages (including compiler construction)
- Entrepreneurship
- Philosophy (especially Vienna Circle and Nietzsche)
- Law
- Literature
- Game Design
Publications
-
David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe Loughridge,
Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, and
Nada Amin, “VerMCTS: Synthesizing Multi-Step
Programs using a Verifier, a Large Language Model, and Tree Search”, in MATH-AI,
the 4th Workshop on Mathematical Reasoning and AI, held at NeurIPS 2024. Distinguished
Paper Award.
- Simon Henniger and Nada Amin,
“The Dolorem Pattern: Growing
a Language through Compile-Time Function Execution”, in 37th European Conference
on Object-Oriented Programming (ECOOP 2023).