TY - RPRT TI - Formalizing Interruptible Algorithms for Human over-the-loop Analytics AU - Austin Graham AU - Yan Liang AU - Le Gruenwald AU - Christan Grant PY - 2017 UR - https://arxiv.org/abs/1712.00715 ID - 1712.00715 ER -