{
  "gsm8k": {
    "pass@1": {
      "num_entries": 1319,
      "avg_tokens": 341,
      "gen_seconds": 69,
      "symbolic_correct": 77.8620166793025,
      "no_answer": 1.061410159211524
    }
  }
}