TY  - RPRT
TI  - The Search for Constrained Random Generators
AU  - Harrison Goldstein
AU  - Hila Peleg
AU  - Cassia Torczon
AU  - Daniel Sainati
AU  - Leonidas Lampropoulos
AU  - Benjamin C. Pierce
PY  - 2026
DO  - 10.1145/3808329
UR  - https://arxiv.org/abs/2511.12253
ID  - 2511.12253
ER  -