Search papers, labs, and topics across Lattice.
1
0
1
A single program transformation unlocks a unified approach to analyze diverse objectives on probabilistic programs, including higher moments and threshold probabilities, using existing wp-reasoning techniques.
