TY  - RPRT
TI  - PLanet: Formalizing and Analyzing Assignment Procedures in the Design of Experiments
AU  - London Bielicke
AU  - Anna Zhang
AU  - Shruti Tyagi
AU  - Emery Berger
AU  - Adam Chlipala
AU  - Eunice Jun
PY  - 2026
UR  - https://arxiv.org/abs/2505.09094
ID  - 2505.09094
ER  -