{ "n_total": 8554, "n_train": 8127, "n_val": 427, "n_erroneous": 4316, "n_all_correct": 4238, "teacher": "promptlens", "deduped": true }