{
  "algorithm": "audited structural error classifier",
  "labels": [
    "completed",
    "invalid_rewrite",
    "missing_import",
    "tactic_failure",
    "type_mismatch",
    "unsolved_goal"
  ],
  "metrics": {
    "test": {
      "accuracy": 1.0,
      "majority_baseline": 0.16666666666666666,
      "rows": 6
    },
    "train": {
      "accuracy": 1.0,
      "majority_baseline": 0.16666666666666666,
      "rows": 24
    },
    "validation": {
      "accuracy": 1.0,
      "majority_baseline": 0.16666666666666666,
      "rows": 6
    }
  },
  "model_type": "lean_proof_repair_classifier",
  "proofs_executed": false,
  "training_data": "dougdotcon/douvras-lean-proof-repair train split only"
}