Simon Henniger

According to our database, Simon Henniger authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search.

David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin

CoRR, 2024

2023

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact).

Simon Henniger, Nada Amin

Dagstuhl Artifacts Ser., 2023

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea).

Simon Henniger, Nada Amin

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023