TY  - RPRT
TI  - Reasoning about the garden of forking paths
AU  - Yao Li
AU  - Li-yao Xia
AU  - Stephanie Weirich
PY  - 2021
DO  - 10.1145/3473585
UR  - https://arxiv.org/abs/2103.07543
ID  - 2103.07543
ER  -