@misc{indiciae8f1e61f6f461,
  title = {Formalizing Interruptible Algorithms for Human over-the-loop Analytics},
  author = {Austin Graham and Yan Liang and Le Gruenwald and Christan Grant},
  year = {2017},
  url = {https://arxiv.org/abs/1712.00715},
  note = {Source identifier: 1712.00715}
}