@misc{indiciae347d5423db3d,
  title = {The Search for Constrained Random Generators},
  author = {Harrison Goldstein and Hila Peleg and Cassia Torczon and Daniel Sainati and Leonidas Lampropoulos and Benjamin C. Pierce},
  year = {2026},
  doi = {10.1145/3808329},
  url = {https://arxiv.org/abs/2511.12253},
  note = {Source identifier: 2511.12253}
}