Bayesian Separation Logic. - Shing Hin Ho; Nicolas Wu; Azalea Raad (CoRR, 2025)