Leo St. Amour, Eli Tilevich: Bringing Probabilistic Reasoning to the IDE. VL/HCC 2025: 373-378