Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning

Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan

We present Bluebell, a program logic for reasoning about probabilistic programs where unary and relational styles of reasoning come together to create new reasoning tools. Unary-st…