Author

Simon Henniger

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs

This work proposes Formal Disco: a distributed system for coordination of LLM-based workers that can be easily applied to open-ended synthetic data generation at scale and proposes a principle of maximum entropy for synthetic program generation.

Gabriel Poesia, Simon Henniger, Tzu-Han Hsu et al. · 0 citations