Proofs as Explanations: Short Certificates for Reliable Predictions.

Avrim Blum, Steve Hanneke, Chirag Pabbaraju, Donya Saless

Browse the full COLT paper archive.