Formal Models of Active Learning from Contrastive Examples | Read Paper on Bytez