Abstract: Large language models (LLMs) have transformed programming and software development, but their non-deterministic nature poses challenges to reproducible program synthesis. This paper proposes ...