{
  "experiment": "R-MATH-INK-06-FORMULA-ADAPTER-001",
  "generated_at": "2026-07-23T21:10:09.642194+00:00",
  "seed": 31,
  "device": "cuda",
  "cuda_device": "NVIDIA GeForce GTX 1650",
  "split_contract": "CROHME trainData writer fit/validation; testDataGT one-shot",
  "samples": {
    "fit": 12526,
    "validation": 3241,
    "official_test": 5921
  },
  "label_support": {
    "fit": 69,
    "validation": 64,
    "official_test": 69
  },
  "baseline_validation": {
    "samples": 3241,
    "exact_top1": 0.534711480140686,
    "family_head_top1": 0.5908670425415039,
    "visual_family_top1": 0.6143165689601975
  },
  "selected_epoch": 16,
  "selected_validation": {
    "samples": 3241,
    "exact_top1": 0.8537488579750061,
    "family_head_top1": 0.9339709877967834,
    "visual_family_top1": 0.937365010799136
  },
  "official_test": {
    "samples": 5921,
    "exact_top1": 0.824860692024231,
    "family_head_top1": 0.8805944919586182,
    "visual_family_top1": 0.8839723019760176
  },
  "official_test_skipped": false,
  "history": [
    {
      "epoch": 1,
      "loss": 1.315348552197826,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.6806541085243225,
        "family_head_top1": 0.7877198457717896,
        "visual_family_top1": 0.81240357914224
      }
    },
    {
      "epoch": 2,
      "loss": 0.9780515262058803,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7309472560882568,
        "family_head_top1": 0.8463436961174011,
        "visual_family_top1": 0.8731872878741129
      }
    },
    {
      "epoch": 3,
      "loss": 0.8133625230010675,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7540882229804993,
        "family_head_top1": 0.8750385642051697,
        "visual_family_top1": 0.8855291576673866
      }
    },
    {
      "epoch": 4,
      "loss": 0.72881653114241,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7710583209991455,
        "family_head_top1": 0.8824436664581299,
        "visual_family_top1": 0.9018821351434743
      }
    },
    {
      "epoch": 5,
      "loss": 0.6326125519616264,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7926566004753113,
        "family_head_top1": 0.9031163454055786,
        "visual_family_top1": 0.9095958037642703
      }
    },
    {
      "epoch": 6,
      "loss": 0.5851733131068093,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8154890537261963,
        "family_head_top1": 0.9105214476585388,
        "visual_family_top1": 0.9191607528540574
      }
    },
    {
      "epoch": 7,
      "loss": 0.5198692186754577,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8290650844573975,
        "family_head_top1": 0.9197778701782227,
        "visual_family_top1": 0.9287257019438445
      }
    },
    {
      "epoch": 8,
      "loss": 0.5133049621873972,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8253625631332397,
        "family_head_top1": 0.9176180362701416,
        "visual_family_top1": 0.9213205800678803
      }
    },
    {
      "epoch": 9,
      "loss": 0.47733115845797014,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8377044200897217,
        "family_head_top1": 0.9173094630241394,
        "visual_family_top1": 0.925948781240358
      }
    },
    {
      "epoch": 10,
      "loss": 0.44930898535008335,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8580685257911682,
        "family_head_top1": 0.9278000593185425,
        "visual_family_top1": 0.9352051835853131
      }
    },
    {
      "epoch": 11,
      "loss": 0.4476292309712391,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8460351824760437,
        "family_head_top1": 0.9256402254104614,
        "visual_family_top1": 0.9324282628818266
      }
    },
    {
      "epoch": 12,
      "loss": 0.42359211432690524,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8528231978416443,
        "family_head_top1": 0.9278000593185425,
        "visual_family_top1": 0.9358222770749769
      }
    },
    {
      "epoch": 13,
      "loss": 0.4136106882776533,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8522061109542847,
        "family_head_top1": 0.9287257194519043,
        "visual_family_top1": 0.9342795433508176
      }
    },
    {
      "epoch": 14,
      "loss": 0.4108709236797021,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8534402847290039,
        "family_head_top1": 0.931502640247345,
        "visual_family_top1": 0.9382906510336316
      }
    },
    {
      "epoch": 15,
      "loss": 0.38455477478552835,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8518975377082825,
        "family_head_top1": 0.9330453276634216,
        "visual_family_top1": 0.9352051835853131
      }
    },
    {
      "epoch": 16,
      "loss": 0.3846216317342252,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8537488579750061,
        "family_head_top1": 0.9339709877967834,
        "visual_family_top1": 0.937365010799136
      }
    }
  ],
  "checkpoint": "formula_adapter.pt",
  "checkpoint_bytes": 92162,
  "track": "R_noncommercial_only",
  "product_validation": false,
  "distillation_allowed": false
}