Mechanizing Soundness of Off-Policy Evaluation.

Jared Yeager, J. Eliot B. Moss, Michael Norrish, Philip S. Thomas

Browse the full ITP paper archive.