{
  "experiment": "R-MATH-INK-06-FORMULA-ADAPTER-001",
  "generated_at": "2026-07-23T21:07:54.418028+00:00",
  "seed": 17,
  "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.5489046573638916,
    "family_head_top1": 0.607528567314148,
    "visual_family_top1": 0.6291268127121259
  },
  "selected_epoch": 14,
  "selected_validation": {
    "samples": 3241,
    "exact_top1": 0.8290650844573975,
    "family_head_top1": 0.931502640247345,
    "visual_family_top1": 0.9302684356680037
  },
  "official_test": {
    "samples": 5921,
    "exact_top1": 0.8113494515419006,
    "family_head_top1": 0.880256712436676,
    "visual_family_top1": 0.8809322749535552
  },
  "official_test_skipped": false,
  "history": [
    {
      "epoch": 1,
      "loss": 1.4087682196072169,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.6960814595222473,
        "family_head_top1": 0.8003702759742737,
        "visual_family_top1": 0.8117864856525764
      }
    },
    {
      "epoch": 2,
      "loss": 0.9927104310113557,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7294045090675354,
        "family_head_top1": 0.8435667753219604,
        "visual_family_top1": 0.8636223387843258
      }
    },
    {
      "epoch": 3,
      "loss": 0.870262260339698,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7488429546356201,
        "family_head_top1": 0.8704103827476501,
        "visual_family_top1": 0.8756556618327677
      }
    },
    {
      "epoch": 4,
      "loss": 0.7446754088207167,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.773526668548584,
        "family_head_top1": 0.8842949867248535,
        "visual_family_top1": 0.8944770132675101
      }
    },
    {
      "epoch": 5,
      "loss": 0.6735653883340408,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.7784634232521057,
        "family_head_top1": 0.9003394246101379,
        "visual_family_top1": 0.908053070040111
      }
    },
    {
      "epoch": 6,
      "loss": 0.5923128091559118,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.791422426700592,
        "family_head_top1": 0.9065103530883789,
        "visual_family_top1": 0.9139154581919161
      }
    },
    {
      "epoch": 7,
      "loss": 0.5416236027162902,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.795433521270752,
        "family_head_top1": 0.9129897952079773,
        "visual_family_top1": 0.910212897253934
      }
    },
    {
      "epoch": 8,
      "loss": 0.5023860353596357,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8093181252479553,
        "family_head_top1": 0.9182351231575012,
        "visual_family_top1": 0.9194692995988892
      }
    },
    {
      "epoch": 9,
      "loss": 0.4808114529872427,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8127121329307556,
        "family_head_top1": 0.917926549911499,
        "visual_family_top1": 0.9216291268127121
      }
    },
    {
      "epoch": 10,
      "loss": 0.45815988706082716,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8173403143882751,
        "family_head_top1": 0.9244060516357422,
        "visual_family_top1": 0.9213205800678803
      }
    },
    {
      "epoch": 11,
      "loss": 0.434234369774254,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8213514089584351,
        "family_head_top1": 0.9265658855438232,
        "visual_family_top1": 0.9244060475161987
      }
    },
    {
      "epoch": 12,
      "loss": 0.41754808657023373,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8244369029998779,
        "family_head_top1": 0.9268743991851807,
        "visual_family_top1": 0.923788954026535
      }
    },
    {
      "epoch": 13,
      "loss": 0.40670519945572836,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8241283297538757,
        "family_head_top1": 0.92409747838974,
        "visual_family_top1": 0.9222462203023758
      }
    },
    {
      "epoch": 14,
      "loss": 0.3943827273894329,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8290650844573975,
        "family_head_top1": 0.931502640247345,
        "visual_family_top1": 0.9302684356680037
      }
    },
    {
      "epoch": 15,
      "loss": 0.38740119520498784,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8278309106826782,
        "family_head_top1": 0.9296513199806213,
        "visual_family_top1": 0.9302684356680037
      }
    },
    {
      "epoch": 16,
      "loss": 0.37666105190101934,
      "validation": {
        "samples": 3241,
        "exact_top1": 0.8302993178367615,
        "family_head_top1": 0.9278000593185425,
        "visual_family_top1": 0.9274915149645171
      }
    }
  ],
  "checkpoint": "formula_adapter.pt",
  "checkpoint_bytes": 92162,
  "track": "R_noncommercial_only",
  "product_validation": false,
  "distillation_allowed": false
}