research
∙
01/24/2023
Inductive Reasoning for Coinductive Types
We present AlgCo (Algebraic Coinductives), a practical framework for ind...
research
∙
11/12/2022
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
We present Zar: a formally verified compiler pipeline from discrete prob...
research
∙
12/11/2017