TY  - RPRT
TI  - RefineStat: Efficient Exploration for Probabilistic Program Synthesis
AU  - Madhav Kanda
AU  - Shubham Ugare
AU  - Sasa Misailovic
PY  - 2026
UR  - https://arxiv.org/abs/2509.01082
ID  - 2509.01082
ER  -