TY - RPRT TI - Formal Models of Active Learning from Contrastive Examples AU - Farnam Mansouri AU - Hans U. Simon AU - Adish Singla AU - Yuxin Chen AU - Sandra Zilles PY - 2025 UR - https://arxiv.org/abs/2506.15893 ID - 2506.15893 ER -