summaryrefslogtreecommitdiff
path: root/research/flossing/step3_D_rf_26040_lstar0.json
diff options
context:
space:
mode:
Diffstat (limited to 'research/flossing/step3_D_rf_26040_lstar0.json')
-rw-r--r--research/flossing/step3_D_rf_26040_lstar0.json4561
1 files changed, 4561 insertions, 0 deletions
diff --git a/research/flossing/step3_D_rf_26040_lstar0.json b/research/flossing/step3_D_rf_26040_lstar0.json
new file mode 100644
index 0000000..669a457
--- /dev/null
+++ b/research/flossing/step3_D_rf_26040_lstar0.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_26040",
+ "n_steps": 500,
+ "batch_size": 8,
+ "lr": 1e-05,
+ "alpha_rf": 10.0,
+ "lambda_star": 0.0,
+ "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_D_rf_26040_lstar0.json"
+ },
+ "initial_acc": 0.517578125,
+ "initial_tok_acc": 0.8276668595679012,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.5709326593550843,
+ "rf_loss": 0.0,
+ "total_loss": 0.5709326593550843,
+ "lyap1_mean": -0.18472686409950256,
+ "lyap1_max": -0.04164290055632591,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.4537315985598272,
+ "rf_loss": 0.0,
+ "total_loss": 0.4537315985598272,
+ "lyap1_mean": -0.18278884887695312,
+ "lyap1_max": -0.07852113246917725,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.7113479716905943,
+ "rf_loss": 0.0,
+ "total_loss": 0.7113479716905943,
+ "lyap1_mean": -0.19486622512340546,
+ "lyap1_max": -0.1192842349410057,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.597583092054463,
+ "rf_loss": 0.0,
+ "total_loss": 0.597583092054463,
+ "lyap1_mean": -0.18127819895744324,
+ "lyap1_max": -0.0903722271323204,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.5738701157693367,
+ "rf_loss": 0.0,
+ "total_loss": 0.5738701157693367,
+ "lyap1_mean": -0.1465875506401062,
+ "lyap1_max": -0.0674026608467102,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.8187648733421766,
+ "rf_loss": 0.0,
+ "total_loss": 0.8187648733421766,
+ "lyap1_mean": -0.13810217380523682,
+ "lyap1_max": -0.023307686671614647,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.5935503668105154,
+ "rf_loss": 0.0,
+ "total_loss": 0.5935503668105154,
+ "lyap1_mean": -0.18558409810066223,
+ "lyap1_max": -0.14445218443870544,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.6116007363203012,
+ "rf_loss": 0.0,
+ "total_loss": 0.6116007363203012,
+ "lyap1_mean": -0.17203228175640106,
+ "lyap1_max": -0.13824281096458435,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.7647240980851782,
+ "rf_loss": 0.0,
+ "total_loss": 0.7647240980851782,
+ "lyap1_mean": -0.13947001099586487,
+ "lyap1_max": -0.09547226876020432,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.8396100166154439,
+ "rf_loss": 0.0,
+ "total_loss": 0.8396100166154439,
+ "lyap1_mean": -0.13995055854320526,
+ "lyap1_max": -0.03150452673435211,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.6428039585044509,
+ "rf_loss": 0.0,
+ "total_loss": 0.6428039585044509,
+ "lyap1_mean": -0.15870139002799988,
+ "lyap1_max": -0.09396694600582123,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.5811422490218018,
+ "rf_loss": 0.0,
+ "total_loss": 0.5811422490218018,
+ "lyap1_mean": -0.19246718287467957,
+ "lyap1_max": -0.10694313049316406,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.5142992216071943,
+ "rf_loss": 0.0,
+ "total_loss": 0.5142992216071943,
+ "lyap1_mean": -0.17781132459640503,
+ "lyap1_max": -0.10174864530563354,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.6980310100472148,
+ "rf_loss": 0.0,
+ "total_loss": 0.6980310100472148,
+ "lyap1_mean": -0.1402999758720398,
+ "lyap1_max": -0.0456048846244812,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.5892403047533569,
+ "rf_loss": 0.0,
+ "total_loss": 0.5892403047533569,
+ "lyap1_mean": -0.16698290407657623,
+ "lyap1_max": -0.03724510222673416,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.6831909016860896,
+ "rf_loss": 0.0,
+ "total_loss": 0.6831909016860896,
+ "lyap1_mean": -0.1744181364774704,
+ "lyap1_max": -0.07581361383199692,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.5609518770313622,
+ "rf_loss": 0.0,
+ "total_loss": 0.5609518770313622,
+ "lyap1_mean": -0.15907441079616547,
+ "lyap1_max": -0.03832785412669182,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.7168034194474827,
+ "rf_loss": 0.0,
+ "total_loss": 0.7168034194474827,
+ "lyap1_mean": -0.13614536821842194,
+ "lyap1_max": -0.07818807661533356,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.5966043230778727,
+ "rf_loss": 0.0,
+ "total_loss": 0.5966043230778727,
+ "lyap1_mean": -0.19817839562892914,
+ "lyap1_max": -0.12519890069961548,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.47885175270739827,
+ "rf_loss": 0.0,
+ "total_loss": 0.47885175270739827,
+ "lyap1_mean": -0.18308168649673462,
+ "lyap1_max": -0.014672264456748962,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.5983548755237532,
+ "rf_loss": 0.0,
+ "total_loss": 0.5983548755237532,
+ "lyap1_mean": -0.17639592289924622,
+ "lyap1_max": -0.06831589341163635,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.5746365896558261,
+ "rf_loss": 0.0,
+ "total_loss": 0.5746365896558261,
+ "lyap1_mean": -0.16372406482696533,
+ "lyap1_max": -0.11158832907676697,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.6301474495948247,
+ "rf_loss": 0.0,
+ "total_loss": 0.6301474495948247,
+ "lyap1_mean": -0.16582883894443512,
+ "lyap1_max": -0.06442220509052277,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.5427223688141529,
+ "rf_loss": 0.0,
+ "total_loss": 0.5427223688141529,
+ "lyap1_mean": -0.1792174130678177,
+ "lyap1_max": -0.11282213777303696,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.7867869354688557,
+ "rf_loss": 0.0,
+ "total_loss": 0.7867869354688557,
+ "lyap1_mean": -0.14375832676887512,
+ "lyap1_max": -0.10010765492916107,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.817251779312334,
+ "rf_loss": 4.548199285636656e-06,
+ "total_loss": 0.8172972613051903,
+ "lyap1_mean": -0.12222366780042648,
+ "lyap1_max": 0.00603204732760787,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.8035067499033389,
+ "rf_loss": 0.0,
+ "total_loss": 0.8035067499033389,
+ "lyap1_mean": -0.1318286508321762,
+ "lyap1_max": -0.07215680927038193,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.4270028163263247,
+ "rf_loss": 0.0,
+ "total_loss": 0.4270028163263247,
+ "lyap1_mean": -0.18793411552906036,
+ "lyap1_max": -0.07287189364433289,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.7617109706684106,
+ "rf_loss": 0.0,
+ "total_loss": 0.7617109706684106,
+ "lyap1_mean": -0.13562969863414764,
+ "lyap1_max": -0.05400077626109123,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.7822640095468119,
+ "rf_loss": 0.0,
+ "total_loss": 0.7822640095468119,
+ "lyap1_mean": -0.14778971672058105,
+ "lyap1_max": -0.0919022187590599,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.6729986206898457,
+ "rf_loss": 0.0,
+ "total_loss": 0.6729986206898457,
+ "lyap1_mean": -0.1395232230424881,
+ "lyap1_max": -0.02846486121416092,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.6373579476035567,
+ "rf_loss": 8.829884609440342e-05,
+ "total_loss": 0.6382409360499488,
+ "lyap1_mean": -0.1356256902217865,
+ "lyap1_max": 0.026578012853860855,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.5830916228134961,
+ "rf_loss": 0.0,
+ "total_loss": 0.5830916228134961,
+ "lyap1_mean": -0.14453251659870148,
+ "lyap1_max": -0.08446592092514038,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.521404521173602,
+ "rf_loss": 0.0,
+ "total_loss": 0.521404521173602,
+ "lyap1_mean": -0.17164994776248932,
+ "lyap1_max": -0.09436239302158356,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.7941034261864478,
+ "rf_loss": 0.0,
+ "total_loss": 0.7941034261864478,
+ "lyap1_mean": -0.15527258813381195,
+ "lyap1_max": -0.10340406745672226,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.4363282311965954,
+ "rf_loss": 0.0,
+ "total_loss": 0.4363282311965954,
+ "lyap1_mean": -0.18346171081066132,
+ "lyap1_max": -0.10809855163097382,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.6136871672257647,
+ "rf_loss": 0.0,
+ "total_loss": 0.6136871672257647,
+ "lyap1_mean": -0.17476990818977356,
+ "lyap1_max": -0.11162661761045456,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.8029722518854867,
+ "rf_loss": 0.0,
+ "total_loss": 0.8029722518854867,
+ "lyap1_mean": -0.15289001166820526,
+ "lyap1_max": -0.09114080667495728,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.513709011562989,
+ "rf_loss": 0.0,
+ "total_loss": 0.513709011562989,
+ "lyap1_mean": -0.17961949110031128,
+ "lyap1_max": -0.09186246991157532,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.7502787226987873,
+ "rf_loss": 0.0,
+ "total_loss": 0.7502787226987873,
+ "lyap1_mean": -0.1405312716960907,
+ "lyap1_max": -0.0837816596031189,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.6877028622418593,
+ "rf_loss": 0.0,
+ "total_loss": 0.6877028622418593,
+ "lyap1_mean": -0.17151132225990295,
+ "lyap1_max": -0.13685926795005798,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.4863387269811524,
+ "rf_loss": 0.0,
+ "total_loss": 0.4863387269811524,
+ "lyap1_mean": -0.21138250827789307,
+ "lyap1_max": -0.1175619587302208,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.7514742933668795,
+ "rf_loss": 0.0,
+ "total_loss": 0.7514742933668795,
+ "lyap1_mean": -0.16092783212661743,
+ "lyap1_max": -0.031270831823349,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.7129178077227725,
+ "rf_loss": 0.0,
+ "total_loss": 0.7129178077227725,
+ "lyap1_mean": -0.1851135790348053,
+ "lyap1_max": -0.10778182744979858,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.8868683315345265,
+ "rf_loss": 0.0,
+ "total_loss": 0.8868683315345265,
+ "lyap1_mean": -0.1670822948217392,
+ "lyap1_max": -0.11507737636566162,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.6351602932222572,
+ "rf_loss": 0.0,
+ "total_loss": 0.6351602932222572,
+ "lyap1_mean": -0.1371801495552063,
+ "lyap1_max": -0.061941247433423996,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.6563493031305806,
+ "rf_loss": 0.0,
+ "total_loss": 0.6563493031305806,
+ "lyap1_mean": -0.17162778973579407,
+ "lyap1_max": -0.09708268940448761,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.647606127062305,
+ "rf_loss": 0.0,
+ "total_loss": 0.647606127062305,
+ "lyap1_mean": -0.1585829257965088,
+ "lyap1_max": -0.11212565749883652,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.5985624645375054,
+ "rf_loss": 0.0,
+ "total_loss": 0.5985624645375054,
+ "lyap1_mean": -0.16952288150787354,
+ "lyap1_max": -0.00444550346583128,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5917569659446742,
+ "rf_loss": 0.0,
+ "total_loss": 0.5917569659446742,
+ "lyap1_mean": -0.16630221903324127,
+ "lyap1_max": -0.10793127119541168,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6085986407724109,
+ "rf_loss": 0.0,
+ "total_loss": 0.6085986407724109,
+ "lyap1_mean": -0.18211820721626282,
+ "lyap1_max": -0.10828250646591187,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.8413370421486563,
+ "rf_loss": 0.0,
+ "total_loss": 0.8413370421486563,
+ "lyap1_mean": -0.15773043036460876,
+ "lyap1_max": -0.06584006547927856,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.5183901930392883,
+ "rf_loss": 0.0,
+ "total_loss": 0.5183901930392883,
+ "lyap1_mean": -0.16177651286125183,
+ "lyap1_max": -0.049565624445676804,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.6302464230587657,
+ "rf_loss": 0.0,
+ "total_loss": 0.6302464230587657,
+ "lyap1_mean": -0.16698575019836426,
+ "lyap1_max": -0.08847765624523163,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5887948076394037,
+ "rf_loss": 0.0,
+ "total_loss": 0.5887948076394037,
+ "lyap1_mean": -0.15485382080078125,
+ "lyap1_max": -0.06163830682635307,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.6782536216819343,
+ "rf_loss": 0.0,
+ "total_loss": 0.6782536216819343,
+ "lyap1_mean": -0.1806010901927948,
+ "lyap1_max": -0.13877363502979279,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.5827696306391047,
+ "rf_loss": 0.0,
+ "total_loss": 0.5827696306391047,
+ "lyap1_mean": -0.1872037798166275,
+ "lyap1_max": -0.0712938904762268,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.6474822727773479,
+ "rf_loss": 0.0,
+ "total_loss": 0.6474822727773479,
+ "lyap1_mean": -0.1662570834159851,
+ "lyap1_max": -0.06317443400621414,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.6788763995223821,
+ "rf_loss": 0.0,
+ "total_loss": 0.6788763995223821,
+ "lyap1_mean": -0.1647149920463562,
+ "lyap1_max": -0.09737633913755417,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.47308183679881255,
+ "rf_loss": 0.0,
+ "total_loss": 0.47308183679881255,
+ "lyap1_mean": -0.18589964509010315,
+ "lyap1_max": -0.12766408920288086,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.658854769842467,
+ "rf_loss": 0.0,
+ "total_loss": 0.658854769842467,
+ "lyap1_mean": -0.16994233429431915,
+ "lyap1_max": -0.061627887189388275,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5568001125947928,
+ "rf_loss": 0.0,
+ "total_loss": 0.5568001125947928,
+ "lyap1_mean": -0.15149489045143127,
+ "lyap1_max": -0.022932160645723343,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.3920446858339084,
+ "rf_loss": 0.0,
+ "total_loss": 0.3920446858339084,
+ "lyap1_mean": -0.19239003956317902,
+ "lyap1_max": -0.10116466134786606,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.721397570023637,
+ "rf_loss": 0.0,
+ "total_loss": 0.721397570023637,
+ "lyap1_mean": -0.11694826185703278,
+ "lyap1_max": -0.0010510149877518415,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.6330102172688891,
+ "rf_loss": 0.0,
+ "total_loss": 0.6330102172688891,
+ "lyap1_mean": -0.1513533890247345,
+ "lyap1_max": -0.017508748918771744,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.8250728506941158,
+ "rf_loss": 0.0,
+ "total_loss": 0.8250728506941158,
+ "lyap1_mean": -0.17732658982276917,
+ "lyap1_max": -0.09383243322372437,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.5940941855190451,
+ "rf_loss": 0.0,
+ "total_loss": 0.5940941855190451,
+ "lyap1_mean": -0.1654309332370758,
+ "lyap1_max": -0.1284300982952118,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.4664364560962616,
+ "rf_loss": 0.0,
+ "total_loss": 0.4664364560962616,
+ "lyap1_mean": -0.1642216444015503,
+ "lyap1_max": -0.06826764345169067,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.6827257766025395,
+ "rf_loss": 0.0,
+ "total_loss": 0.6827257766025395,
+ "lyap1_mean": -0.15604588389396667,
+ "lyap1_max": -0.033950455486774445,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.7690185307512533,
+ "rf_loss": 0.0,
+ "total_loss": 0.7690185307512533,
+ "lyap1_mean": -0.14441591501235962,
+ "lyap1_max": -0.04283683001995087,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.6848736940860772,
+ "rf_loss": 0.0,
+ "total_loss": 0.6848736940860772,
+ "lyap1_mean": -0.1828622668981552,
+ "lyap1_max": -0.1170906275510788,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.7542726315728827,
+ "rf_loss": 0.0,
+ "total_loss": 0.7542726315728827,
+ "lyap1_mean": -0.1594351828098297,
+ "lyap1_max": -0.12077991664409637,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.42682296156124,
+ "rf_loss": 0.0,
+ "total_loss": 0.42682296156124,
+ "lyap1_mean": -0.1843143105506897,
+ "lyap1_max": -0.1570216864347458,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.5746759420306596,
+ "rf_loss": 0.0,
+ "total_loss": 0.5746759420306596,
+ "lyap1_mean": -0.19194787740707397,
+ "lyap1_max": -0.15704798698425293,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.6472347139375125,
+ "rf_loss": 0.0,
+ "total_loss": 0.6472347139375125,
+ "lyap1_mean": -0.18024486303329468,
+ "lyap1_max": -0.08175953477621078,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.6434590189756606,
+ "rf_loss": 0.0,
+ "total_loss": 0.6434590189756606,
+ "lyap1_mean": -0.12922370433807373,
+ "lyap1_max": -0.08600979298353195,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.558842837989357,
+ "rf_loss": 0.0,
+ "total_loss": 0.558842837989357,
+ "lyap1_mean": -0.16661901772022247,
+ "lyap1_max": -0.08575361967086792,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.6260539351643165,
+ "rf_loss": 0.0,
+ "total_loss": 0.6260539351643165,
+ "lyap1_mean": -0.17542681097984314,
+ "lyap1_max": -0.14538516104221344,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.861482869698535,
+ "rf_loss": 0.0,
+ "total_loss": 0.861482869698535,
+ "lyap1_mean": -0.1483696699142456,
+ "lyap1_max": -0.11332204192876816,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.7148390509002194,
+ "rf_loss": 0.0,
+ "total_loss": 0.7148390509002194,
+ "lyap1_mean": -0.15092776715755463,
+ "lyap1_max": -0.1086602658033371,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.6532735136873377,
+ "rf_loss": 0.0,
+ "total_loss": 0.6532735136873377,
+ "lyap1_mean": -0.17219707369804382,
+ "lyap1_max": -0.07662263512611389,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.397951504033647,
+ "rf_loss": 0.0,
+ "total_loss": 0.397951504033647,
+ "lyap1_mean": -0.18101228773593903,
+ "lyap1_max": -0.1068848967552185,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.5690674482673395,
+ "rf_loss": 0.0,
+ "total_loss": 0.5690674482673395,
+ "lyap1_mean": -0.16561073064804077,
+ "lyap1_max": -0.040073543787002563,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.6969073781404801,
+ "rf_loss": 0.0,
+ "total_loss": 0.6969073781404801,
+ "lyap1_mean": -0.15943306684494019,
+ "lyap1_max": -0.08403140306472778,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.718420066845627,
+ "rf_loss": 0.0,
+ "total_loss": 0.718420066845627,
+ "lyap1_mean": -0.1287401020526886,
+ "lyap1_max": -0.05855541676282883,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.7393493357043255,
+ "rf_loss": 0.0,
+ "total_loss": 0.7393493357043255,
+ "lyap1_mean": -0.1613348126411438,
+ "lyap1_max": -0.07303096354007721,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.7361247995323846,
+ "rf_loss": 0.0,
+ "total_loss": 0.7361247995323846,
+ "lyap1_mean": -0.1712632179260254,
+ "lyap1_max": -0.1111355870962143,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.665967349699131,
+ "rf_loss": 0.0,
+ "total_loss": 0.665967349699131,
+ "lyap1_mean": -0.13269855082035065,
+ "lyap1_max": -0.06142164766788483,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.8668512995073326,
+ "rf_loss": 0.0,
+ "total_loss": 0.8668512995073326,
+ "lyap1_mean": -0.1623269021511078,
+ "lyap1_max": -0.06179894506931305,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.7472489198897707,
+ "rf_loss": 0.0,
+ "total_loss": 0.7472489198897707,
+ "lyap1_mean": -0.16679202020168304,
+ "lyap1_max": -0.07163617014884949,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.45785369931819686,
+ "rf_loss": 0.0,
+ "total_loss": 0.45785369931819686,
+ "lyap1_mean": -0.14543414115905762,
+ "lyap1_max": -0.07081221789121628,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.6713364617643696,
+ "rf_loss": 0.0,
+ "total_loss": 0.6713364617643696,
+ "lyap1_mean": -0.16620296239852905,
+ "lyap1_max": -0.1152341216802597,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.6798887309407537,
+ "rf_loss": 0.0,
+ "total_loss": 0.6798887309407537,
+ "lyap1_mean": -0.18379780650138855,
+ "lyap1_max": -0.08940088003873825,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.470993184242424,
+ "rf_loss": 0.0,
+ "total_loss": 0.470993184242424,
+ "lyap1_mean": -0.1753304898738861,
+ "lyap1_max": -0.07410664856433868,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.7099687879292464,
+ "rf_loss": 0.0,
+ "total_loss": 0.7099687879292464,
+ "lyap1_mean": -0.13737663626670837,
+ "lyap1_max": -0.02115902304649353,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.6304236624334681,
+ "rf_loss": 0.0,
+ "total_loss": 0.6304236624334681,
+ "lyap1_mean": -0.16854791343212128,
+ "lyap1_max": -0.13022518157958984,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.7120030864178615,
+ "rf_loss": 0.0,
+ "total_loss": 0.7120030864178615,
+ "lyap1_mean": -0.16556787490844727,
+ "lyap1_max": -0.059217117726802826,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.49628548442866827,
+ "rf_loss": 0.0,
+ "total_loss": 0.49628548442866827,
+ "lyap1_mean": -0.16981056332588196,
+ "lyap1_max": -0.09900077432394028,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.7436049322671723,
+ "rf_loss": 0.0,
+ "total_loss": 0.7436049322671723,
+ "lyap1_mean": -0.18156345188617706,
+ "lyap1_max": -0.08804964274168015,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.5238087801518918,
+ "rf_loss": 0.0,
+ "total_loss": 0.5238087801518918,
+ "lyap1_mean": -0.19207635521888733,
+ "lyap1_max": -0.10540645569562912,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5774716897504695,
+ "rf_loss": 0.0,
+ "total_loss": 0.5774716897504695,
+ "lyap1_mean": -0.1739678531885147,
+ "lyap1_max": -0.11489246785640717,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.5231556343723287,
+ "rf_loss": 2.1604860194202047e-06,
+ "total_loss": 0.5231772392334324,
+ "lyap1_mean": -0.1403467059135437,
+ "lyap1_max": 0.004157389514148235,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.683954065967664,
+ "rf_loss": 0.0,
+ "total_loss": 0.683954065967664,
+ "lyap1_mean": -0.16159150004386902,
+ "lyap1_max": -0.10724122822284698,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.673855342863094,
+ "rf_loss": 0.0,
+ "total_loss": 0.673855342863094,
+ "lyap1_mean": -0.1392432153224945,
+ "lyap1_max": -0.09444575011730194,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.7308201298778694,
+ "rf_loss": 0.0,
+ "total_loss": 0.7308201298778694,
+ "lyap1_mean": -0.1400500386953354,
+ "lyap1_max": -0.05964689701795578,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.7183844608879186,
+ "rf_loss": 0.0,
+ "total_loss": 0.7183844608879186,
+ "lyap1_mean": -0.16069242358207703,
+ "lyap1_max": -0.10598012059926987,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.703889093445469,
+ "rf_loss": 0.0,
+ "total_loss": 0.703889093445469,
+ "lyap1_mean": -0.16085049510002136,
+ "lyap1_max": -0.09450648725032806,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.7585623041551177,
+ "rf_loss": 0.0,
+ "total_loss": 0.7585623041551177,
+ "lyap1_mean": -0.17502331733703613,
+ "lyap1_max": -0.11126396059989929,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.6285093504506747,
+ "rf_loss": 0.0,
+ "total_loss": 0.6285093504506747,
+ "lyap1_mean": -0.14805707335472107,
+ "lyap1_max": -0.0061344183050096035,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.7506853835027976,
+ "rf_loss": 0.0,
+ "total_loss": 0.7506853835027976,
+ "lyap1_mean": -0.14569415152072906,
+ "lyap1_max": -0.08929413557052612,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.6462080920140123,
+ "rf_loss": 0.0,
+ "total_loss": 0.6462080920140123,
+ "lyap1_mean": -0.18132932484149933,
+ "lyap1_max": -0.10848363488912582,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.7425096371613439,
+ "rf_loss": 0.0,
+ "total_loss": 0.7425096371613439,
+ "lyap1_mean": -0.16515275835990906,
+ "lyap1_max": -0.023672889918088913,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.7617734319468721,
+ "rf_loss": 0.0,
+ "total_loss": 0.7617734319468721,
+ "lyap1_mean": -0.16278308629989624,
+ "lyap1_max": -0.11334371566772461,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.7429994084178121,
+ "rf_loss": 0.0,
+ "total_loss": 0.7429994084178121,
+ "lyap1_mean": -0.14945060014724731,
+ "lyap1_max": -0.03888426721096039,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.5267895653243198,
+ "rf_loss": 0.0,
+ "total_loss": 0.5267895653243198,
+ "lyap1_mean": -0.19663462042808533,
+ "lyap1_max": -0.12710979580879211,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.5565786392899637,
+ "rf_loss": 0.0,
+ "total_loss": 0.5565786392899637,
+ "lyap1_mean": -0.13070335984230042,
+ "lyap1_max": -0.03979885205626488,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.6669617407688825,
+ "rf_loss": 0.0,
+ "total_loss": 0.6669617407688825,
+ "lyap1_mean": -0.14918240904808044,
+ "lyap1_max": -0.10453256219625473,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.8919492397026759,
+ "rf_loss": 0.0,
+ "total_loss": 0.8919492397026759,
+ "lyap1_mean": -0.1505049765110016,
+ "lyap1_max": -0.07825712859630585,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.4710842552117467,
+ "rf_loss": 0.0,
+ "total_loss": 0.4710842552117467,
+ "lyap1_mean": -0.15943017601966858,
+ "lyap1_max": -0.09568998217582703,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.6251381927293124,
+ "rf_loss": 0.0,
+ "total_loss": 0.6251381927293124,
+ "lyap1_mean": -0.14373569190502167,
+ "lyap1_max": -0.06169363856315613,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.5066496812910415,
+ "rf_loss": 0.0,
+ "total_loss": 0.5066496812910415,
+ "lyap1_mean": -0.1958259791135788,
+ "lyap1_max": -0.1477712243795395,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.7547321366686087,
+ "rf_loss": 0.00020556825620587915,
+ "total_loss": 0.756787819143356,
+ "lyap1_mean": -0.12657774984836578,
+ "lyap1_max": 0.040553003549575806,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.7638001595410133,
+ "rf_loss": 0.0,
+ "total_loss": 0.7638001595410133,
+ "lyap1_mean": -0.1522892415523529,
+ "lyap1_max": -0.08786033093929291,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.7328743644942293,
+ "rf_loss": 0.0,
+ "total_loss": 0.7328743644942293,
+ "lyap1_mean": -0.16936597228050232,
+ "lyap1_max": -0.10127531737089157,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.8598762363137328,
+ "rf_loss": 0.0,
+ "total_loss": 0.8598762363137328,
+ "lyap1_mean": -0.16397269070148468,
+ "lyap1_max": -0.12449608743190765,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.6361224805438286,
+ "rf_loss": 0.0,
+ "total_loss": 0.6361224805438286,
+ "lyap1_mean": -0.16441287100315094,
+ "lyap1_max": -0.003912968095391989,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.5353405608963704,
+ "rf_loss": 0.0,
+ "total_loss": 0.5353405608963704,
+ "lyap1_mean": -0.18839746713638306,
+ "lyap1_max": -0.10522984713315964,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.48159890175980585,
+ "rf_loss": 0.0,
+ "total_loss": 0.48159890175980585,
+ "lyap1_mean": -0.1902238428592682,
+ "lyap1_max": -0.09681003540754318,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.4968575787194232,
+ "rf_loss": 0.0,
+ "total_loss": 0.4968575787194232,
+ "lyap1_mean": -0.1681714802980423,
+ "lyap1_max": -0.12721289694309235,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.49441572515794663,
+ "rf_loss": 0.0,
+ "total_loss": 0.49441572515794663,
+ "lyap1_mean": -0.15709425508975983,
+ "lyap1_max": -0.06226184964179993,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.6815041913818336,
+ "rf_loss": 0.0,
+ "total_loss": 0.6815041913818336,
+ "lyap1_mean": -0.16429884731769562,
+ "lyap1_max": -0.043527211993932724,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.4634879950259534,
+ "rf_loss": 0.0,
+ "total_loss": 0.4634879950259534,
+ "lyap1_mean": -0.17791926860809326,
+ "lyap1_max": -0.12318724393844604,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.6064607875869855,
+ "rf_loss": 0.0,
+ "total_loss": 0.6064607875869855,
+ "lyap1_mean": -0.17092099785804749,
+ "lyap1_max": -0.10002817958593369,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.6685585300948974,
+ "rf_loss": 0.0,
+ "total_loss": 0.6685585300948974,
+ "lyap1_mean": -0.1789056658744812,
+ "lyap1_max": -0.12728065252304077,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5519405556303378,
+ "rf_loss": 0.0,
+ "total_loss": 0.5519405556303378,
+ "lyap1_mean": -0.19462084770202637,
+ "lyap1_max": -0.13060909509658813,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.7045589713840603,
+ "rf_loss": 0.0,
+ "total_loss": 0.7045589713840603,
+ "lyap1_mean": -0.16444037854671478,
+ "lyap1_max": -0.12477811425924301,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.7850105819752746,
+ "rf_loss": 0.0,
+ "total_loss": 0.7850105819752746,
+ "lyap1_mean": -0.1737174093723297,
+ "lyap1_max": -0.10541144013404846,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.7785755139098886,
+ "rf_loss": 0.0,
+ "total_loss": 0.7785755139098886,
+ "lyap1_mean": -0.18544209003448486,
+ "lyap1_max": -0.12326653301715851,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.5597011781455243,
+ "rf_loss": 0.0,
+ "total_loss": 0.5597011781455243,
+ "lyap1_mean": -0.1937633454799652,
+ "lyap1_max": -0.10527308285236359,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.6420759315860217,
+ "rf_loss": 0.0,
+ "total_loss": 0.6420759315860217,
+ "lyap1_mean": -0.15952451527118683,
+ "lyap1_max": -0.1008034199476242,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.8089228618042498,
+ "rf_loss": 0.0,
+ "total_loss": 0.8089228618042498,
+ "lyap1_mean": -0.1759156882762909,
+ "lyap1_max": -0.08576956391334534,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.812003107936831,
+ "rf_loss": 0.0,
+ "total_loss": 0.812003107936831,
+ "lyap1_mean": -0.1607247292995453,
+ "lyap1_max": -0.12249063700437546,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.4479740771091684,
+ "rf_loss": 0.0,
+ "total_loss": 0.4479740771091684,
+ "lyap1_mean": -0.20000380277633667,
+ "lyap1_max": -0.10555298626422882,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5817672780196375,
+ "rf_loss": 0.0,
+ "total_loss": 0.5817672780196375,
+ "lyap1_mean": -0.21298713982105255,
+ "lyap1_max": -0.12004043906927109,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.8797154348488917,
+ "rf_loss": 0.0,
+ "total_loss": 0.8797154348488917,
+ "lyap1_mean": -0.15399882197380066,
+ "lyap1_max": -0.09458988904953003,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.7232432633885784,
+ "rf_loss": 0.0,
+ "total_loss": 0.7232432633885784,
+ "lyap1_mean": -0.16347497701644897,
+ "lyap1_max": -0.06838824599981308,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.6496779163352263,
+ "rf_loss": 0.0,
+ "total_loss": 0.6496779163352263,
+ "lyap1_mean": -0.21644507348537445,
+ "lyap1_max": -0.17353467643260956,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.5966363329780522,
+ "rf_loss": 0.0,
+ "total_loss": 0.5966363329780522,
+ "lyap1_mean": -0.14191633462905884,
+ "lyap1_max": -0.014518341980874538,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.7682823559945844,
+ "rf_loss": 0.0,
+ "total_loss": 0.7682823559945844,
+ "lyap1_mean": -0.18606597185134888,
+ "lyap1_max": -0.0672815665602684,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.48843997782688237,
+ "rf_loss": 1.5960429664119147e-05,
+ "total_loss": 0.48859958212716154,
+ "lyap1_mean": -0.16264842450618744,
+ "lyap1_max": 0.011299709789454937,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.5459912834235725,
+ "rf_loss": 0.0,
+ "total_loss": 0.5459912834235725,
+ "lyap1_mean": -0.22184190154075623,
+ "lyap1_max": -0.1826731562614441,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.5772671115429909,
+ "rf_loss": 0.0,
+ "total_loss": 0.5772671115429909,
+ "lyap1_mean": -0.19352543354034424,
+ "lyap1_max": -0.14144814014434814,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.6428379037491997,
+ "rf_loss": 0.0,
+ "total_loss": 0.6428379037491997,
+ "lyap1_mean": -0.185125470161438,
+ "lyap1_max": -0.13151797652244568,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.6925685108833266,
+ "rf_loss": 0.0,
+ "total_loss": 0.6925685108833266,
+ "lyap1_mean": -0.16966179013252258,
+ "lyap1_max": -0.10489576309919357,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.5983692706905355,
+ "rf_loss": 0.0,
+ "total_loss": 0.5983692706905355,
+ "lyap1_mean": -0.15205121040344238,
+ "lyap1_max": -0.024969544261693954,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.5316189453574188,
+ "rf_loss": 0.0,
+ "total_loss": 0.5316189453574188,
+ "lyap1_mean": -0.18959608674049377,
+ "lyap1_max": -0.12221087515354156,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.7406186095827086,
+ "rf_loss": 0.0,
+ "total_loss": 0.7406186095827086,
+ "lyap1_mean": -0.1970748007297516,
+ "lyap1_max": -0.1529281586408615,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.740008784172204,
+ "rf_loss": 0.0,
+ "total_loss": 0.740008784172204,
+ "lyap1_mean": -0.1874978244304657,
+ "lyap1_max": -0.14316855370998383,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.8327116138901606,
+ "rf_loss": 0.0,
+ "total_loss": 0.8327116138901606,
+ "lyap1_mean": -0.16397586464881897,
+ "lyap1_max": -0.12425532937049866,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.6326493237895445,
+ "rf_loss": 0.0,
+ "total_loss": 0.6326493237895445,
+ "lyap1_mean": -0.2086288332939148,
+ "lyap1_max": -0.10337858647108078,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.8025968103576084,
+ "rf_loss": 0.0,
+ "total_loss": 0.8025968103576084,
+ "lyap1_mean": -0.15555360913276672,
+ "lyap1_max": -0.11220382153987885,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.5347459026657402,
+ "rf_loss": 0.0,
+ "total_loss": 0.5347459026657402,
+ "lyap1_mean": -0.191791832447052,
+ "lyap1_max": -0.06744301319122314,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.5489169539931192,
+ "rf_loss": 0.0,
+ "total_loss": 0.5489169539931192,
+ "lyap1_mean": -0.21898183226585388,
+ "lyap1_max": -0.10425346344709396,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.6873355043020226,
+ "rf_loss": 0.0,
+ "total_loss": 0.6873355043020226,
+ "lyap1_mean": -0.1897520124912262,
+ "lyap1_max": -0.11232604086399078,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.5877940564883443,
+ "rf_loss": 2.716142807912547e-05,
+ "total_loss": 0.5880656707800495,
+ "lyap1_mean": -0.1529943346977234,
+ "lyap1_max": 0.014740807935595512,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.5680939563641257,
+ "rf_loss": 0.0,
+ "total_loss": 0.5680939563641257,
+ "lyap1_mean": -0.19812071323394775,
+ "lyap1_max": -0.1274873912334442,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.6364573033743302,
+ "rf_loss": 0.0,
+ "total_loss": 0.6364573033743302,
+ "lyap1_mean": -0.17068974673748016,
+ "lyap1_max": -0.08150409907102585,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.8229395469826807,
+ "rf_loss": 0.0,
+ "total_loss": 0.8229395469826807,
+ "lyap1_mean": -0.16639558970928192,
+ "lyap1_max": -0.08304523676633835,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.6654180807504827,
+ "rf_loss": 0.0,
+ "total_loss": 0.6654180807504827,
+ "lyap1_mean": -0.19577012956142426,
+ "lyap1_max": -0.13709217309951782,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.5607177853343124,
+ "rf_loss": 0.0,
+ "total_loss": 0.5607177853343124,
+ "lyap1_mean": -0.20034848153591156,
+ "lyap1_max": -0.12562024593353271,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.5051097297444527,
+ "rf_loss": 0.0,
+ "total_loss": 0.5051097297444527,
+ "lyap1_mean": -0.23387402296066284,
+ "lyap1_max": -0.1652885377407074,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.6527895366933933,
+ "rf_loss": 0.0,
+ "total_loss": 0.6527895366933933,
+ "lyap1_mean": -0.16222573816776276,
+ "lyap1_max": -0.07033611834049225,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.6014942054393526,
+ "rf_loss": 0.0,
+ "total_loss": 0.6014942054393526,
+ "lyap1_mean": -0.17703285813331604,
+ "lyap1_max": -0.12114321440458298,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.4851730399211569,
+ "rf_loss": 0.0,
+ "total_loss": 0.4851730399211569,
+ "lyap1_mean": -0.19343218207359314,
+ "lyap1_max": -0.1578855812549591,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.7279731731996669,
+ "rf_loss": 0.0,
+ "total_loss": 0.7279731731996669,
+ "lyap1_mean": -0.18288783729076385,
+ "lyap1_max": -0.09210478514432907,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.6187028876696454,
+ "rf_loss": 0.0,
+ "total_loss": 0.6187028876696454,
+ "lyap1_mean": -0.18516868352890015,
+ "lyap1_max": -0.12050573527812958,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.6365063295099235,
+ "rf_loss": 0.0,
+ "total_loss": 0.6365063295099235,
+ "lyap1_mean": -0.1625199317932129,
+ "lyap1_max": -0.08603774756193161,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.6256958261469656,
+ "rf_loss": 0.0,
+ "total_loss": 0.6256958261469656,
+ "lyap1_mean": -0.17851519584655762,
+ "lyap1_max": -0.09873935580253601,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.5806311870145986,
+ "rf_loss": 0.0,
+ "total_loss": 0.5806311870145986,
+ "lyap1_mean": -0.1954081952571869,
+ "lyap1_max": -0.1280255764722824,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.5270597892799554,
+ "rf_loss": 0.0,
+ "total_loss": 0.5270597892799554,
+ "lyap1_mean": -0.18695306777954102,
+ "lyap1_max": -0.1367555558681488,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.6557933962968071,
+ "rf_loss": 0.0,
+ "total_loss": 0.6557933962968071,
+ "lyap1_mean": -0.15144571661949158,
+ "lyap1_max": -0.0006251583690755069,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.4872700727079539,
+ "rf_loss": 0.0,
+ "total_loss": 0.4872700727079539,
+ "lyap1_mean": -0.19529838860034943,
+ "lyap1_max": -0.10506512224674225,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.7107089730249458,
+ "rf_loss": 0.0,
+ "total_loss": 0.7107089730249458,
+ "lyap1_mean": -0.1818455308675766,
+ "lyap1_max": -0.0915827751159668,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.6665424230109457,
+ "rf_loss": 0.0,
+ "total_loss": 0.6665424230109457,
+ "lyap1_mean": -0.14988598227500916,
+ "lyap1_max": -0.047298088669776917,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.42477363804588014,
+ "rf_loss": 0.0,
+ "total_loss": 0.42477363804588014,
+ "lyap1_mean": -0.19928254187107086,
+ "lyap1_max": -0.10007524490356445,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.4400530182674368,
+ "rf_loss": 0.0,
+ "total_loss": 0.4400530182674368,
+ "lyap1_mean": -0.24661582708358765,
+ "lyap1_max": -0.13337385654449463,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.5655318222239646,
+ "rf_loss": 0.0,
+ "total_loss": 0.5655318222239646,
+ "lyap1_mean": -0.21137735247612,
+ "lyap1_max": -0.090215764939785,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.5940940517381357,
+ "rf_loss": 0.0,
+ "total_loss": 0.5940940517381357,
+ "lyap1_mean": -0.2127700001001358,
+ "lyap1_max": -0.1477786749601364,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.8349321059445795,
+ "rf_loss": 0.0,
+ "total_loss": 0.8349321059445795,
+ "lyap1_mean": -0.18069881200790405,
+ "lyap1_max": -0.07421427220106125,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.8133786059327817,
+ "rf_loss": 0.0,
+ "total_loss": 0.8133786059327817,
+ "lyap1_mean": -0.17181959748268127,
+ "lyap1_max": -0.08487120270729065,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.7492684792000334,
+ "rf_loss": 0.0,
+ "total_loss": 0.7492684792000334,
+ "lyap1_mean": -0.18165580928325653,
+ "lyap1_max": -0.13193684816360474,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.653471886033279,
+ "rf_loss": 0.0,
+ "total_loss": 0.653471886033279,
+ "lyap1_mean": -0.207014262676239,
+ "lyap1_max": -0.15826547145843506,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.6365917194389581,
+ "rf_loss": 0.0,
+ "total_loss": 0.6365917194389581,
+ "lyap1_mean": -0.1842191368341446,
+ "lyap1_max": -0.1245940625667572,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.3998859013518479,
+ "rf_loss": 0.0,
+ "total_loss": 0.3998859013518479,
+ "lyap1_mean": -0.22119861841201782,
+ "lyap1_max": -0.07545958459377289,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.9082165094710438,
+ "rf_loss": 0.0,
+ "total_loss": 0.9082165094710438,
+ "lyap1_mean": -0.16745831072330475,
+ "lyap1_max": -0.11147600412368774,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.5050288870021935,
+ "rf_loss": 0.0,
+ "total_loss": 0.5050288870021935,
+ "lyap1_mean": -0.19249188899993896,
+ "lyap1_max": -0.1021115630865097,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.7532891542466421,
+ "rf_loss": 0.0,
+ "total_loss": 0.7532891542466421,
+ "lyap1_mean": -0.18400734663009644,
+ "lyap1_max": -0.12134106457233429,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.5423722096756773,
+ "rf_loss": 0.0,
+ "total_loss": 0.5423722096756773,
+ "lyap1_mean": -0.20725812017917633,
+ "lyap1_max": -0.08085224032402039,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.6009423979331727,
+ "rf_loss": 0.0,
+ "total_loss": 0.6009423979331727,
+ "lyap1_mean": -0.20202291011810303,
+ "lyap1_max": -0.1659374088048935,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.6208669925243495,
+ "rf_loss": 0.0,
+ "total_loss": 0.6208669925243495,
+ "lyap1_mean": -0.17080381512641907,
+ "lyap1_max": -0.07606574147939682,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.7711118706752605,
+ "rf_loss": 0.0,
+ "total_loss": 0.7711118706752605,
+ "lyap1_mean": -0.14533007144927979,
+ "lyap1_max": -0.08939565718173981,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.5762177239052891,
+ "rf_loss": 0.0,
+ "total_loss": 0.5762177239052891,
+ "lyap1_mean": -0.17492035031318665,
+ "lyap1_max": -0.12838837504386902,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.6769118850558024,
+ "rf_loss": 0.0,
+ "total_loss": 0.6769118850558024,
+ "lyap1_mean": -0.19990310072898865,
+ "lyap1_max": -0.10189828276634216,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.5895279495276788,
+ "rf_loss": 0.0,
+ "total_loss": 0.5895279495276788,
+ "lyap1_mean": -0.20022916793823242,
+ "lyap1_max": -0.1344572752714157,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.8413389971542649,
+ "rf_loss": 0.0,
+ "total_loss": 0.8413389971542649,
+ "lyap1_mean": -0.17662313580513,
+ "lyap1_max": -0.14446687698364258,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.6971975637493174,
+ "rf_loss": 0.0,
+ "total_loss": 0.6971975637493174,
+ "lyap1_mean": -0.18620674312114716,
+ "lyap1_max": -0.09516873210668564,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.6168185277758008,
+ "rf_loss": 0.0,
+ "total_loss": 0.6168185277758008,
+ "lyap1_mean": -0.1898498833179474,
+ "lyap1_max": -0.13361531496047974,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.8334405972811936,
+ "rf_loss": 0.0,
+ "total_loss": 0.8334405972811936,
+ "lyap1_mean": -0.1740899682044983,
+ "lyap1_max": -0.13845941424369812,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.6794604026457728,
+ "rf_loss": 0.0,
+ "total_loss": 0.6794604026457728,
+ "lyap1_mean": -0.19401413202285767,
+ "lyap1_max": -0.08722114562988281,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.6279444522621701,
+ "rf_loss": 0.0,
+ "total_loss": 0.6279444522621701,
+ "lyap1_mean": -0.18119296431541443,
+ "lyap1_max": -0.13031037151813507,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.6619698307989045,
+ "rf_loss": 0.0,
+ "total_loss": 0.6619698307989045,
+ "lyap1_mean": -0.18808089196681976,
+ "lyap1_max": -0.11215493083000183,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.512477945878355,
+ "rf_loss": 0.0,
+ "total_loss": 0.512477945878355,
+ "lyap1_mean": -0.15431645512580872,
+ "lyap1_max": -0.09080630540847778,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.7928889644907863,
+ "rf_loss": 0.0,
+ "total_loss": 0.7928889644907863,
+ "lyap1_mean": -0.17847202718257904,
+ "lyap1_max": -0.14659258723258972,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.598170388345071,
+ "rf_loss": 0.0,
+ "total_loss": 0.598170388345071,
+ "lyap1_mean": -0.16671538352966309,
+ "lyap1_max": -0.10012146085500717,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.7217380637282729,
+ "rf_loss": 0.0,
+ "total_loss": 0.7217380637282729,
+ "lyap1_mean": -0.18659745156764984,
+ "lyap1_max": -0.1233309656381607,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.5275838028388544,
+ "rf_loss": 0.0,
+ "total_loss": 0.5275838028388544,
+ "lyap1_mean": -0.2107745110988617,
+ "lyap1_max": -0.059159304946660995,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.5180137231573532,
+ "rf_loss": 0.0,
+ "total_loss": 0.5180137231573532,
+ "lyap1_mean": -0.19923685491085052,
+ "lyap1_max": -0.09573506563901901,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.7317760561607882,
+ "rf_loss": 0.0,
+ "total_loss": 0.7317760561607882,
+ "lyap1_mean": -0.20531103014945984,
+ "lyap1_max": -0.09016452729701996,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.3863822380717161,
+ "rf_loss": 0.0,
+ "total_loss": 0.3863822380717161,
+ "lyap1_mean": -0.21770527958869934,
+ "lyap1_max": -0.12124085426330566,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.6413152317866546,
+ "rf_loss": 0.0,
+ "total_loss": 0.6413152317866546,
+ "lyap1_mean": -0.20588578283786774,
+ "lyap1_max": -0.15815992653369904,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.5846004287927397,
+ "rf_loss": 0.0,
+ "total_loss": 0.5846004287927397,
+ "lyap1_mean": -0.20143575966358185,
+ "lyap1_max": -0.1717517375946045,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.5746991259974432,
+ "rf_loss": 0.0,
+ "total_loss": 0.5746991259974432,
+ "lyap1_mean": -0.18192094564437866,
+ "lyap1_max": -0.11587512493133545,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.7416600634919821,
+ "rf_loss": 0.0,
+ "total_loss": 0.7416600634919821,
+ "lyap1_mean": -0.18745210766792297,
+ "lyap1_max": -0.019930556416511536,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.6789613428250972,
+ "rf_loss": 0.0,
+ "total_loss": 0.6789613428250972,
+ "lyap1_mean": -0.18654628098011017,
+ "lyap1_max": -0.13545271754264832,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.4988223204287827,
+ "rf_loss": 0.0,
+ "total_loss": 0.4988223204287827,
+ "lyap1_mean": -0.23297467827796936,
+ "lyap1_max": -0.1591380089521408,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.574541263506592,
+ "rf_loss": 0.0,
+ "total_loss": 0.574541263506592,
+ "lyap1_mean": -0.18594717979431152,
+ "lyap1_max": -0.14040428400039673,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.6748131213675786,
+ "rf_loss": 0.0,
+ "total_loss": 0.6748131213675786,
+ "lyap1_mean": -0.1859448254108429,
+ "lyap1_max": -0.07669638097286224,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.7823256893117815,
+ "rf_loss": 0.0,
+ "total_loss": 0.7823256893117815,
+ "lyap1_mean": -0.14126835763454437,
+ "lyap1_max": -0.09209351241588593,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.7013193251398889,
+ "rf_loss": 0.0,
+ "total_loss": 0.7013193251398889,
+ "lyap1_mean": -0.18973864614963531,
+ "lyap1_max": -0.0867653489112854,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.5615674164555056,
+ "rf_loss": 0.0,
+ "total_loss": 0.5615674164555056,
+ "lyap1_mean": -0.14694306254386902,
+ "lyap1_max": -0.09908362478017807,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.5484360184865077,
+ "rf_loss": 0.0,
+ "total_loss": 0.5484360184865077,
+ "lyap1_mean": -0.21054330468177795,
+ "lyap1_max": -0.12875021994113922,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.5851770889212125,
+ "rf_loss": 0.0,
+ "total_loss": 0.5851770889212125,
+ "lyap1_mean": -0.20899872481822968,
+ "lyap1_max": -0.15053240954875946,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.45230500280638913,
+ "rf_loss": 0.0,
+ "total_loss": 0.45230500280638913,
+ "lyap1_mean": -0.22442898154258728,
+ "lyap1_max": -0.09790579974651337,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.5835474683251404,
+ "rf_loss": 0.0,
+ "total_loss": 0.5835474683251404,
+ "lyap1_mean": -0.1932036131620407,
+ "lyap1_max": -0.14970991015434265,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 234,
+ "sup_loss": 0.8071970599948786,
+ "rf_loss": 0.0,
+ "total_loss": 0.8071970599948786,
+ "lyap1_mean": -0.15869629383087158,
+ "lyap1_max": -0.1133202314376831,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.5737930265636231,
+ "rf_loss": 0.0,
+ "total_loss": 0.5737930265636231,
+ "lyap1_mean": -0.20969268679618835,
+ "lyap1_max": -0.13586506247520447,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.6797859560260143,
+ "rf_loss": 0.0,
+ "total_loss": 0.6797859560260143,
+ "lyap1_mean": -0.1847599446773529,
+ "lyap1_max": -0.10684444010257721,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.7282897959051738,
+ "rf_loss": 0.0,
+ "total_loss": 0.7282897959051738,
+ "lyap1_mean": -0.18843069672584534,
+ "lyap1_max": -0.12965653836727142,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.7000614513045897,
+ "rf_loss": 0.0,
+ "total_loss": 0.7000614513045897,
+ "lyap1_mean": -0.16323968768119812,
+ "lyap1_max": -0.07210776209831238,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.5864120027934195,
+ "rf_loss": 0.0,
+ "total_loss": 0.5864120027934195,
+ "lyap1_mean": -0.22082579135894775,
+ "lyap1_max": -0.12202437222003937,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.6084040924732792,
+ "rf_loss": 0.0,
+ "total_loss": 0.6084040924732792,
+ "lyap1_mean": -0.18410786986351013,
+ "lyap1_max": -0.06253083050251007,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.8345470026973849,
+ "rf_loss": 0.0,
+ "total_loss": 0.8345470026973849,
+ "lyap1_mean": -0.1579337865114212,
+ "lyap1_max": -0.0272408127784729,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.5713998515157955,
+ "rf_loss": 0.0,
+ "total_loss": 0.5713998515157955,
+ "lyap1_mean": -0.20360364019870758,
+ "lyap1_max": -0.1592111438512802,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.6096693606430007,
+ "rf_loss": 0.0,
+ "total_loss": 0.6096693606430007,
+ "lyap1_mean": -0.23549193143844604,
+ "lyap1_max": -0.10957565903663635,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.7045783256782954,
+ "rf_loss": 0.0,
+ "total_loss": 0.7045783256782954,
+ "lyap1_mean": -0.1997494399547577,
+ "lyap1_max": -0.1633760780096054,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.5955321525404883,
+ "rf_loss": 0.0,
+ "total_loss": 0.5955321525404883,
+ "lyap1_mean": -0.19693619012832642,
+ "lyap1_max": -0.1459246575832367,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.6555734113077835,
+ "rf_loss": 0.0,
+ "total_loss": 0.6555734113077835,
+ "lyap1_mean": -0.15803244709968567,
+ "lyap1_max": -0.11777400970458984,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.4212589613938469,
+ "rf_loss": 0.0,
+ "total_loss": 0.4212589613938469,
+ "lyap1_mean": -0.22008013725280762,
+ "lyap1_max": -0.10012718290090561,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.5574121042032574,
+ "rf_loss": 0.0,
+ "total_loss": 0.5574121042032574,
+ "lyap1_mean": -0.205031156539917,
+ "lyap1_max": -0.15290270745754242,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.4552264284790628,
+ "rf_loss": 0.0,
+ "total_loss": 0.4552264284790628,
+ "lyap1_mean": -0.20807483792304993,
+ "lyap1_max": -0.10412444174289703,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.7576068427695233,
+ "rf_loss": 0.0,
+ "total_loss": 0.7576068427695233,
+ "lyap1_mean": -0.21729722619056702,
+ "lyap1_max": -0.12487022578716278,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.532847456197343,
+ "rf_loss": 0.0,
+ "total_loss": 0.532847456197343,
+ "lyap1_mean": -0.2087923139333725,
+ "lyap1_max": -0.11960875242948532,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.6851119009106368,
+ "rf_loss": 0.0,
+ "total_loss": 0.6851119009106368,
+ "lyap1_mean": -0.16274216771125793,
+ "lyap1_max": -0.10698308795690536,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.7244790598951485,
+ "rf_loss": 0.0,
+ "total_loss": 0.7244790598951485,
+ "lyap1_mean": -0.184770405292511,
+ "lyap1_max": -0.1252956986427307,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.5157174592139232,
+ "rf_loss": 0.0,
+ "total_loss": 0.5157174592139232,
+ "lyap1_mean": -0.1887914389371872,
+ "lyap1_max": -0.046691589057445526,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6431732934645851,
+ "rf_loss": 0.0,
+ "total_loss": 0.6431732934645851,
+ "lyap1_mean": -0.2084350734949112,
+ "lyap1_max": -0.13359272480010986,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.3815739160467118,
+ "rf_loss": 0.0,
+ "total_loss": 0.3815739160467118,
+ "lyap1_mean": -0.23863281309604645,
+ "lyap1_max": -0.19798544049263,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.5269504779699585,
+ "rf_loss": 0.0,
+ "total_loss": 0.5269504779699585,
+ "lyap1_mean": -0.2032645344734192,
+ "lyap1_max": -0.10239192843437195,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.6118227850962039,
+ "rf_loss": 0.0,
+ "total_loss": 0.6118227850962039,
+ "lyap1_mean": -0.19699692726135254,
+ "lyap1_max": -0.10368481278419495,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.7165804062400436,
+ "rf_loss": 0.0,
+ "total_loss": 0.7165804062400436,
+ "lyap1_mean": -0.20380517840385437,
+ "lyap1_max": -0.06294184923171997,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.7420857004943276,
+ "rf_loss": 0.0,
+ "total_loss": 0.7420857004943276,
+ "lyap1_mean": -0.1792520433664322,
+ "lyap1_max": -0.08090441673994064,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.5912472370406531,
+ "rf_loss": 0.0,
+ "total_loss": 0.5912472370406531,
+ "lyap1_mean": -0.2358292043209076,
+ "lyap1_max": -0.1645435094833374,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.6189042462634529,
+ "rf_loss": 0.0,
+ "total_loss": 0.6189042462634529,
+ "lyap1_mean": -0.17791533470153809,
+ "lyap1_max": -0.05249137803912163,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.5000213322221764,
+ "rf_loss": 0.0,
+ "total_loss": 0.5000213322221764,
+ "lyap1_mean": -0.20615559816360474,
+ "lyap1_max": -0.1445314884185791,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.5718912173300827,
+ "rf_loss": 0.0,
+ "total_loss": 0.5718912173300827,
+ "lyap1_mean": -0.18680906295776367,
+ "lyap1_max": -0.0035286422353237867,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.7623782636858654,
+ "rf_loss": 0.0,
+ "total_loss": 0.7623782636858654,
+ "lyap1_mean": -0.20019195973873138,
+ "lyap1_max": -0.12598471343517303,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.5513525667452733,
+ "rf_loss": 0.0,
+ "total_loss": 0.5513525667452733,
+ "lyap1_mean": -0.21320241689682007,
+ "lyap1_max": -0.107155442237854,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.6298618723007406,
+ "rf_loss": 0.0,
+ "total_loss": 0.6298618723007406,
+ "lyap1_mean": -0.15993478894233704,
+ "lyap1_max": -0.05761319398880005,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6471992436510657,
+ "rf_loss": 0.0,
+ "total_loss": 0.6471992436510657,
+ "lyap1_mean": -0.211825892329216,
+ "lyap1_max": -0.11933913081884384,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.6184704835147438,
+ "rf_loss": 0.0,
+ "total_loss": 0.6184704835147438,
+ "lyap1_mean": -0.21122729778289795,
+ "lyap1_max": -0.13626499474048615,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.7248206950062472,
+ "rf_loss": 0.0,
+ "total_loss": 0.7248206950062472,
+ "lyap1_mean": -0.17642372846603394,
+ "lyap1_max": -0.05269160121679306,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.4948518952343299,
+ "rf_loss": 0.0,
+ "total_loss": 0.4948518952343299,
+ "lyap1_mean": -0.21097183227539062,
+ "lyap1_max": -0.13665908575057983,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.717207941675246,
+ "rf_loss": 0.0,
+ "total_loss": 0.717207941675246,
+ "lyap1_mean": -0.18877747654914856,
+ "lyap1_max": -0.09135892987251282,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.4680622361949261,
+ "rf_loss": 0.0,
+ "total_loss": 0.4680622361949261,
+ "lyap1_mean": -0.23423555493354797,
+ "lyap1_max": -0.1593630164861679,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.7061199682754703,
+ "rf_loss": 0.0,
+ "total_loss": 0.7061199682754703,
+ "lyap1_mean": -0.16886195540428162,
+ "lyap1_max": -0.04170934855937958,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.655936375007585,
+ "rf_loss": 0.0,
+ "total_loss": 0.655936375007585,
+ "lyap1_mean": -0.18335115909576416,
+ "lyap1_max": -0.07446620613336563,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 276,
+ "sup_loss": 0.5528033893323819,
+ "rf_loss": 0.0,
+ "total_loss": 0.5528033893323819,
+ "lyap1_mean": -0.20333799719810486,
+ "lyap1_max": -0.07793614268302917,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 277,
+ "sup_loss": 0.511118571548442,
+ "rf_loss": 0.0,
+ "total_loss": 0.511118571548442,
+ "lyap1_mean": -0.20717228949069977,
+ "lyap1_max": -0.10768254846334457,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 278,
+ "sup_loss": 0.6022763329684696,
+ "rf_loss": 0.0,
+ "total_loss": 0.6022763329684696,
+ "lyap1_mean": -0.20858202874660492,
+ "lyap1_max": -0.15471795201301575,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.6633374422521987,
+ "rf_loss": 0.0,
+ "total_loss": 0.6633374422521987,
+ "lyap1_mean": -0.19902168214321136,
+ "lyap1_max": -0.12896686792373657,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 280,
+ "sup_loss": 0.8485106758972668,
+ "rf_loss": 0.0,
+ "total_loss": 0.8485106758972668,
+ "lyap1_mean": -0.21111896634101868,
+ "lyap1_max": -0.1639191061258316,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 281,
+ "sup_loss": 0.5994228533188966,
+ "rf_loss": 0.0,
+ "total_loss": 0.5994228533188966,
+ "lyap1_mean": -0.18312054872512817,
+ "lyap1_max": -0.08309488743543625,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 282,
+ "sup_loss": 0.4694115031400887,
+ "rf_loss": 0.0,
+ "total_loss": 0.4694115031400887,
+ "lyap1_mean": -0.22399678826332092,
+ "lyap1_max": -0.13577349483966827,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 283,
+ "sup_loss": 0.6489331946807275,
+ "rf_loss": 0.0,
+ "total_loss": 0.6489331946807275,
+ "lyap1_mean": -0.19033457338809967,
+ "lyap1_max": -0.053469449281692505,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 284,
+ "sup_loss": 0.7779979402883872,
+ "rf_loss": 0.0,
+ "total_loss": 0.7779979402883872,
+ "lyap1_mean": -0.1697358638048172,
+ "lyap1_max": -0.04647897928953171,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.5872561791719259,
+ "rf_loss": 0.0,
+ "total_loss": 0.5872561791719259,
+ "lyap1_mean": -0.2095394730567932,
+ "lyap1_max": -0.12189950793981552,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 286,
+ "sup_loss": 0.4596701827103055,
+ "rf_loss": 0.0,
+ "total_loss": 0.4596701827103055,
+ "lyap1_mean": -0.21175679564476013,
+ "lyap1_max": -0.13707782328128815,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 287,
+ "sup_loss": 0.8738979158492989,
+ "rf_loss": 0.0,
+ "total_loss": 0.8738979158492989,
+ "lyap1_mean": -0.17131701111793518,
+ "lyap1_max": -0.09467896819114685,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.7156924309934743,
+ "rf_loss": 0.0,
+ "total_loss": 0.7156924309934743,
+ "lyap1_mean": -0.17758658528327942,
+ "lyap1_max": -0.0936880111694336,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 289,
+ "sup_loss": 0.6791981876851153,
+ "rf_loss": 0.0,
+ "total_loss": 0.6791981876851153,
+ "lyap1_mean": -0.2065422683954239,
+ "lyap1_max": -0.15270066261291504,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 290,
+ "sup_loss": 0.6609259419074645,
+ "rf_loss": 0.0,
+ "total_loss": 0.6609259419074645,
+ "lyap1_mean": -0.1596880555152893,
+ "lyap1_max": -0.10381035506725311,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 291,
+ "sup_loss": 0.6231714585601352,
+ "rf_loss": 0.0,
+ "total_loss": 0.6231714585601352,
+ "lyap1_mean": -0.19707456231117249,
+ "lyap1_max": -0.08881165832281113,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 292,
+ "sup_loss": 0.6311314456054539,
+ "rf_loss": 0.0,
+ "total_loss": 0.6311314456054539,
+ "lyap1_mean": -0.20047904551029205,
+ "lyap1_max": -0.1404634416103363,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 293,
+ "sup_loss": 0.5047424042408466,
+ "rf_loss": 0.0,
+ "total_loss": 0.5047424042408466,
+ "lyap1_mean": -0.18673208355903625,
+ "lyap1_max": -0.061900749802589417,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.5642462522138321,
+ "rf_loss": 0.0,
+ "total_loss": 0.5642462522138321,
+ "lyap1_mean": -0.20698975026607513,
+ "lyap1_max": -0.13737426698207855,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 295,
+ "sup_loss": 0.3357777552347809,
+ "rf_loss": 0.0,
+ "total_loss": 0.3357777552347809,
+ "lyap1_mean": -0.21511167287826538,
+ "lyap1_max": -0.15001313388347626,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 296,
+ "sup_loss": 0.7820351549654857,
+ "rf_loss": 0.0,
+ "total_loss": 0.7820351549654857,
+ "lyap1_mean": -0.18001598119735718,
+ "lyap1_max": -0.10143452882766724,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 297,
+ "sup_loss": 0.5676022553317746,
+ "rf_loss": 0.0,
+ "total_loss": 0.5676022553317746,
+ "lyap1_mean": -0.1430688202381134,
+ "lyap1_max": -0.06571389734745026,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.5164999257245955,
+ "rf_loss": 0.0,
+ "total_loss": 0.5164999257245955,
+ "lyap1_mean": -0.22075599431991577,
+ "lyap1_max": -0.16197937726974487,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.43465535142057543,
+ "rf_loss": 0.0,
+ "total_loss": 0.43465535142057543,
+ "lyap1_mean": -0.21162354946136475,
+ "lyap1_max": -0.14653265476226807,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.4999927892004426,
+ "rf_loss": 0.0,
+ "total_loss": 0.4999927892004426,
+ "lyap1_mean": -0.21222880482673645,
+ "lyap1_max": -0.13471344113349915,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.6419136781051095,
+ "rf_loss": 0.0,
+ "total_loss": 0.6419136781051095,
+ "lyap1_mean": -0.21842646598815918,
+ "lyap1_max": -0.14819541573524475,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.7184835675517953,
+ "rf_loss": 0.0,
+ "total_loss": 0.7184835675517953,
+ "lyap1_mean": -0.19375571608543396,
+ "lyap1_max": -0.14576612412929535,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.6668186092587706,
+ "rf_loss": 0.0,
+ "total_loss": 0.6668186092587706,
+ "lyap1_mean": -0.1563647985458374,
+ "lyap1_max": -0.09767866134643555,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.5886426428198844,
+ "rf_loss": 0.0,
+ "total_loss": 0.5886426428198844,
+ "lyap1_mean": -0.1869887113571167,
+ "lyap1_max": -0.11474504321813583,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.5819470605860133,
+ "rf_loss": 0.0,
+ "total_loss": 0.5819470605860133,
+ "lyap1_mean": -0.18046294152736664,
+ "lyap1_max": -0.10532092303037643,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.6685692275108768,
+ "rf_loss": 0.0,
+ "total_loss": 0.6685692275108768,
+ "lyap1_mean": -0.16952255368232727,
+ "lyap1_max": -0.07361996918916702,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.6560717224491739,
+ "rf_loss": 0.0,
+ "total_loss": 0.6560717224491739,
+ "lyap1_mean": -0.21112211048603058,
+ "lyap1_max": -0.09937465190887451,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.4186001999349876,
+ "rf_loss": 0.0,
+ "total_loss": 0.4186001999349876,
+ "lyap1_mean": -0.22547774016857147,
+ "lyap1_max": -0.14976739883422852,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.6776406281541831,
+ "rf_loss": 0.0,
+ "total_loss": 0.6776406281541831,
+ "lyap1_mean": -0.1833326518535614,
+ "lyap1_max": -0.10521209239959717,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.40551002016333226,
+ "rf_loss": 0.0,
+ "total_loss": 0.40551002016333226,
+ "lyap1_mean": -0.23695823550224304,
+ "lyap1_max": -0.09792619198560715,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.6892406996954383,
+ "rf_loss": 0.0,
+ "total_loss": 0.6892406996954383,
+ "lyap1_mean": -0.2016395926475525,
+ "lyap1_max": -0.09467709064483643,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.5877242276417233,
+ "rf_loss": 0.0,
+ "total_loss": 0.5877242276417233,
+ "lyap1_mean": -0.20739957690238953,
+ "lyap1_max": -0.06636649370193481,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.5430511934957004,
+ "rf_loss": 0.0,
+ "total_loss": 0.5430511934957004,
+ "lyap1_mean": -0.21065844595432281,
+ "lyap1_max": -0.13060283660888672,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.8803535795084014,
+ "rf_loss": 0.0,
+ "total_loss": 0.8803535795084014,
+ "lyap1_mean": -0.1857832968235016,
+ "lyap1_max": -0.1175488755106926,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.6627528378192635,
+ "rf_loss": 0.0,
+ "total_loss": 0.6627528378192635,
+ "lyap1_mean": -0.20149578154087067,
+ "lyap1_max": -0.1099119484424591,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.5789342480232099,
+ "rf_loss": 0.0,
+ "total_loss": 0.5789342480232099,
+ "lyap1_mean": -0.2053331881761551,
+ "lyap1_max": -0.14896173775196075,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.6906240859629285,
+ "rf_loss": 0.0,
+ "total_loss": 0.6906240859629285,
+ "lyap1_mean": -0.20366495847702026,
+ "lyap1_max": -0.16215787827968597,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.577792260096764,
+ "rf_loss": 0.0,
+ "total_loss": 0.577792260096764,
+ "lyap1_mean": -0.21726560592651367,
+ "lyap1_max": -0.10607753694057465,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.5722200480933208,
+ "rf_loss": 0.0,
+ "total_loss": 0.5722200480933208,
+ "lyap1_mean": -0.2302064448595047,
+ "lyap1_max": -0.15408235788345337,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.6508213234899658,
+ "rf_loss": 0.0,
+ "total_loss": 0.6508213234899658,
+ "lyap1_mean": -0.19187375903129578,
+ "lyap1_max": -0.13157692551612854,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.47385235645879986,
+ "rf_loss": 0.0,
+ "total_loss": 0.47385235645879986,
+ "lyap1_mean": -0.18041148781776428,
+ "lyap1_max": -0.04731091856956482,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.5540987578209245,
+ "rf_loss": 0.0,
+ "total_loss": 0.5540987578209245,
+ "lyap1_mean": -0.16657018661499023,
+ "lyap1_max": -0.07768111675977707,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.9011917319108097,
+ "rf_loss": 0.0,
+ "total_loss": 0.9011917319108097,
+ "lyap1_mean": -0.17512476444244385,
+ "lyap1_max": -0.10239966958761215,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.6071310052896857,
+ "rf_loss": 0.0,
+ "total_loss": 0.6071310052896857,
+ "lyap1_mean": -0.20789191126823425,
+ "lyap1_max": -0.09531428664922714,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.582458570647056,
+ "rf_loss": 0.0,
+ "total_loss": 0.582458570647056,
+ "lyap1_mean": -0.17439937591552734,
+ "lyap1_max": -0.08293897658586502,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.8106188970154662,
+ "rf_loss": 0.0,
+ "total_loss": 0.8106188970154662,
+ "lyap1_mean": -0.16168546676635742,
+ "lyap1_max": -0.053428199142217636,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.6312333608267489,
+ "rf_loss": 0.0,
+ "total_loss": 0.6312333608267489,
+ "lyap1_mean": -0.20303195714950562,
+ "lyap1_max": -0.13282987475395203,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.5422648221897417,
+ "rf_loss": 0.0,
+ "total_loss": 0.5422648221897417,
+ "lyap1_mean": -0.19051404297351837,
+ "lyap1_max": -0.07751069217920303,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.5163909029289683,
+ "rf_loss": 0.0,
+ "total_loss": 0.5163909029289683,
+ "lyap1_mean": -0.19445833563804626,
+ "lyap1_max": -0.13371263444423676,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.6181871005718456,
+ "rf_loss": 0.0,
+ "total_loss": 0.6181871005718456,
+ "lyap1_mean": -0.21415221691131592,
+ "lyap1_max": -0.12783290445804596,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6829852307647862,
+ "rf_loss": 0.0,
+ "total_loss": 0.6829852307647862,
+ "lyap1_mean": -0.15502427518367767,
+ "lyap1_max": -0.07957062125205994,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.6879567782925539,
+ "rf_loss": 0.0,
+ "total_loss": 0.6879567782925539,
+ "lyap1_mean": -0.1819939911365509,
+ "lyap1_max": -0.028732536360621452,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.6029713276998413,
+ "rf_loss": 3.826450483757071e-05,
+ "total_loss": 0.603353972755493,
+ "lyap1_mean": -0.18572357296943665,
+ "lyap1_max": 0.017496172338724136,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.45567067729668537,
+ "rf_loss": 0.0,
+ "total_loss": 0.45567067729668537,
+ "lyap1_mean": -0.2405601590871811,
+ "lyap1_max": -0.07903667539358139,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.6695800862384511,
+ "rf_loss": 0.0,
+ "total_loss": 0.6695800862384511,
+ "lyap1_mean": -0.16050902009010315,
+ "lyap1_max": -0.07255368679761887,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.47959168957172627,
+ "rf_loss": 0.0,
+ "total_loss": 0.47959168957172627,
+ "lyap1_mean": -0.21810755133628845,
+ "lyap1_max": -0.12287141382694244,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.6797811820079066,
+ "rf_loss": 0.0,
+ "total_loss": 0.6797811820079066,
+ "lyap1_mean": -0.15427827835083008,
+ "lyap1_max": -0.06944482028484344,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.45031763710734607,
+ "rf_loss": 0.0,
+ "total_loss": 0.45031763710734607,
+ "lyap1_mean": -0.2577511966228485,
+ "lyap1_max": -0.12987101078033447,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.612827626013735,
+ "rf_loss": 0.0,
+ "total_loss": 0.612827626013735,
+ "lyap1_mean": -0.21244710683822632,
+ "lyap1_max": -0.1695183962583542,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 340,
+ "sup_loss": 0.617710493869964,
+ "rf_loss": 0.0,
+ "total_loss": 0.617710493869964,
+ "lyap1_mean": -0.20625047385692596,
+ "lyap1_max": -0.1609116643667221,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.6152667160237358,
+ "rf_loss": 0.0,
+ "total_loss": 0.6152667160237358,
+ "lyap1_mean": -0.22426238656044006,
+ "lyap1_max": -0.1430836319923401,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.4258543016668707,
+ "rf_loss": 0.0,
+ "total_loss": 0.4258543016668707,
+ "lyap1_mean": -0.20931020379066467,
+ "lyap1_max": -0.11437708139419556,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.5054577904708717,
+ "rf_loss": 0.0,
+ "total_loss": 0.5054577904708717,
+ "lyap1_mean": -0.21300777792930603,
+ "lyap1_max": -0.09619505703449249,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.4650392369019393,
+ "rf_loss": 0.0,
+ "total_loss": 0.4650392369019393,
+ "lyap1_mean": -0.2412421703338623,
+ "lyap1_max": -0.14713002741336823,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.5114353556061555,
+ "rf_loss": 0.0,
+ "total_loss": 0.5114353556061555,
+ "lyap1_mean": -0.17073482275009155,
+ "lyap1_max": -0.04239789396524429,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.530774454967623,
+ "rf_loss": 0.0,
+ "total_loss": 0.530774454967623,
+ "lyap1_mean": -0.1936408430337906,
+ "lyap1_max": -0.1057838723063469,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.7561842376707624,
+ "rf_loss": 0.0,
+ "total_loss": 0.7561842376707624,
+ "lyap1_mean": -0.19192439317703247,
+ "lyap1_max": -0.13412657380104065,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.6017917432870841,
+ "rf_loss": 0.0,
+ "total_loss": 0.6017917432870841,
+ "lyap1_mean": -0.21505501866340637,
+ "lyap1_max": -0.1551818996667862,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.6351538286787377,
+ "rf_loss": 0.0,
+ "total_loss": 0.6351538286787377,
+ "lyap1_mean": -0.20465058088302612,
+ "lyap1_max": -0.04359325021505356,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.782842096319724,
+ "rf_loss": 0.0,
+ "total_loss": 0.782842096319724,
+ "lyap1_mean": -0.13674487173557281,
+ "lyap1_max": -0.061379313468933105,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.5910700662074077,
+ "rf_loss": 0.0,
+ "total_loss": 0.5910700662074077,
+ "lyap1_mean": -0.1918736696243286,
+ "lyap1_max": -0.005033716559410095,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.5966124670342008,
+ "rf_loss": 0.0,
+ "total_loss": 0.5966124670342008,
+ "lyap1_mean": -0.21596181392669678,
+ "lyap1_max": -0.14188343286514282,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.675918530851194,
+ "rf_loss": 0.0,
+ "total_loss": 0.675918530851194,
+ "lyap1_mean": -0.19547432661056519,
+ "lyap1_max": -0.1526150107383728,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.7168136633100655,
+ "rf_loss": 0.0,
+ "total_loss": 0.7168136633100655,
+ "lyap1_mean": -0.18883001804351807,
+ "lyap1_max": -0.06116810068488121,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.678914560936435,
+ "rf_loss": 0.0,
+ "total_loss": 0.678914560936435,
+ "lyap1_mean": -0.204725980758667,
+ "lyap1_max": -0.1210031732916832,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.7881227113058328,
+ "rf_loss": 0.0,
+ "total_loss": 0.7881227113058328,
+ "lyap1_mean": -0.18319512903690338,
+ "lyap1_max": -0.09052859246730804,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.5294555377656751,
+ "rf_loss": 0.0,
+ "total_loss": 0.5294555377656751,
+ "lyap1_mean": -0.21538054943084717,
+ "lyap1_max": -0.16080915927886963,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.5268954028957669,
+ "rf_loss": 0.0,
+ "total_loss": 0.5268954028957669,
+ "lyap1_mean": -0.20286843180656433,
+ "lyap1_max": -0.004223668482154608,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.6616861391966553,
+ "rf_loss": 0.0,
+ "total_loss": 0.6616861391966553,
+ "lyap1_mean": -0.2135724425315857,
+ "lyap1_max": -0.13193802535533905,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.606203764556421,
+ "rf_loss": 0.0,
+ "total_loss": 0.606203764556421,
+ "lyap1_mean": -0.160806804895401,
+ "lyap1_max": -0.09549286961555481,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.8928659020905169,
+ "rf_loss": 0.0,
+ "total_loss": 0.8928659020905169,
+ "lyap1_mean": -0.16604696214199066,
+ "lyap1_max": -0.05280466005206108,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.7083959801570291,
+ "rf_loss": 0.0,
+ "total_loss": 0.7083959801570291,
+ "lyap1_mean": -0.15882061421871185,
+ "lyap1_max": -0.03835834562778473,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.7482588618571201,
+ "rf_loss": 0.0,
+ "total_loss": 0.7482588618571201,
+ "lyap1_mean": -0.15882053971290588,
+ "lyap1_max": -0.09018184244632721,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.6308320943439704,
+ "rf_loss": 0.0,
+ "total_loss": 0.6308320943439704,
+ "lyap1_mean": -0.18016958236694336,
+ "lyap1_max": -0.09750163555145264,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.4164091509955829,
+ "rf_loss": 0.0,
+ "total_loss": 0.4164091509955829,
+ "lyap1_mean": -0.22297818958759308,
+ "lyap1_max": -0.14620640873908997,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.5987280149112422,
+ "rf_loss": 0.0,
+ "total_loss": 0.5987280149112422,
+ "lyap1_mean": -0.20581157505512238,
+ "lyap1_max": -0.13173836469650269,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.6271995162277311,
+ "rf_loss": 0.0,
+ "total_loss": 0.6271995162277311,
+ "lyap1_mean": -0.2065156102180481,
+ "lyap1_max": -0.10696878284215927,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.6818754835047333,
+ "rf_loss": 0.0,
+ "total_loss": 0.6818754835047333,
+ "lyap1_mean": -0.17280782759189606,
+ "lyap1_max": -0.08220875263214111,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.5613284646544792,
+ "rf_loss": 0.0,
+ "total_loss": 0.5613284646544792,
+ "lyap1_mean": -0.15868282318115234,
+ "lyap1_max": -0.040507685393095016,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.7062698803339427,
+ "rf_loss": 0.0,
+ "total_loss": 0.7062698803339427,
+ "lyap1_mean": -0.20176076889038086,
+ "lyap1_max": -0.1737232804298401,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.5138421031993283,
+ "rf_loss": 0.0,
+ "total_loss": 0.5138421031993283,
+ "lyap1_mean": -0.24099764227867126,
+ "lyap1_max": -0.1382274329662323,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.6737039514335528,
+ "rf_loss": 0.0,
+ "total_loss": 0.6737039514335528,
+ "lyap1_mean": -0.1585230529308319,
+ "lyap1_max": -0.10426023602485657,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.4708590665689304,
+ "rf_loss": 0.0,
+ "total_loss": 0.4708590665689304,
+ "lyap1_mean": -0.19795387983322144,
+ "lyap1_max": -0.10054431855678558,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.6915544440031035,
+ "rf_loss": 0.0,
+ "total_loss": 0.6915544440031035,
+ "lyap1_mean": -0.1804148405790329,
+ "lyap1_max": -0.0661967545747757,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5588678318956251,
+ "rf_loss": 0.0,
+ "total_loss": 0.5588678318956251,
+ "lyap1_mean": -0.18470902740955353,
+ "lyap1_max": -0.06487395614385605,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.5274282106751615,
+ "rf_loss": 0.0,
+ "total_loss": 0.5274282106751615,
+ "lyap1_mean": -0.20193055272102356,
+ "lyap1_max": -0.08201418071985245,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.581763876803729,
+ "rf_loss": 0.0,
+ "total_loss": 0.581763876803729,
+ "lyap1_mean": -0.17592361569404602,
+ "lyap1_max": -0.07936382293701172,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.4597660492247642,
+ "rf_loss": 0.0,
+ "total_loss": 0.4597660492247642,
+ "lyap1_mean": -0.2564019560813904,
+ "lyap1_max": -0.1167556494474411,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.46006944011459255,
+ "rf_loss": 0.0,
+ "total_loss": 0.46006944011459255,
+ "lyap1_mean": -0.20380762219429016,
+ "lyap1_max": -0.13572263717651367,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.5632022352276694,
+ "rf_loss": 0.0,
+ "total_loss": 0.5632022352276694,
+ "lyap1_mean": -0.20880866050720215,
+ "lyap1_max": -0.09361293166875839,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.4364613193999451,
+ "rf_loss": 0.0,
+ "total_loss": 0.4364613193999451,
+ "lyap1_mean": -0.21988144516944885,
+ "lyap1_max": -0.09750216454267502,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.66264301138006,
+ "rf_loss": 0.0,
+ "total_loss": 0.66264301138006,
+ "lyap1_mean": -0.1951894313097,
+ "lyap1_max": -0.12072128057479858,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.4515309581351513,
+ "rf_loss": 0.0,
+ "total_loss": 0.4515309581351513,
+ "lyap1_mean": -0.23244574666023254,
+ "lyap1_max": -0.12313459813594818,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.44204852509041537,
+ "rf_loss": 0.0,
+ "total_loss": 0.44204852509041537,
+ "lyap1_mean": -0.22741319239139557,
+ "lyap1_max": -0.13253024220466614,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.5102926892672601,
+ "rf_loss": 0.0,
+ "total_loss": 0.5102926892672601,
+ "lyap1_mean": -0.19103452563285828,
+ "lyap1_max": -0.08420859277248383,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.45695202603060114,
+ "rf_loss": 0.0,
+ "total_loss": 0.45695202603060114,
+ "lyap1_mean": -0.24187232553958893,
+ "lyap1_max": -0.11189377307891846,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.6926642116318935,
+ "rf_loss": 0.0,
+ "total_loss": 0.6926642116318935,
+ "lyap1_mean": -0.17316362261772156,
+ "lyap1_max": -0.05011987313628197,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.6684021219317057,
+ "rf_loss": 0.0,
+ "total_loss": 0.6684021219317057,
+ "lyap1_mean": -0.2088947892189026,
+ "lyap1_max": -0.16127729415893555,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.5515624315984612,
+ "rf_loss": 0.0,
+ "total_loss": 0.5515624315984612,
+ "lyap1_mean": -0.20058554410934448,
+ "lyap1_max": -0.09298398345708847,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.601766807616978,
+ "rf_loss": 0.0,
+ "total_loss": 0.601766807616978,
+ "lyap1_mean": -0.2196391075849533,
+ "lyap1_max": -0.06671483814716339,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.6718063090991536,
+ "rf_loss": 0.0,
+ "total_loss": 0.6718063090991536,
+ "lyap1_mean": -0.23165051639080048,
+ "lyap1_max": -0.13598200678825378,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.6701925497567233,
+ "rf_loss": 0.0,
+ "total_loss": 0.6701925497567233,
+ "lyap1_mean": -0.19613829255104065,
+ "lyap1_max": -0.154951810836792,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.7559909388765815,
+ "rf_loss": 0.0,
+ "total_loss": 0.7559909388765815,
+ "lyap1_mean": -0.17928481101989746,
+ "lyap1_max": -0.10894026607275009,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.6862059105799613,
+ "rf_loss": 0.0,
+ "total_loss": 0.6862059105799613,
+ "lyap1_mean": -0.20451520383358002,
+ "lyap1_max": -0.13031339645385742,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.6238241736162596,
+ "rf_loss": 0.0,
+ "total_loss": 0.6238241736162596,
+ "lyap1_mean": -0.2125069797039032,
+ "lyap1_max": -0.13419416546821594,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.5543267540897161,
+ "rf_loss": 0.0,
+ "total_loss": 0.5543267540897161,
+ "lyap1_mean": -0.1750076413154602,
+ "lyap1_max": -0.06425385922193527,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.4419858617270676,
+ "rf_loss": 0.0,
+ "total_loss": 0.4419858617270676,
+ "lyap1_mean": -0.2407246083021164,
+ "lyap1_max": -0.16595309972763062,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.7529441848064666,
+ "rf_loss": 0.0,
+ "total_loss": 0.7529441848064666,
+ "lyap1_mean": -0.2003626525402069,
+ "lyap1_max": -0.12171699106693268,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.4274941310651707,
+ "rf_loss": 0.0,
+ "total_loss": 0.4274941310651707,
+ "lyap1_mean": -0.253703773021698,
+ "lyap1_max": -0.12632986903190613,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.541843113607991,
+ "rf_loss": 0.0,
+ "total_loss": 0.541843113607991,
+ "lyap1_mean": -0.23306682705879211,
+ "lyap1_max": -0.13942019641399384,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.6333644034043541,
+ "rf_loss": 0.0,
+ "total_loss": 0.6333644034043541,
+ "lyap1_mean": -0.21318838000297546,
+ "lyap1_max": -0.12276913225650787,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.6134673184430651,
+ "rf_loss": 0.0,
+ "total_loss": 0.6134673184430651,
+ "lyap1_mean": -0.2013246715068817,
+ "lyap1_max": -0.10854886472225189,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.6480385852394712,
+ "rf_loss": 0.0,
+ "total_loss": 0.6480385852394712,
+ "lyap1_mean": -0.1586003452539444,
+ "lyap1_max": -0.06721264123916626,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.44802136543671495,
+ "rf_loss": 0.0,
+ "total_loss": 0.44802136543671495,
+ "lyap1_mean": -0.23569346964359283,
+ "lyap1_max": -0.1620783805847168,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.7822260581145454,
+ "rf_loss": 0.0,
+ "total_loss": 0.7822260581145454,
+ "lyap1_mean": -0.20069602131843567,
+ "lyap1_max": -0.07712525129318237,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.7710663304577412,
+ "rf_loss": 0.0,
+ "total_loss": 0.7710663304577412,
+ "lyap1_mean": -0.22981709241867065,
+ "lyap1_max": -0.12577027082443237,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.5577066597882143,
+ "rf_loss": 0.0,
+ "total_loss": 0.5577066597882143,
+ "lyap1_mean": -0.21974991261959076,
+ "lyap1_max": -0.13262882828712463,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.5472606186887976,
+ "rf_loss": 0.0,
+ "total_loss": 0.5472606186887976,
+ "lyap1_mean": -0.19248127937316895,
+ "lyap1_max": -0.0850316733121872,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.8200874989493157,
+ "rf_loss": 0.0,
+ "total_loss": 0.8200874989493157,
+ "lyap1_mean": -0.18073473870754242,
+ "lyap1_max": -0.08566507697105408,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.6317165754752954,
+ "rf_loss": 0.0,
+ "total_loss": 0.6317165754752954,
+ "lyap1_mean": -0.18964365124702454,
+ "lyap1_max": -0.08450456708669662,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.6428149157862336,
+ "rf_loss": 0.0,
+ "total_loss": 0.6428149157862336,
+ "lyap1_mean": -0.1839533895254135,
+ "lyap1_max": -0.1360056847333908,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.8019578563453434,
+ "rf_loss": 0.0,
+ "total_loss": 0.8019578563453434,
+ "lyap1_mean": -0.17444077134132385,
+ "lyap1_max": -0.09533258527517319,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.6817477327435983,
+ "rf_loss": 0.0,
+ "total_loss": 0.6817477327435983,
+ "lyap1_mean": -0.20133468508720398,
+ "lyap1_max": -0.14374417066574097,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.8517326786046907,
+ "rf_loss": 0.0,
+ "total_loss": 0.8517326786046907,
+ "lyap1_mean": -0.1866406798362732,
+ "lyap1_max": -0.1291995793581009,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.5885188598494874,
+ "rf_loss": 0.0,
+ "total_loss": 0.5885188598494874,
+ "lyap1_mean": -0.2051071673631668,
+ "lyap1_max": -0.11106543987989426,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.6389622126057347,
+ "rf_loss": 0.0,
+ "total_loss": 0.6389622126057347,
+ "lyap1_mean": -0.1401863992214203,
+ "lyap1_max": -0.04137813299894333,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.7242631118632783,
+ "rf_loss": 0.0,
+ "total_loss": 0.7242631118632783,
+ "lyap1_mean": -0.20014476776123047,
+ "lyap1_max": -0.09285998344421387,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.6170678917932148,
+ "rf_loss": 0.0,
+ "total_loss": 0.6170678917932148,
+ "lyap1_mean": -0.20304855704307556,
+ "lyap1_max": -0.07744231075048447,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.5834679257993275,
+ "rf_loss": 0.0,
+ "total_loss": 0.5834679257993275,
+ "lyap1_mean": -0.19520199298858643,
+ "lyap1_max": -0.07508471608161926,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.6184184670481919,
+ "rf_loss": 0.0,
+ "total_loss": 0.6184184670481919,
+ "lyap1_mean": -0.22614485025405884,
+ "lyap1_max": -0.08879595249891281,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.5834496232695248,
+ "rf_loss": 0.0,
+ "total_loss": 0.5834496232695248,
+ "lyap1_mean": -0.21686387062072754,
+ "lyap1_max": -0.11697535216808319,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.46873376242182047,
+ "rf_loss": 0.0,
+ "total_loss": 0.46873376242182047,
+ "lyap1_mean": -0.20978090167045593,
+ "lyap1_max": -0.1583404839038849,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.4277216868881535,
+ "rf_loss": 0.0,
+ "total_loss": 0.4277216868881535,
+ "lyap1_mean": -0.18250460922718048,
+ "lyap1_max": -0.06321868300437927,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.56364931635572,
+ "rf_loss": 0.0,
+ "total_loss": 0.56364931635572,
+ "lyap1_mean": -0.2385718822479248,
+ "lyap1_max": -0.18002289533615112,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.4246765232390541,
+ "rf_loss": 0.0,
+ "total_loss": 0.4246765232390541,
+ "lyap1_mean": -0.23518259823322296,
+ "lyap1_max": -0.0972171276807785,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.5237068134679024,
+ "rf_loss": 0.0,
+ "total_loss": 0.5237068134679024,
+ "lyap1_mean": -0.2115860879421234,
+ "lyap1_max": -0.11454209685325623,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.5997124572467873,
+ "rf_loss": 0.0,
+ "total_loss": 0.5997124572467873,
+ "lyap1_mean": -0.23042023181915283,
+ "lyap1_max": -0.10170955955982208,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.5299713536257804,
+ "rf_loss": 0.0,
+ "total_loss": 0.5299713536257804,
+ "lyap1_mean": -0.22233423590660095,
+ "lyap1_max": -0.146438330411911,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.8505029093063249,
+ "rf_loss": 0.0,
+ "total_loss": 0.8505029093063249,
+ "lyap1_mean": -0.1852549910545349,
+ "lyap1_max": -0.15016363561153412,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.6260532971507008,
+ "rf_loss": 0.0,
+ "total_loss": 0.6260532971507008,
+ "lyap1_mean": -0.22456932067871094,
+ "lyap1_max": -0.19372230768203735,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.6205153009455984,
+ "rf_loss": 0.0,
+ "total_loss": 0.6205153009455984,
+ "lyap1_mean": -0.1905740648508072,
+ "lyap1_max": -0.10736075043678284,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.5522194151031772,
+ "rf_loss": 0.0,
+ "total_loss": 0.5522194151031772,
+ "lyap1_mean": -0.18396684527397156,
+ "lyap1_max": -0.14840683341026306,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.684030551364668,
+ "rf_loss": 0.0,
+ "total_loss": 0.684030551364668,
+ "lyap1_mean": -0.19913317263126373,
+ "lyap1_max": -0.11573466658592224,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.6835258893157763,
+ "rf_loss": 0.0,
+ "total_loss": 0.6835258893157763,
+ "lyap1_mean": -0.2122216671705246,
+ "lyap1_max": -0.1381903737783432,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.4847939587595649,
+ "rf_loss": 0.0,
+ "total_loss": 0.4847939587595649,
+ "lyap1_mean": -0.1715138852596283,
+ "lyap1_max": -0.04178324341773987,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.45466420254999934,
+ "rf_loss": 0.0,
+ "total_loss": 0.45466420254999934,
+ "lyap1_mean": -0.23010817170143127,
+ "lyap1_max": -0.11812260746955872,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.666091944664287,
+ "rf_loss": 0.0,
+ "total_loss": 0.666091944664287,
+ "lyap1_mean": -0.22724004089832306,
+ "lyap1_max": -0.16292116045951843,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.6010085088582172,
+ "rf_loss": 0.0,
+ "total_loss": 0.6010085088582172,
+ "lyap1_mean": -0.18015745282173157,
+ "lyap1_max": -0.12485748529434204,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.6026152472485455,
+ "rf_loss": 0.0,
+ "total_loss": 0.6026152472485455,
+ "lyap1_mean": -0.18596377968788147,
+ "lyap1_max": -0.0804155170917511,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.8088728448626544,
+ "rf_loss": 0.0,
+ "total_loss": 0.8088728448626544,
+ "lyap1_mean": -0.17091886699199677,
+ "lyap1_max": -0.10065191239118576,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.5145146161590706,
+ "rf_loss": 0.0,
+ "total_loss": 0.5145146161590706,
+ "lyap1_mean": -0.19709008932113647,
+ "lyap1_max": -0.0920170471072197,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.5473842973334815,
+ "rf_loss": 0.0,
+ "total_loss": 0.5473842973334815,
+ "lyap1_mean": -0.20682984590530396,
+ "lyap1_max": -0.07919889688491821,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.7171780707521886,
+ "rf_loss": 0.0,
+ "total_loss": 0.7171780707521886,
+ "lyap1_mean": -0.17546863853931427,
+ "lyap1_max": -0.0773872658610344,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.8109926573104049,
+ "rf_loss": 0.0,
+ "total_loss": 0.8109926573104049,
+ "lyap1_mean": -0.17671331763267517,
+ "lyap1_max": -0.10567508637905121,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.5187260248264307,
+ "rf_loss": 0.0,
+ "total_loss": 0.5187260248264307,
+ "lyap1_mean": -0.18257877230644226,
+ "lyap1_max": -0.09571998566389084,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.64499367743222,
+ "rf_loss": 0.0,
+ "total_loss": 0.64499367743222,
+ "lyap1_mean": -0.18543002009391785,
+ "lyap1_max": -0.0919903814792633,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.5922426600876496,
+ "rf_loss": 0.0,
+ "total_loss": 0.5922426600876496,
+ "lyap1_mean": -0.1853993982076645,
+ "lyap1_max": -0.09295933693647385,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.7907148444100979,
+ "rf_loss": 0.0,
+ "total_loss": 0.7907148444100979,
+ "lyap1_mean": -0.19381244480609894,
+ "lyap1_max": -0.11008801311254501,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.769561283686713,
+ "rf_loss": 0.0,
+ "total_loss": 0.769561283686713,
+ "lyap1_mean": -0.20024415850639343,
+ "lyap1_max": -0.13815838098526,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.5945196157979601,
+ "rf_loss": 0.0,
+ "total_loss": 0.5945196157979601,
+ "lyap1_mean": -0.21762865781784058,
+ "lyap1_max": -0.1536758691072464,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.5127424454829249,
+ "rf_loss": 0.0,
+ "total_loss": 0.5127424454829249,
+ "lyap1_mean": -0.21969911456108093,
+ "lyap1_max": -0.09908488392829895,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.568696628716902,
+ "rf_loss": 0.0,
+ "total_loss": 0.568696628716902,
+ "lyap1_mean": -0.2138366550207138,
+ "lyap1_max": -0.09322752803564072,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.7562978214840389,
+ "rf_loss": 0.0,
+ "total_loss": 0.7562978214840389,
+ "lyap1_mean": -0.20691806077957153,
+ "lyap1_max": -0.12872862815856934,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.6551328185418259,
+ "rf_loss": 0.0,
+ "total_loss": 0.6551328185418259,
+ "lyap1_mean": -0.20642487704753876,
+ "lyap1_max": -0.07981183379888535,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.68868814881439,
+ "rf_loss": 0.0,
+ "total_loss": 0.68868814881439,
+ "lyap1_mean": -0.1813572645187378,
+ "lyap1_max": -0.011597412638366222,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.4367098554190726,
+ "rf_loss": 0.0,
+ "total_loss": 0.4367098554190726,
+ "lyap1_mean": -0.24434518814086914,
+ "lyap1_max": -0.14177510142326355,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.45969433008608135,
+ "rf_loss": 0.0,
+ "total_loss": 0.45969433008608135,
+ "lyap1_mean": -0.1993560492992401,
+ "lyap1_max": -0.09999115765094757,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.5287129636895747,
+ "rf_loss": 0.0,
+ "total_loss": 0.5287129636895747,
+ "lyap1_mean": -0.20102721452713013,
+ "lyap1_max": -0.11296612024307251,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.6001089480990052,
+ "rf_loss": 0.0,
+ "total_loss": 0.6001089480990052,
+ "lyap1_mean": -0.2047824263572693,
+ "lyap1_max": -0.16775868833065033,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.49769986376214453,
+ "rf_loss": 0.0,
+ "total_loss": 0.49769986376214453,
+ "lyap1_mean": -0.2387564778327942,
+ "lyap1_max": -0.12966139614582062,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.4930502541504891,
+ "rf_loss": 0.0,
+ "total_loss": 0.4930502541504891,
+ "lyap1_mean": -0.2362280786037445,
+ "lyap1_max": -0.1668357104063034,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.46169493105784926,
+ "rf_loss": 0.0,
+ "total_loss": 0.46169493105784926,
+ "lyap1_mean": -0.22429259121418,
+ "lyap1_max": -0.16607175767421722,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.802166309212678,
+ "rf_loss": 0.0,
+ "total_loss": 0.802166309212678,
+ "lyap1_mean": -0.20674104988574982,
+ "lyap1_max": -0.13305266201496124,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.5747584587530254,
+ "rf_loss": 0.0,
+ "total_loss": 0.5747584587530254,
+ "lyap1_mean": -0.20135027170181274,
+ "lyap1_max": -0.07635249197483063,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.5848124214260316,
+ "rf_loss": 0.0,
+ "total_loss": 0.5848124214260316,
+ "lyap1_mean": -0.1798902153968811,
+ "lyap1_max": -0.13341239094734192,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.5697222687688868,
+ "rf_loss": 0.0,
+ "total_loss": 0.5697222687688868,
+ "lyap1_mean": -0.22785009443759918,
+ "lyap1_max": -0.16904041171073914,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.49221582119529633,
+ "rf_loss": 0.0,
+ "total_loss": 0.49221582119529633,
+ "lyap1_mean": -0.22846445441246033,
+ "lyap1_max": -0.13291165232658386,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.7697801596926565,
+ "rf_loss": 0.0,
+ "total_loss": 0.7697801596926565,
+ "lyap1_mean": -0.1920282542705536,
+ "lyap1_max": -0.10256457328796387,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.6922007454802507,
+ "rf_loss": 0.0,
+ "total_loss": 0.6922007454802507,
+ "lyap1_mean": -0.17902615666389465,
+ "lyap1_max": -0.12225094437599182,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5505792665285443,
+ "rf_loss": 0.0,
+ "total_loss": 0.5505792665285443,
+ "lyap1_mean": -0.21936741471290588,
+ "lyap1_max": -0.1531541794538498,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.6353451253510249,
+ "rf_loss": 0.0,
+ "total_loss": 0.6353451253510249,
+ "lyap1_mean": -0.20361590385437012,
+ "lyap1_max": -0.14439085125923157,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.6428148542581822,
+ "rf_loss": 0.0,
+ "total_loss": 0.6428148542581822,
+ "lyap1_mean": -0.19642044603824615,
+ "lyap1_max": -0.10523774474859238,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.5288797155319798,
+ "rf_loss": 0.0,
+ "total_loss": 0.5288797155319798,
+ "lyap1_mean": -0.2076386958360672,
+ "lyap1_max": -0.12072043865919113,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.3863632477579415,
+ "rf_loss": 0.0,
+ "total_loss": 0.3863632477579415,
+ "lyap1_mean": -0.23749133944511414,
+ "lyap1_max": -0.16364428400993347,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.8369189233501023,
+ "rf_loss": 0.0,
+ "total_loss": 0.8369189233501023,
+ "lyap1_mean": -0.18644171953201294,
+ "lyap1_max": -0.12330862134695053,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.5872188216009459,
+ "rf_loss": 0.0,
+ "total_loss": 0.5872188216009459,
+ "lyap1_mean": -0.20678067207336426,
+ "lyap1_max": -0.08927386999130249,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.5041393667798287,
+ "rf_loss": 0.0,
+ "total_loss": 0.5041393667798287,
+ "lyap1_mean": -0.26429998874664307,
+ "lyap1_max": -0.18356218934059143,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.5765562308926201,
+ "rf_loss": 0.0,
+ "total_loss": 0.5765562308926201,
+ "lyap1_mean": -0.17559175193309784,
+ "lyap1_max": -0.018731923773884773,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.4974266827365548,
+ "rf_loss": 0.0,
+ "total_loss": 0.4974266827365548,
+ "lyap1_mean": -0.20852211117744446,
+ "lyap1_max": -0.1370886266231537,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.620334603373274,
+ "rf_loss": 0.0,
+ "total_loss": 0.620334603373274,
+ "lyap1_mean": -0.1951858550310135,
+ "lyap1_max": -0.10776694864034653,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.5299444770294112,
+ "rf_loss": 0.0,
+ "total_loss": 0.5299444770294112,
+ "lyap1_mean": -0.2059299498796463,
+ "lyap1_max": -0.1464439481496811,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.8489174008467093,
+ "rf_loss": 0.0,
+ "total_loss": 0.8489174008467093,
+ "lyap1_mean": -0.15450772643089294,
+ "lyap1_max": -0.08675898611545563,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.6135943418403578,
+ "rf_loss": 0.0,
+ "total_loss": 0.6135943418403578,
+ "lyap1_mean": -0.19584394991397858,
+ "lyap1_max": -0.11074253171682358,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.5798082526804116,
+ "rf_loss": 0.0,
+ "total_loss": 0.5798082526804116,
+ "lyap1_mean": -0.21491551399230957,
+ "lyap1_max": -0.12314432114362717,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.7496293059904233,
+ "rf_loss": 0.0,
+ "total_loss": 0.7496293059904233,
+ "lyap1_mean": -0.20109547674655914,
+ "lyap1_max": -0.1007969006896019,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.6538638055579475,
+ "rf_loss": 0.0,
+ "total_loss": 0.6538638055579475,
+ "lyap1_mean": -0.1966100037097931,
+ "lyap1_max": -0.11787473410367966,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.43945334240033507,
+ "rf_loss": 0.0,
+ "total_loss": 0.43945334240033507,
+ "lyap1_mean": -0.2015993744134903,
+ "lyap1_max": -0.10837997496128082,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.625604220847771,
+ "rf_loss": 0.0,
+ "total_loss": 0.625604220847771,
+ "lyap1_mean": -0.18927493691444397,
+ "lyap1_max": -0.13037115335464478,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.4542147766218148,
+ "rf_loss": 0.0,
+ "total_loss": 0.4542147766218148,
+ "lyap1_mean": -0.23917371034622192,
+ "lyap1_max": -0.16002675890922546,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.5484596541851076,
+ "rf_loss": 0.0,
+ "total_loss": 0.5484596541851076,
+ "lyap1_mean": -0.22205352783203125,
+ "lyap1_max": -0.17208266258239746,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.5796549757431813,
+ "rf_loss": 0.0,
+ "total_loss": 0.5796549757431813,
+ "lyap1_mean": -0.19787657260894775,
+ "lyap1_max": -0.08027331531047821,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.7017277310690098,
+ "rf_loss": 0.0,
+ "total_loss": 0.7017277310690098,
+ "lyap1_mean": -0.2054646611213684,
+ "lyap1_max": -0.13146935403347015,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.524999132601167,
+ "rf_loss": 0.0,
+ "total_loss": 0.524999132601167,
+ "lyap1_mean": -0.20288428664207458,
+ "lyap1_max": -0.12655335664749146,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.6519588463532211,
+ "rf_loss": 0.0,
+ "total_loss": 0.6519588463532211,
+ "lyap1_mean": -0.187330961227417,
+ "lyap1_max": -0.0487985759973526,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.7896045312148756,
+ "rf_loss": 0.0,
+ "total_loss": 0.7896045312148756,
+ "lyap1_mean": -0.17342408001422882,
+ "lyap1_max": -0.08557955920696259,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.5254194586683845,
+ "rf_loss": 0.0,
+ "total_loss": 0.5254194586683845,
+ "lyap1_mean": -0.1896812915802002,
+ "lyap1_max": -0.12433528155088425,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.7277837074862891,
+ "rf_loss": 0.0,
+ "total_loss": 0.7277837074862891,
+ "lyap1_mean": -0.20564937591552734,
+ "lyap1_max": -0.15159422159194946,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.7733371556421542,
+ "rf_loss": 0.0,
+ "total_loss": 0.7733371556421542,
+ "lyap1_mean": -0.19215822219848633,
+ "lyap1_max": -0.08312106132507324,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.5344660911309098,
+ "rf_loss": 0.0,
+ "total_loss": 0.5344660911309098,
+ "lyap1_mean": -0.19354604184627533,
+ "lyap1_max": -0.031829528510570526,
+ "frac_above_star": 0.0
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.517578125,
+ "tok_acc": 0.8276668595679012
+ },
+ {
+ "step": 100,
+ "acc": 0.572265625,
+ "tok_acc": 0.8473427854938271
+ },
+ {
+ "step": 200,
+ "acc": 0.583984375,
+ "tok_acc": 0.8522376543209876
+ },
+ {
+ "step": 300,
+ "acc": 0.615234375,
+ "tok_acc": 0.8610869984567902
+ },
+ {
+ "step": 400,
+ "acc": 0.58984375,
+ "tok_acc": 0.8527440200617284
+ },
+ {
+ "step": 500,
+ "acc": 0.611328125,
+ "tok_acc": 0.8640769675925926
+ },
+ {
+ "step": 500,
+ "acc": 0.611328125,
+ "tok_acc": 0.8640769675925926
+ }
+ ],
+ "final_acc": 0.611328125,
+ "final_tok_acc": 0.8640769675925926
+} \ No newline at end of file