TY  - RPRT
TI  - Proofs as Explanations: Short Certificates for Reliable Predictions
AU  - Avrim Blum
AU  - Steve Hanneke
AU  - Chirag Pabbaraju
AU  - Donya Saless
PY  - 2025
UR  - https://arxiv.org/abs/2504.08377
ID  - 2504.08377
ER  -