summaryrefslogtreecommitdiff
path: root/research/flossing/step3_B_rf_18228.json
diff options
context:
space:
mode:
authorYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
committerYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
commit66e0d8b9fd4d0f7a2231d689c055e26fdf1cf04a (patch)
treec29cba61124018755a19b02c9d33e3ad5f2e05cc /research/flossing/step3_B_rf_18228.json
rrm workspace: TRM/HRM/SRM code, Maze dataset, dynamical-analysis pipelineHEADmain
Curated export for clone-and-run Maze training (2x A6000) + diagnostics. trm/hrm pretrain.py carry trajectory-augmentation code (backward-compatible). Heavy artifacts (checkpoints/wandb/npz) gitignored; see PROVENANCE.md. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Diffstat (limited to 'research/flossing/step3_B_rf_18228.json')
-rw-r--r--research/flossing/step3_B_rf_18228.json4561
1 files changed, 4561 insertions, 0 deletions
diff --git a/research/flossing/step3_B_rf_18228.json b/research/flossing/step3_B_rf_18228.json
new file mode 100644
index 0000000..50fc784
--- /dev/null
+++ b/research/flossing/step3_B_rf_18228.json
@@ -0,0 +1,4561 @@
+{
+ "args": {
+ "ckpt_root": "/home/yurenh2/rrm/hrm/checkpoints/Sudoku-extreme-1k-aug-1000 ACT-torch/HierarchicalReasoningModel_ACTV1 righteous-python",
+ "ckpt_name": "step_18228",
+ "n_steps": 500,
+ "batch_size": 8,
+ "lr": 1e-05,
+ "alpha_rf": 10.0,
+ "lambda_star": -0.15,
+ "k_lyap": 2,
+ "lyap_act_steps": 4,
+ "seed": 42,
+ "eval_every": 100,
+ "eval_n": 512,
+ "eval_batch_size": 32,
+ "out": "/home/yurenh2/rrm/research/flossing/step3_B_rf_18228.json"
+ },
+ "initial_acc": 0.484375,
+ "initial_tok_acc": 0.8186487268518519,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.7508060901428,
+ "rf_loss": 0.00021075479162391275,
+ "total_loss": 0.7529136379717276,
+ "lyap1_mean": -0.17879289388656616,
+ "lyap1_max": -0.10999822616577148,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.6313270289959033,
+ "rf_loss": 0.0015089914668351412,
+ "total_loss": 0.6464169431985934,
+ "lyap1_mean": -0.15036456286907196,
+ "lyap1_max": -0.06835010647773743,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.8677863795017241,
+ "rf_loss": 0.0020550922490656376,
+ "total_loss": 0.8883373010610579,
+ "lyap1_mean": -0.13880003988742828,
+ "lyap1_max": -0.06893596053123474,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.6614314571272703,
+ "rf_loss": 0.00022503154468722641,
+ "total_loss": 0.6636817725159349,
+ "lyap1_mean": -0.18719303607940674,
+ "lyap1_max": -0.11245014518499374,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.7324912379513282,
+ "rf_loss": 0.0004343110485933721,
+ "total_loss": 0.7368343485536772,
+ "lyap1_mean": -0.17063650488853455,
+ "lyap1_max": -0.09105521440505981,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.7498855904937439,
+ "rf_loss": 0.00026822497602552176,
+ "total_loss": 0.7525678402539991,
+ "lyap1_mean": -0.1837311089038849,
+ "lyap1_max": -0.10367722809314728,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.9389711349385877,
+ "rf_loss": 0.0003551156260073185,
+ "total_loss": 0.9425222911986609,
+ "lyap1_mean": -0.16515271365642548,
+ "lyap1_max": -0.09669967740774155,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.7770518447083892,
+ "rf_loss": 2.062265593849588e-06,
+ "total_loss": 0.7770724673643277,
+ "lyap1_mean": -0.19857913255691528,
+ "lyap1_max": -0.1459382176399231,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.8874790297072154,
+ "rf_loss": 1.0768594194132675e-07,
+ "total_loss": 0.8874801065666774,
+ "lyap1_mean": -0.18781206011772156,
+ "lyap1_max": -0.1490718424320221,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.9605515987220423,
+ "rf_loss": 0.0,
+ "total_loss": 0.9605515987220423,
+ "lyap1_mean": -0.21583685278892517,
+ "lyap1_max": -0.15030433237552643,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.8892280623517091,
+ "rf_loss": 0.0006263169343583286,
+ "total_loss": 0.8954912318117078,
+ "lyap1_mean": -0.16918157041072845,
+ "lyap1_max": -0.0820050984621048,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.8161604317602361,
+ "rf_loss": 0.0001342804462183267,
+ "total_loss": 0.8175032361642117,
+ "lyap1_mean": -0.17650240659713745,
+ "lyap1_max": -0.11722435057163239,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.860247240195432,
+ "rf_loss": 0.0,
+ "total_loss": 0.860247240195432,
+ "lyap1_mean": -0.19002148509025574,
+ "lyap1_max": -0.15038849413394928,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.9169793540269555,
+ "rf_loss": 1.8691081038468838e-07,
+ "total_loss": 0.9169812231350878,
+ "lyap1_mean": -0.189210444688797,
+ "lyap1_max": -0.14877718687057495,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.7474354806124384,
+ "rf_loss": 0.0,
+ "total_loss": 0.7474354806124384,
+ "lyap1_mean": -0.22437916696071625,
+ "lyap1_max": -0.1626141369342804,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.8242308429240436,
+ "rf_loss": 0.0,
+ "total_loss": 0.8242308429240436,
+ "lyap1_mean": -0.21366703510284424,
+ "lyap1_max": -0.1871986985206604,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.8305024008963646,
+ "rf_loss": 0.0,
+ "total_loss": 0.8305024008963646,
+ "lyap1_mean": -0.211142435669899,
+ "lyap1_max": -0.16120950877666473,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.9089745093636027,
+ "rf_loss": 0.0,
+ "total_loss": 0.9089745093636027,
+ "lyap1_mean": -0.19812920689582825,
+ "lyap1_max": -0.15711064636707306,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.7567440360300987,
+ "rf_loss": 0.0,
+ "total_loss": 0.7567440360300987,
+ "lyap1_mean": -0.20823132991790771,
+ "lyap1_max": -0.15910446643829346,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.8131143644795218,
+ "rf_loss": 9.735481398820411e-06,
+ "total_loss": 0.813211719295329,
+ "lyap1_mean": -0.21172094345092773,
+ "lyap1_max": -0.1411748230457306,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.7700599909376243,
+ "rf_loss": 0.0,
+ "total_loss": 0.7700599909376243,
+ "lyap1_mean": -0.21384289860725403,
+ "lyap1_max": -0.18462690711021423,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.6867623122578674,
+ "rf_loss": 0.0,
+ "total_loss": 0.6867623122578674,
+ "lyap1_mean": -0.20473505556583405,
+ "lyap1_max": -0.155706524848938,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.7012767261211409,
+ "rf_loss": 0.0,
+ "total_loss": 0.7012767261211409,
+ "lyap1_mean": -0.23146645724773407,
+ "lyap1_max": -0.18753477931022644,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.8543464709130708,
+ "rf_loss": 0.0,
+ "total_loss": 0.8543464709130708,
+ "lyap1_mean": -0.20065811276435852,
+ "lyap1_max": -0.1575784981250763,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.7982913510329936,
+ "rf_loss": 0.0,
+ "total_loss": 0.7982913510329936,
+ "lyap1_mean": -0.20161795616149902,
+ "lyap1_max": -0.15015408396720886,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.9501127644722986,
+ "rf_loss": 3.253575414419174e-05,
+ "total_loss": 0.9504381220137406,
+ "lyap1_mean": -0.18222860991954803,
+ "lyap1_max": -0.13386662304401398,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 26,
+ "sup_loss": 1.0007571940100681,
+ "rf_loss": 0.0,
+ "total_loss": 1.0007571940100681,
+ "lyap1_mean": -0.20195962488651276,
+ "lyap1_max": -0.17919102311134338,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.7225263594511581,
+ "rf_loss": 0.00010763570753624663,
+ "total_loss": 0.7236027165410724,
+ "lyap1_mean": -0.236322283744812,
+ "lyap1_max": -0.12065574526786804,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.9244322400467195,
+ "rf_loss": 0.0,
+ "total_loss": 0.9244322400467195,
+ "lyap1_mean": -0.21236687898635864,
+ "lyap1_max": -0.1678600311279297,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.9635819740442069,
+ "rf_loss": 1.4865647244732827e-05,
+ "total_loss": 0.9637306305166542,
+ "lyap1_mean": -0.20481927692890167,
+ "lyap1_max": -0.14140556752681732,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.8115398379904745,
+ "rf_loss": 8.058893581619486e-05,
+ "total_loss": 0.8123457273631883,
+ "lyap1_mean": -0.19439297914505005,
+ "lyap1_max": -0.1246088370680809,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.7549971619621862,
+ "rf_loss": 1.985393464565277e-05,
+ "total_loss": 0.7551957013086428,
+ "lyap1_mean": -0.19373714923858643,
+ "lyap1_max": -0.1373971700668335,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.7585333115588444,
+ "rf_loss": 0.0,
+ "total_loss": 0.7585333115588444,
+ "lyap1_mean": -0.20703190565109253,
+ "lyap1_max": -0.1605701446533203,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.7223651778300584,
+ "rf_loss": 0.0,
+ "total_loss": 0.7223651778300584,
+ "lyap1_mean": -0.2008037269115448,
+ "lyap1_max": -0.1621612310409546,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.8757729620765485,
+ "rf_loss": 0.0,
+ "total_loss": 0.8757729620765485,
+ "lyap1_mean": -0.20423024892807007,
+ "lyap1_max": -0.16799364984035492,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.6685912202586956,
+ "rf_loss": 0.0,
+ "total_loss": 0.6685912202586956,
+ "lyap1_mean": -0.22274911403656006,
+ "lyap1_max": -0.17416054010391235,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.7429092079400234,
+ "rf_loss": 0.0,
+ "total_loss": 0.7429092079400234,
+ "lyap1_mean": -0.20963817834854126,
+ "lyap1_max": -0.17721208930015564,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.9409291011291134,
+ "rf_loss": 0.0,
+ "total_loss": 0.9409291011291134,
+ "lyap1_mean": -0.20674945414066315,
+ "lyap1_max": -0.1569223254919052,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.6565014580013577,
+ "rf_loss": 2.489964799679001e-06,
+ "total_loss": 0.6565263576488998,
+ "lyap1_mean": -0.2220497727394104,
+ "lyap1_max": -0.1455368548631668,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.8922150473250664,
+ "rf_loss": 1.0158562872675247e-05,
+ "total_loss": 0.8923166329501552,
+ "lyap1_mean": -0.19406211376190186,
+ "lyap1_max": -0.14098510146141052,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.9315593548929509,
+ "rf_loss": 0.0,
+ "total_loss": 0.9315593548929509,
+ "lyap1_mean": -0.19897860288619995,
+ "lyap1_max": -0.1619749814271927,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.6549053506725973,
+ "rf_loss": 0.0,
+ "total_loss": 0.6549053506725973,
+ "lyap1_mean": -0.23009920120239258,
+ "lyap1_max": -0.17344486713409424,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.8446571705545843,
+ "rf_loss": 7.708839984843507e-05,
+ "total_loss": 0.8454280545385168,
+ "lyap1_mean": -0.22887226939201355,
+ "lyap1_max": -0.1251664161682129,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.7978495262875692,
+ "rf_loss": 8.556807188142557e-06,
+ "total_loss": 0.7979350943576317,
+ "lyap1_mean": -0.21813568472862244,
+ "lyap1_max": -0.1417262852191925,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.8686214288985549,
+ "rf_loss": 0.0,
+ "total_loss": 0.8686214288985549,
+ "lyap1_mean": -0.2129693627357483,
+ "lyap1_max": -0.17579737305641174,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.8132167509677085,
+ "rf_loss": 0.0,
+ "total_loss": 0.8132167509677085,
+ "lyap1_mean": -0.22207126021385193,
+ "lyap1_max": -0.1649608016014099,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.7903189343752828,
+ "rf_loss": 0.0,
+ "total_loss": 0.7903189343752828,
+ "lyap1_mean": -0.21174019575119019,
+ "lyap1_max": -0.166562020778656,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.7419429377874578,
+ "rf_loss": 0.0,
+ "total_loss": 0.7419429377874578,
+ "lyap1_mean": -0.23680292069911957,
+ "lyap1_max": -0.20203536748886108,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.7887734675812949,
+ "rf_loss": 0.0,
+ "total_loss": 0.7887734675812949,
+ "lyap1_mean": -0.23165279626846313,
+ "lyap1_max": -0.1885381042957306,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.7822982832757907,
+ "rf_loss": 0.0,
+ "total_loss": 0.7822982832757907,
+ "lyap1_mean": -0.21202053129673004,
+ "lyap1_max": -0.15464264154434204,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.8858533279573907,
+ "rf_loss": 0.0,
+ "total_loss": 0.8858533279573907,
+ "lyap1_mean": -0.21330231428146362,
+ "lyap1_max": -0.18782441318035126,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.9682475676853715,
+ "rf_loss": 0.0005936368252150714,
+ "total_loss": 0.9741839360539375,
+ "lyap1_mean": -0.20091179013252258,
+ "lyap1_max": -0.08108633011579514,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.6120725134895257,
+ "rf_loss": 0.0,
+ "total_loss": 0.6120725134895257,
+ "lyap1_mean": -0.24950754642486572,
+ "lyap1_max": -0.17054080963134766,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.838727980267334,
+ "rf_loss": 0.0009985771030187607,
+ "total_loss": 0.8487137512975216,
+ "lyap1_mean": -0.19762137532234192,
+ "lyap1_max": -0.06062094122171402,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.7980177063133882,
+ "rf_loss": 0.0,
+ "total_loss": 0.7980177063133882,
+ "lyap1_mean": -0.21055138111114502,
+ "lyap1_max": -0.17344693839550018,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.760451888456463,
+ "rf_loss": 1.9307319689687574e-06,
+ "total_loss": 0.760471195775698,
+ "lyap1_mean": -0.20616844296455383,
+ "lyap1_max": -0.14606988430023193,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.8989041036241472,
+ "rf_loss": 0.0,
+ "total_loss": 0.8989041036241472,
+ "lyap1_mean": -0.21660096943378448,
+ "lyap1_max": -0.15153926610946655,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.9640728638375451,
+ "rf_loss": 0.0,
+ "total_loss": 0.9640728638375451,
+ "lyap1_mean": -0.22230727970600128,
+ "lyap1_max": -0.1693459004163742,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.8860074687243973,
+ "rf_loss": 0.0,
+ "total_loss": 0.8860074687243973,
+ "lyap1_mean": -0.2039215862751007,
+ "lyap1_max": -0.16490083932876587,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.6124422164803395,
+ "rf_loss": 0.0,
+ "total_loss": 0.6124422164803395,
+ "lyap1_mean": -0.23052476346492767,
+ "lyap1_max": -0.17498508095741272,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.7818707397100603,
+ "rf_loss": 0.0,
+ "total_loss": 0.7818707397100603,
+ "lyap1_mean": -0.22665704786777496,
+ "lyap1_max": -0.16879135370254517,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.9287593639365335,
+ "rf_loss": 0.0002956146781798452,
+ "total_loss": 0.9317155107765396,
+ "lyap1_mean": -0.20385697484016418,
+ "lyap1_max": -0.10136958956718445,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.8358600662425588,
+ "rf_loss": 0.0020010340958833694,
+ "total_loss": 0.8558704072013925,
+ "lyap1_mean": -0.1876431107521057,
+ "lyap1_max": -0.03318484127521515,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.8414368694619494,
+ "rf_loss": 0.0,
+ "total_loss": 0.8414368694619494,
+ "lyap1_mean": -0.19192299246788025,
+ "lyap1_max": -0.15412381291389465,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.864909420077418,
+ "rf_loss": 0.0,
+ "total_loss": 0.864909420077418,
+ "lyap1_mean": -0.2012622356414795,
+ "lyap1_max": -0.15105140209197998,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.8245016856576076,
+ "rf_loss": 0.0,
+ "total_loss": 0.8245016856576076,
+ "lyap1_mean": -0.21197795867919922,
+ "lyap1_max": -0.1656683385372162,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.5704273265226429,
+ "rf_loss": 0.0,
+ "total_loss": 0.5704273265226429,
+ "lyap1_mean": -0.2207062542438507,
+ "lyap1_max": -0.16720667481422424,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.8425944082415523,
+ "rf_loss": 0.0,
+ "total_loss": 0.8425944082415523,
+ "lyap1_mean": -0.2028975635766983,
+ "lyap1_max": -0.1715494692325592,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.7454055264885027,
+ "rf_loss": 0.0,
+ "total_loss": 0.7454055264885027,
+ "lyap1_mean": -0.2255433201789856,
+ "lyap1_max": -0.18402689695358276,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.9134409669685354,
+ "rf_loss": 1.6219060228195303e-07,
+ "total_loss": 0.9134425888745298,
+ "lyap1_mean": -0.18551680445671082,
+ "lyap1_max": -0.14886091649532318,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.8333301947942751,
+ "rf_loss": 2.6557429009699263e-05,
+ "total_loss": 0.8335957690807341,
+ "lyap1_mean": -0.18629619479179382,
+ "lyap1_max": -0.13542401790618896,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.9087434300484821,
+ "rf_loss": 0.0,
+ "total_loss": 0.9087434300484821,
+ "lyap1_mean": -0.2129199057817459,
+ "lyap1_max": -0.16268986463546753,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.6479812081954265,
+ "rf_loss": 0.0,
+ "total_loss": 0.6479812081954265,
+ "lyap1_mean": -0.23116402328014374,
+ "lyap1_max": -0.1810903251171112,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.8415516951867515,
+ "rf_loss": 0.00013367831707000732,
+ "total_loss": 0.8428884783574516,
+ "lyap1_mean": -0.21535351872444153,
+ "lyap1_max": -0.11822807788848877,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.9613791469119347,
+ "rf_loss": 1.3347867025004234e-05,
+ "total_loss": 0.9615126255767278,
+ "lyap1_mean": -0.18106570839881897,
+ "lyap1_max": -0.13966642320156097,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.7302622251570975,
+ "rf_loss": 0.0006766467122361064,
+ "total_loss": 0.7370286925122892,
+ "lyap1_mean": -0.2102433443069458,
+ "lyap1_max": -0.07642573118209839,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.7435718923370862,
+ "rf_loss": 0.0,
+ "total_loss": 0.7435718923370862,
+ "lyap1_mean": -0.2068042904138565,
+ "lyap1_max": -0.1821679174900055,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.8831726613203235,
+ "rf_loss": 0.0,
+ "total_loss": 0.8831726613203235,
+ "lyap1_mean": -0.21535439789295197,
+ "lyap1_max": -0.15284350514411926,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.9095269529488166,
+ "rf_loss": 1.6386422885261709e-06,
+ "total_loss": 0.9095433393712471,
+ "lyap1_mean": -0.19629350304603577,
+ "lyap1_max": -0.14637935161590576,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.8132743536434394,
+ "rf_loss": 0.0,
+ "total_loss": 0.8132743536434394,
+ "lyap1_mean": -0.19861343502998352,
+ "lyap1_max": -0.16159002482891083,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.7613920932954754,
+ "rf_loss": 0.0006625066162087023,
+ "total_loss": 0.7680171593411471,
+ "lyap1_mean": -0.20392704010009766,
+ "lyap1_max": -0.07719854265451431,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.8730645107779538,
+ "rf_loss": 0.0003792511997744441,
+ "total_loss": 0.8768570227756982,
+ "lyap1_mean": -0.17611663043498993,
+ "lyap1_max": -0.0949181616306305,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.5784105133862707,
+ "rf_loss": 0.0,
+ "total_loss": 0.5784105133862707,
+ "lyap1_mean": -0.2311176061630249,
+ "lyap1_max": -0.17435765266418457,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.7890884974722434,
+ "rf_loss": 3.727054354385473e-05,
+ "total_loss": 0.789461202900406,
+ "lyap1_mean": -0.20353539288043976,
+ "lyap1_max": -0.1327325701713562,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.8182245378507776,
+ "rf_loss": 0.0,
+ "total_loss": 0.8182245378507776,
+ "lyap1_mean": -0.19572749733924866,
+ "lyap1_max": -0.17711716890335083,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.8690770958149122,
+ "rf_loss": 0.0018690776778385043,
+ "total_loss": 0.8877678718948053,
+ "lyap1_mean": -0.1518360674381256,
+ "lyap1_max": -0.038654785603284836,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.8890908283494614,
+ "rf_loss": 0.0005617403076030314,
+ "total_loss": 0.8947082313090764,
+ "lyap1_mean": -0.1860470175743103,
+ "lyap1_max": -0.08296328037977219,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.8991122366354901,
+ "rf_loss": 4.939216978527838e-06,
+ "total_loss": 0.8991616288043659,
+ "lyap1_mean": -0.19242140650749207,
+ "lyap1_max": -0.14371401071548462,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 88,
+ "sup_loss": 1.0279408838826303,
+ "rf_loss": 0.003821824910119176,
+ "total_loss": 1.0661591325181607,
+ "lyap1_mean": -0.13858899474143982,
+ "lyap1_max": -0.027267228811979294,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 89,
+ "sup_loss": 1.1511874702215925,
+ "rf_loss": 0.0045876228250563145,
+ "total_loss": 1.197063697540833,
+ "lyap1_mean": -0.13252559304237366,
+ "lyap1_max": 0.02615860104560852,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 90,
+ "sup_loss": 1.0038803425571874,
+ "rf_loss": 0.006343713961541653,
+ "total_loss": 1.067317484035249,
+ "lyap1_mean": -0.11171355843544006,
+ "lyap1_max": 0.04574064537882805,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.9977794688511129,
+ "rf_loss": 0.005276388954371214,
+ "total_loss": 1.0505433593261477,
+ "lyap1_mean": -0.1393119990825653,
+ "lyap1_max": 0.029161198064684868,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 92,
+ "sup_loss": 1.2065174719727239,
+ "rf_loss": 0.0007134751067496836,
+ "total_loss": 1.2136522229238054,
+ "lyap1_mean": -0.1394445300102234,
+ "lyap1_max": -0.08770012855529785,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 93,
+ "sup_loss": 1.203117876697875,
+ "rf_loss": 0.000503944291267544,
+ "total_loss": 1.208157319494135,
+ "lyap1_mean": -0.1393178254365921,
+ "lyap1_max": -0.10214366018772125,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 94,
+ "sup_loss": 1.129968558296796,
+ "rf_loss": 0.0021210515405982733,
+ "total_loss": 1.15117907416844,
+ "lyap1_mean": -0.1353681981563568,
+ "lyap1_max": -0.04056501016020775,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 95,
+ "sup_loss": 1.31771422807501,
+ "rf_loss": 0.005575350020080805,
+ "total_loss": 1.3734677273444955,
+ "lyap1_mean": -0.11177872866392136,
+ "lyap1_max": -0.02475830912590027,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 96,
+ "sup_loss": 1.3628187628237305,
+ "rf_loss": 0.0015798882814124227,
+ "total_loss": 1.3786176463363466,
+ "lyap1_mean": -0.13196201622486115,
+ "lyap1_max": -0.07335907965898514,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 97,
+ "sup_loss": 1.1434067636476024,
+ "rf_loss": 0.0012824274599552155,
+ "total_loss": 1.1562310382471546,
+ "lyap1_mean": -0.12072840332984924,
+ "lyap1_max": -0.08387290686368942,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 98,
+ "sup_loss": 1.3186299057651836,
+ "rf_loss": 0.00386671326123178,
+ "total_loss": 1.3572970369805175,
+ "lyap1_mean": -0.1022302508354187,
+ "lyap1_max": -0.0473393015563488,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 99,
+ "sup_loss": 1.2294786403084301,
+ "rf_loss": 0.00462336465716362,
+ "total_loss": 1.2757122868800663,
+ "lyap1_mean": -0.10444644093513489,
+ "lyap1_max": -0.020261472091078758,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 100,
+ "sup_loss": 1.2646185275204789,
+ "rf_loss": 0.009135773405432701,
+ "total_loss": 1.3559762653000962,
+ "lyap1_mean": -0.08986005187034607,
+ "lyap1_max": 0.007532480638474226,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 101,
+ "sup_loss": 1.2855340230717915,
+ "rf_loss": 0.0036539118736982346,
+ "total_loss": 1.3220731418087739,
+ "lyap1_mean": -0.10128743201494217,
+ "lyap1_max": -0.056475844234228134,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 102,
+ "sup_loss": 1.212927194263435,
+ "rf_loss": 0.002604114357382059,
+ "total_loss": 1.238968336905933,
+ "lyap1_mean": -0.11563968658447266,
+ "lyap1_max": -0.022340595722198486,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 103,
+ "sup_loss": 1.44846695670567,
+ "rf_loss": 0.0014155625831335783,
+ "total_loss": 1.4626225830026671,
+ "lyap1_mean": -0.13513077795505524,
+ "lyap1_max": -0.06883890926837921,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 104,
+ "sup_loss": 1.3169307290658803,
+ "rf_loss": 0.0010820147581398487,
+ "total_loss": 1.3277508766472788,
+ "lyap1_mean": -0.13757917284965515,
+ "lyap1_max": -0.07830372452735901,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 105,
+ "sup_loss": 1.326717604817205,
+ "rf_loss": 0.003472747281193733,
+ "total_loss": 1.3614450776291422,
+ "lyap1_mean": -0.11521151661872864,
+ "lyap1_max": -0.017874237149953842,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 106,
+ "sup_loss": 1.1980319546541724,
+ "rf_loss": 0.0007132092723622918,
+ "total_loss": 1.2051640471449647,
+ "lyap1_mean": -0.14871567487716675,
+ "lyap1_max": -0.10575065016746521,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 107,
+ "sup_loss": 1.2078323725678952,
+ "rf_loss": 0.006913360208272934,
+ "total_loss": 1.2769659746506246,
+ "lyap1_mean": -0.11169837415218353,
+ "lyap1_max": 0.05894207954406738,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 108,
+ "sup_loss": 1.3912690012998392,
+ "rf_loss": 0.004890113137662411,
+ "total_loss": 1.4401701345391085,
+ "lyap1_mean": -0.09773051738739014,
+ "lyap1_max": -0.01973145268857479,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 109,
+ "sup_loss": 1.1173590206919364,
+ "rf_loss": 0.0017577368998900056,
+ "total_loss": 1.1349363894580058,
+ "lyap1_mean": -0.13133473694324493,
+ "lyap1_max": -0.06628146022558212,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 110,
+ "sup_loss": 1.2934466120460721,
+ "rf_loss": 0.004072095733135939,
+ "total_loss": 1.334167570308754,
+ "lyap1_mean": -0.10881076753139496,
+ "lyap1_max": -0.029020613059401512,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 111,
+ "sup_loss": 1.168633331783341,
+ "rf_loss": 0.001518632867373526,
+ "total_loss": 1.1838196602242457,
+ "lyap1_mean": -0.1319059133529663,
+ "lyap1_max": -0.06426991522312164,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 112,
+ "sup_loss": 1.2616097187308661,
+ "rf_loss": 0.0030822500120848417,
+ "total_loss": 1.2924322193173758,
+ "lyap1_mean": -0.1410858929157257,
+ "lyap1_max": -0.0036665587686002254,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 113,
+ "sup_loss": 1.305682524838312,
+ "rf_loss": 8.84111286723055e-05,
+ "total_loss": 1.306566636110483,
+ "lyap1_mean": -0.1587303876876831,
+ "lyap1_max": -0.1303606480360031,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 114,
+ "sup_loss": 1.2670569171466792,
+ "rf_loss": 0.0004816079745069146,
+ "total_loss": 1.2718729966589177,
+ "lyap1_mean": -0.1558031141757965,
+ "lyap1_max": -0.10102470219135284,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 115,
+ "sup_loss": 1.287882286921464,
+ "rf_loss": 0.002934564370661974,
+ "total_loss": 1.317227929696761,
+ "lyap1_mean": -0.1332460194826126,
+ "lyap1_max": -0.01748255454003811,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 116,
+ "sup_loss": 1.2999099396844769,
+ "rf_loss": 0.003611024236306548,
+ "total_loss": 1.3360201806505585,
+ "lyap1_mean": -0.1010834276676178,
+ "lyap1_max": -0.029749099165201187,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 117,
+ "sup_loss": 1.3234411412296385,
+ "rf_loss": 0.0015367311425507069,
+ "total_loss": 1.3388084526551456,
+ "lyap1_mean": -0.12785020470619202,
+ "lyap1_max": -0.08352948725223541,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 118,
+ "sup_loss": 1.3296418903225848,
+ "rf_loss": 0.0020256727002561092,
+ "total_loss": 1.3498986182564685,
+ "lyap1_mean": -0.12227994203567505,
+ "lyap1_max": -0.05418842285871506,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 119,
+ "sup_loss": 1.2669597596076123,
+ "rf_loss": 0.0004364689812064171,
+ "total_loss": 1.2713244494196765,
+ "lyap1_mean": -0.15738575160503387,
+ "lyap1_max": -0.0927279144525528,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 120,
+ "sup_loss": 1.469235819419169,
+ "rf_loss": 0.0022768087219446898,
+ "total_loss": 1.4920039071042772,
+ "lyap1_mean": -0.1463848501443863,
+ "lyap1_max": -0.021833613514900208,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 121,
+ "sup_loss": 1.378775355219864,
+ "rf_loss": 0.0005059377290308475,
+ "total_loss": 1.3838347325101725,
+ "lyap1_mean": -0.14491263031959534,
+ "lyap1_max": -0.11041784286499023,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 122,
+ "sup_loss": 1.502788880547951,
+ "rf_loss": 0.0008600945584475994,
+ "total_loss": 1.511389826132427,
+ "lyap1_mean": -0.1404602974653244,
+ "lyap1_max": -0.07620670646429062,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 123,
+ "sup_loss": 1.4403419597238123,
+ "rf_loss": 0.0010514026507735252,
+ "total_loss": 1.4508559862315475,
+ "lyap1_mean": -0.1524386703968048,
+ "lyap1_max": -0.08449974656105042,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 124,
+ "sup_loss": 1.648154112619249,
+ "rf_loss": 5.716479063266888e-05,
+ "total_loss": 1.6487257605110237,
+ "lyap1_mean": -0.17722751200199127,
+ "lyap1_max": -0.13042505085468292,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 125,
+ "sup_loss": 1.4031635614920912,
+ "rf_loss": 0.0008690595859661698,
+ "total_loss": 1.4118541571189223,
+ "lyap1_mean": -0.15982785820960999,
+ "lyap1_max": -0.07435552775859833,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 126,
+ "sup_loss": 1.428947808626928,
+ "rf_loss": 0.0014248728984966874,
+ "total_loss": 1.4431965373790643,
+ "lyap1_mean": -0.13529238104820251,
+ "lyap1_max": -0.06441005319356918,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 127,
+ "sup_loss": 1.4792546378917195,
+ "rf_loss": 0.0001452974829589948,
+ "total_loss": 1.4807076127504133,
+ "lyap1_mean": -0.1600414216518402,
+ "lyap1_max": -0.12493669241666794,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 128,
+ "sup_loss": 1.3728400889902899,
+ "rf_loss": 0.0004247439792379737,
+ "total_loss": 1.3770875290155002,
+ "lyap1_mean": -0.14753597974777222,
+ "lyap1_max": -0.0974983274936676,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 129,
+ "sup_loss": 1.232549863045416,
+ "rf_loss": 0.0011757637839764357,
+ "total_loss": 1.2443075013508416,
+ "lyap1_mean": -0.1417410671710968,
+ "lyap1_max": -0.07470390200614929,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 130,
+ "sup_loss": 1.2867811099801405,
+ "rf_loss": 0.0036305186804383993,
+ "total_loss": 1.3230862953875406,
+ "lyap1_mean": -0.14052768051624298,
+ "lyap1_max": -0.019597787410020828,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 131,
+ "sup_loss": 1.2472433869011288,
+ "rf_loss": 0.0009293813491240144,
+ "total_loss": 1.2565372001595383,
+ "lyap1_mean": -0.15169495344161987,
+ "lyap1_max": -0.0832626149058342,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 132,
+ "sup_loss": 1.20815079610961,
+ "rf_loss": 0.000866436050273478,
+ "total_loss": 1.2168151563795142,
+ "lyap1_mean": -0.15749357640743256,
+ "lyap1_max": -0.08601808547973633,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 133,
+ "sup_loss": 1.2479386594464814,
+ "rf_loss": 0.0005155560793355107,
+ "total_loss": 1.2530942200070059,
+ "lyap1_mean": -0.1717800498008728,
+ "lyap1_max": -0.08607213199138641,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 134,
+ "sup_loss": 1.1780466853801579,
+ "rf_loss": 0.0010300546418875456,
+ "total_loss": 1.1883472322646946,
+ "lyap1_mean": -0.1599544882774353,
+ "lyap1_max": -0.07538336515426636,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 135,
+ "sup_loss": 1.1931000570224117,
+ "rf_loss": 0.0004707741318270564,
+ "total_loss": 1.197807798573513,
+ "lyap1_mean": -0.17303811013698578,
+ "lyap1_max": -0.08865563571453094,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 136,
+ "sup_loss": 1.340105702306471,
+ "rf_loss": 0.0016022189520299435,
+ "total_loss": 1.356127892758093,
+ "lyap1_mean": -0.1497240662574768,
+ "lyap1_max": -0.037125371396541595,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 137,
+ "sup_loss": 1.2764303494057843,
+ "rf_loss": 0.00025825281045399606,
+ "total_loss": 1.2790128775685319,
+ "lyap1_mean": -0.15840673446655273,
+ "lyap1_max": -0.10839631408452988,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 138,
+ "sup_loss": 1.2620455575333636,
+ "rf_loss": 0.001563075347803533,
+ "total_loss": 1.2776763112442295,
+ "lyap1_mean": -0.15246129035949707,
+ "lyap1_max": -0.03946991264820099,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 139,
+ "sup_loss": 1.340867785905285,
+ "rf_loss": 0.0022204809356480837,
+ "total_loss": 1.3630725947961047,
+ "lyap1_mean": -0.12970896065235138,
+ "lyap1_max": -0.021675018593668938,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 140,
+ "sup_loss": 1.9893948745177545,
+ "rf_loss": 0.010545002296566963,
+ "total_loss": 2.094844893758134,
+ "lyap1_mean": -0.07233059406280518,
+ "lyap1_max": 0.010673066601157188,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 141,
+ "sup_loss": 2.0674028050700817,
+ "rf_loss": 0.013276170939207077,
+ "total_loss": 2.200164521912733,
+ "lyap1_mean": -0.0733664482831955,
+ "lyap1_max": 0.0772707611322403,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 142,
+ "sup_loss": 1.9350961421083899,
+ "rf_loss": 0.008318867534399033,
+ "total_loss": 2.01828481745238,
+ "lyap1_mean": -0.08255176991224289,
+ "lyap1_max": 0.014021143317222595,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 143,
+ "sup_loss": 1.9898710099499473,
+ "rf_loss": 0.0054420242086052895,
+ "total_loss": 2.0442912501733552,
+ "lyap1_mean": -0.09698959439992905,
+ "lyap1_max": 0.007636984344571829,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 144,
+ "sup_loss": 2.041323156801724,
+ "rf_loss": 0.008186889812350273,
+ "total_loss": 2.123192058650517,
+ "lyap1_mean": -0.08025345206260681,
+ "lyap1_max": 0.032177798449993134,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 145,
+ "sup_loss": 1.9511513687828228,
+ "rf_loss": 0.006769656203687191,
+ "total_loss": 2.01884793268234,
+ "lyap1_mean": -0.11323220282793045,
+ "lyap1_max": 0.0676831603050232,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 146,
+ "sup_loss": 2.239783107373388,
+ "rf_loss": 0.005062229465693235,
+ "total_loss": 2.290405402961643,
+ "lyap1_mean": -0.10664131492376328,
+ "lyap1_max": 0.00427505187690258,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 147,
+ "sup_loss": 2.1401239003140287,
+ "rf_loss": 0.01507627684623003,
+ "total_loss": 2.290886666913684,
+ "lyap1_mean": -0.04798790067434311,
+ "lyap1_max": 0.046491265296936035,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 148,
+ "sup_loss": 2.162610465303188,
+ "rf_loss": 0.004498670343309641,
+ "total_loss": 2.2075971678049617,
+ "lyap1_mean": -0.10802574455738068,
+ "lyap1_max": -0.005757478531450033,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 149,
+ "sup_loss": 1.9697955791759754,
+ "rf_loss": 0.012863531708717346,
+ "total_loss": 2.0984308962631486,
+ "lyap1_mean": -0.0662795901298523,
+ "lyap1_max": 0.05405296012759209,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 150,
+ "sup_loss": 1.9268011101164966,
+ "rf_loss": 0.0014416511403396726,
+ "total_loss": 1.9412176212870627,
+ "lyap1_mean": -0.11764910072088242,
+ "lyap1_max": -0.0872139185667038,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 151,
+ "sup_loss": 2.096765137497676,
+ "rf_loss": 0.0011401124065741897,
+ "total_loss": 2.1081662617962484,
+ "lyap1_mean": -0.12951301038265228,
+ "lyap1_max": -0.07340076565742493,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 152,
+ "sup_loss": 2.262551595653421,
+ "rf_loss": 0.00419450830668211,
+ "total_loss": 2.3044966805828873,
+ "lyap1_mean": -0.10845191776752472,
+ "lyap1_max": -0.02171476185321808,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 153,
+ "sup_loss": 2.100727335249252,
+ "rf_loss": 0.015609974972903728,
+ "total_loss": 2.2568270868409344,
+ "lyap1_mean": -0.06850778311491013,
+ "lyap1_max": 0.15283188223838806,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 154,
+ "sup_loss": 2.098770932816691,
+ "rf_loss": 0.012403793632984161,
+ "total_loss": 2.2228088691465326,
+ "lyap1_mean": -0.0915510505437851,
+ "lyap1_max": 0.15000459551811218,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 155,
+ "sup_loss": 2.173403361142518,
+ "rf_loss": 0.0009454526007175446,
+ "total_loss": 2.1828578871496935,
+ "lyap1_mean": -0.12645822763442993,
+ "lyap1_max": -0.09583330154418945,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 156,
+ "sup_loss": 2.15293659083344,
+ "rf_loss": 0.0006045714835636318,
+ "total_loss": 2.1589823057854916,
+ "lyap1_mean": -0.1346229761838913,
+ "lyap1_max": -0.10583391785621643,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 157,
+ "sup_loss": 2.1557873574090207,
+ "rf_loss": 0.0007074765162542462,
+ "total_loss": 2.1628621223387325,
+ "lyap1_mean": -0.15197429060935974,
+ "lyap1_max": -0.07753463089466095,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 158,
+ "sup_loss": 2.067230638477439,
+ "rf_loss": 0.0013459979090839624,
+ "total_loss": 2.080690617102617,
+ "lyap1_mean": -0.1271960586309433,
+ "lyap1_max": -0.07704708725214005,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 159,
+ "sup_loss": 2.0298574622624557,
+ "rf_loss": 0.0044457740150392056,
+ "total_loss": 2.0743152033441703,
+ "lyap1_mean": -0.1106128990650177,
+ "lyap1_max": -0.02165932208299637,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 160,
+ "sup_loss": 2.155536083222497,
+ "rf_loss": 0.01605852320790291,
+ "total_loss": 2.3161213078509455,
+ "lyap1_mean": -0.059036608785390854,
+ "lyap1_max": 0.05321080610156059,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 161,
+ "sup_loss": 2.0649164511605185,
+ "rf_loss": 0.0029156941454857588,
+ "total_loss": 2.0940733930810373,
+ "lyap1_mean": -0.10865753144025803,
+ "lyap1_max": -0.05340757220983505,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 162,
+ "sup_loss": 2.112172228870164,
+ "rf_loss": 0.00997780542820692,
+ "total_loss": 2.2119502850148782,
+ "lyap1_mean": -0.08063697814941406,
+ "lyap1_max": 0.024318724870681763,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 163,
+ "sup_loss": 2.4716902717201767,
+ "rf_loss": 0.014752382412552834,
+ "total_loss": 2.619214092120415,
+ "lyap1_mean": -0.07010991126298904,
+ "lyap1_max": 0.10709157586097717,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 164,
+ "sup_loss": 2.2170047068249703,
+ "rf_loss": 0.009474614635109901,
+ "total_loss": 2.311750849450779,
+ "lyap1_mean": -0.07009396702051163,
+ "lyap1_max": 0.023032670840620995,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 165,
+ "sup_loss": 2.241163285705249,
+ "rf_loss": 0.010793564841151237,
+ "total_loss": 2.3490989378420517,
+ "lyap1_mean": -0.07403743267059326,
+ "lyap1_max": 0.025313742458820343,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 166,
+ "sup_loss": 2.250709950407356,
+ "rf_loss": 0.005224952474236488,
+ "total_loss": 2.302959475149721,
+ "lyap1_mean": -0.09795528650283813,
+ "lyap1_max": 0.0011078964453190565,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 167,
+ "sup_loss": 2.1979519388614315,
+ "rf_loss": 0.0038082951214164495,
+ "total_loss": 2.236034888678612,
+ "lyap1_mean": -0.12572407722473145,
+ "lyap1_max": 0.02106177806854248,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 168,
+ "sup_loss": 2.2112578771099973,
+ "rf_loss": 0.005631350912153721,
+ "total_loss": 2.2675713843688894,
+ "lyap1_mean": -0.12110830098390579,
+ "lyap1_max": 0.03710755705833435,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 169,
+ "sup_loss": 2.1416191318247586,
+ "rf_loss": 0.004109186120331287,
+ "total_loss": 2.1827109911654263,
+ "lyap1_mean": -0.11645088344812393,
+ "lyap1_max": 0.01566178724169731,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 170,
+ "sup_loss": 2.3373231224456585,
+ "rf_loss": 0.00887598842382431,
+ "total_loss": 2.4260830066839016,
+ "lyap1_mean": -0.09782777726650238,
+ "lyap1_max": 0.07388071715831757,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 171,
+ "sup_loss": 2.4263781070579693,
+ "rf_loss": 0.004805352538824081,
+ "total_loss": 2.47443163244621,
+ "lyap1_mean": -0.09701007604598999,
+ "lyap1_max": -0.017250942066311836,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 172,
+ "sup_loss": 2.2695247735711868,
+ "rf_loss": 0.0016182701801881194,
+ "total_loss": 2.2857074756058986,
+ "lyap1_mean": -0.1452149748802185,
+ "lyap1_max": -0.04936462640762329,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 173,
+ "sup_loss": 2.1236767148430893,
+ "rf_loss": 0.0009720801608636975,
+ "total_loss": 2.1333975162188956,
+ "lyap1_mean": -0.1444462388753891,
+ "lyap1_max": -0.07929960638284683,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 174,
+ "sup_loss": 2.29149157408788,
+ "rf_loss": 0.006161551456898451,
+ "total_loss": 2.353107089588187,
+ "lyap1_mean": -0.10628704726696014,
+ "lyap1_max": 0.00047151249600574374,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 175,
+ "sup_loss": 2.179164006290816,
+ "rf_loss": 0.005213185679167509,
+ "total_loss": 2.2312958640138136,
+ "lyap1_mean": -0.10921452939510345,
+ "lyap1_max": 0.02812981605529785,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 176,
+ "sup_loss": 2.0203787693839206,
+ "rf_loss": 0.009212912060320377,
+ "total_loss": 2.112507888124479,
+ "lyap1_mean": -0.10436730831861496,
+ "lyap1_max": 0.06369759887456894,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 177,
+ "sup_loss": 2.170868948567099,
+ "rf_loss": 0.002359533216804266,
+ "total_loss": 2.1944642816664643,
+ "lyap1_mean": -0.12842634320259094,
+ "lyap1_max": -0.028286373242735863,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 178,
+ "sup_loss": 2.397916469084855,
+ "rf_loss": 0.009402450174093246,
+ "total_loss": 2.4919409708257874,
+ "lyap1_mean": -0.11294014751911163,
+ "lyap1_max": 0.10052497684955597,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 179,
+ "sup_loss": 2.2788033921156226,
+ "rf_loss": 0.014268442988395691,
+ "total_loss": 2.4214878219995795,
+ "lyap1_mean": -0.07985689491033554,
+ "lyap1_max": 0.09583666920661926,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 180,
+ "sup_loss": 2.1951458860888478,
+ "rf_loss": 0.010917672887444496,
+ "total_loss": 2.3043226112380024,
+ "lyap1_mean": -0.1067660003900528,
+ "lyap1_max": 0.09098969399929047,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 181,
+ "sup_loss": 2.027306150348174,
+ "rf_loss": 0.0014175726100802422,
+ "total_loss": 2.0414818764489766,
+ "lyap1_mean": -0.13645686209201813,
+ "lyap1_max": -0.06914303451776505,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 182,
+ "sup_loss": 2.066167719155487,
+ "rf_loss": 0.00023095268988981843,
+ "total_loss": 2.0684772459379697,
+ "lyap1_mean": -0.14867866039276123,
+ "lyap1_max": -0.1107591912150383,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 183,
+ "sup_loss": 2.153197393844373,
+ "rf_loss": 0.016353141516447067,
+ "total_loss": 2.3167288164594244,
+ "lyap1_mean": -0.05940631404519081,
+ "lyap1_max": 0.13682512938976288,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 184,
+ "sup_loss": 2.2619262269712723,
+ "rf_loss": 0.0013429393293336034,
+ "total_loss": 2.2753556200317777,
+ "lyap1_mean": -0.12739935517311096,
+ "lyap1_max": -0.07809637486934662,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 185,
+ "sup_loss": 2.2816740822657215,
+ "rf_loss": 0.02232009544968605,
+ "total_loss": 2.5048750293120015,
+ "lyap1_mean": -0.037596605718135834,
+ "lyap1_max": 0.15594106912612915,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 186,
+ "sup_loss": 2.164455442783553,
+ "rf_loss": 0.00010444605868542567,
+ "total_loss": 2.1654999033558555,
+ "lyap1_mean": -0.1660633385181427,
+ "lyap1_max": -0.12210314720869064,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 187,
+ "sup_loss": 2.128135033170953,
+ "rf_loss": 0.008025682531297207,
+ "total_loss": 2.20839186034657,
+ "lyap1_mean": -0.08706106245517731,
+ "lyap1_max": 0.06244456768035889,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 188,
+ "sup_loss": 2.219987993626427,
+ "rf_loss": 0.0061950827948749065,
+ "total_loss": 2.2819388225064987,
+ "lyap1_mean": -0.11203513294458389,
+ "lyap1_max": 0.009721691720187664,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 189,
+ "sup_loss": 2.2592576276767424,
+ "rf_loss": 0.0002732671855483204,
+ "total_loss": 2.261990299474018,
+ "lyap1_mean": -0.16755814850330353,
+ "lyap1_max": -0.10383810847997665,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 190,
+ "sup_loss": 2.2944639970080285,
+ "rf_loss": 0.009499615989625454,
+ "total_loss": 2.389460158766928,
+ "lyap1_mean": -0.09292872250080109,
+ "lyap1_max": 0.07204651832580566,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 191,
+ "sup_loss": 2.321384335585818,
+ "rf_loss": 0.00759480893611908,
+ "total_loss": 2.3973324249470087,
+ "lyap1_mean": -0.10629971325397491,
+ "lyap1_max": 0.052311450242996216,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 192,
+ "sup_loss": 2.31272892285232,
+ "rf_loss": 0.00588078610599041,
+ "total_loss": 2.371536783912224,
+ "lyap1_mean": -0.12550762295722961,
+ "lyap1_max": 0.04588006064295769,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 193,
+ "sup_loss": 2.2649202770202113,
+ "rf_loss": 0.011429009959101677,
+ "total_loss": 2.3792103803365183,
+ "lyap1_mean": -0.06909286975860596,
+ "lyap1_max": 0.016884883865714073,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 194,
+ "sup_loss": 2.230154494256391,
+ "rf_loss": 0.009343955665826797,
+ "total_loss": 2.323594050914659,
+ "lyap1_mean": -0.08583410829305649,
+ "lyap1_max": 0.02445076033473015,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 195,
+ "sup_loss": 2.276316129506868,
+ "rf_loss": 0.004023295361548662,
+ "total_loss": 2.316549082191032,
+ "lyap1_mean": -0.11531642824411392,
+ "lyap1_max": -0.021892353892326355,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 196,
+ "sup_loss": 2.4676021852713506,
+ "rf_loss": 0.0034032915718853474,
+ "total_loss": 2.5016351000588815,
+ "lyap1_mean": -0.12208272516727448,
+ "lyap1_max": -0.03206677734851837,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 197,
+ "sup_loss": 2.251531552150511,
+ "rf_loss": 0.0026009336579591036,
+ "total_loss": 2.277540888264441,
+ "lyap1_mean": -0.12463480234146118,
+ "lyap1_max": -0.03464111313223839,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 198,
+ "sup_loss": 2.443893989952871,
+ "rf_loss": 0.006026063114404678,
+ "total_loss": 2.5041546210969177,
+ "lyap1_mean": -0.11013718694448471,
+ "lyap1_max": -0.021353498101234436,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 199,
+ "sup_loss": 2.3149032361442323,
+ "rf_loss": 0.008609225042164326,
+ "total_loss": 2.4009954847032304,
+ "lyap1_mean": -0.08077311515808105,
+ "lyap1_max": 0.02529958449304104,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 200,
+ "sup_loss": 2.3354379591974466,
+ "rf_loss": 0.0044464110396802425,
+ "total_loss": 2.3799020705255716,
+ "lyap1_mean": -0.11824137717485428,
+ "lyap1_max": 0.014538880437612534,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 201,
+ "sup_loss": 2.3573132776977626,
+ "rf_loss": 0.014729244634509087,
+ "total_loss": 2.5046057277681437,
+ "lyap1_mean": -0.04749919846653938,
+ "lyap1_max": 0.06224588677287102,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 202,
+ "sup_loss": 2.313462854345282,
+ "rf_loss": 0.008658739738166332,
+ "total_loss": 2.4000502535895905,
+ "lyap1_mean": -0.09468019008636475,
+ "lyap1_max": 0.07202256470918655,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 203,
+ "sup_loss": 2.19424017536454,
+ "rf_loss": 0.005955685395747423,
+ "total_loss": 2.2537970283906916,
+ "lyap1_mean": -0.1103934496641159,
+ "lyap1_max": -0.010642841458320618,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 204,
+ "sup_loss": 2.454658191596284,
+ "rf_loss": 0.013033635914325714,
+ "total_loss": 2.584994550739541,
+ "lyap1_mean": -0.06831017881631851,
+ "lyap1_max": 0.059018805623054504,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 205,
+ "sup_loss": 2.2738250398453292,
+ "rf_loss": 0.0067632608115673065,
+ "total_loss": 2.3414576479610023,
+ "lyap1_mean": -0.09999318420886993,
+ "lyap1_max": -0.002920808969065547,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 206,
+ "sup_loss": 2.31434925043586,
+ "rf_loss": 0.006917428225278854,
+ "total_loss": 2.3835235326886486,
+ "lyap1_mean": -0.07068555057048798,
+ "lyap1_max": -0.022248078137636185,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 207,
+ "sup_loss": 2.37874804364365,
+ "rf_loss": 0.011173329316079617,
+ "total_loss": 2.490481338667091,
+ "lyap1_mean": -0.06991616636514664,
+ "lyap1_max": 0.03541318699717522,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 208,
+ "sup_loss": 2.3809954173433465,
+ "rf_loss": 0.012031534686684608,
+ "total_loss": 2.5013107604849023,
+ "lyap1_mean": -0.05922488495707512,
+ "lyap1_max": 0.041674718260765076,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 209,
+ "sup_loss": 2.548647624852789,
+ "rf_loss": 0.0109708271920681,
+ "total_loss": 2.65835589677347,
+ "lyap1_mean": -0.0590994730591774,
+ "lyap1_max": 0.018322885036468506,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 210,
+ "sup_loss": 2.4448432218784304,
+ "rf_loss": 0.0075441766530275345,
+ "total_loss": 2.5202849846834154,
+ "lyap1_mean": -0.07940603047609329,
+ "lyap1_max": -0.007707552518695593,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 211,
+ "sup_loss": 2.778425484887673,
+ "rf_loss": 0.015694741159677505,
+ "total_loss": 2.9353728890338675,
+ "lyap1_mean": -0.04046029970049858,
+ "lyap1_max": 0.05595381557941437,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 212,
+ "sup_loss": 2.6171627568110645,
+ "rf_loss": 0.02373553067445755,
+ "total_loss": 2.85451806355564,
+ "lyap1_mean": -0.005628415383398533,
+ "lyap1_max": 0.10751648247241974,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 213,
+ "sup_loss": 2.6038110596421293,
+ "rf_loss": 0.013127296231687069,
+ "total_loss": 2.7350840163710646,
+ "lyap1_mean": -0.06117665395140648,
+ "lyap1_max": 0.07112028449773788,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 214,
+ "sup_loss": 2.6767209467833193,
+ "rf_loss": 0.00672256201505661,
+ "total_loss": 2.7439465669338854,
+ "lyap1_mean": -0.08441686630249023,
+ "lyap1_max": 0.0007390653481706977,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 215,
+ "sup_loss": 2.5496699902266906,
+ "rf_loss": 0.006423493847250938,
+ "total_loss": 2.6139049324244903,
+ "lyap1_mean": -0.08002403378486633,
+ "lyap1_max": -0.015998519957065582,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 216,
+ "sup_loss": 2.742167631526,
+ "rf_loss": 0.014479819685220718,
+ "total_loss": 2.8869658209276268,
+ "lyap1_mean": -0.043584298342466354,
+ "lyap1_max": 0.05808299779891968,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 217,
+ "sup_loss": 2.660513904361034,
+ "rf_loss": 0.005910991691052914,
+ "total_loss": 2.7196238231342083,
+ "lyap1_mean": -0.089909628033638,
+ "lyap1_max": 0.00508029293268919,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 218,
+ "sup_loss": 2.751296928653163,
+ "rf_loss": 0.009375082328915596,
+ "total_loss": 2.845047748217029,
+ "lyap1_mean": -0.05996055528521538,
+ "lyap1_max": -0.029014071449637413,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 219,
+ "sup_loss": 2.6427487875771374,
+ "rf_loss": 0.008914269506931305,
+ "total_loss": 2.7318914826464504,
+ "lyap1_mean": -0.059579622000455856,
+ "lyap1_max": -0.017023807391524315,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 220,
+ "sup_loss": 2.827202506783598,
+ "rf_loss": 0.007169234566390514,
+ "total_loss": 2.8988948543101483,
+ "lyap1_mean": -0.07179848849773407,
+ "lyap1_max": -0.028424497693777084,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 221,
+ "sup_loss": 2.7052768205425566,
+ "rf_loss": 0.005900207441300154,
+ "total_loss": 2.7642788958868807,
+ "lyap1_mean": -0.08750209212303162,
+ "lyap1_max": -0.016936995089054108,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 222,
+ "sup_loss": 2.766492899892313,
+ "rf_loss": 0.012677853927016258,
+ "total_loss": 2.893271442887766,
+ "lyap1_mean": -0.05826830118894577,
+ "lyap1_max": 0.07323296368122101,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 223,
+ "sup_loss": 2.781570939280179,
+ "rf_loss": 0.0023044059053063393,
+ "total_loss": 2.8046149983332422,
+ "lyap1_mean": -0.1077013611793518,
+ "lyap1_max": -0.06925548613071442,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 224,
+ "sup_loss": 2.689718087288086,
+ "rf_loss": 0.004263898357748985,
+ "total_loss": 2.732357070865576,
+ "lyap1_mean": -0.0884702205657959,
+ "lyap1_max": -0.048996709287166595,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 225,
+ "sup_loss": 2.870575367225602,
+ "rf_loss": 0.003866917220875621,
+ "total_loss": 2.9092445399000195,
+ "lyap1_mean": -0.10177592188119888,
+ "lyap1_max": -0.05494260787963867,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 226,
+ "sup_loss": 2.8036631794444515,
+ "rf_loss": 0.003045867197215557,
+ "total_loss": 2.834121851416607,
+ "lyap1_mean": -0.10256220400333405,
+ "lyap1_max": -0.05638931319117546,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 227,
+ "sup_loss": 2.6927564423684074,
+ "rf_loss": 0.00882334727793932,
+ "total_loss": 2.7809899132851554,
+ "lyap1_mean": -0.09440299868583679,
+ "lyap1_max": 0.08229833096265793,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 228,
+ "sup_loss": 2.7510308386308173,
+ "rf_loss": 0.0016212041955441236,
+ "total_loss": 2.76724288105192,
+ "lyap1_mean": -0.11365215480327606,
+ "lyap1_max": -0.09507317841053009,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 229,
+ "sup_loss": 2.613572408880879,
+ "rf_loss": 0.002486388199031353,
+ "total_loss": 2.6384362908711925,
+ "lyap1_mean": -0.10868774354457855,
+ "lyap1_max": -0.07059226930141449,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 230,
+ "sup_loss": 2.480747244642166,
+ "rf_loss": 0.001455905963666737,
+ "total_loss": 2.495306304046003,
+ "lyap1_mean": -0.1217133104801178,
+ "lyap1_max": -0.08325602114200592,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 231,
+ "sup_loss": 2.5445189096470977,
+ "rf_loss": 0.0012984008062630892,
+ "total_loss": 2.5575029172440673,
+ "lyap1_mean": -0.13292516767978668,
+ "lyap1_max": -0.08241027593612671,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 232,
+ "sup_loss": 2.3081671778275576,
+ "rf_loss": 0.0010788858635351062,
+ "total_loss": 2.3189560366957394,
+ "lyap1_mean": -0.14199528098106384,
+ "lyap1_max": -0.07420379668474197,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 233,
+ "sup_loss": 2.3583748644817457,
+ "rf_loss": 0.000928197056055069,
+ "total_loss": 2.3676568350422964,
+ "lyap1_mean": -0.1344728320837021,
+ "lyap1_max": -0.08043371886014938,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 234,
+ "sup_loss": 2.166746091113681,
+ "rf_loss": 0.00011430266022216529,
+ "total_loss": 2.1678891177450064,
+ "lyap1_mean": -0.15706270933151245,
+ "lyap1_max": -0.1274266541004181,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 235,
+ "sup_loss": 2.1414894633885297,
+ "rf_loss": 7.339431613218039e-05,
+ "total_loss": 2.1422234065789554,
+ "lyap1_mean": -0.16197925806045532,
+ "lyap1_max": -0.12640613317489624,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 236,
+ "sup_loss": 1.9873948205692407,
+ "rf_loss": 0.0,
+ "total_loss": 1.9873948205692407,
+ "lyap1_mean": -0.16670364141464233,
+ "lyap1_max": -0.15089288353919983,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 237,
+ "sup_loss": 1.9800388325523994,
+ "rf_loss": 2.889940788008971e-06,
+ "total_loss": 1.980067731961189,
+ "lyap1_mean": -0.18613426387310028,
+ "lyap1_max": -0.1451917290687561,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 238,
+ "sup_loss": 1.9678029233786853,
+ "rf_loss": 0.0,
+ "total_loss": 1.9678029233786853,
+ "lyap1_mean": -0.19714081287384033,
+ "lyap1_max": -0.166629821062088,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 239,
+ "sup_loss": 1.8952708473089028,
+ "rf_loss": 0.0,
+ "total_loss": 1.8952708473089028,
+ "lyap1_mean": -0.18861860036849976,
+ "lyap1_max": -0.17232316732406616,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 240,
+ "sup_loss": 1.9500593175964638,
+ "rf_loss": 0.0,
+ "total_loss": 1.9500593175964638,
+ "lyap1_mean": -0.193820059299469,
+ "lyap1_max": -0.16006456315517426,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 241,
+ "sup_loss": 1.9418581781349182,
+ "rf_loss": 7.43034906918183e-05,
+ "total_loss": 1.9426012130127326,
+ "lyap1_mean": -0.18079671263694763,
+ "lyap1_max": -0.12561911344528198,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 242,
+ "sup_loss": 1.8819543956916873,
+ "rf_loss": 0.0,
+ "total_loss": 1.8819543956916873,
+ "lyap1_mean": -0.1829492300748825,
+ "lyap1_max": -0.15172509849071503,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 243,
+ "sup_loss": 1.8893593138746272,
+ "rf_loss": 2.6230977709928993e-06,
+ "total_loss": 1.8893855448514276,
+ "lyap1_mean": -0.1905922144651413,
+ "lyap1_max": -0.14541909098625183,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 244,
+ "sup_loss": 1.8627928002138154,
+ "rf_loss": 6.090924102863937e-07,
+ "total_loss": 1.862798891138032,
+ "lyap1_mean": -0.18035490810871124,
+ "lyap1_max": -0.14779257774353027,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 245,
+ "sup_loss": 1.8415482904874638,
+ "rf_loss": 4.617874367340846e-07,
+ "total_loss": 1.8415529083617743,
+ "lyap1_mean": -0.17583797872066498,
+ "lyap1_max": -0.14807794988155365,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 246,
+ "sup_loss": 1.8211478996511112,
+ "rf_loss": 3.512752300594002e-05,
+ "total_loss": 1.8214991748811706,
+ "lyap1_mean": -0.16313041746616364,
+ "lyap1_max": -0.13610747456550598,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 247,
+ "sup_loss": 1.759756691284863,
+ "rf_loss": 6.306436262093484e-06,
+ "total_loss": 1.759819755647484,
+ "lyap1_mean": -0.18055565655231476,
+ "lyap1_max": -0.1432083398103714,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 248,
+ "sup_loss": 1.8173044760165034,
+ "rf_loss": 0.00011174514656886458,
+ "total_loss": 1.818421927482192,
+ "lyap1_mean": -0.16448703408241272,
+ "lyap1_max": -0.12688177824020386,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 249,
+ "sup_loss": 1.7271305312436607,
+ "rf_loss": 4.058386912220158e-05,
+ "total_loss": 1.7275363699276067,
+ "lyap1_mean": -0.17310339212417603,
+ "lyap1_max": -0.13660795986652374,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 250,
+ "sup_loss": 1.821357119884985,
+ "rf_loss": 3.342599029565463e-06,
+ "total_loss": 1.821390545874371,
+ "lyap1_mean": -0.18236413598060608,
+ "lyap1_max": -0.14482885599136353,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 251,
+ "sup_loss": 1.6878220284252334,
+ "rf_loss": 8.546330576564287e-08,
+ "total_loss": 1.6878228830583053,
+ "lyap1_mean": -0.18210306763648987,
+ "lyap1_max": -0.14917314052581787,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 252,
+ "sup_loss": 1.7455009686437672,
+ "rf_loss": 0.00024146531359292567,
+ "total_loss": 1.7479156217214888,
+ "lyap1_mean": -0.16323545575141907,
+ "lyap1_max": -0.10893328487873077,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 253,
+ "sup_loss": 1.7190455992581057,
+ "rf_loss": 0.00014252452820073813,
+ "total_loss": 1.720470844569217,
+ "lyap1_mean": -0.15807349979877472,
+ "lyap1_max": -0.12733301520347595,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 254,
+ "sup_loss": 1.6716789574474658,
+ "rf_loss": 0.00037743046414107084,
+ "total_loss": 1.6754532620888765,
+ "lyap1_mean": -0.16465014219284058,
+ "lyap1_max": -0.10170949995517731,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 255,
+ "sup_loss": 1.640925924143929,
+ "rf_loss": 2.6379141218058066e-06,
+ "total_loss": 1.6409523032846922,
+ "lyap1_mean": -0.1811007559299469,
+ "lyap1_max": -0.14540617167949677,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 256,
+ "sup_loss": 1.6394927932439396,
+ "rf_loss": 3.9354836189886555e-06,
+ "total_loss": 1.6395321480801295,
+ "lyap1_mean": -0.1679663360118866,
+ "lyap1_max": -0.14490148425102234,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 257,
+ "sup_loss": 1.5916041312939804,
+ "rf_loss": 0.0002830357989296317,
+ "total_loss": 1.5944344892832767,
+ "lyap1_mean": -0.1598414182662964,
+ "lyap1_max": -0.10800670832395554,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 258,
+ "sup_loss": 1.6082047008534353,
+ "rf_loss": 0.00013385139754973352,
+ "total_loss": 1.6095432148871403,
+ "lyap1_mean": -0.15245474874973297,
+ "lyap1_max": -0.1281510889530182,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 259,
+ "sup_loss": 1.5722123493323765,
+ "rf_loss": 0.0005268562235869467,
+ "total_loss": 1.5774809114518307,
+ "lyap1_mean": -0.1440972089767456,
+ "lyap1_max": -0.11040888726711273,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 260,
+ "sup_loss": 1.5529416165155614,
+ "rf_loss": 0.00031856581335887313,
+ "total_loss": 1.5561272747655654,
+ "lyap1_mean": -0.16979534924030304,
+ "lyap1_max": -0.10396977514028549,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 261,
+ "sup_loss": 1.5462650512715415,
+ "rf_loss": 2.3125285224523395e-05,
+ "total_loss": 1.5464963041237867,
+ "lyap1_mean": -0.17103338241577148,
+ "lyap1_max": -0.13885873556137085,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 262,
+ "sup_loss": 1.5053636763690614,
+ "rf_loss": 0.0003594367881305516,
+ "total_loss": 1.5089580441339516,
+ "lyap1_mean": -0.15733414888381958,
+ "lyap1_max": -0.1011040210723877,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 263,
+ "sup_loss": 1.5083799540325458,
+ "rf_loss": 3.261628080508672e-05,
+ "total_loss": 1.5087061168478726,
+ "lyap1_mean": -0.17266945540905,
+ "lyap1_max": -0.13384667038917542,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 264,
+ "sup_loss": 1.5367571658957762,
+ "rf_loss": 5.8723948313854635e-05,
+ "total_loss": 1.5373444054080185,
+ "lyap1_mean": -0.16391438245773315,
+ "lyap1_max": -0.1284475326538086,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 265,
+ "sup_loss": 1.5130323618655117,
+ "rf_loss": 0.0,
+ "total_loss": 1.5130323618655117,
+ "lyap1_mean": -0.18667438626289368,
+ "lyap1_max": -0.16037169098854065,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 266,
+ "sup_loss": 1.466530418893517,
+ "rf_loss": 1.212075630974141e-07,
+ "total_loss": 1.466531630969148,
+ "lyap1_mean": -0.17226642370224,
+ "lyap1_max": -0.14901529252529144,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 267,
+ "sup_loss": 1.4843292161830415,
+ "rf_loss": 0.0,
+ "total_loss": 1.4843292161830415,
+ "lyap1_mean": -0.19467347860336304,
+ "lyap1_max": -0.1578870713710785,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 268,
+ "sup_loss": 1.4606906974745448,
+ "rf_loss": 0.0,
+ "total_loss": 1.4606906974745448,
+ "lyap1_mean": -0.2068966180086136,
+ "lyap1_max": -0.16699066758155823,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 269,
+ "sup_loss": 1.4526974515479134,
+ "rf_loss": 2.0101844711462036e-05,
+ "total_loss": 1.452898469987752,
+ "lyap1_mean": -0.20380514860153198,
+ "lyap1_max": -0.13731873035430908,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 270,
+ "sup_loss": 1.532420857856156,
+ "rf_loss": 3.168675902998075e-05,
+ "total_loss": 1.5327377254610077,
+ "lyap1_mean": -0.1835598647594452,
+ "lyap1_max": -0.1375909447669983,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 271,
+ "sup_loss": 1.4112842985957634,
+ "rf_loss": 1.7062804545275867e-05,
+ "total_loss": 1.4114549266412162,
+ "lyap1_mean": -0.1958315372467041,
+ "lyap1_max": -0.14159974455833435,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 272,
+ "sup_loss": 1.463821351501459,
+ "rf_loss": 5.4298320719681215e-06,
+ "total_loss": 1.4638756498230883,
+ "lyap1_mean": -0.19051380455493927,
+ "lyap1_max": -0.14340955018997192,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 273,
+ "sup_loss": 1.4360915531315823,
+ "rf_loss": 0.00022562671802006662,
+ "total_loss": 1.4383478203699906,
+ "lyap1_mean": -0.1895160675048828,
+ "lyap1_max": -0.10751455277204514,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 274,
+ "sup_loss": 1.3709800209622052,
+ "rf_loss": 3.0730523576494306e-05,
+ "total_loss": 1.371287326212522,
+ "lyap1_mean": -0.18702778220176697,
+ "lyap1_max": -0.13432058691978455,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 275,
+ "sup_loss": 1.4235756217132167,
+ "rf_loss": 4.0491850086255e-05,
+ "total_loss": 1.4239805402213552,
+ "lyap1_mean": -0.21556641161441803,
+ "lyap1_max": -0.1320018172264099,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 276,
+ "sup_loss": 1.3882858348615053,
+ "rf_loss": 4.0040667954599485e-06,
+ "total_loss": 1.3883258755294599,
+ "lyap1_mean": -0.17450004816055298,
+ "lyap1_max": -0.14434027671813965,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 277,
+ "sup_loss": 1.39816388653865,
+ "rf_loss": 0.000284190580714494,
+ "total_loss": 1.4010057922293797,
+ "lyap1_mean": -0.20473149418830872,
+ "lyap1_max": -0.10380087792873383,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 278,
+ "sup_loss": 1.3647540943255403,
+ "rf_loss": 0.0001883339718915522,
+ "total_loss": 1.3666374340444558,
+ "lyap1_mean": -0.19674088060855865,
+ "lyap1_max": -0.11118413507938385,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 279,
+ "sup_loss": 1.4027611168694878,
+ "rf_loss": 0.001102717244066298,
+ "total_loss": 1.4137882890773201,
+ "lyap1_mean": -0.17411033809185028,
+ "lyap1_max": -0.06908686459064484,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 280,
+ "sup_loss": 1.426784162350542,
+ "rf_loss": 9.72415873548016e-05,
+ "total_loss": 1.4277565782531938,
+ "lyap1_mean": -0.19752976298332214,
+ "lyap1_max": -0.1271229386329651,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 281,
+ "sup_loss": 1.3850987318876826,
+ "rf_loss": 0.0009104966884478927,
+ "total_loss": 1.3942036990049922,
+ "lyap1_mean": -0.16824692487716675,
+ "lyap1_max": -0.07489180564880371,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 282,
+ "sup_loss": 1.3460414307087596,
+ "rf_loss": 0.0006702732061967254,
+ "total_loss": 1.3527441630035575,
+ "lyap1_mean": -0.1538185179233551,
+ "lyap1_max": -0.0854472666978836,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 283,
+ "sup_loss": 1.4055038723575475,
+ "rf_loss": 0.0005960629205219448,
+ "total_loss": 1.4114645016791822,
+ "lyap1_mean": -0.17491407692432404,
+ "lyap1_max": -0.08094565570354462,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 284,
+ "sup_loss": 1.4696760143463954,
+ "rf_loss": 0.0035170228220522404,
+ "total_loss": 1.5048462416355952,
+ "lyap1_mean": -0.10311125963926315,
+ "lyap1_max": -0.04519149661064148,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 285,
+ "sup_loss": 1.5993852003647984,
+ "rf_loss": 0.0006783009739592671,
+ "total_loss": 1.6061682098715604,
+ "lyap1_mean": -0.14156027138233185,
+ "lyap1_max": -0.0983227789402008,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 286,
+ "sup_loss": 1.406775884266764,
+ "rf_loss": 0.00028530755662359297,
+ "total_loss": 1.4096289597747922,
+ "lyap1_mean": -0.15577095746994019,
+ "lyap1_max": -0.11523886770009995,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 287,
+ "sup_loss": 1.5017465096505385,
+ "rf_loss": 0.0006073061958886683,
+ "total_loss": 1.5078195714930098,
+ "lyap1_mean": -0.14555510878562927,
+ "lyap1_max": -0.09964562952518463,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 288,
+ "sup_loss": 1.3889996598056567,
+ "rf_loss": 8.531103958375752e-05,
+ "total_loss": 1.3898527702014942,
+ "lyap1_mean": -0.16731008887290955,
+ "lyap1_max": -0.13134369254112244,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 289,
+ "sup_loss": 1.4386437466690265,
+ "rf_loss": 0.0011863510590046644,
+ "total_loss": 1.4505072577247344,
+ "lyap1_mean": -0.14209334552288055,
+ "lyap1_max": -0.07966486364603043,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 290,
+ "sup_loss": 1.4211715666819675,
+ "rf_loss": 0.0003866282058879733,
+ "total_loss": 1.4250378487408473,
+ "lyap1_mean": -0.1570635735988617,
+ "lyap1_max": -0.09907825291156769,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 291,
+ "sup_loss": 1.4359947578642687,
+ "rf_loss": 0.0003605271049309522,
+ "total_loss": 1.4396000288553705,
+ "lyap1_mean": -0.14775525033473969,
+ "lyap1_max": -0.10727047175168991,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 292,
+ "sup_loss": 1.4589897716726898,
+ "rf_loss": 0.0005450411699712276,
+ "total_loss": 1.4644401833724021,
+ "lyap1_mean": -0.1630133092403412,
+ "lyap1_max": -0.08510439097881317,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 293,
+ "sup_loss": 1.366524649799999,
+ "rf_loss": 0.00030065508326515555,
+ "total_loss": 1.3695312007490659,
+ "lyap1_mean": -0.16170386970043182,
+ "lyap1_max": -0.10308149456977844,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 294,
+ "sup_loss": 1.4573536194250083,
+ "rf_loss": 0.00030487062758766115,
+ "total_loss": 1.4604023257590926,
+ "lyap1_mean": -0.15508058667182922,
+ "lyap1_max": -0.10314643383026123,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 295,
+ "sup_loss": 1.4441161388082777,
+ "rf_loss": 0.0005044980207458138,
+ "total_loss": 1.4491611187829052,
+ "lyap1_mean": -0.1467108130455017,
+ "lyap1_max": -0.09419554471969604,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 296,
+ "sup_loss": 1.420690741090446,
+ "rf_loss": 0.0001218591132783331,
+ "total_loss": 1.4219093322086773,
+ "lyap1_mean": -0.16579535603523254,
+ "lyap1_max": -0.11877705156803131,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 297,
+ "sup_loss": 1.362838768804332,
+ "rf_loss": 0.0018587782979011536,
+ "total_loss": 1.3814265517833435,
+ "lyap1_mean": -0.14066094160079956,
+ "lyap1_max": -0.06226489692926407,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 298,
+ "sup_loss": 1.3905631341098486,
+ "rf_loss": 0.0006848477059975266,
+ "total_loss": 1.3974116109369932,
+ "lyap1_mean": -0.15153385698795319,
+ "lyap1_max": -0.08284465223550797,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 299,
+ "sup_loss": 1.514062733737305,
+ "rf_loss": 1.306500689679524e-05,
+ "total_loss": 1.514193383800816,
+ "lyap1_mean": -0.16514621675014496,
+ "lyap1_max": -0.14205075800418854,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 300,
+ "sup_loss": 1.4231919912417983,
+ "rf_loss": 0.00026143426657654345,
+ "total_loss": 1.425806333849356,
+ "lyap1_mean": -0.16112737357616425,
+ "lyap1_max": -0.10430135577917099,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 301,
+ "sup_loss": 1.3925428871854013,
+ "rf_loss": 6.829692574683577e-05,
+ "total_loss": 1.3932258564137658,
+ "lyap1_mean": -0.15789155662059784,
+ "lyap1_max": -0.1305241882801056,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 302,
+ "sup_loss": 1.4204444407026573,
+ "rf_loss": 8.830774459056556e-05,
+ "total_loss": 1.421327518148563,
+ "lyap1_mean": -0.16462823748588562,
+ "lyap1_max": -0.12435092777013779,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 303,
+ "sup_loss": 1.4260330908268213,
+ "rf_loss": 7.189375901361927e-05,
+ "total_loss": 1.4267520284315094,
+ "lyap1_mean": -0.15270328521728516,
+ "lyap1_max": -0.12994979321956635,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 304,
+ "sup_loss": 1.361676086182937,
+ "rf_loss": 0.0,
+ "total_loss": 1.361676086182937,
+ "lyap1_mean": -0.1730192005634308,
+ "lyap1_max": -0.15210480988025665,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 305,
+ "sup_loss": 1.34794745326996,
+ "rf_loss": 2.7335780032444745e-05,
+ "total_loss": 1.3482208110557325,
+ "lyap1_mean": -0.1700509637594223,
+ "lyap1_max": -0.13522320985794067,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 306,
+ "sup_loss": 1.37138557231467,
+ "rf_loss": 0.00017256710270885378,
+ "total_loss": 1.3731112433126547,
+ "lyap1_mean": -0.1760663092136383,
+ "lyap1_max": -0.11284442991018295,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 307,
+ "sup_loss": 1.344344211650497,
+ "rf_loss": 0.00011208364594494924,
+ "total_loss": 1.3454650481244983,
+ "lyap1_mean": -0.17025643587112427,
+ "lyap1_max": -0.12005557119846344,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 308,
+ "sup_loss": 1.3610307279859022,
+ "rf_loss": 0.0,
+ "total_loss": 1.3610307279859022,
+ "lyap1_mean": -0.17909160256385803,
+ "lyap1_max": -0.15347211062908173,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 309,
+ "sup_loss": 1.4065259014430032,
+ "rf_loss": 7.432646816596389e-05,
+ "total_loss": 1.4072691661246628,
+ "lyap1_mean": -0.16884656250476837,
+ "lyap1_max": -0.12561534345149994,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 310,
+ "sup_loss": 1.3360148329685413,
+ "rf_loss": 1.7852940800366923e-05,
+ "total_loss": 1.336193362383821,
+ "lyap1_mean": -0.1654312014579773,
+ "lyap1_max": -0.13825419545173645,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 311,
+ "sup_loss": 1.3639353025190597,
+ "rf_loss": 2.290656448167283e-05,
+ "total_loss": 1.3641643681602384,
+ "lyap1_mean": -0.18095795810222626,
+ "lyap1_max": -0.13646292686462402,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 312,
+ "sup_loss": 1.3084120252038332,
+ "rf_loss": 6.701430265820818e-06,
+ "total_loss": 1.3084790395092198,
+ "lyap1_mean": -0.1857852339744568,
+ "lyap1_max": -0.14267802238464355,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 313,
+ "sup_loss": 1.3129722536564392,
+ "rf_loss": 0.0,
+ "total_loss": 1.3129722536564392,
+ "lyap1_mean": -0.18856306374073029,
+ "lyap1_max": -0.16826818883419037,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 314,
+ "sup_loss": 1.302685489028611,
+ "rf_loss": 2.196148307120893e-05,
+ "total_loss": 1.3029051038556851,
+ "lyap1_mean": -0.1815817803144455,
+ "lyap1_max": -0.1367451250553131,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 315,
+ "sup_loss": 1.3234031754890903,
+ "rf_loss": 0.0,
+ "total_loss": 1.3234031754890903,
+ "lyap1_mean": -0.2023855745792389,
+ "lyap1_max": -0.1723349690437317,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 316,
+ "sup_loss": 1.3336245936589366,
+ "rf_loss": 5.3675212257076055e-06,
+ "total_loss": 1.3336782688711937,
+ "lyap1_mean": -0.1876961886882782,
+ "lyap1_max": -0.1434471309185028,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 317,
+ "sup_loss": 1.398062779461404,
+ "rf_loss": 3.1500756449531764e-05,
+ "total_loss": 1.3983777870404512,
+ "lyap1_mean": -0.20088177919387817,
+ "lyap1_max": -0.13412530720233917,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 318,
+ "sup_loss": 1.3093606202797612,
+ "rf_loss": 0.0002222159964730963,
+ "total_loss": 1.3115827801571807,
+ "lyap1_mean": -0.18070745468139648,
+ "lyap1_max": -0.10783689469099045,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 319,
+ "sup_loss": 1.2850906987119057,
+ "rf_loss": 0.00018493429524824023,
+ "total_loss": 1.2869400416643881,
+ "lyap1_mean": -0.20152795314788818,
+ "lyap1_max": -0.11153607070446014,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 320,
+ "sup_loss": 1.2665564806434946,
+ "rf_loss": 0.0,
+ "total_loss": 1.2665564806434946,
+ "lyap1_mean": -0.1989654004573822,
+ "lyap1_max": -0.15455827116966248,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 321,
+ "sup_loss": 1.2605850123030835,
+ "rf_loss": 0.0,
+ "total_loss": 1.2605850123030835,
+ "lyap1_mean": -0.21624723076820374,
+ "lyap1_max": -0.1649380475282669,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 322,
+ "sup_loss": 1.3713960303119914,
+ "rf_loss": 0.00010710069182096049,
+ "total_loss": 1.3724670371865453,
+ "lyap1_mean": -0.1909787356853485,
+ "lyap1_max": -0.12578675150871277,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 323,
+ "sup_loss": 1.2844428520385995,
+ "rf_loss": 0.00016960558423306793,
+ "total_loss": 1.286138907910034,
+ "lyap1_mean": -0.1998099386692047,
+ "lyap1_max": -0.12027186155319214,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 324,
+ "sup_loss": 1.2853422148044344,
+ "rf_loss": 0.0,
+ "total_loss": 1.2853422148044344,
+ "lyap1_mean": -0.22386255860328674,
+ "lyap1_max": -0.17227062582969666,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 325,
+ "sup_loss": 1.320922774597185,
+ "rf_loss": 0.0,
+ "total_loss": 1.320922774597185,
+ "lyap1_mean": -0.19958409667015076,
+ "lyap1_max": -0.1552666425704956,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 326,
+ "sup_loss": 1.281246941442061,
+ "rf_loss": 0.00015127779624890536,
+ "total_loss": 1.282759719433654,
+ "lyap1_mean": -0.2025665044784546,
+ "lyap1_max": -0.11521175503730774,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 327,
+ "sup_loss": 1.3046381498874449,
+ "rf_loss": 0.0,
+ "total_loss": 1.3046381498874449,
+ "lyap1_mean": -0.2053222358226776,
+ "lyap1_max": -0.17113523185253143,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 328,
+ "sup_loss": 1.2483733848084835,
+ "rf_loss": 0.0,
+ "total_loss": 1.2483733848084835,
+ "lyap1_mean": -0.2011580467224121,
+ "lyap1_max": -0.15764306485652924,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 329,
+ "sup_loss": 1.287671508842173,
+ "rf_loss": 4.301285298424773e-05,
+ "total_loss": 1.2881016373792915,
+ "lyap1_mean": -0.19669556617736816,
+ "lyap1_max": -0.13144999742507935,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 330,
+ "sup_loss": 1.1721732865338832,
+ "rf_loss": 0.0,
+ "total_loss": 1.1721732865338832,
+ "lyap1_mean": -0.2032965123653412,
+ "lyap1_max": -0.1688012182712555,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 331,
+ "sup_loss": 1.2450595626727523,
+ "rf_loss": 0.0,
+ "total_loss": 1.2450595626727523,
+ "lyap1_mean": -0.21099884808063507,
+ "lyap1_max": -0.1637292206287384,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 332,
+ "sup_loss": 1.1825245931838988,
+ "rf_loss": 0.0,
+ "total_loss": 1.1825245931838988,
+ "lyap1_mean": -0.21217864751815796,
+ "lyap1_max": -0.18982872366905212,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 333,
+ "sup_loss": 1.23840471070447,
+ "rf_loss": 0.0001499004865763709,
+ "total_loss": 1.2399037155993375,
+ "lyap1_mean": -0.17795750498771667,
+ "lyap1_max": -0.1153704822063446,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 334,
+ "sup_loss": 1.183157910226857,
+ "rf_loss": 0.0,
+ "total_loss": 1.183157910226857,
+ "lyap1_mean": -0.21352577209472656,
+ "lyap1_max": -0.17961876094341278,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 335,
+ "sup_loss": 1.2214059916897826,
+ "rf_loss": 0.0,
+ "total_loss": 1.2214059916897826,
+ "lyap1_mean": -0.2193233221769333,
+ "lyap1_max": -0.1875314712524414,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 336,
+ "sup_loss": 1.1547207738973453,
+ "rf_loss": 0.0,
+ "total_loss": 1.1547207738973453,
+ "lyap1_mean": -0.20971278846263885,
+ "lyap1_max": -0.18060845136642456,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 337,
+ "sup_loss": 1.1937852148394679,
+ "rf_loss": 0.0005552983493544161,
+ "total_loss": 1.1993381982165967,
+ "lyap1_mean": -0.1791076958179474,
+ "lyap1_max": -0.08334877341985703,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 338,
+ "sup_loss": 1.2080352690669016,
+ "rf_loss": 0.0,
+ "total_loss": 1.2080352690669016,
+ "lyap1_mean": -0.20678694546222687,
+ "lyap1_max": -0.15906284749507904,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 339,
+ "sup_loss": 1.2376150698452646,
+ "rf_loss": 0.0,
+ "total_loss": 1.2376150698452646,
+ "lyap1_mean": -0.20162415504455566,
+ "lyap1_max": -0.1516362428665161,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 340,
+ "sup_loss": 1.2211818368828564,
+ "rf_loss": 0.0,
+ "total_loss": 1.2211818368828564,
+ "lyap1_mean": -0.2152131199836731,
+ "lyap1_max": -0.19469623267650604,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 341,
+ "sup_loss": 1.2165129466261841,
+ "rf_loss": 0.0,
+ "total_loss": 1.2165129466261841,
+ "lyap1_mean": -0.21778453886508942,
+ "lyap1_max": -0.17947904765605927,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 342,
+ "sup_loss": 1.157327757562459,
+ "rf_loss": 0.0,
+ "total_loss": 1.157327757562459,
+ "lyap1_mean": -0.22003236413002014,
+ "lyap1_max": -0.17629748582839966,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 343,
+ "sup_loss": 1.150025194181947,
+ "rf_loss": 4.801154864253476e-05,
+ "total_loss": 1.1505053096538205,
+ "lyap1_mean": -0.191514790058136,
+ "lyap1_max": -0.13040173053741455,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 344,
+ "sup_loss": 1.180323205202846,
+ "rf_loss": 1.4394846402865369e-05,
+ "total_loss": 1.1804671536650557,
+ "lyap1_mean": -0.2132415473461151,
+ "lyap1_max": -0.13926880061626434,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 345,
+ "sup_loss": 1.2529180299561924,
+ "rf_loss": 7.051816646708176e-05,
+ "total_loss": 1.2536232116354151,
+ "lyap1_mean": -0.1951652318239212,
+ "lyap1_max": -0.1304796040058136,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 346,
+ "sup_loss": 1.3006361125727728,
+ "rf_loss": 6.67937274556607e-05,
+ "total_loss": 1.3013040498473294,
+ "lyap1_mean": -0.18726424872875214,
+ "lyap1_max": -0.12688399851322174,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 347,
+ "sup_loss": 1.2519144752131794,
+ "rf_loss": 0.0005377555498853326,
+ "total_loss": 1.2572920304792021,
+ "lyap1_mean": -0.19649937748908997,
+ "lyap1_max": -0.08790021389722824,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 348,
+ "sup_loss": 1.1716181566769706,
+ "rf_loss": 3.509660018607974e-05,
+ "total_loss": 1.1719691226788314,
+ "lyap1_mean": -0.19867411255836487,
+ "lyap1_max": -0.1375495195388794,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 349,
+ "sup_loss": 1.2328163982618396,
+ "rf_loss": 0.00017342141654808074,
+ "total_loss": 1.2345506123982166,
+ "lyap1_mean": -0.1923152506351471,
+ "lyap1_max": -0.11275257170200348,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 350,
+ "sup_loss": 1.216597692028668,
+ "rf_loss": 4.611003134868952e-07,
+ "total_loss": 1.216602303031746,
+ "lyap1_mean": -0.20287427306175232,
+ "lyap1_max": -0.14807938039302826,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 351,
+ "sup_loss": 1.23940124091088,
+ "rf_loss": 0.0007598677184432745,
+ "total_loss": 1.2469999180953129,
+ "lyap1_mean": -0.18952928483486176,
+ "lyap1_max": -0.07203243672847748,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 352,
+ "sup_loss": 1.1660303990722083,
+ "rf_loss": 0.0005275696166791022,
+ "total_loss": 1.171306095122584,
+ "lyap1_mean": -0.1963539868593216,
+ "lyap1_max": -0.08503419160842896,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 353,
+ "sup_loss": 1.1782601864267725,
+ "rf_loss": 0.0001760148152243346,
+ "total_loss": 1.1800203346372236,
+ "lyap1_mean": -0.17623662948608398,
+ "lyap1_max": -0.11561094969511032,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 354,
+ "sup_loss": 1.3420226035775926,
+ "rf_loss": 8.922759298002347e-05,
+ "total_loss": 1.3429148795219448,
+ "lyap1_mean": -0.20877468585968018,
+ "lyap1_max": -0.12328258156776428,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 355,
+ "sup_loss": 1.333324247928171,
+ "rf_loss": 0.0,
+ "total_loss": 1.333324247928171,
+ "lyap1_mean": -0.20413589477539062,
+ "lyap1_max": -0.15157435834407806,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 356,
+ "sup_loss": 1.0896713511085268,
+ "rf_loss": 0.0,
+ "total_loss": 1.0896713511085268,
+ "lyap1_mean": -0.21839337050914764,
+ "lyap1_max": -0.15479600429534912,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 357,
+ "sup_loss": 1.212910451319327,
+ "rf_loss": 0.0004948393907397985,
+ "total_loss": 1.217858845226725,
+ "lyap1_mean": -0.183048278093338,
+ "lyap1_max": -0.087394118309021,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 358,
+ "sup_loss": 1.311245749004527,
+ "rf_loss": 0.0013583606341853738,
+ "total_loss": 1.3248293551135502,
+ "lyap1_mean": -0.13897067308425903,
+ "lyap1_max": -0.08058585226535797,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 359,
+ "sup_loss": 1.1794806790718153,
+ "rf_loss": 0.000585668720304966,
+ "total_loss": 1.185337366274865,
+ "lyap1_mean": -0.18991991877555847,
+ "lyap1_max": -0.08155038952827454,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 360,
+ "sup_loss": 1.25331875003911,
+ "rf_loss": 0.0006194918532855809,
+ "total_loss": 1.2595136684555506,
+ "lyap1_mean": -0.18237018585205078,
+ "lyap1_max": -0.08065708726644516,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 361,
+ "sup_loss": 1.201642355579534,
+ "rf_loss": 0.0011424007825553417,
+ "total_loss": 1.2130663634050873,
+ "lyap1_mean": -0.16647645831108093,
+ "lyap1_max": -0.05548800528049469,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 362,
+ "sup_loss": 1.2131568405250799,
+ "rf_loss": 0.0,
+ "total_loss": 1.2131568405250799,
+ "lyap1_mean": -0.223709836602211,
+ "lyap1_max": -0.17666399478912354,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 363,
+ "sup_loss": 1.2403625696360834,
+ "rf_loss": 7.822160114301369e-05,
+ "total_loss": 1.2411447856620654,
+ "lyap1_mean": -0.20107638835906982,
+ "lyap1_max": -0.12498455494642258,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 364,
+ "sup_loss": 1.2521374215550054,
+ "rf_loss": 0.0,
+ "total_loss": 1.2521374215550054,
+ "lyap1_mean": -0.21498215198516846,
+ "lyap1_max": -0.18484431505203247,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 365,
+ "sup_loss": 1.15799499294535,
+ "rf_loss": 5.179937943466939e-05,
+ "total_loss": 1.1585129867615245,
+ "lyap1_mean": -0.17999742925167084,
+ "lyap1_max": -0.13254934549331665,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 366,
+ "sup_loss": 1.0643572647387827,
+ "rf_loss": 0.0,
+ "total_loss": 1.0643572647387827,
+ "lyap1_mean": -0.18764229118824005,
+ "lyap1_max": -0.15193842351436615,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 367,
+ "sup_loss": 1.1711379090203127,
+ "rf_loss": 9.969858365366235e-05,
+ "total_loss": 1.1721348948422974,
+ "lyap1_mean": -0.1902475655078888,
+ "lyap1_max": -0.12175839394330978,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 368,
+ "sup_loss": 1.3274253869882895,
+ "rf_loss": 0.00042291931458748877,
+ "total_loss": 1.3316545800759567,
+ "lyap1_mean": -0.1888655424118042,
+ "lyap1_max": -0.09571465849876404,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 369,
+ "sup_loss": 1.141978131668608,
+ "rf_loss": 0.0,
+ "total_loss": 1.141978131668608,
+ "lyap1_mean": -0.18709814548492432,
+ "lyap1_max": -0.15492969751358032,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 370,
+ "sup_loss": 1.1786247761289468,
+ "rf_loss": 4.90899255964905e-05,
+ "total_loss": 1.1791156753849117,
+ "lyap1_mean": -0.19659948348999023,
+ "lyap1_max": -0.13318347930908203,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 371,
+ "sup_loss": 1.3181716838577155,
+ "rf_loss": 0.0002575753314886242,
+ "total_loss": 1.3207474371143941,
+ "lyap1_mean": -0.16572102904319763,
+ "lyap1_max": -0.10634121298789978,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 372,
+ "sup_loss": 1.1813070334557638,
+ "rf_loss": 0.0003480996238067746,
+ "total_loss": 1.1847880296938316,
+ "lyap1_mean": -0.1840413212776184,
+ "lyap1_max": -0.09852423518896103,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 373,
+ "sup_loss": 1.1692073343451412,
+ "rf_loss": 0.0007377908332273364,
+ "total_loss": 1.1765852429102452,
+ "lyap1_mean": -0.1865771859884262,
+ "lyap1_max": -0.092399001121521,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 374,
+ "sup_loss": 1.3509394890874842,
+ "rf_loss": 0.00013435860455501825,
+ "total_loss": 1.3522830751039305,
+ "lyap1_mean": -0.18228384852409363,
+ "lyap1_max": -0.1255810707807541,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 375,
+ "sup_loss": 1.219498697518488,
+ "rf_loss": 0.0,
+ "total_loss": 1.219498697518488,
+ "lyap1_mean": -0.21171066164970398,
+ "lyap1_max": -0.1565859615802765,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 376,
+ "sup_loss": 1.131836697363997,
+ "rf_loss": 0.00012985162902623415,
+ "total_loss": 1.1331352136542594,
+ "lyap1_mean": -0.19469009339809418,
+ "lyap1_max": -0.11776938289403915,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 377,
+ "sup_loss": 1.2338233153677343,
+ "rf_loss": 3.726817521965131e-05,
+ "total_loss": 1.2341959971344827,
+ "lyap1_mean": -0.18326309323310852,
+ "lyap1_max": -0.1348588764667511,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 378,
+ "sup_loss": 1.226859394581986,
+ "rf_loss": 8.585539762862027e-05,
+ "total_loss": 1.227717948558272,
+ "lyap1_mean": -0.2108517587184906,
+ "lyap1_max": -0.12379231303930283,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 379,
+ "sup_loss": 1.0947263254377078,
+ "rf_loss": 0.0002222161419922486,
+ "total_loss": 1.0969484869449417,
+ "lyap1_mean": -0.18715772032737732,
+ "lyap1_max": -0.11855732649564743,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 380,
+ "sup_loss": 1.2528476397790906,
+ "rf_loss": 0.00023891734599601477,
+ "total_loss": 1.2552368132681546,
+ "lyap1_mean": -0.17377330362796783,
+ "lyap1_max": -0.10894481837749481,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 381,
+ "sup_loss": 1.1605858199503123,
+ "rf_loss": 0.0,
+ "total_loss": 1.1605858199503123,
+ "lyap1_mean": -0.21452422440052032,
+ "lyap1_max": -0.1792355477809906,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 382,
+ "sup_loss": 1.2414536696795517,
+ "rf_loss": 0.00013643057900480926,
+ "total_loss": 1.2428179755278075,
+ "lyap1_mean": -0.18699553608894348,
+ "lyap1_max": -0.12116913497447968,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 383,
+ "sup_loss": 1.094172182167504,
+ "rf_loss": 0.0,
+ "total_loss": 1.094172182167504,
+ "lyap1_mean": -0.19034944474697113,
+ "lyap1_max": -0.15101677179336548,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 384,
+ "sup_loss": 1.165717460404093,
+ "rf_loss": 4.8081081331474707e-05,
+ "total_loss": 1.1661982712246837,
+ "lyap1_mean": -0.20920471847057343,
+ "lyap1_max": -0.130387544631958,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 385,
+ "sup_loss": 1.0259060097153068,
+ "rf_loss": 1.2048597852754028e-07,
+ "total_loss": 1.0259072145751205,
+ "lyap1_mean": -0.21320323646068573,
+ "lyap1_max": -0.14901822805404663,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 386,
+ "sup_loss": 1.1760917881629558,
+ "rf_loss": 0.0,
+ "total_loss": 1.1760917881629558,
+ "lyap1_mean": -0.21204710006713867,
+ "lyap1_max": -0.1603257656097412,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 387,
+ "sup_loss": 1.1382829776267376,
+ "rf_loss": 2.188343569287099e-05,
+ "total_loss": 1.1385018119763903,
+ "lyap1_mean": -0.2012500762939453,
+ "lyap1_max": -0.13676869869232178,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 388,
+ "sup_loss": 1.0682621056421069,
+ "rf_loss": 0.0,
+ "total_loss": 1.0682621056421069,
+ "lyap1_mean": -0.23362547159194946,
+ "lyap1_max": -0.18356357514858246,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 389,
+ "sup_loss": 1.1590397570694535,
+ "rf_loss": 6.069295068300562e-06,
+ "total_loss": 1.159100450019227,
+ "lyap1_mean": -0.1930340826511383,
+ "lyap1_max": -0.14303191006183624,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 390,
+ "sup_loss": 1.2448464264041088,
+ "rf_loss": 0.0,
+ "total_loss": 1.2448464264041088,
+ "lyap1_mean": -0.2128438949584961,
+ "lyap1_max": -0.15198646485805511,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 391,
+ "sup_loss": 1.1473267106325118,
+ "rf_loss": 3.894416238381382e-07,
+ "total_loss": 1.147330605048807,
+ "lyap1_mean": -0.20407061278820038,
+ "lyap1_max": -0.14823491871356964,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 392,
+ "sup_loss": 1.1245051780455124,
+ "rf_loss": 4.135475251132448e-07,
+ "total_loss": 1.1245093135206499,
+ "lyap1_mean": -0.22451968491077423,
+ "lyap1_max": -0.14818111062049866,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 393,
+ "sup_loss": 1.0687273741677974,
+ "rf_loss": 0.0,
+ "total_loss": 1.0687273741677974,
+ "lyap1_mean": -0.23992100358009338,
+ "lyap1_max": -0.2048446536064148,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 394,
+ "sup_loss": 1.2603270435028617,
+ "rf_loss": 0.00019339063146617264,
+ "total_loss": 1.2622609498466273,
+ "lyap1_mean": -0.1784657984972,
+ "lyap1_max": -0.1126631498336792,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 395,
+ "sup_loss": 1.1543610292225484,
+ "rf_loss": 0.0,
+ "total_loss": 1.1543610292225484,
+ "lyap1_mean": -0.2266850769519806,
+ "lyap1_max": -0.19221782684326172,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 396,
+ "sup_loss": 1.1370616297272274,
+ "rf_loss": 0.0,
+ "total_loss": 1.1370616297272274,
+ "lyap1_mean": -0.2080119550228119,
+ "lyap1_max": -0.15912161767482758,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 397,
+ "sup_loss": 1.043062086991574,
+ "rf_loss": 0.0,
+ "total_loss": 1.043062086991574,
+ "lyap1_mean": -0.20922201871871948,
+ "lyap1_max": -0.15478745102882385,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 398,
+ "sup_loss": 1.1523338537051968,
+ "rf_loss": 4.707638254330959e-06,
+ "total_loss": 1.152380930089559,
+ "lyap1_mean": -0.2049063742160797,
+ "lyap1_max": -0.14386314153671265,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 399,
+ "sup_loss": 1.163734713566174,
+ "rf_loss": 7.331200180260566e-08,
+ "total_loss": 1.1637354466862062,
+ "lyap1_mean": -0.19460752606391907,
+ "lyap1_max": -0.14923417568206787,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 400,
+ "sup_loss": 1.0910452778849011,
+ "rf_loss": 0.0008866939460858703,
+ "total_loss": 1.0999122175785905,
+ "lyap1_mean": -0.2130892127752304,
+ "lyap1_max": -0.0657767802476883,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 401,
+ "sup_loss": 1.1556772151257952,
+ "rf_loss": 0.0,
+ "total_loss": 1.1556772151257952,
+ "lyap1_mean": -0.21510827541351318,
+ "lyap1_max": -0.16381314396858215,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 402,
+ "sup_loss": 1.217477618935994,
+ "rf_loss": 2.739592446232564e-07,
+ "total_loss": 1.2174803585284402,
+ "lyap1_mean": -0.21338041126728058,
+ "lyap1_max": -0.1485195755958557,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 403,
+ "sup_loss": 1.0615039312977192,
+ "rf_loss": 0.0,
+ "total_loss": 1.0615039312977192,
+ "lyap1_mean": -0.20892205834388733,
+ "lyap1_max": -0.16253894567489624,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 404,
+ "sup_loss": 1.194059220552963,
+ "rf_loss": 0.0001077133056242019,
+ "total_loss": 1.1951363535509973,
+ "lyap1_mean": -0.2017815113067627,
+ "lyap1_max": -0.12528687715530396,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 405,
+ "sup_loss": 1.2220074334028197,
+ "rf_loss": 0.0,
+ "total_loss": 1.2220074334028197,
+ "lyap1_mean": -0.20833516120910645,
+ "lyap1_max": -0.15416887402534485,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 406,
+ "sup_loss": 1.1431977444062729,
+ "rf_loss": 0.0,
+ "total_loss": 1.1431977444062729,
+ "lyap1_mean": -0.23321682214736938,
+ "lyap1_max": -0.15458230674266815,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 407,
+ "sup_loss": 1.1960774176679476,
+ "rf_loss": 0.00016932960716076195,
+ "total_loss": 1.1977707136813476,
+ "lyap1_mean": -0.22402584552764893,
+ "lyap1_max": -0.11319461464881897,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 408,
+ "sup_loss": 1.1118444576699815,
+ "rf_loss": 0.0,
+ "total_loss": 1.1118444576699815,
+ "lyap1_mean": -0.22795429825782776,
+ "lyap1_max": -0.1865738332271576,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 409,
+ "sup_loss": 1.1960567380170395,
+ "rf_loss": 0.0,
+ "total_loss": 1.1960567380170395,
+ "lyap1_mean": -0.23718418180942535,
+ "lyap1_max": -0.19400587677955627,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 410,
+ "sup_loss": 1.1160570379934487,
+ "rf_loss": 0.0,
+ "total_loss": 1.1160570379934487,
+ "lyap1_mean": -0.22242873907089233,
+ "lyap1_max": -0.20309972763061523,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 411,
+ "sup_loss": 1.1140157155385855,
+ "rf_loss": 0.0,
+ "total_loss": 1.1140157155385855,
+ "lyap1_mean": -0.2194487750530243,
+ "lyap1_max": -0.1699954867362976,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 412,
+ "sup_loss": 1.0831599919100847,
+ "rf_loss": 0.0,
+ "total_loss": 1.0831599919100847,
+ "lyap1_mean": -0.22110703587532043,
+ "lyap1_max": -0.1743270754814148,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 413,
+ "sup_loss": 1.1926995007369834,
+ "rf_loss": 0.0003365365555509925,
+ "total_loss": 1.1960648662924933,
+ "lyap1_mean": -0.20224690437316895,
+ "lyap1_max": -0.10199756920337677,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 414,
+ "sup_loss": 1.2564901945147708,
+ "rf_loss": 0.0,
+ "total_loss": 1.2564901945147708,
+ "lyap1_mean": -0.21393120288848877,
+ "lyap1_max": -0.1619107872247696,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 415,
+ "sup_loss": 1.0215598854272063,
+ "rf_loss": 0.00013644919090438634,
+ "total_loss": 1.0229243773071464,
+ "lyap1_mean": -0.19847169518470764,
+ "lyap1_max": -0.11696073412895203,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 416,
+ "sup_loss": 1.1400015017782557,
+ "rf_loss": 0.0003376756503712386,
+ "total_loss": 1.1433782583401757,
+ "lyap1_mean": -0.19536207616329193,
+ "lyap1_max": -0.0981203019618988,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 417,
+ "sup_loss": 1.1258663025544866,
+ "rf_loss": 5.067986421636306e-05,
+ "total_loss": 1.1263731011748224,
+ "lyap1_mean": -0.21501560509204865,
+ "lyap1_max": -0.13002395629882812,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 418,
+ "sup_loss": 1.11214756940899,
+ "rf_loss": 0.00011527613969519734,
+ "total_loss": 1.113300330805942,
+ "lyap1_mean": -0.20485146343708038,
+ "lyap1_max": -0.11963210999965668,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 419,
+ "sup_loss": 1.1350818271385976,
+ "rf_loss": 0.0,
+ "total_loss": 1.1350818271385976,
+ "lyap1_mean": -0.21255168318748474,
+ "lyap1_max": -0.16450181603431702,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 420,
+ "sup_loss": 1.0826159569132245,
+ "rf_loss": 0.0,
+ "total_loss": 1.0826159569132245,
+ "lyap1_mean": -0.217690572142601,
+ "lyap1_max": -0.16352422535419464,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 421,
+ "sup_loss": 1.1115410901508356,
+ "rf_loss": 2.310573836439289e-05,
+ "total_loss": 1.1117721475272035,
+ "lyap1_mean": -0.20971466600894928,
+ "lyap1_max": -0.13640420138835907,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 422,
+ "sup_loss": 1.231486282783281,
+ "rf_loss": 0.0,
+ "total_loss": 1.231486282783281,
+ "lyap1_mean": -0.22072899341583252,
+ "lyap1_max": -0.17025737464427948,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 423,
+ "sup_loss": 1.2606155410234383,
+ "rf_loss": 0.0,
+ "total_loss": 1.2606155410234383,
+ "lyap1_mean": -0.1953631043434143,
+ "lyap1_max": -0.15815335512161255,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 424,
+ "sup_loss": 1.1608813272926402,
+ "rf_loss": 0.0,
+ "total_loss": 1.1608813272926402,
+ "lyap1_mean": -0.23040443658828735,
+ "lyap1_max": -0.17353683710098267,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 425,
+ "sup_loss": 1.1187301781093113,
+ "rf_loss": 0.0,
+ "total_loss": 1.1187301781093113,
+ "lyap1_mean": -0.21928328275680542,
+ "lyap1_max": -0.18619433045387268,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 426,
+ "sup_loss": 1.1413942293768926,
+ "rf_loss": 0.0,
+ "total_loss": 1.1413942293768926,
+ "lyap1_mean": -0.22000661492347717,
+ "lyap1_max": -0.16042464971542358,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 427,
+ "sup_loss": 1.1026164394369375,
+ "rf_loss": 4.1373555177415255e-06,
+ "total_loss": 1.1026578129912055,
+ "lyap1_mean": -0.20006431639194489,
+ "lyap1_max": -0.14424684643745422,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 428,
+ "sup_loss": 1.1915997258832667,
+ "rf_loss": 0.0,
+ "total_loss": 1.1915997258832667,
+ "lyap1_mean": -0.21426334977149963,
+ "lyap1_max": -0.1801956743001938,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 429,
+ "sup_loss": 1.1812566792560535,
+ "rf_loss": 0.0,
+ "total_loss": 1.1812566792560535,
+ "lyap1_mean": -0.21424522995948792,
+ "lyap1_max": -0.18111716210842133,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 430,
+ "sup_loss": 1.1254395668215857,
+ "rf_loss": 0.0,
+ "total_loss": 1.1254395668215857,
+ "lyap1_mean": -0.21770966053009033,
+ "lyap1_max": -0.19331471621990204,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 431,
+ "sup_loss": 1.1944736525809865,
+ "rf_loss": 0.00035470721195451915,
+ "total_loss": 1.1980207247587393,
+ "lyap1_mean": -0.19633018970489502,
+ "lyap1_max": -0.09673033654689789,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 432,
+ "sup_loss": 1.1000183385906872,
+ "rf_loss": 0.0,
+ "total_loss": 1.1000183385906872,
+ "lyap1_mean": -0.19017933309078217,
+ "lyap1_max": -0.15669509768486023,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 433,
+ "sup_loss": 1.068497350420732,
+ "rf_loss": 0.0,
+ "total_loss": 1.068497350420732,
+ "lyap1_mean": -0.22830647230148315,
+ "lyap1_max": -0.20622533559799194,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 434,
+ "sup_loss": 1.021136951100766,
+ "rf_loss": 0.0,
+ "total_loss": 1.021136951100766,
+ "lyap1_mean": -0.20854452252388,
+ "lyap1_max": -0.17238293588161469,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 435,
+ "sup_loss": 1.0430552093537484,
+ "rf_loss": 0.0,
+ "total_loss": 1.0430552093537484,
+ "lyap1_mean": -0.2156704068183899,
+ "lyap1_max": -0.17428961396217346,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 436,
+ "sup_loss": 1.0993347677960645,
+ "rf_loss": 0.0,
+ "total_loss": 1.0993347677960645,
+ "lyap1_mean": -0.1955772042274475,
+ "lyap1_max": -0.17580896615982056,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 437,
+ "sup_loss": 1.0604945849042091,
+ "rf_loss": 0.0,
+ "total_loss": 1.0604945849042091,
+ "lyap1_mean": -0.22222095727920532,
+ "lyap1_max": -0.17924349009990692,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 438,
+ "sup_loss": 1.141632059552192,
+ "rf_loss": 0.0,
+ "total_loss": 1.141632059552192,
+ "lyap1_mean": -0.21605147421360016,
+ "lyap1_max": -0.19528566300868988,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 439,
+ "sup_loss": 1.1321169106760385,
+ "rf_loss": 0.0,
+ "total_loss": 1.1321169106760385,
+ "lyap1_mean": -0.2138613611459732,
+ "lyap1_max": -0.19198696315288544,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 440,
+ "sup_loss": 1.1397158834123364,
+ "rf_loss": 0.0,
+ "total_loss": 1.1397158834123364,
+ "lyap1_mean": -0.2265317738056183,
+ "lyap1_max": -0.17521992325782776,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 441,
+ "sup_loss": 1.0384139907179601,
+ "rf_loss": 0.0,
+ "total_loss": 1.0384139907179601,
+ "lyap1_mean": -0.2127504050731659,
+ "lyap1_max": -0.1852417290210724,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 442,
+ "sup_loss": 1.1344304848617746,
+ "rf_loss": 4.800221176992636e-06,
+ "total_loss": 1.1344784870753635,
+ "lyap1_mean": -0.20448118448257446,
+ "lyap1_max": -0.14380308985710144,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 443,
+ "sup_loss": 1.0953899982134643,
+ "rf_loss": 0.0,
+ "total_loss": 1.0953899982134643,
+ "lyap1_mean": -0.204134002327919,
+ "lyap1_max": -0.15006522834300995,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 444,
+ "sup_loss": 1.1758145075604662,
+ "rf_loss": 0.0,
+ "total_loss": 1.1758145075604662,
+ "lyap1_mean": -0.22681006789207458,
+ "lyap1_max": -0.1941523551940918,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 445,
+ "sup_loss": 1.0779310110798244,
+ "rf_loss": 3.078089139307849e-05,
+ "total_loss": 1.078238820001031,
+ "lyap1_mean": -0.19752228260040283,
+ "lyap1_max": -0.13430774211883545,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 446,
+ "sup_loss": 1.149505076862333,
+ "rf_loss": 1.704707756289281e-05,
+ "total_loss": 1.149675547630686,
+ "lyap1_mean": -0.2034439891576767,
+ "lyap1_max": -0.13832196593284607,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 447,
+ "sup_loss": 1.050325383866363,
+ "rf_loss": 0.0,
+ "total_loss": 1.050325383866363,
+ "lyap1_mean": -0.20376357436180115,
+ "lyap1_max": -0.15589985251426697,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 448,
+ "sup_loss": 1.0629124655755935,
+ "rf_loss": 0.0,
+ "total_loss": 1.0629124655755935,
+ "lyap1_mean": -0.1945408582687378,
+ "lyap1_max": -0.1634114682674408,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 449,
+ "sup_loss": 1.0557479855078788,
+ "rf_loss": 0.0,
+ "total_loss": 1.0557479855078788,
+ "lyap1_mean": -0.22474533319473267,
+ "lyap1_max": -0.1662166267633438,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 450,
+ "sup_loss": 1.085203999274121,
+ "rf_loss": 0.0,
+ "total_loss": 1.085203999274121,
+ "lyap1_mean": -0.19697773456573486,
+ "lyap1_max": -0.1500168740749359,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 451,
+ "sup_loss": 1.0940691105107172,
+ "rf_loss": 0.0,
+ "total_loss": 1.0940691105107172,
+ "lyap1_mean": -0.20919600129127502,
+ "lyap1_max": -0.1577858030796051,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 452,
+ "sup_loss": 1.000578735277692,
+ "rf_loss": 0.0,
+ "total_loss": 1.000578735277692,
+ "lyap1_mean": -0.2037186324596405,
+ "lyap1_max": -0.16108205914497375,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.9524558479369661,
+ "rf_loss": 0.0,
+ "total_loss": 0.9524558479369661,
+ "lyap1_mean": -0.20539337396621704,
+ "lyap1_max": -0.1820382922887802,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 454,
+ "sup_loss": 1.1053141935262105,
+ "rf_loss": 0.0,
+ "total_loss": 1.1053141935262105,
+ "lyap1_mean": -0.2033175826072693,
+ "lyap1_max": -0.17134308815002441,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 455,
+ "sup_loss": 1.248447707675974,
+ "rf_loss": 0.0,
+ "total_loss": 1.248447707675974,
+ "lyap1_mean": -0.20871247351169586,
+ "lyap1_max": -0.17566481232643127,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 456,
+ "sup_loss": 1.0447712034992744,
+ "rf_loss": 0.00032769032986834645,
+ "total_loss": 1.0480481066815426,
+ "lyap1_mean": -0.17753995954990387,
+ "lyap1_max": -0.0987991988658905,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 457,
+ "sup_loss": 1.0093515372694042,
+ "rf_loss": 0.0,
+ "total_loss": 1.0093515372694042,
+ "lyap1_mean": -0.1913149207830429,
+ "lyap1_max": -0.16589848697185516,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 458,
+ "sup_loss": 1.0051063337504602,
+ "rf_loss": 0.0,
+ "total_loss": 1.0051063337504602,
+ "lyap1_mean": -0.19198769330978394,
+ "lyap1_max": -0.16672566533088684,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 459,
+ "sup_loss": 1.115027972096842,
+ "rf_loss": 0.0,
+ "total_loss": 1.115027972096842,
+ "lyap1_mean": -0.20794561505317688,
+ "lyap1_max": -0.18760499358177185,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 460,
+ "sup_loss": 1.2000108068946433,
+ "rf_loss": 9.137685992754996e-05,
+ "total_loss": 1.2009245754939188,
+ "lyap1_mean": -0.1966608166694641,
+ "lyap1_max": -0.13061368465423584,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 461,
+ "sup_loss": 1.106137043168635,
+ "rf_loss": 0.0,
+ "total_loss": 1.106137043168635,
+ "lyap1_mean": -0.20201855897903442,
+ "lyap1_max": -0.17448681592941284,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 462,
+ "sup_loss": 1.220605833719242,
+ "rf_loss": 0.00011000153608620167,
+ "total_loss": 1.221705849080104,
+ "lyap1_mean": -0.19133606553077698,
+ "lyap1_max": -0.12033500522375107,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 463,
+ "sup_loss": 1.082205865813765,
+ "rf_loss": 0.0,
+ "total_loss": 1.082205865813765,
+ "lyap1_mean": -0.23340176045894623,
+ "lyap1_max": -0.18426761031150818,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 464,
+ "sup_loss": 1.158866111498412,
+ "rf_loss": 0.0,
+ "total_loss": 1.158866111498412,
+ "lyap1_mean": -0.2006462961435318,
+ "lyap1_max": -0.15115773677825928,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 465,
+ "sup_loss": 1.1835333165343047,
+ "rf_loss": 5.175050318939611e-05,
+ "total_loss": 1.1840508215807506,
+ "lyap1_mean": -0.1956401765346527,
+ "lyap1_max": -0.12965291738510132,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 466,
+ "sup_loss": 1.092138812272964,
+ "rf_loss": 0.0,
+ "total_loss": 1.092138812272964,
+ "lyap1_mean": -0.20877104997634888,
+ "lyap1_max": -0.1778421700000763,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 467,
+ "sup_loss": 1.1467435023385253,
+ "rf_loss": 6.261455382627901e-06,
+ "total_loss": 1.1468061168941706,
+ "lyap1_mean": -0.18008548021316528,
+ "lyap1_max": -0.14292246103286743,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 468,
+ "sup_loss": 1.1714140126778787,
+ "rf_loss": 0.0,
+ "total_loss": 1.1714140126778787,
+ "lyap1_mean": -0.2121172696352005,
+ "lyap1_max": -0.18394476175308228,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 469,
+ "sup_loss": 1.2471166868600736,
+ "rf_loss": 0.0,
+ "total_loss": 1.2471166868600736,
+ "lyap1_mean": -0.20585897564888,
+ "lyap1_max": -0.15206991136074066,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 470,
+ "sup_loss": 1.159607924148588,
+ "rf_loss": 0.0,
+ "total_loss": 1.159607924148588,
+ "lyap1_mean": -0.20577192306518555,
+ "lyap1_max": -0.1671510934829712,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 471,
+ "sup_loss": 1.1544601939791965,
+ "rf_loss": 0.0,
+ "total_loss": 1.1544601939791965,
+ "lyap1_mean": -0.21322478353977203,
+ "lyap1_max": -0.19036656618118286,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 472,
+ "sup_loss": 1.088416423493034,
+ "rf_loss": 0.0,
+ "total_loss": 1.088416423493034,
+ "lyap1_mean": -0.19822613894939423,
+ "lyap1_max": -0.15459102392196655,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 473,
+ "sup_loss": 1.023759240791422,
+ "rf_loss": 2.0111482967877237e-07,
+ "total_loss": 1.0237612519397756,
+ "lyap1_mean": -0.20137810707092285,
+ "lyap1_max": -0.14873157441616058,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 474,
+ "sup_loss": 1.0794049246634319,
+ "rf_loss": 0.0,
+ "total_loss": 1.0794049246634319,
+ "lyap1_mean": -0.21128933131694794,
+ "lyap1_max": -0.1635930985212326,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 475,
+ "sup_loss": 1.1192037200546643,
+ "rf_loss": 0.0,
+ "total_loss": 1.1192037200546643,
+ "lyap1_mean": -0.20154628157615662,
+ "lyap1_max": -0.16647227108478546,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.9669863441973578,
+ "rf_loss": 0.0,
+ "total_loss": 0.9669863441973578,
+ "lyap1_mean": -0.2189827859401703,
+ "lyap1_max": -0.18759435415267944,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 477,
+ "sup_loss": 1.0350021669361977,
+ "rf_loss": 0.0,
+ "total_loss": 1.0350021669361977,
+ "lyap1_mean": -0.20662538707256317,
+ "lyap1_max": -0.17919425666332245,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 478,
+ "sup_loss": 1.101726532316313,
+ "rf_loss": 0.0,
+ "total_loss": 1.101726532316313,
+ "lyap1_mean": -0.21880477666854858,
+ "lyap1_max": -0.15135768055915833,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 479,
+ "sup_loss": 1.0365753878720418,
+ "rf_loss": 0.0,
+ "total_loss": 1.0365753878720418,
+ "lyap1_mean": -0.20633958280086517,
+ "lyap1_max": -0.15985062718391418,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 480,
+ "sup_loss": 1.126546794197987,
+ "rf_loss": 0.0,
+ "total_loss": 1.126546794197987,
+ "lyap1_mean": -0.22447064518928528,
+ "lyap1_max": -0.17613503336906433,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 481,
+ "sup_loss": 1.0416324485893964,
+ "rf_loss": 0.0,
+ "total_loss": 1.0416324485893964,
+ "lyap1_mean": -0.20008710026741028,
+ "lyap1_max": -0.1823975294828415,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 482,
+ "sup_loss": 1.0982218647387736,
+ "rf_loss": 0.0,
+ "total_loss": 1.0982218647387736,
+ "lyap1_mean": -0.22534123063087463,
+ "lyap1_max": -0.20405614376068115,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 483,
+ "sup_loss": 1.133727754337339,
+ "rf_loss": 0.0,
+ "total_loss": 1.133727754337339,
+ "lyap1_mean": -0.20711080729961395,
+ "lyap1_max": -0.19581013917922974,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 484,
+ "sup_loss": 1.0591555212982298,
+ "rf_loss": 0.0,
+ "total_loss": 1.0591555212982298,
+ "lyap1_mean": -0.20568612217903137,
+ "lyap1_max": -0.16994976997375488,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 485,
+ "sup_loss": 1.1354548377958191,
+ "rf_loss": 1.0163399565499276e-05,
+ "total_loss": 1.1355564717914741,
+ "lyap1_mean": -0.19831696152687073,
+ "lyap1_max": -0.1409829556941986,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 486,
+ "sup_loss": 1.0657061149746423,
+ "rf_loss": 0.0,
+ "total_loss": 1.0657061149746423,
+ "lyap1_mean": -0.21946895122528076,
+ "lyap1_max": -0.15371832251548767,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.980277990587431,
+ "rf_loss": 0.0,
+ "total_loss": 0.980277990587431,
+ "lyap1_mean": -0.20372742414474487,
+ "lyap1_max": -0.16497893631458282,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.9005046962394413,
+ "rf_loss": 0.0,
+ "total_loss": 0.9005046962394413,
+ "lyap1_mean": -0.20260699093341827,
+ "lyap1_max": -0.16826686263084412,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 489,
+ "sup_loss": 1.141582697777691,
+ "rf_loss": 0.0,
+ "total_loss": 1.141582697777691,
+ "lyap1_mean": -0.21297688782215118,
+ "lyap1_max": -0.1679012030363083,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 490,
+ "sup_loss": 1.047198043482623,
+ "rf_loss": 0.0,
+ "total_loss": 1.047198043482623,
+ "lyap1_mean": -0.20292165875434875,
+ "lyap1_max": -0.1597352921962738,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 491,
+ "sup_loss": 1.0670791679405982,
+ "rf_loss": 0.0,
+ "total_loss": 1.0670791679405982,
+ "lyap1_mean": -0.2058776617050171,
+ "lyap1_max": -0.17663025856018066,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 492,
+ "sup_loss": 1.0055532944405932,
+ "rf_loss": 0.0003166902461089194,
+ "total_loss": 1.008720196785267,
+ "lyap1_mean": -0.20520803332328796,
+ "lyap1_max": -0.09966590255498886,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.8886531155488315,
+ "rf_loss": 0.0,
+ "total_loss": 0.8886531155488315,
+ "lyap1_mean": -0.2093135267496109,
+ "lyap1_max": -0.16309314966201782,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 494,
+ "sup_loss": 1.050277634154764,
+ "rf_loss": 0.0,
+ "total_loss": 1.050277634154764,
+ "lyap1_mean": -0.22159984707832336,
+ "lyap1_max": -0.1917075216770172,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.9769790449573155,
+ "rf_loss": 6.542300980072469e-05,
+ "total_loss": 0.9776332750844265,
+ "lyap1_mean": -0.20038112998008728,
+ "lyap1_max": -0.1271224170923233,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.9748600580971454,
+ "rf_loss": 0.0,
+ "total_loss": 0.9748600580971454,
+ "lyap1_mean": -0.20374011993408203,
+ "lyap1_max": -0.17117995023727417,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 497,
+ "sup_loss": 1.0460393106193535,
+ "rf_loss": 0.0,
+ "total_loss": 1.0460393106193535,
+ "lyap1_mean": -0.22167986631393433,
+ "lyap1_max": -0.1858966052532196,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 498,
+ "sup_loss": 1.105260422162884,
+ "rf_loss": 0.0,
+ "total_loss": 1.105260422162884,
+ "lyap1_mean": -0.21847489476203918,
+ "lyap1_max": -0.17962199449539185,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.9976567533825863,
+ "rf_loss": 0.0,
+ "total_loss": 0.9976567533825863,
+ "lyap1_mean": -0.19785811007022858,
+ "lyap1_max": -0.1733027547597885,
+ "frac_above_star": 0.0
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.484375,
+ "tok_acc": 0.8186487268518519
+ },
+ {
+ "step": 100,
+ "acc": 0.03125,
+ "tok_acc": 0.6439525462962963
+ },
+ {
+ "step": 200,
+ "acc": 0.0,
+ "tok_acc": 0.4247926311728395
+ },
+ {
+ "step": 300,
+ "acc": 0.0,
+ "tok_acc": 0.49385127314814814
+ },
+ {
+ "step": 400,
+ "acc": 0.1171875,
+ "tok_acc": 0.632788387345679
+ },
+ {
+ "step": 500,
+ "acc": 0.345703125,
+ "tok_acc": 0.7655044367283951
+ },
+ {
+ "step": 500,
+ "acc": 0.345703125,
+ "tok_acc": 0.7655044367283951
+ }
+ ],
+ "final_acc": 0.345703125,
+ "final_tok_acc": 0.7655044367283951
+} \ No newline at end of file