Search papers, labs, and topics across Lattice.
University of Electronic Science and Technology of China
1
0
1
5
Weak non-negativity in supermartingales can boost verification success rates by over 20% in probabilistic programs, challenging the notion that strict constraints are necessary for soundness.
