@misc{indiciae72d68a945d14,
  title = {PLanet: Formalizing and Analyzing Assignment Procedures in the Design of Experiments},
  author = {London Bielicke and Anna Zhang and Shruti Tyagi and Emery Berger and Adam Chlipala and Eunice Jun},
  year = {2026},
  url = {https://arxiv.org/abs/2505.09094},
  note = {Source identifier: 2505.09094}
}