Less is more: refinement proofs for probabilistic proofs.

Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies

Browse the full SP paper archive.