TY  - RPRT
TI  - Proof mining and probability theory
AU  - Morenikeji Neri
AU  - Nicholas Pischke
PY  - 2024
DO  - 10.1017/fms.2025.10138
UR  - https://arxiv.org/abs/2403.00659
ID  - 2403.00659
ER  -