{
  "n_total": 3214,
  "n_train": 3054,
  "n_val": 160,
  "n_erroneous": 747,
  "n_all_correct": 2467,
  "teacher": "promptlens",
  "deduped": true
}