Daniel Kang, John Guibas, Peter Bailis, Tatsunori Hashimoto, Yi Sun, Matei Zaharia, “Proof: Accelerating Approximate Aggregation Queries with Expensive Predicates” (arXiv)