Human model evaluation in interactive supervised learning
A theory of the learnable