Simon Henniger -

Registered user since Mon 15 May 2023

Name:Simon Henniger

Affiliation:Technical University of Munich

Contributions

2025

Dafny

Author of VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search within the Dafny 2025-track

2023

ECOOP

Author of The Dolorem Pattern: Growing a Language through Compile-Time Function Execution within the Research Papers-track