The numerical reasoning NLI challenge dataset is unsplit.
we generate the datasets used for fine-tuning by subsampling 1000 random examples from the entirety of the challenge dataset, and use the remaining examples for evaluation.