@article{10_1017_fms_2025_10138,
     author = {Neri, Morenikeji and Pischke, Nicholas},
     title = {Proof mining and probability theory},
     journal = {Forum of Mathematics, Sigma},
     pages = {e187},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.10138},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10138/}
}