Structural Abstraction and Refinement for Probabilistic Programs

Published in International Conference on Object-Oriented Programming Systems, Languages, and Application (OOPSLA) 2025, 2025