{
  "claims": 503,
  "dataset": "released MATH_open_subclaims_with_scores_and_semantic_eval.json",
  "dependency_edges": 496,
  "examples": 50,
  "gradient_witness": {
    "actual_graph_nodes": 11,
    "finite": true,
    "nonzero_norm": 5.263001441955566
  },
  "joint_graph_destructive_control": {
    "ancestor_removal_l1_difference": 26.071823805570602,
    "changed": true
  },
  "nonconformity": {
    "evaluations": 50,
    "finite": true,
    "maximum": 8.497963905334473,
    "mean": 4.685799508094788,
    "minimum": 1.6828093528747559
  },
  "official_commit": "0b4d5487a9868a18c4f9aa5b3d96cdccc705ca97",
  "paper_id": "XfndtVLIub",
  "prediction": {
    "calibration_threshold_from_native_nonconformity": 7.503330707550049,
    "finite": true,
    "maximum": 0.9989948868751526,
    "minimum": 0.00016625547141302377,
    "node_probabilities": 503
  },
  "soft_sort_shim_used_in_reported_path": false
}