{
  "experiment": "R-MATH-INK-06-FORMULA-ADAPTER-001",
  "generated_at": "2026-07-23T21:12:27.630518+00:00",
  "seed": 47,
  "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.5646405220031738,
    "family_head_top1": 0.6093798279762268,
    "visual_family_top1": 0.6430114162295588
  },
  "selected_epoch": 16,
  "selected_validation": {
    "samples": 3241,
    "exact_top1": 0.8728787302970886,
    "family_head_top1": 0.9348966479301453,
    "visual_family_top1": 0.9315026226473311
  },
  "official_test": {
    "samples": 5921,
    "exact_top1": 0.8351629972457886,
    "family_head_top1": 0.8816078305244446,
    "visual_family_top1": 0.8802567133930079
  },
  "official_test_skipped": false,
  "history": [
    {
      "epoch": 1,
      "loss": 1.351943042813515,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.6868250370025635,
        "family_head_top1": 0.7889540195465088,
        "visual_family_top1": 0.8114779389077446
      }
    },
    {
      "epoch": 2,
      "loss": 0.9095250976328947,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7488429546356201,
        "family_head_top1": 0.8642394542694092,
        "visual_family_top1": 0.8802838630052453
      }
    },
    {
      "epoch": 3,
      "loss": 0.7641888577110914,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.790188193321228,
        "family_head_top1": 0.8947855830192566,
        "visual_family_top1": 0.9058932428262881
      }
    },
    {
      "epoch": 4,
      "loss": 0.6510059152330671,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7991360425949097,
        "family_head_top1": 0.9068188667297363,
        "visual_family_top1": 0.9163838321505708
      }
    },
    {
      "epoch": 5,
      "loss": 0.5757968784595022,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8198087215423584,
        "family_head_top1": 0.9120641946792603,
        "visual_family_top1": 0.9203949398333847
      }
    },
    {
      "epoch": 6,
      "loss": 0.5340398185107172,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8296821713447571,
        "family_head_top1": 0.9210120439529419,
        "visual_family_top1": 0.9207034865782165
      }
    },
    {
      "epoch": 7,
      "loss": 0.48838041144974376,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8333847522735596,
        "family_head_top1": 0.9176180362701416,
        "visual_family_top1": 0.91792656587473
      }
    },
    {
      "epoch": 8,
      "loss": 0.45159442144997264,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8528231978416443,
        "family_head_top1": 0.9274914860725403,
        "visual_family_top1": 0.9262573279851898
      }
    },
    {
      "epoch": 9,
      "loss": 0.4143643750219929,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.857759952545166,
        "family_head_top1": 0.926257312297821,
        "visual_family_top1": 0.9240975007713669
      }
    },
    {
      "epoch": 10,
      "loss": 0.3901189827189154,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8611539602279663,
        "family_head_top1": 0.9293428063392639,
        "visual_family_top1": 0.9293427954335082
      }
    },
    {
      "epoch": 11,
      "loss": 0.403350510767528,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8617710471153259,
        "family_head_top1": 0.9311940670013428,
        "visual_family_top1": 0.9302684356680037
      }
    },
    {
      "epoch": 12,
      "loss": 0.3805522480789496,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8667078018188477,
        "family_head_top1": 0.9318111538887024,
        "visual_family_top1": 0.9293427954335082
      }
    },
    {
      "epoch": 13,
      "loss": 0.37446980147945635,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.870101809501648,
        "family_head_top1": 0.9321197271347046,
        "visual_family_top1": 0.9352051835853131
      }
    },
    {
      "epoch": 14,
      "loss": 0.3581130741810312,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8716445565223694,
        "family_head_top1": 0.933662474155426,
        "visual_family_top1": 0.9324282628818266
      }
    },
    {
      "epoch": 15,
      "loss": 0.34867141137317736,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.872261643409729,
        "family_head_top1": 0.931502640247345,
        "visual_family_top1": 0.9308855291576674
      }
    },
    {
      "epoch": 16,
      "loss": 0.339629308909786,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8728787302970886,
        "family_head_top1": 0.9348966479301453,
        "visual_family_top1": 0.9315026226473311
      }
    }
  ],
  "checkpoint": "formula_adapter.pt",
  "checkpoint_bytes": 92162,
  "track": "R_noncommercial_only",
  "product_validation": false,
  "distillation_allowed": false
}