See Section 5 for a description of how we split the data into training, validation, and test sets.
across all workers, the maximum, median, and minimum numbers of tasks finished by a worker are 1,419, 3, and 1, respectively.