diff options
Diffstat (limited to 'research/flossing/step3_D_rf_26040_lstar0.json')
| -rw-r--r-- | research/flossing/step3_D_rf_26040_lstar0.json | 4561 |
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 |
