Machine Learning.
techniques can be described in this framework, we will treat it as fixed. Under this formulation, the goal of learning, is to produce an enqueue function that places good hypotheses high on the queue and bad hypotheses low on the queue. The model proposed by this paper assumes that the enqueue