← Back to papers

2025 COLT COLT 2025

Proofs as Explanations: Short Certificates for Reliable Predictions

Authors

Avrim Blum , Steve Hanneke , Chirag Pabbaraju , Donya Saless

Related papers

Of Dice and Games: A Theory of Generalized Boosting 2025

Is a Good Foundation Necessary for Efficient Reinforcement Learning? The Computational Role of the Base Model in Exploration 2025

Computing Optimal Regularizers for Online Linear Optimization 2025

Learning Mixtures of Gaussians Using Diffusion Models 2025

On the query complexity of sampling from non-log-concave distributions (extended abstract) 2025