We now fully specify our approach by describing our model, how we find pairs in the unlabeled pool D train all to query, and how we choose the seed set B 1 .
a key technical challenge is that the set of training pairs D train all is too large to enumerate, as it grows quadratically.