RefineStat: Efficient Exploration for Probabilistic Program Synthesis - Kanda, Madhav; Ugare, Shubham Dipak; Misailovic, Sasa (International Conference on Learning Representations, 2026)