diff options
Diffstat (limited to 'research/flossing/step3_C_rf_26040.json')
| -rw-r--r-- | research/flossing/step3_C_rf_26040.json | 4561 |
1 files changed, 4561 insertions, 0 deletions
diff --git a/research/flossing/step3_C_rf_26040.json b/research/flossing/step3_C_rf_26040.json new file mode 100644 index 0000000..240ec0e --- /dev/null +++ b/research/flossing/step3_C_rf_26040.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.05, + "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_C_rf_26040.json" + }, + "initial_acc": 0.517578125, + "initial_tok_acc": 0.8276668595679012, + "steps": [ + { + "step": 0, + "sup_loss": 0.5692806735310538, + "rf_loss": 8.730140507395845e-06, + "total_loss": 0.5693679749379468, + "lyap1_mean": -0.18472686409950256, + "lyap1_max": -0.04164290055632591, + "frac_above_star": 0.125 + }, + { + "step": 1, + "sup_loss": 0.4256530641595496, + "rf_loss": 0.0, + "total_loss": 0.4256530641595496, + "lyap1_mean": -0.18686789274215698, + "lyap1_max": -0.0872039645910263, + "frac_above_star": 0.0 + }, + { + "step": 2, + "sup_loss": 0.7297214513564844, + "rf_loss": 0.0, + "total_loss": 0.7297214513564844, + "lyap1_mean": -0.19814404845237732, + "lyap1_max": -0.13654550909996033, + "frac_above_star": 0.0 + }, + { + "step": 3, + "sup_loss": 0.5305226765501326, + "rf_loss": 0.0, + "total_loss": 0.5305226765501326, + "lyap1_mean": -0.18494391441345215, + "lyap1_max": -0.09610007703304291, + "frac_above_star": 0.0 + }, + { + "step": 4, + "sup_loss": 0.6530737764586068, + "rf_loss": 0.0, + "total_loss": 0.6530737764586068, + "lyap1_mean": -0.14886385202407837, + "lyap1_max": -0.051897354423999786, + "frac_above_star": 0.0 + }, + { + "step": 5, + "sup_loss": 0.8219793628339117, + "rf_loss": 4.5718057663179934e-05, + "total_loss": 0.8224365434105435, + "lyap1_mean": -0.14355605840682983, + "lyap1_max": -0.03087555430829525, + "frac_above_star": 0.125 + }, + { + "step": 6, + "sup_loss": 0.6218899233075229, + "rf_loss": 0.0, + "total_loss": 0.6218899233075229, + "lyap1_mean": -0.1884099841117859, + "lyap1_max": -0.1256392002105713, + "frac_above_star": 0.0 + }, + { + "step": 7, + "sup_loss": 0.6366865559939567, + "rf_loss": 0.0, + "total_loss": 0.6366865559939567, + "lyap1_mean": -0.17351576685905457, + "lyap1_max": -0.12977278232574463, + "frac_above_star": 0.0 + }, + { + "step": 8, + "sup_loss": 0.8273739711801417, + "rf_loss": 0.0, + "total_loss": 0.8273739711801417, + "lyap1_mean": -0.15072572231292725, + "lyap1_max": -0.10887785255908966, + "frac_above_star": 0.0 + }, + { + "step": 9, + "sup_loss": 0.8388152816960708, + "rf_loss": 5.7935678341891617e-05, + "total_loss": 0.8393946384940416, + "lyap1_mean": -0.15443460643291473, + "lyap1_max": -0.028471289202570915, + "frac_above_star": 0.125 + }, + { + "step": 10, + "sup_loss": 0.5884922889641484, + "rf_loss": 0.0, + "total_loss": 0.5884922889641484, + "lyap1_mean": -0.17496049404144287, + "lyap1_max": -0.096577487885952, + "frac_above_star": 0.0 + }, + { + "step": 11, + "sup_loss": 0.5878587874187478, + "rf_loss": 0.0, + "total_loss": 0.5878587874187478, + "lyap1_mean": -0.19995838403701782, + "lyap1_max": -0.11154899001121521, + "frac_above_star": 0.0 + }, + { + "step": 12, + "sup_loss": 0.4732437735449548, + "rf_loss": 0.0, + "total_loss": 0.4732437735449548, + "lyap1_mean": -0.18807215988636017, + "lyap1_max": -0.11670893430709839, + "frac_above_star": 0.0 + }, + { + "step": 13, + "sup_loss": 0.6936183670110372, + "rf_loss": 0.0, + "total_loss": 0.6936183670110372, + "lyap1_mean": -0.15418314933776855, + "lyap1_max": -0.07703495770692825, + "frac_above_star": 0.0 + }, + { + "step": 14, + "sup_loss": 0.634786247230436, + "rf_loss": 0.0, + "total_loss": 0.634786247230436, + "lyap1_mean": -0.18757356703281403, + "lyap1_max": -0.09002988785505295, + "frac_above_star": 0.0 + }, + { + "step": 15, + "sup_loss": 0.7161386334910096, + "rf_loss": 0.0, + "total_loss": 0.7161386334910096, + "lyap1_mean": -0.18413621187210083, + "lyap1_max": -0.08889326453208923, + "frac_above_star": 0.0 + }, + { + "step": 16, + "sup_loss": 0.5688225334782482, + "rf_loss": 0.0, + "total_loss": 0.5688225334782482, + "lyap1_mean": -0.18539652228355408, + "lyap1_max": -0.1365247368812561, + "frac_above_star": 0.0 + }, + { + "step": 17, + "sup_loss": 0.7419275285982696, + "rf_loss": 0.0, + "total_loss": 0.7419275285982696, + "lyap1_mean": -0.14077171683311462, + "lyap1_max": -0.10038422793149948, + "frac_above_star": 0.0 + }, + { + "step": 18, + "sup_loss": 0.6251659308804067, + "rf_loss": 0.0, + "total_loss": 0.6251659308804067, + "lyap1_mean": -0.19977544248104095, + "lyap1_max": -0.1411890983581543, + "frac_above_star": 0.0 + }, + { + "step": 19, + "sup_loss": 0.47931541785969645, + "rf_loss": 0.0, + "total_loss": 0.47931541785969645, + "lyap1_mean": -0.19939261674880981, + "lyap1_max": -0.05177782475948334, + "frac_above_star": 0.0 + }, + { + "step": 20, + "sup_loss": 0.5755442567017433, + "rf_loss": 0.0, + "total_loss": 0.5755442567017433, + "lyap1_mean": -0.17150744795799255, + "lyap1_max": -0.0765736848115921, + "frac_above_star": 0.0 + }, + { + "step": 21, + "sup_loss": 0.6602223300636985, + "rf_loss": 0.0, + "total_loss": 0.6602223300636985, + "lyap1_mean": -0.17469163239002228, + "lyap1_max": -0.11657081544399261, + "frac_above_star": 0.0 + }, + { + "step": 22, + "sup_loss": 0.5494241428120278, + "rf_loss": 0.0, + "total_loss": 0.5494241428120278, + "lyap1_mean": -0.18806186318397522, + "lyap1_max": -0.13081824779510498, + "frac_above_star": 0.0 + }, + { + "step": 23, + "sup_loss": 0.5720102900969967, + "rf_loss": 0.0, + "total_loss": 0.5720102900969967, + "lyap1_mean": -0.189255028963089, + "lyap1_max": -0.13640080392360687, + "frac_above_star": 0.0 + }, + { + "step": 24, + "sup_loss": 0.6200697687914075, + "rf_loss": 0.0, + "total_loss": 0.6200697687914075, + "lyap1_mean": -0.18683704733848572, + "lyap1_max": -0.15241771936416626, + "frac_above_star": 0.0 + }, + { + "step": 25, + "sup_loss": 0.7708447275750623, + "rf_loss": 7.396034197881818e-05, + "total_loss": 0.7715843309948505, + "lyap1_mean": -0.13307297229766846, + "lyap1_max": -0.02684459462761879, + "frac_above_star": 0.25 + }, + { + "step": 26, + "sup_loss": 0.7134329074047788, + "rf_loss": 0.0, + "total_loss": 0.7134329074047788, + "lyap1_mean": -0.16006088256835938, + "lyap1_max": -0.11834649741649628, + "frac_above_star": 0.0 + }, + { + "step": 27, + "sup_loss": 0.4433266649670745, + "rf_loss": 0.0, + "total_loss": 0.4433266649670745, + "lyap1_mean": -0.21617424488067627, + "lyap1_max": -0.09347926080226898, + "frac_above_star": 0.0 + }, + { + "step": 28, + "sup_loss": 0.7546234439622822, + "rf_loss": 0.0, + "total_loss": 0.7546234439622822, + "lyap1_mean": -0.1505395770072937, + "lyap1_max": -0.08319316804409027, + "frac_above_star": 0.0 + }, + { + "step": 29, + "sup_loss": 0.7812489796402995, + "rf_loss": 0.0, + "total_loss": 0.7812489796402995, + "lyap1_mean": -0.16996526718139648, + "lyap1_max": -0.09263668954372406, + "frac_above_star": 0.0 + }, + { + "step": 30, + "sup_loss": 0.6161543732921804, + "rf_loss": 0.0, + "total_loss": 0.6161543732921804, + "lyap1_mean": -0.1655355542898178, + "lyap1_max": -0.06628571450710297, + "frac_above_star": 0.0 + }, + { + "step": 31, + "sup_loss": 0.6526502041454323, + "rf_loss": 0.0, + "total_loss": 0.6526502041454323, + "lyap1_mean": -0.16468918323516846, + "lyap1_max": -0.0951920673251152, + "frac_above_star": 0.0 + }, + { + "step": 32, + "sup_loss": 0.6116748757372479, + "rf_loss": 0.0, + "total_loss": 0.6116748757372479, + "lyap1_mean": -0.14170441031455994, + "lyap1_max": -0.07779055833816528, + "frac_above_star": 0.0 + }, + { + "step": 33, + "sup_loss": 0.5715996718656129, + "rf_loss": 0.0, + "total_loss": 0.5715996718656129, + "lyap1_mean": -0.1859581470489502, + "lyap1_max": -0.09928901493549347, + "frac_above_star": 0.0 + }, + { + "step": 34, + "sup_loss": 0.7155047617114231, + "rf_loss": 0.0, + "total_loss": 0.7155047617114231, + "lyap1_mean": -0.16743279993534088, + "lyap1_max": -0.13878943026065826, + "frac_above_star": 0.0 + }, + { + "step": 35, + "sup_loss": 0.405594918584735, + "rf_loss": 0.0, + "total_loss": 0.405594918584735, + "lyap1_mean": -0.20414918661117554, + "lyap1_max": -0.1424926221370697, + "frac_above_star": 0.0 + }, + { + "step": 36, + "sup_loss": 0.5742962932293634, + "rf_loss": 0.0, + "total_loss": 0.5742962932293634, + "lyap1_mean": -0.19033342599868774, + "lyap1_max": -0.1235819086432457, + "frac_above_star": 0.0 + }, + { + "step": 37, + "sup_loss": 0.779355227864023, + "rf_loss": 0.0, + "total_loss": 0.779355227864023, + "lyap1_mean": -0.16759246587753296, + "lyap1_max": -0.1254093497991562, + "frac_above_star": 0.0 + }, + { + "step": 38, + "sup_loss": 0.5656018805901114, + "rf_loss": 0.0, + "total_loss": 0.5656018805901114, + "lyap1_mean": -0.1866704374551773, + "lyap1_max": -0.10992076247930527, + "frac_above_star": 0.0 + }, + { + "step": 39, + "sup_loss": 0.7040410326101555, + "rf_loss": 0.0, + "total_loss": 0.7040410326101555, + "lyap1_mean": -0.17482686042785645, + "lyap1_max": -0.1386720836162567, + "frac_above_star": 0.0 + }, + { + "step": 40, + "sup_loss": 0.6854342059490072, + "rf_loss": 0.0, + "total_loss": 0.6854342059490072, + "lyap1_mean": -0.18073156476020813, + "lyap1_max": -0.1336684226989746, + "frac_above_star": 0.0 + }, + { + "step": 41, + "sup_loss": 0.4590976153719093, + "rf_loss": 0.0, + "total_loss": 0.4590976153719093, + "lyap1_mean": -0.22070184350013733, + "lyap1_max": -0.13353635370731354, + "frac_above_star": 0.0 + }, + { + "step": 42, + "sup_loss": 0.7326898256298093, + "rf_loss": 0.0006855739047750831, + "total_loss": 0.7395455649103908, + "lyap1_mean": -0.15728053450584412, + "lyap1_max": 0.024058029055595398, + "frac_above_star": 0.125 + }, + { + "step": 43, + "sup_loss": 0.7123319703814748, + "rf_loss": 0.0, + "total_loss": 0.7123319703814748, + "lyap1_mean": -0.18902835249900818, + "lyap1_max": -0.11963468790054321, + "frac_above_star": 0.0 + }, + { + "step": 44, + "sup_loss": 0.9444873795921138, + "rf_loss": 0.0, + "total_loss": 0.9444873795921138, + "lyap1_mean": -0.15437626838684082, + "lyap1_max": -0.08420934528112411, + "frac_above_star": 0.0 + }, + { + "step": 45, + "sup_loss": 0.6105991115340909, + "rf_loss": 0.0, + "total_loss": 0.6105991115340909, + "lyap1_mean": -0.16357484459877014, + "lyap1_max": -0.09036712348461151, + "frac_above_star": 0.0 + }, + { + "step": 46, + "sup_loss": 0.6511733318015783, + "rf_loss": 0.0, + "total_loss": 0.6511733318015783, + "lyap1_mean": -0.17456793785095215, + "lyap1_max": -0.09218809008598328, + "frac_above_star": 0.0 + }, + { + "step": 47, + "sup_loss": 0.6681804216542886, + "rf_loss": 0.0, + "total_loss": 0.6681804216542886, + "lyap1_mean": -0.1810278743505478, + "lyap1_max": -0.06158395856618881, + "frac_above_star": 0.0 + }, + { + "step": 48, + "sup_loss": 0.6536462391944303, + "rf_loss": 0.0, + "total_loss": 0.6536462391944303, + "lyap1_mean": -0.1637968271970749, + "lyap1_max": -0.059858888387680054, + "frac_above_star": 0.0 + }, + { + "step": 49, + "sup_loss": 0.5716275082407425, + "rf_loss": 0.0, + "total_loss": 0.5716275082407425, + "lyap1_mean": -0.1786249727010727, + "lyap1_max": -0.14303715527057648, + "frac_above_star": 0.0 + }, + { + "step": 50, + "sup_loss": 0.603092031769928, + "rf_loss": 0.0, + "total_loss": 0.603092031769928, + "lyap1_mean": -0.19462862610816956, + "lyap1_max": -0.1409212201833725, + "frac_above_star": 0.0 + }, + { + "step": 51, + "sup_loss": 0.8258017276412262, + "rf_loss": 0.0, + "total_loss": 0.8258017276412262, + "lyap1_mean": -0.17781853675842285, + "lyap1_max": -0.12817521393299103, + "frac_above_star": 0.0 + }, + { + "step": 52, + "sup_loss": 0.5143208426588572, + "rf_loss": 0.0, + "total_loss": 0.5143208426588572, + "lyap1_mean": -0.18833813071250916, + "lyap1_max": -0.067641481757164, + "frac_above_star": 0.0 + }, + { + "step": 53, + "sup_loss": 0.6277062174054168, + "rf_loss": 0.0, + "total_loss": 0.6277062174054168, + "lyap1_mean": -0.1856500506401062, + "lyap1_max": -0.1020214781165123, + "frac_above_star": 0.0 + }, + { + "step": 54, + "sup_loss": 0.6103892031023235, + "rf_loss": 0.0, + "total_loss": 0.6103892031023235, + "lyap1_mean": -0.16502267122268677, + "lyap1_max": -0.12042690813541412, + "frac_above_star": 0.0 + }, + { + "step": 55, + "sup_loss": 0.6455055669389037, + "rf_loss": 0.0, + "total_loss": 0.6455055669389037, + "lyap1_mean": -0.19511613249778748, + "lyap1_max": -0.1421412229537964, + "frac_above_star": 0.0 + }, + { + "step": 56, + "sup_loss": 0.6145164240286488, + "rf_loss": 0.0, + "total_loss": 0.6145164240286488, + "lyap1_mean": -0.20549499988555908, + "lyap1_max": -0.12187451124191284, + "frac_above_star": 0.0 + }, + { + "step": 57, + "sup_loss": 0.5940261257955141, + "rf_loss": 0.0, + "total_loss": 0.5940261257955141, + "lyap1_mean": -0.17917832732200623, + "lyap1_max": -0.11406894028186798, + "frac_above_star": 0.0 + }, + { + "step": 58, + "sup_loss": 0.6619334911749458, + "rf_loss": 0.0, + "total_loss": 0.6619334911749458, + "lyap1_mean": -0.164550319314003, + "lyap1_max": -0.11046522855758667, + "frac_above_star": 0.0 + }, + { + "step": 59, + "sup_loss": 0.4150616594111256, + "rf_loss": 0.0, + "total_loss": 0.4150616594111256, + "lyap1_mean": -0.22426193952560425, + "lyap1_max": -0.1789734661579132, + "frac_above_star": 0.0 + }, + { + "step": 60, + "sup_loss": 0.6366023342544679, + "rf_loss": 0.0, + "total_loss": 0.6366023342544679, + "lyap1_mean": -0.1950746476650238, + "lyap1_max": -0.1201804131269455, + "frac_above_star": 0.0 + }, + { + "step": 61, + "sup_loss": 0.5621954120897326, + "rf_loss": 0.0, + "total_loss": 0.5621954120897326, + "lyap1_mean": -0.1846153736114502, + "lyap1_max": -0.06914173066616058, + "frac_above_star": 0.0 + }, + { + "step": 62, + "sup_loss": 0.4090317561733625, + "rf_loss": 0.0, + "total_loss": 0.4090317561733625, + "lyap1_mean": -0.19688698649406433, + "lyap1_max": -0.09841044247150421, + "frac_above_star": 0.0 + }, + { + "step": 63, + "sup_loss": 0.6444829295462823, + "rf_loss": 0.0, + "total_loss": 0.6444829295462823, + "lyap1_mean": -0.15889519453048706, + "lyap1_max": -0.058723412454128265, + "frac_above_star": 0.0 + }, + { + "step": 64, + "sup_loss": 0.6032293179857517, + "rf_loss": 2.3355278244707733e-06, + "total_loss": 0.6032526732639965, + "lyap1_mean": -0.16479796171188354, + "lyap1_max": -0.04567747563123703, + "frac_above_star": 0.125 + }, + { + "step": 65, + "sup_loss": 0.8559884240257292, + "rf_loss": 0.0, + "total_loss": 0.8559884240257292, + "lyap1_mean": -0.1752115786075592, + "lyap1_max": -0.12007348239421844, + "frac_above_star": 0.0 + }, + { + "step": 66, + "sup_loss": 0.6215779601100612, + "rf_loss": 0.0, + "total_loss": 0.6215779601100612, + "lyap1_mean": -0.17921197414398193, + "lyap1_max": -0.12914569675922394, + "frac_above_star": 0.0 + }, + { + "step": 67, + "sup_loss": 0.5663748954082356, + "rf_loss": 0.0, + "total_loss": 0.5663748954082356, + "lyap1_mean": -0.18078398704528809, + "lyap1_max": -0.12422117590904236, + "frac_above_star": 0.0 + }, + { + "step": 68, + "sup_loss": 0.681322342192105, + "rf_loss": 0.0, + "total_loss": 0.681322342192105, + "lyap1_mean": -0.19753026962280273, + "lyap1_max": -0.14116621017456055, + "frac_above_star": 0.0 + }, + { + "step": 69, + "sup_loss": 0.724612880165071, + "rf_loss": 0.0, + "total_loss": 0.724612880165071, + "lyap1_mean": -0.17135238647460938, + "lyap1_max": -0.11894424259662628, + "frac_above_star": 0.0 + }, + { + "step": 70, + "sup_loss": 0.6548271197096364, + "rf_loss": 0.0, + "total_loss": 0.6548271197096364, + "lyap1_mean": -0.2083948403596878, + "lyap1_max": -0.12929992377758026, + "frac_above_star": 0.0 + }, + { + "step": 71, + "sup_loss": 0.7001088288185602, + "rf_loss": 0.0, + "total_loss": 0.7001088288185602, + "lyap1_mean": -0.1846844106912613, + "lyap1_max": -0.16559511423110962, + "frac_above_star": 0.0 + }, + { + "step": 72, + "sup_loss": 0.6152699486939265, + "rf_loss": 0.0, + "total_loss": 0.6152699486939265, + "lyap1_mean": -0.19737334549427032, + "lyap1_max": -0.050438061356544495, + "frac_above_star": 0.0 + }, + { + "step": 73, + "sup_loss": 0.5330825014170364, + "rf_loss": 0.0, + "total_loss": 0.5330825014170364, + "lyap1_mean": -0.2135828584432602, + "lyap1_max": -0.15321503579616547, + "frac_above_star": 0.0 + }, + { + "step": 74, + "sup_loss": 0.7178433843512522, + "rf_loss": 0.0, + "total_loss": 0.7178433843512522, + "lyap1_mean": -0.20191745460033417, + "lyap1_max": -0.09855665266513824, + "frac_above_star": 0.0 + }, + { + "step": 75, + "sup_loss": 0.5494383288488749, + "rf_loss": 0.0, + "total_loss": 0.5494383288488749, + "lyap1_mean": -0.16783832013607025, + "lyap1_max": -0.08376707881689072, + "frac_above_star": 0.0 + }, + { + "step": 76, + "sup_loss": 0.560307411121749, + "rf_loss": 0.0, + "total_loss": 0.560307411121749, + "lyap1_mean": -0.20312337577342987, + "lyap1_max": -0.13778817653656006, + "frac_above_star": 0.0 + }, + { + "step": 77, + "sup_loss": 0.5539597423634346, + "rf_loss": 0.0, + "total_loss": 0.5539597423634346, + "lyap1_mean": -0.18205776810646057, + "lyap1_max": -0.139293372631073, + "frac_above_star": 0.0 + }, + { + "step": 78, + "sup_loss": 0.8142099924852012, + "rf_loss": 0.0, + "total_loss": 0.8142099924852012, + "lyap1_mean": -0.17192959785461426, + "lyap1_max": -0.11066693067550659, + "frac_above_star": 0.0 + }, + { + "step": 79, + "sup_loss": 0.7390341665853719, + "rf_loss": 0.0, + "total_loss": 0.7390341665853719, + "lyap1_mean": -0.17934057116508484, + "lyap1_max": -0.14188216626644135, + "frac_above_star": 0.0 + }, + { + "step": 80, + "sup_loss": 0.6894345472396097, + "rf_loss": 0.0, + "total_loss": 0.6894345472396097, + "lyap1_mean": -0.19345922768115997, + "lyap1_max": -0.10066233575344086, + "frac_above_star": 0.0 + }, + { + "step": 81, + "sup_loss": 0.48982314214698575, + "rf_loss": 0.0, + "total_loss": 0.48982314214698575, + "lyap1_mean": -0.19416800141334534, + "lyap1_max": -0.09982820600271225, + "frac_above_star": 0.0 + }, + { + "step": 82, + "sup_loss": 0.5869300998628438, + "rf_loss": 8.435400786765967e-07, + "total_loss": 0.5869385352634032, + "lyap1_mean": -0.20247265696525574, + "lyap1_max": -0.04740224778652191, + "frac_above_star": 0.125 + }, + { + "step": 83, + "sup_loss": 0.6842885951991206, + "rf_loss": 0.0, + "total_loss": 0.6842885951991206, + "lyap1_mean": -0.18653219938278198, + "lyap1_max": -0.13923929631710052, + "frac_above_star": 0.0 + }, + { + "step": 84, + "sup_loss": 0.6780766391534829, + "rf_loss": 0.0, + "total_loss": 0.6780766391534829, + "lyap1_mean": -0.17154312133789062, + "lyap1_max": -0.08502425998449326, + "frac_above_star": 0.0 + }, + { + "step": 85, + "sup_loss": 0.7446607674675148, + "rf_loss": 0.0, + "total_loss": 0.7446607674675148, + "lyap1_mean": -0.1939150094985962, + "lyap1_max": -0.12365493178367615, + "frac_above_star": 0.0 + }, + { + "step": 86, + "sup_loss": 0.7088483602063388, + "rf_loss": 0.0, + "total_loss": 0.7088483602063388, + "lyap1_mean": -0.21206793189048767, + "lyap1_max": -0.1382783204317093, + "frac_above_star": 0.0 + }, + { + "step": 87, + "sup_loss": 0.6548089941804851, + "rf_loss": 0.0, + "total_loss": 0.6548089941804851, + "lyap1_mean": -0.1882571578025818, + "lyap1_max": -0.15231479704380035, + "frac_above_star": 0.0 + }, + { + "step": 88, + "sup_loss": 0.8375563116736965, + "rf_loss": 0.0, + "total_loss": 0.8375563116736965, + "lyap1_mean": -0.1890907734632492, + "lyap1_max": -0.061795737594366074, + "frac_above_star": 0.0 + }, + { + "step": 89, + "sup_loss": 0.7943912132026928, + "rf_loss": 0.0, + "total_loss": 0.7943912132026928, + "lyap1_mean": -0.17644642293453217, + "lyap1_max": -0.1137496829032898, + "frac_above_star": 0.0 + }, + { + "step": 90, + "sup_loss": 0.4358871156373397, + "rf_loss": 0.0, + "total_loss": 0.4358871156373397, + "lyap1_mean": -0.19933903217315674, + "lyap1_max": -0.12500867247581482, + "frac_above_star": 0.0 + }, + { + "step": 91, + "sup_loss": 0.6397124120544256, + "rf_loss": 0.0, + "total_loss": 0.6397124120544256, + "lyap1_mean": -0.1956581175327301, + "lyap1_max": -0.1527823805809021, + "frac_above_star": 0.0 + }, + { + "step": 92, + "sup_loss": 0.6943673993377347, + "rf_loss": 0.0, + "total_loss": 0.6943673993377347, + "lyap1_mean": -0.19748640060424805, + "lyap1_max": -0.12701278924942017, + "frac_above_star": 0.0 + }, + { + "step": 93, + "sup_loss": 0.5266307041969792, + "rf_loss": 0.0, + "total_loss": 0.5266307041969792, + "lyap1_mean": -0.2056117206811905, + "lyap1_max": -0.13870689272880554, + "frac_above_star": 0.0 + }, + { + "step": 94, + "sup_loss": 0.6972693876216245, + "rf_loss": 0.0, + "total_loss": 0.6972693876216245, + "lyap1_mean": -0.1784152388572693, + "lyap1_max": -0.11077430844306946, + "frac_above_star": 0.0 + }, + { + "step": 95, + "sup_loss": 0.6702732523663966, + "rf_loss": 0.0, + "total_loss": 0.6702732523663966, + "lyap1_mean": -0.19987890124320984, + "lyap1_max": -0.1555045247077942, + "frac_above_star": 0.0 + }, + { + "step": 96, + "sup_loss": 0.7178331592585567, + "rf_loss": 0.0, + "total_loss": 0.7178331592585567, + "lyap1_mean": -0.19023260474205017, + "lyap1_max": -0.11993156373500824, + "frac_above_star": 0.0 + }, + { + "step": 97, + "sup_loss": 0.4032309093915764, + "rf_loss": 0.0, + "total_loss": 0.4032309093915764, + "lyap1_mean": -0.1976034939289093, + "lyap1_max": -0.14226825535297394, + "frac_above_star": 0.0 + }, + { + "step": 98, + "sup_loss": 0.9127691885507438, + "rf_loss": 0.0, + "total_loss": 0.9127691885507438, + "lyap1_mean": -0.20238561928272247, + "lyap1_max": -0.14032000303268433, + "frac_above_star": 0.0 + }, + { + "step": 99, + "sup_loss": 0.6567831590498325, + "rf_loss": 0.0, + "total_loss": 0.6567831590498325, + "lyap1_mean": -0.20472730696201324, + "lyap1_max": -0.1166522428393364, + "frac_above_star": 0.0 + }, + { + "step": 100, + "sup_loss": 0.5994851694257204, + "rf_loss": 0.0, + "total_loss": 0.5994851694257204, + "lyap1_mean": -0.20277434587478638, + "lyap1_max": -0.13231883943080902, + "frac_above_star": 0.0 + }, + { + "step": 101, + "sup_loss": 0.5436927602746822, + "rf_loss": 0.00010434372234158218, + "total_loss": 0.5447361975563056, + "lyap1_mean": -0.1669021099805832, + "lyap1_max": -0.02110796421766281, + "frac_above_star": 0.125 + }, + { + "step": 102, + "sup_loss": 0.6854589286347211, + "rf_loss": 0.0, + "total_loss": 0.6854589286347211, + "lyap1_mean": -0.19036145508289337, + "lyap1_max": -0.1197056919336319, + "frac_above_star": 0.0 + }, + { + "step": 103, + "sup_loss": 0.6398141625252861, + "rf_loss": 0.0, + "total_loss": 0.6398141625252861, + "lyap1_mean": -0.19734860956668854, + "lyap1_max": -0.14658886194229126, + "frac_above_star": 0.0 + }, + { + "step": 104, + "sup_loss": 0.7240415879906443, + "rf_loss": 0.0, + "total_loss": 0.7240415879906443, + "lyap1_mean": -0.1635725200176239, + "lyap1_max": -0.08775108307600021, + "frac_above_star": 0.0 + }, + { + "step": 105, + "sup_loss": 0.7421535566166461, + "rf_loss": 0.0, + "total_loss": 0.7421535566166461, + "lyap1_mean": -0.18113252520561218, + "lyap1_max": -0.11357490718364716, + "frac_above_star": 0.0 + }, + { + "step": 106, + "sup_loss": 0.6658438252352756, + "rf_loss": 0.0, + "total_loss": 0.6658438252352756, + "lyap1_mean": -0.1905079334974289, + "lyap1_max": -0.10756576061248779, + "frac_above_star": 0.0 + }, + { + "step": 107, + "sup_loss": 0.6255287965005226, + "rf_loss": 0.0, + "total_loss": 0.6255287965005226, + "lyap1_mean": -0.18496447801589966, + "lyap1_max": -0.11795295774936676, + "frac_above_star": 0.0 + }, + { + "step": 108, + "sup_loss": 0.6415584925304553, + "rf_loss": 2.2425259885494597e-05, + "total_loss": 0.6417827451256722, + "lyap1_mean": -0.1817285269498825, + "lyap1_max": -0.036605894565582275, + "frac_above_star": 0.125 + }, + { + "step": 109, + "sup_loss": 0.7917047679250432, + "rf_loss": 0.0, + "total_loss": 0.7917047679250432, + "lyap1_mean": -0.17028799653053284, + "lyap1_max": -0.11498349159955978, + "frac_above_star": 0.0 + }, + { + "step": 110, + "sup_loss": 0.5832977131575414, + "rf_loss": 0.0, + "total_loss": 0.5832977131575414, + "lyap1_mean": -0.19843491911888123, + "lyap1_max": -0.1628326177597046, + "frac_above_star": 0.0 + }, + { + "step": 111, + "sup_loss": 0.7156677699012743, + "rf_loss": 2.832912105077412e-05, + "total_loss": 0.7159510611154201, + "lyap1_mean": -0.18722228705883026, + "lyap1_max": -0.034945666790008545, + "frac_above_star": 0.125 + }, + { + "step": 112, + "sup_loss": 0.6814256596508148, + "rf_loss": 0.0, + "total_loss": 0.6814256596508148, + "lyap1_mean": -0.16948023438453674, + "lyap1_max": -0.10405611246824265, + "frac_above_star": 0.0 + }, + { + "step": 113, + "sup_loss": 0.6723503993307438, + "rf_loss": 0.0, + "total_loss": 0.6723503993307438, + "lyap1_mean": -0.17860108613967896, + "lyap1_max": -0.08338036388158798, + "frac_above_star": 0.0 + }, + { + "step": 114, + "sup_loss": 0.5544590957495593, + "rf_loss": 0.0, + "total_loss": 0.5544590957495593, + "lyap1_mean": -0.21950607001781464, + "lyap1_max": -0.12801465392112732, + "frac_above_star": 0.0 + }, + { + "step": 115, + "sup_loss": 0.5981281308295814, + "rf_loss": 0.0, + "total_loss": 0.5981281308295814, + "lyap1_mean": -0.17478057742118835, + "lyap1_max": -0.09439365565776825, + "frac_above_star": 0.0 + }, + { + "step": 116, + "sup_loss": 0.6474670975699613, + "rf_loss": 0.0, + "total_loss": 0.6474670975699613, + "lyap1_mean": -0.18672454357147217, + "lyap1_max": -0.12268798053264618, + "frac_above_star": 0.0 + }, + { + "step": 117, + "sup_loss": 0.8041441807898295, + "rf_loss": 0.0, + "total_loss": 0.8041441807898295, + "lyap1_mean": -0.17857396602630615, + "lyap1_max": -0.13994570076465607, + "frac_above_star": 0.0 + }, + { + "step": 118, + "sup_loss": 0.4998158286401133, + "rf_loss": 0.0, + "total_loss": 0.4998158286401133, + "lyap1_mean": -0.1981722116470337, + "lyap1_max": -0.10624043643474579, + "frac_above_star": 0.0 + }, + { + "step": 119, + "sup_loss": 0.58764011100537, + "rf_loss": 0.0, + "total_loss": 0.58764011100537, + "lyap1_mean": -0.19531869888305664, + "lyap1_max": -0.1328994482755661, + "frac_above_star": 0.0 + }, + { + "step": 120, + "sup_loss": 0.5877959165633464, + "rf_loss": 0.0, + "total_loss": 0.5877959165633464, + "lyap1_mean": -0.2022669017314911, + "lyap1_max": -0.15155364573001862, + "frac_above_star": 0.0 + }, + { + "step": 121, + "sup_loss": 0.7102715727481126, + "rf_loss": 4.036358859593747e-06, + "total_loss": 0.710311936337618, + "lyap1_mean": -0.17315416038036346, + "lyap1_max": -0.044317495077848434, + "frac_above_star": 0.125 + }, + { + "step": 122, + "sup_loss": 0.7486520809548546, + "rf_loss": 0.0, + "total_loss": 0.7486520809548546, + "lyap1_mean": -0.19023016095161438, + "lyap1_max": -0.1492830067873001, + "frac_above_star": 0.0 + }, + { + "step": 123, + "sup_loss": 0.7256768742762878, + "rf_loss": 0.0, + "total_loss": 0.7256768742762878, + "lyap1_mean": -0.2051115185022354, + "lyap1_max": -0.13396583497524261, + "frac_above_star": 0.0 + }, + { + "step": 124, + "sup_loss": 0.8365473740745412, + "rf_loss": 0.0, + "total_loss": 0.8365473740745412, + "lyap1_mean": -0.2048102766275406, + "lyap1_max": -0.15678644180297852, + "frac_above_star": 0.0 + }, + { + "step": 125, + "sup_loss": 0.5929228659299373, + "rf_loss": 6.58467479297542e-06, + "total_loss": 0.5929887126769575, + "lyap1_mean": -0.2139703631401062, + "lyap1_max": -0.042742080986499786, + "frac_above_star": 0.125 + }, + { + "step": 126, + "sup_loss": 0.532579717617711, + "rf_loss": 0.0, + "total_loss": 0.532579717617711, + "lyap1_mean": -0.2120150476694107, + "lyap1_max": -0.1323821246623993, + "frac_above_star": 0.0 + }, + { + "step": 127, + "sup_loss": 0.5116838507358473, + "rf_loss": 0.0, + "total_loss": 0.5116838507358473, + "lyap1_mean": -0.21394801139831543, + "lyap1_max": -0.12784112989902496, + "frac_above_star": 0.0 + }, + { + "step": 128, + "sup_loss": 0.4772271903006805, + "rf_loss": 0.0, + "total_loss": 0.4772271903006805, + "lyap1_mean": -0.1926710456609726, + "lyap1_max": -0.08498414605855942, + "frac_above_star": 0.0 + }, + { + "step": 129, + "sup_loss": 0.4008461127505293, + "rf_loss": 0.0, + "total_loss": 0.4008461127505293, + "lyap1_mean": -0.20454956591129303, + "lyap1_max": -0.13309788703918457, + "frac_above_star": 0.0 + }, + { + "step": 130, + "sup_loss": 0.7495469966120952, + "rf_loss": 5.145889645064017e-06, + "total_loss": 0.7495984555094554, + "lyap1_mean": -0.18169043958187103, + "lyap1_max": -0.043583840131759644, + "frac_above_star": 0.125 + }, + { + "step": 131, + "sup_loss": 0.4312446202546212, + "rf_loss": 0.0, + "total_loss": 0.4312446202546212, + "lyap1_mean": -0.21696242690086365, + "lyap1_max": -0.15814265608787537, + "frac_above_star": 0.0 + }, + { + "step": 132, + "sup_loss": 0.5582560007559362, + "rf_loss": 0.0, + "total_loss": 0.5582560007559362, + "lyap1_mean": -0.20400217175483704, + "lyap1_max": -0.13376562297344208, + "frac_above_star": 0.0 + }, + { + "step": 133, + "sup_loss": 0.7041088457924948, + "rf_loss": 0.0, + "total_loss": 0.7041088457924948, + "lyap1_mean": -0.20680229365825653, + "lyap1_max": -0.1754983514547348, + "frac_above_star": 0.0 + }, + { + "step": 134, + "sup_loss": 0.563875814983224, + "rf_loss": 0.0, + "total_loss": 0.563875814983224, + "lyap1_mean": -0.22375597059726715, + "lyap1_max": -0.1756380796432495, + "frac_above_star": 0.0 + }, + { + "step": 135, + "sup_loss": 0.5877927375513854, + "rf_loss": 0.0, + "total_loss": 0.5877927375513854, + "lyap1_mean": -0.18356719613075256, + "lyap1_max": -0.13984067738056183, + "frac_above_star": 0.0 + }, + { + "step": 136, + "sup_loss": 0.6967049828519027, + "rf_loss": 0.0, + "total_loss": 0.6967049828519027, + "lyap1_mean": -0.20563051104545593, + "lyap1_max": -0.13849720358848572, + "frac_above_star": 0.0 + }, + { + "step": 137, + "sup_loss": 0.7493791300779891, + "rf_loss": 0.0, + "total_loss": 0.7493791300779891, + "lyap1_mean": -0.18854603171348572, + "lyap1_max": -0.1198568046092987, + "frac_above_star": 0.0 + }, + { + "step": 138, + "sup_loss": 0.5831394019311282, + "rf_loss": 0.0, + "total_loss": 0.5831394019311282, + "lyap1_mean": -0.2047521024942398, + "lyap1_max": -0.09193161129951477, + "frac_above_star": 0.0 + }, + { + "step": 139, + "sup_loss": 0.7034274396937668, + "rf_loss": 0.0, + "total_loss": 0.7034274396937668, + "lyap1_mean": -0.2071250081062317, + "lyap1_max": -0.1298181712627411, + "frac_above_star": 0.0 + }, + { + "step": 140, + "sup_loss": 0.8352350575091843, + "rf_loss": 0.0, + "total_loss": 0.8352350575091843, + "lyap1_mean": -0.20648932456970215, + "lyap1_max": -0.12333369255065918, + "frac_above_star": 0.0 + }, + { + "step": 141, + "sup_loss": 0.8202135030534674, + "rf_loss": 0.0, + "total_loss": 0.8202135030534674, + "lyap1_mean": -0.19115962088108063, + "lyap1_max": -0.12690258026123047, + "frac_above_star": 0.0 + }, + { + "step": 142, + "sup_loss": 0.4437849793664359, + "rf_loss": 0.0, + "total_loss": 0.4437849793664359, + "lyap1_mean": -0.21630491316318512, + "lyap1_max": -0.07135376334190369, + "frac_above_star": 0.0 + }, + { + "step": 143, + "sup_loss": 0.5956905084282531, + "rf_loss": 0.0, + "total_loss": 0.5956905084282531, + "lyap1_mean": -0.23176078498363495, + "lyap1_max": -0.1232210025191307, + "frac_above_star": 0.0 + }, + { + "step": 144, + "sup_loss": 0.8676920416610701, + "rf_loss": 0.0, + "total_loss": 0.8676920416610701, + "lyap1_mean": -0.16267666220664978, + "lyap1_max": -0.12483109533786774, + "frac_above_star": 0.0 + }, + { + "step": 145, + "sup_loss": 0.8153725133475355, + "rf_loss": 0.0, + "total_loss": 0.8153725133475355, + "lyap1_mean": -0.17761245369911194, + "lyap1_max": -0.11855889856815338, + "frac_above_star": 0.0 + }, + { + "step": 146, + "sup_loss": 0.5622308373239437, + "rf_loss": 0.0, + "total_loss": 0.5622308373239437, + "lyap1_mean": -0.2352740466594696, + "lyap1_max": -0.15084615349769592, + "frac_above_star": 0.0 + }, + { + "step": 147, + "sup_loss": 0.6061167118306385, + "rf_loss": 0.0, + "total_loss": 0.6061167118306385, + "lyap1_mean": -0.18306130170822144, + "lyap1_max": -0.14161424338817596, + "frac_above_star": 0.0 + }, + { + "step": 148, + "sup_loss": 0.646654928721227, + "rf_loss": 0.0, + "total_loss": 0.646654928721227, + "lyap1_mean": -0.2142477035522461, + "lyap1_max": -0.1069549024105072, + "frac_above_star": 0.0 + }, + { + "step": 149, + "sup_loss": 0.4528785677865034, + "rf_loss": 0.0, + "total_loss": 0.4528785677865034, + "lyap1_mean": -0.23243194818496704, + "lyap1_max": -0.18399018049240112, + "frac_above_star": 0.0 + }, + { + "step": 150, + "sup_loss": 0.6228646929758556, + "rf_loss": 0.0, + "total_loss": 0.6228646929758556, + "lyap1_mean": -0.2326427400112152, + "lyap1_max": -0.13410033285617828, + "frac_above_star": 0.0 + }, + { + "step": 151, + "sup_loss": 0.5784476138471064, + "rf_loss": 0.0, + "total_loss": 0.5784476138471064, + "lyap1_mean": -0.19768209755420685, + "lyap1_max": -0.08153486996889114, + "frac_above_star": 0.0 + }, + { + "step": 152, + "sup_loss": 0.6835010917593224, + "rf_loss": 0.0, + "total_loss": 0.6835010917593224, + "lyap1_mean": -0.20450472831726074, + "lyap1_max": -0.1402837634086609, + "frac_above_star": 0.0 + }, + { + "step": 153, + "sup_loss": 0.6460169724066586, + "rf_loss": 0.0, + "total_loss": 0.6460169724066586, + "lyap1_mean": -0.1713595688343048, + "lyap1_max": -0.08505097031593323, + "frac_above_star": 0.0 + }, + { + "step": 154, + "sup_loss": 0.6073178057823506, + "rf_loss": 4.770677332999185e-05, + "total_loss": 0.6077948735010986, + "lyap1_mean": -0.17077234387397766, + "lyap1_max": -0.03046402893960476, + "frac_above_star": 0.125 + }, + { + "step": 155, + "sup_loss": 0.5707823729647311, + "rf_loss": 0.0, + "total_loss": 0.5707823729647311, + "lyap1_mean": -0.20443472266197205, + "lyap1_max": -0.12300200760364532, + "frac_above_star": 0.0 + }, + { + "step": 156, + "sup_loss": 0.7517248274665449, + "rf_loss": 0.0, + "total_loss": 0.7517248274665449, + "lyap1_mean": -0.21624569594860077, + "lyap1_max": -0.15273524820804596, + "frac_above_star": 0.0 + }, + { + "step": 157, + "sup_loss": 0.7550228256164159, + "rf_loss": 0.0, + "total_loss": 0.7550228256164159, + "lyap1_mean": -0.20119717717170715, + "lyap1_max": -0.13842016458511353, + "frac_above_star": 0.0 + }, + { + "step": 158, + "sup_loss": 0.8257631081075811, + "rf_loss": 0.0, + "total_loss": 0.8257631081075811, + "lyap1_mean": -0.18291744589805603, + "lyap1_max": -0.11714653670787811, + "frac_above_star": 0.0 + }, + { + "step": 159, + "sup_loss": 0.6355959916056814, + "rf_loss": 0.0, + "total_loss": 0.6355959916056814, + "lyap1_mean": -0.2216596007347107, + "lyap1_max": -0.12651950120925903, + "frac_above_star": 0.0 + }, + { + "step": 160, + "sup_loss": 0.8345994522684059, + "rf_loss": 0.0, + "total_loss": 0.8345994522684059, + "lyap1_mean": -0.170243501663208, + "lyap1_max": -0.08337725698947906, + "frac_above_star": 0.0 + }, + { + "step": 161, + "sup_loss": 0.400479856276031, + "rf_loss": 0.0, + "total_loss": 0.400479856276031, + "lyap1_mean": -0.23095226287841797, + "lyap1_max": -0.15229277312755585, + "frac_above_star": 0.0 + }, + { + "step": 162, + "sup_loss": 0.4768457229339521, + "rf_loss": 0.0, + "total_loss": 0.4768457229339521, + "lyap1_mean": -0.23988571763038635, + "lyap1_max": -0.13837072253227234, + "frac_above_star": 0.0 + }, + { + "step": 163, + "sup_loss": 0.6855541955945201, + "rf_loss": 0.0, + "total_loss": 0.6855541955945201, + "lyap1_mean": -0.20827777683734894, + "lyap1_max": -0.1385776251554489, + "frac_above_star": 0.0 + }, + { + "step": 164, + "sup_loss": 0.5615322774888153, + "rf_loss": 3.528164961608127e-05, + "total_loss": 0.5618850939704242, + "lyap1_mean": -0.17946332693099976, + "lyap1_max": -0.03319960832595825, + "frac_above_star": 0.125 + }, + { + "step": 165, + "sup_loss": 0.46664185241567757, + "rf_loss": 0.0, + "total_loss": 0.46664185241567757, + "lyap1_mean": -0.22228142619132996, + "lyap1_max": -0.14169782400131226, + "frac_above_star": 0.0 + }, + { + "step": 166, + "sup_loss": 0.7100832104551925, + "rf_loss": 6.677029159618542e-05, + "total_loss": 0.7107509133857063, + "lyap1_mean": -0.18150594830513, + "lyap1_max": -0.0268880482763052, + "frac_above_star": 0.125 + }, + { + "step": 167, + "sup_loss": 0.8433739255526028, + "rf_loss": 0.0, + "total_loss": 0.8433739255526028, + "lyap1_mean": -0.1936882734298706, + "lyap1_max": -0.10591065138578415, + "frac_above_star": 0.0 + }, + { + "step": 168, + "sup_loss": 0.7218067810208214, + "rf_loss": 0.0, + "total_loss": 0.7218067810208214, + "lyap1_mean": -0.20266053080558777, + "lyap1_max": -0.14435790479183197, + "frac_above_star": 0.0 + }, + { + "step": 169, + "sup_loss": 0.5928926416845838, + "rf_loss": 0.0, + "total_loss": 0.5928926416845838, + "lyap1_mean": -0.20775346457958221, + "lyap1_max": -0.13561299443244934, + "frac_above_star": 0.0 + }, + { + "step": 170, + "sup_loss": 0.4930069609340155, + "rf_loss": 0.0, + "total_loss": 0.4930069609340155, + "lyap1_mean": -0.24277272820472717, + "lyap1_max": -0.15739299356937408, + "frac_above_star": 0.0 + }, + { + "step": 171, + "sup_loss": 0.6495077558904317, + "rf_loss": 0.0, + "total_loss": 0.6495077558904317, + "lyap1_mean": -0.18608960509300232, + "lyap1_max": -0.13392075896263123, + "frac_above_star": 0.0 + }, + { + "step": 172, + "sup_loss": 0.5778910870978861, + "rf_loss": 0.0, + "total_loss": 0.5778910870978861, + "lyap1_mean": -0.1896805763244629, + "lyap1_max": -0.12239302694797516, + "frac_above_star": 0.0 + }, + { + "step": 173, + "sup_loss": 0.5670474070025211, + "rf_loss": 0.0, + "total_loss": 0.5670474070025211, + "lyap1_mean": -0.20000123977661133, + "lyap1_max": -0.13916289806365967, + "frac_above_star": 0.0 + }, + { + "step": 174, + "sup_loss": 0.8113227436469832, + "rf_loss": 0.0, + "total_loss": 0.8113227436469832, + "lyap1_mean": -0.20318841934204102, + "lyap1_max": -0.0724237710237503, + "frac_above_star": 0.0 + }, + { + "step": 175, + "sup_loss": 0.5686242042782321, + "rf_loss": 0.0, + "total_loss": 0.5686242042782321, + "lyap1_mean": -0.20981794595718384, + "lyap1_max": -0.12486933171749115, + "frac_above_star": 0.0 + }, + { + "step": 176, + "sup_loss": 0.6433767881453153, + "rf_loss": 0.0, + "total_loss": 0.6433767881453153, + "lyap1_mean": -0.18674199283123016, + "lyap1_max": -0.121048703789711, + "frac_above_star": 0.0 + }, + { + "step": 177, + "sup_loss": 0.632422996664613, + "rf_loss": 0.0, + "total_loss": 0.632422996664613, + "lyap1_mean": -0.17558817565441132, + "lyap1_max": -0.1252283751964569, + "frac_above_star": 0.0 + }, + { + "step": 178, + "sup_loss": 0.5675086403532894, + "rf_loss": 0.0, + "total_loss": 0.5675086403532894, + "lyap1_mean": -0.2108987271785736, + "lyap1_max": -0.15896984934806824, + "frac_above_star": 0.0 + }, + { + "step": 179, + "sup_loss": 0.6308019669801944, + "rf_loss": 0.0, + "total_loss": 0.6308019669801944, + "lyap1_mean": -0.1990661919116974, + "lyap1_max": -0.16533495485782623, + "frac_above_star": 0.0 + }, + { + "step": 180, + "sup_loss": 0.61015281138549, + "rf_loss": 0.0004897950566373765, + "total_loss": 0.6150507620682791, + "lyap1_mean": -0.16111186146736145, + "lyap1_max": 0.0022938873153179884, + "frac_above_star": 0.25 + }, + { + "step": 181, + "sup_loss": 0.5258386702329458, + "rf_loss": 0.0, + "total_loss": 0.5258386702329458, + "lyap1_mean": -0.21739423274993896, + "lyap1_max": -0.15318156778812408, + "frac_above_star": 0.0 + }, + { + "step": 182, + "sup_loss": 0.6280928429612475, + "rf_loss": 0.0, + "total_loss": 0.6280928429612475, + "lyap1_mean": -0.19950926303863525, + "lyap1_max": -0.14998115599155426, + "frac_above_star": 0.0 + }, + { + "step": 183, + "sup_loss": 0.6073739712056119, + "rf_loss": 0.0, + "total_loss": 0.6073739712056119, + "lyap1_mean": -0.1919657588005066, + "lyap1_max": -0.060053758323192596, + "frac_above_star": 0.0 + }, + { + "step": 184, + "sup_loss": 0.449097527668729, + "rf_loss": 0.0, + "total_loss": 0.449097527668729, + "lyap1_mean": -0.21088320016860962, + "lyap1_max": -0.14188550412654877, + "frac_above_star": 0.0 + }, + { + "step": 185, + "sup_loss": 0.41847866772665626, + "rf_loss": 0.0, + "total_loss": 0.41847866772665626, + "lyap1_mean": -0.2498043030500412, + "lyap1_max": -0.15051552653312683, + "frac_above_star": 0.0 + }, + { + "step": 186, + "sup_loss": 0.5470732300834652, + "rf_loss": 0.0, + "total_loss": 0.5470732300834652, + "lyap1_mean": -0.21463564038276672, + "lyap1_max": -0.13305023312568665, + "frac_above_star": 0.0 + }, + { + "step": 187, + "sup_loss": 0.5928415066305116, + "rf_loss": 0.0, + "total_loss": 0.5928415066305116, + "lyap1_mean": -0.21944648027420044, + "lyap1_max": -0.15302401781082153, + "frac_above_star": 0.0 + }, + { + "step": 188, + "sup_loss": 0.7115969208547334, + "rf_loss": 0.0, + "total_loss": 0.7115969208547334, + "lyap1_mean": -0.19479309022426605, + "lyap1_max": -0.10219204425811768, + "frac_above_star": 0.0 + }, + { + "step": 189, + "sup_loss": 0.8666635708379027, + "rf_loss": 0.0, + "total_loss": 0.8666635708379027, + "lyap1_mean": -0.20331376791000366, + "lyap1_max": -0.1257995069026947, + "frac_above_star": 0.0 + }, + { + "step": 190, + "sup_loss": 0.5491049317698938, + "rf_loss": 0.0, + "total_loss": 0.5491049317698938, + "lyap1_mean": -0.18936565518379211, + "lyap1_max": -0.12966521084308624, + "frac_above_star": 0.0 + }, + { + "step": 191, + "sup_loss": 0.7180045364776377, + "rf_loss": 0.0, + "total_loss": 0.7180045364776377, + "lyap1_mean": -0.19625556468963623, + "lyap1_max": -0.13425108790397644, + "frac_above_star": 0.0 + }, + { + "step": 192, + "sup_loss": 0.6155840207892554, + "rf_loss": 0.0, + "total_loss": 0.6155840207892554, + "lyap1_mean": -0.21135061979293823, + "lyap1_max": -0.16226764023303986, + "frac_above_star": 0.0 + }, + { + "step": 193, + "sup_loss": 0.4395152414453938, + "rf_loss": 0.0, + "total_loss": 0.4395152414453938, + "lyap1_mean": -0.2165890336036682, + "lyap1_max": -0.08697529882192612, + "frac_above_star": 0.0 + }, + { + "step": 194, + "sup_loss": 0.8777933349330381, + "rf_loss": 0.0, + "total_loss": 0.8777933349330381, + "lyap1_mean": -0.17694713175296783, + "lyap1_max": -0.13006161153316498, + "frac_above_star": 0.0 + }, + { + "step": 195, + "sup_loss": 0.4676728214698174, + "rf_loss": 0.0, + "total_loss": 0.4676728214698174, + "lyap1_mean": -0.20978495478630066, + "lyap1_max": -0.06491933017969131, + "frac_above_star": 0.0 + }, + { + "step": 196, + "sup_loss": 0.8157122276216145, + "rf_loss": 0.0, + "total_loss": 0.8157122276216145, + "lyap1_mean": -0.1560392677783966, + "lyap1_max": -0.11054389178752899, + "frac_above_star": 0.0 + }, + { + "step": 197, + "sup_loss": 0.6887069531016712, + "rf_loss": 0.0, + "total_loss": 0.6887069531016712, + "lyap1_mean": -0.22056058049201965, + "lyap1_max": -0.1249123364686966, + "frac_above_star": 0.0 + }, + { + "step": 198, + "sup_loss": 0.6549785822953171, + "rf_loss": 0.0, + "total_loss": 0.6549785822953171, + "lyap1_mean": -0.20498737692832947, + "lyap1_max": -0.14473292231559753, + "frac_above_star": 0.0 + }, + { + "step": 199, + "sup_loss": 0.5931491489256056, + "rf_loss": 0.0, + "total_loss": 0.5931491489256056, + "lyap1_mean": -0.16275423765182495, + "lyap1_max": -0.07426565140485764, + "frac_above_star": 0.0 + }, + { + "step": 200, + "sup_loss": 0.7647836789121369, + "rf_loss": 0.0, + "total_loss": 0.7647836789121369, + "lyap1_mean": -0.1644914448261261, + "lyap1_max": -0.08896409720182419, + "frac_above_star": 0.0 + }, + { + "step": 201, + "sup_loss": 0.6047298083745406, + "rf_loss": 0.0, + "total_loss": 0.6047298083745406, + "lyap1_mean": -0.19607070088386536, + "lyap1_max": -0.14765456318855286, + "frac_above_star": 0.0 + }, + { + "step": 202, + "sup_loss": 0.7179749491431686, + "rf_loss": 0.0, + "total_loss": 0.7179749491431686, + "lyap1_mean": -0.20036940276622772, + "lyap1_max": -0.0851418673992157, + "frac_above_star": 0.0 + }, + { + "step": 203, + "sup_loss": 0.5882547811186345, + "rf_loss": 0.0, + "total_loss": 0.5882547811186345, + "lyap1_mean": -0.19406482577323914, + "lyap1_max": -0.11948516219854355, + "frac_above_star": 0.0 + }, + { + "step": 204, + "sup_loss": 0.8687362271315668, + "rf_loss": 0.0, + "total_loss": 0.8687362271315668, + "lyap1_mean": -0.182657390832901, + "lyap1_max": -0.14728671312332153, + "frac_above_star": 0.0 + }, + { + "step": 205, + "sup_loss": 0.6869394652537703, + "rf_loss": 0.0, + "total_loss": 0.6869394652537703, + "lyap1_mean": -0.19941982626914978, + "lyap1_max": -0.14883649349212646, + "frac_above_star": 0.0 + }, + { + "step": 206, + "sup_loss": 0.6816107273448638, + "rf_loss": 0.0, + "total_loss": 0.6816107273448638, + "lyap1_mean": -0.20716366171836853, + "lyap1_max": -0.1337496042251587, + "frac_above_star": 0.0 + }, + { + "step": 207, + "sup_loss": 0.8990259838657207, + "rf_loss": 0.0, + "total_loss": 0.8990259838657207, + "lyap1_mean": -0.1720457673072815, + "lyap1_max": -0.1120566576719284, + "frac_above_star": 0.0 + }, + { + "step": 208, + "sup_loss": 0.7286642281930277, + "rf_loss": 0.0, + "total_loss": 0.7286642281930277, + "lyap1_mean": -0.2149023413658142, + "lyap1_max": -0.0969642847776413, + "frac_above_star": 0.0 + }, + { + "step": 209, + "sup_loss": 0.7181270902368173, + "rf_loss": 0.0, + "total_loss": 0.7181270902368173, + "lyap1_mean": -0.1789305955171585, + "lyap1_max": -0.1318063735961914, + "frac_above_star": 0.0 + }, + { + "step": 210, + "sup_loss": 0.6880416247341339, + "rf_loss": 0.0, + "total_loss": 0.6880416247341339, + "lyap1_mean": -0.20852741599082947, + "lyap1_max": -0.164077490568161, + "frac_above_star": 0.0 + }, + { + "step": 211, + "sup_loss": 0.46516003244966314, + "rf_loss": 0.0, + "total_loss": 0.46516003244966314, + "lyap1_mean": -0.17923963069915771, + "lyap1_max": -0.08775073289871216, + "frac_above_star": 0.0 + }, + { + "step": 212, + "sup_loss": 0.7747517594275912, + "rf_loss": 0.0, + "total_loss": 0.7747517594275912, + "lyap1_mean": -0.18764923512935638, + "lyap1_max": -0.15302231907844543, + "frac_above_star": 0.0 + }, + { + "step": 213, + "sup_loss": 0.5911512512042719, + "rf_loss": 0.0, + "total_loss": 0.5911512512042719, + "lyap1_mean": -0.1814614236354828, + "lyap1_max": -0.10764815658330917, + "frac_above_star": 0.0 + }, + { + "step": 214, + "sup_loss": 0.8255641091361329, + "rf_loss": 0.0, + "total_loss": 0.8255641091361329, + "lyap1_mean": -0.1938202977180481, + "lyap1_max": -0.14749383926391602, + "frac_above_star": 0.0 + }, + { + "step": 215, + "sup_loss": 0.5355848921372608, + "rf_loss": 0.0, + "total_loss": 0.5355848921372608, + "lyap1_mean": -0.23224031925201416, + "lyap1_max": -0.09511595964431763, + "frac_above_star": 0.0 + }, + { + "step": 216, + "sup_loss": 0.5237713325781176, + "rf_loss": 0.0, + "total_loss": 0.5237713325781176, + "lyap1_mean": -0.20616477727890015, + "lyap1_max": -0.13460896909236908, + "frac_above_star": 0.0 + }, + { + "step": 217, + "sup_loss": 0.6845327307626905, + "rf_loss": 0.0, + "total_loss": 0.6845327307626905, + "lyap1_mean": -0.213209867477417, + "lyap1_max": -0.13395428657531738, + "frac_above_star": 0.0 + }, + { + "step": 218, + "sup_loss": 0.4365561686804773, + "rf_loss": 0.0, + "total_loss": 0.4365561686804773, + "lyap1_mean": -0.2317594438791275, + "lyap1_max": -0.1456560492515564, + "frac_above_star": 0.0 + }, + { + "step": 219, + "sup_loss": 0.7489246906122351, + "rf_loss": 0.0, + "total_loss": 0.7489246906122351, + "lyap1_mean": -0.21497467160224915, + "lyap1_max": -0.16153545677661896, + "frac_above_star": 0.0 + }, + { + "step": 220, + "sup_loss": 0.6226879895609553, + "rf_loss": 0.0, + "total_loss": 0.6226879895609553, + "lyap1_mean": -0.2018626183271408, + "lyap1_max": -0.14777329564094543, + "frac_above_star": 0.0 + }, + { + "step": 221, + "sup_loss": 0.6176710127399485, + "rf_loss": 0.0, + "total_loss": 0.6176710127399485, + "lyap1_mean": -0.18920880556106567, + "lyap1_max": -0.11728831380605698, + "frac_above_star": 0.0 + }, + { + "step": 222, + "sup_loss": 0.7471889065633798, + "rf_loss": 0.0, + "total_loss": 0.7471889065633798, + "lyap1_mean": -0.1934327483177185, + "lyap1_max": -0.13927027583122253, + "frac_above_star": 0.0 + }, + { + "step": 223, + "sup_loss": 0.6652412151660972, + "rf_loss": 0.0, + "total_loss": 0.6652412151660972, + "lyap1_mean": -0.2077174186706543, + "lyap1_max": -0.15974101424217224, + "frac_above_star": 0.0 + }, + { + "step": 224, + "sup_loss": 0.5531021348349586, + "rf_loss": 0.0, + "total_loss": 0.5531021348349586, + "lyap1_mean": -0.24349234998226166, + "lyap1_max": -0.14861637353897095, + "frac_above_star": 0.0 + }, + { + "step": 225, + "sup_loss": 0.6145669473437381, + "rf_loss": 0.0, + "total_loss": 0.6145669473437381, + "lyap1_mean": -0.19002535939216614, + "lyap1_max": -0.13535729050636292, + "frac_above_star": 0.0 + }, + { + "step": 226, + "sup_loss": 0.676204157699914, + "rf_loss": 0.0, + "total_loss": 0.676204157699914, + "lyap1_mean": -0.20304293930530548, + "lyap1_max": -0.12886755168437958, + "frac_above_star": 0.0 + }, + { + "step": 227, + "sup_loss": 0.7270620498335346, + "rf_loss": 0.0, + "total_loss": 0.7270620498335346, + "lyap1_mean": -0.18738427758216858, + "lyap1_max": -0.07992863655090332, + "frac_above_star": 0.0 + }, + { + "step": 228, + "sup_loss": 0.7343344834613565, + "rf_loss": 0.0, + "total_loss": 0.7343344834613565, + "lyap1_mean": -0.19570563733577728, + "lyap1_max": -0.14891564846038818, + "frac_above_star": 0.0 + }, + { + "step": 229, + "sup_loss": 0.6209384827097724, + "rf_loss": 0.0, + "total_loss": 0.6209384827097724, + "lyap1_mean": -0.16853196918964386, + "lyap1_max": -0.0954430028796196, + "frac_above_star": 0.0 + }, + { + "step": 230, + "sup_loss": 0.4965299418140961, + "rf_loss": 0.0, + "total_loss": 0.4965299418140961, + "lyap1_mean": -0.2552441954612732, + "lyap1_max": -0.13357387483119965, + "frac_above_star": 0.0 + }, + { + "step": 231, + "sup_loss": 0.5447527831092208, + "rf_loss": 0.0, + "total_loss": 0.5447527831092208, + "lyap1_mean": -0.2510998845100403, + "lyap1_max": -0.14958667755126953, + "frac_above_star": 0.0 + }, + { + "step": 232, + "sup_loss": 0.44276770684008376, + "rf_loss": 0.0, + "total_loss": 0.44276770684008376, + "lyap1_mean": -0.2295585721731186, + "lyap1_max": -0.12558750808238983, + "frac_above_star": 0.0 + }, + { + "step": 233, + "sup_loss": 0.6638873316193467, + "rf_loss": 0.000399629061575979, + "total_loss": 0.6678836223515218, + "lyap1_mean": -0.16523225605487823, + "lyap1_max": 0.006542305462062359, + "frac_above_star": 0.125 + }, + { + "step": 234, + "sup_loss": 0.7441185268258137, + "rf_loss": 0.0, + "total_loss": 0.7441185268258137, + "lyap1_mean": -0.19292184710502625, + "lyap1_max": -0.11682596802711487, + "frac_above_star": 0.0 + }, + { + "step": 235, + "sup_loss": 0.5188958814875773, + "rf_loss": 0.0, + "total_loss": 0.5188958814875773, + "lyap1_mean": -0.24961619079113007, + "lyap1_max": -0.15866920351982117, + "frac_above_star": 0.0 + }, + { + "step": 236, + "sup_loss": 0.6913494517845652, + "rf_loss": 0.0, + "total_loss": 0.6913494517845652, + "lyap1_mean": -0.2013171911239624, + "lyap1_max": -0.15841642022132874, + "frac_above_star": 0.0 + }, + { + "step": 237, + "sup_loss": 0.749524573409244, + "rf_loss": 0.0, + "total_loss": 0.749524573409244, + "lyap1_mean": -0.198990136384964, + "lyap1_max": -0.1388969123363495, + "frac_above_star": 0.0 + }, + { + "step": 238, + "sup_loss": 0.7025699436115729, + "rf_loss": 0.0, + "total_loss": 0.7025699436115729, + "lyap1_mean": -0.18805401027202606, + "lyap1_max": -0.12639333307743073, + "frac_above_star": 0.0 + }, + { + "step": 239, + "sup_loss": 0.5359770592928145, + "rf_loss": 0.0, + "total_loss": 0.5359770592928145, + "lyap1_mean": -0.217665895819664, + "lyap1_max": -0.14082607626914978, + "frac_above_star": 0.0 + }, + { + "step": 240, + "sup_loss": 0.6430705507342079, + "rf_loss": 0.0, + "total_loss": 0.6430705507342079, + "lyap1_mean": -0.1752490997314453, + "lyap1_max": -0.1365225464105606, + "frac_above_star": 0.0 + }, + { + "step": 241, + "sup_loss": 0.8122379716289592, + "rf_loss": 0.0, + "total_loss": 0.8122379716289592, + "lyap1_mean": -0.18503081798553467, + "lyap1_max": -0.08871650695800781, + "frac_above_star": 0.0 + }, + { + "step": 242, + "sup_loss": 0.5610528171257888, + "rf_loss": 0.0, + "total_loss": 0.5610528171257888, + "lyap1_mean": -0.21184517443180084, + "lyap1_max": -0.1401902288198471, + "frac_above_star": 0.0 + }, + { + "step": 243, + "sup_loss": 0.6268265947911122, + "rf_loss": 0.0, + "total_loss": 0.6268265947911122, + "lyap1_mean": -0.25786492228507996, + "lyap1_max": -0.1484510600566864, + "frac_above_star": 0.0 + }, + { + "step": 244, + "sup_loss": 0.7774390813394559, + "rf_loss": 0.0, + "total_loss": 0.7774390813394559, + "lyap1_mean": -0.20239108800888062, + "lyap1_max": -0.13664431869983673, + "frac_above_star": 0.0 + }, + { + "step": 245, + "sup_loss": 0.6485711538754377, + "rf_loss": 0.0, + "total_loss": 0.6485711538754377, + "lyap1_mean": -0.19165365397930145, + "lyap1_max": -0.13562846183776855, + "frac_above_star": 0.0 + }, + { + "step": 246, + "sup_loss": 0.6340407906616154, + "rf_loss": 0.0, + "total_loss": 0.6340407906616154, + "lyap1_mean": -0.21165643632411957, + "lyap1_max": -0.18734601140022278, + "frac_above_star": 0.0 + }, + { + "step": 247, + "sup_loss": 0.5002010095276697, + "rf_loss": 0.0, + "total_loss": 0.5002010095276697, + "lyap1_mean": -0.22989000380039215, + "lyap1_max": -0.09553690254688263, + "frac_above_star": 0.0 + }, + { + "step": 248, + "sup_loss": 0.5886790596582384, + "rf_loss": 0.0, + "total_loss": 0.5886790596582384, + "lyap1_mean": -0.19525735080242157, + "lyap1_max": -0.1284600794315338, + "frac_above_star": 0.0 + }, + { + "step": 249, + "sup_loss": 0.4677360674858931, + "rf_loss": 0.0, + "total_loss": 0.4677360674858931, + "lyap1_mean": -0.21176673471927643, + "lyap1_max": -0.1349661946296692, + "frac_above_star": 0.0 + }, + { + "step": 250, + "sup_loss": 0.6820351581748441, + "rf_loss": 0.0, + "total_loss": 0.6820351581748441, + "lyap1_mean": -0.22553136944770813, + "lyap1_max": -0.15090954303741455, + "frac_above_star": 0.0 + }, + { + "step": 251, + "sup_loss": 0.5154981679682633, + "rf_loss": 0.0, + "total_loss": 0.5154981679682633, + "lyap1_mean": -0.20461168885231018, + "lyap1_max": -0.06962965428829193, + "frac_above_star": 0.0 + }, + { + "step": 252, + "sup_loss": 0.710339055411171, + "rf_loss": 0.0, + "total_loss": 0.710339055411171, + "lyap1_mean": -0.17916253209114075, + "lyap1_max": -0.10785667598247528, + "frac_above_star": 0.0 + }, + { + "step": 253, + "sup_loss": 0.6532457507034521, + "rf_loss": 0.0, + "total_loss": 0.6532457507034521, + "lyap1_mean": -0.21800638735294342, + "lyap1_max": -0.1495962291955948, + "frac_above_star": 0.0 + }, + { + "step": 254, + "sup_loss": 0.5785991267504845, + "rf_loss": 0.0, + "total_loss": 0.5785991267504845, + "lyap1_mean": -0.20258021354675293, + "lyap1_max": -0.09281677007675171, + "frac_above_star": 0.0 + }, + { + "step": 255, + "sup_loss": 0.735606394313626, + "rf_loss": 0.0, + "total_loss": 0.735606394313626, + "lyap1_mean": -0.22837942838668823, + "lyap1_max": -0.14530766010284424, + "frac_above_star": 0.0 + }, + { + "step": 256, + "sup_loss": 0.40556751801577395, + "rf_loss": 0.0, + "total_loss": 0.40556751801577395, + "lyap1_mean": -0.22732436656951904, + "lyap1_max": -0.14934980869293213, + "frac_above_star": 0.0 + }, + { + "step": 257, + "sup_loss": 0.5212032317219596, + "rf_loss": 0.0, + "total_loss": 0.5212032317219596, + "lyap1_mean": -0.2266208678483963, + "lyap1_max": -0.15092498064041138, + "frac_above_star": 0.0 + }, + { + "step": 258, + "sup_loss": 0.6194087198951125, + "rf_loss": 0.0, + "total_loss": 0.6194087198951125, + "lyap1_mean": -0.23279377818107605, + "lyap1_max": -0.15293967723846436, + "frac_above_star": 0.0 + }, + { + "step": 259, + "sup_loss": 0.7010078821177878, + "rf_loss": 0.0, + "total_loss": 0.7010078821177878, + "lyap1_mean": -0.22671744227409363, + "lyap1_max": -0.16852310299873352, + "frac_above_star": 0.0 + }, + { + "step": 260, + "sup_loss": 0.7873634798714566, + "rf_loss": 0.00032050005393102765, + "total_loss": 0.7905684802943516, + "lyap1_mean": -0.17944949865341187, + "lyap1_max": 0.0006359592080116272, + "frac_above_star": 0.125 + }, + { + "step": 261, + "sup_loss": 0.5677103470000727, + "rf_loss": 0.0, + "total_loss": 0.5677103470000727, + "lyap1_mean": -0.2340777963399887, + "lyap1_max": -0.12701141834259033, + "frac_above_star": 0.0 + }, + { + "step": 262, + "sup_loss": 0.5589603329638633, + "rf_loss": 0.0, + "total_loss": 0.5589603329638633, + "lyap1_mean": -0.19813737273216248, + "lyap1_max": -0.06794442236423492, + "frac_above_star": 0.0 + }, + { + "step": 263, + "sup_loss": 0.5317778684868595, + "rf_loss": 0.0, + "total_loss": 0.5317778684868595, + "lyap1_mean": -0.23329786956310272, + "lyap1_max": -0.17043384909629822, + "frac_above_star": 0.0 + }, + { + "step": 264, + "sup_loss": 0.6016443016344399, + "rf_loss": 0.0, + "total_loss": 0.6016443016344399, + "lyap1_mean": -0.21522793173789978, + "lyap1_max": -0.10651891678571701, + "frac_above_star": 0.0 + }, + { + "step": 265, + "sup_loss": 0.669381043186165, + "rf_loss": 0.0, + "total_loss": 0.669381043186165, + "lyap1_mean": -0.23044681549072266, + "lyap1_max": -0.1514340192079544, + "frac_above_star": 0.0 + }, + { + "step": 266, + "sup_loss": 0.6177230620190153, + "rf_loss": 0.0, + "total_loss": 0.6177230620190153, + "lyap1_mean": -0.24319922924041748, + "lyap1_max": -0.16463223099708557, + "frac_above_star": 0.0 + }, + { + "step": 267, + "sup_loss": 0.6490102827713804, + "rf_loss": 0.0, + "total_loss": 0.6490102827713804, + "lyap1_mean": -0.17153862118721008, + "lyap1_max": -0.10556592047214508, + "frac_above_star": 0.0 + }, + { + "step": 268, + "sup_loss": 0.7209047828811763, + "rf_loss": 0.0, + "total_loss": 0.7209047828811763, + "lyap1_mean": -0.21882590651512146, + "lyap1_max": -0.13429629802703857, + "frac_above_star": 0.0 + }, + { + "step": 269, + "sup_loss": 0.624089753613391, + "rf_loss": 0.0, + "total_loss": 0.624089753613391, + "lyap1_mean": -0.23265042901039124, + "lyap1_max": -0.18409639596939087, + "frac_above_star": 0.0 + }, + { + "step": 270, + "sup_loss": 0.6839350702657916, + "rf_loss": 0.0, + "total_loss": 0.6839350702657916, + "lyap1_mean": -0.19725045561790466, + "lyap1_max": -0.1207718700170517, + "frac_above_star": 0.0 + }, + { + "step": 271, + "sup_loss": 0.5157462367993206, + "rf_loss": 0.0, + "total_loss": 0.5157462367993206, + "lyap1_mean": -0.1985214352607727, + "lyap1_max": -0.11036394536495209, + "frac_above_star": 0.0 + }, + { + "step": 272, + "sup_loss": 0.7071610443847546, + "rf_loss": 0.0, + "total_loss": 0.7071610443847546, + "lyap1_mean": -0.17402000725269318, + "lyap1_max": -0.06326930224895477, + "frac_above_star": 0.0 + }, + { + "step": 273, + "sup_loss": 0.5309942313081077, + "rf_loss": 0.0, + "total_loss": 0.5309942313081077, + "lyap1_mean": -0.2158316969871521, + "lyap1_max": -0.08887538313865662, + "frac_above_star": 0.0 + }, + { + "step": 274, + "sup_loss": 0.7142519553446859, + "rf_loss": 6.341738298942801e-06, + "total_loss": 0.7143153727294943, + "lyap1_mean": -0.17434048652648926, + "lyap1_max": -0.04287722706794739, + "frac_above_star": 0.125 + }, + { + "step": 275, + "sup_loss": 0.7229026322373567, + "rf_loss": 0.0, + "total_loss": 0.7229026322373567, + "lyap1_mean": -0.1955108791589737, + "lyap1_max": -0.07400323450565338, + "frac_above_star": 0.0 + }, + { + "step": 276, + "sup_loss": 0.46284527550457544, + "rf_loss": 0.0, + "total_loss": 0.46284527550457544, + "lyap1_mean": -0.2101568579673767, + "lyap1_max": -0.08780448883771896, + "frac_above_star": 0.0 + }, + { + "step": 277, + "sup_loss": 0.5357066846657672, + "rf_loss": 0.0, + "total_loss": 0.5357066846657672, + "lyap1_mean": -0.1930445432662964, + "lyap1_max": -0.1298808604478836, + "frac_above_star": 0.0 + }, + { + "step": 278, + "sup_loss": 0.6379496581566793, + "rf_loss": 0.0, + "total_loss": 0.6379496581566793, + "lyap1_mean": -0.20854787528514862, + "lyap1_max": -0.14570274949073792, + "frac_above_star": 0.0 + }, + { + "step": 279, + "sup_loss": 0.7509267926053067, + "rf_loss": 0.0, + "total_loss": 0.7509267926053067, + "lyap1_mean": -0.21874669194221497, + "lyap1_max": -0.15162450075149536, + "frac_above_star": 0.0 + }, + { + "step": 280, + "sup_loss": 0.8385968944915521, + "rf_loss": 0.0, + "total_loss": 0.8385968944915521, + "lyap1_mean": -0.22255003452301025, + "lyap1_max": -0.1767907589673996, + "frac_above_star": 0.0 + }, + { + "step": 281, + "sup_loss": 0.6086281122131114, + "rf_loss": 0.0, + "total_loss": 0.6086281122131114, + "lyap1_mean": -0.20129919052124023, + "lyap1_max": -0.15607738494873047, + "frac_above_star": 0.0 + }, + { + "step": 282, + "sup_loss": 0.5286728193228203, + "rf_loss": 0.0, + "total_loss": 0.5286728193228203, + "lyap1_mean": -0.22995124757289886, + "lyap1_max": -0.1618523895740509, + "frac_above_star": 0.0 + }, + { + "step": 283, + "sup_loss": 0.6074324453196915, + "rf_loss": 0.0007418236345984042, + "total_loss": 0.6148506815492603, + "lyap1_mean": -0.18350297212600708, + "lyap1_max": 0.027036283165216446, + "frac_above_star": 0.125 + }, + { + "step": 284, + "sup_loss": 0.7753260279909635, + "rf_loss": 0.0, + "total_loss": 0.7753260279909635, + "lyap1_mean": -0.19298504292964935, + "lyap1_max": -0.11830654740333557, + "frac_above_star": 0.0 + }, + { + "step": 285, + "sup_loss": 0.6649656946704688, + "rf_loss": 0.0, + "total_loss": 0.6649656946704688, + "lyap1_mean": -0.20865383744239807, + "lyap1_max": -0.12304385751485825, + "frac_above_star": 0.0 + }, + { + "step": 286, + "sup_loss": 0.46066301918422503, + "rf_loss": 0.0, + "total_loss": 0.46066301918422503, + "lyap1_mean": -0.20852267742156982, + "lyap1_max": -0.12857352197170258, + "frac_above_star": 0.0 + }, + { + "step": 287, + "sup_loss": 0.7667831053649123, + "rf_loss": 0.0, + "total_loss": 0.7667831053649123, + "lyap1_mean": -0.18527644872665405, + "lyap1_max": -0.09752162545919418, + "frac_above_star": 0.0 + }, + { + "step": 288, + "sup_loss": 0.7025058780975046, + "rf_loss": 0.0, + "total_loss": 0.7025058780975046, + "lyap1_mean": -0.20340809226036072, + "lyap1_max": -0.12992212176322937, + "frac_above_star": 0.0 + }, + { + "step": 289, + "sup_loss": 0.6773697630220173, + "rf_loss": 0.0, + "total_loss": 0.6773697630220173, + "lyap1_mean": -0.2123134285211563, + "lyap1_max": -0.15755394101142883, + "frac_above_star": 0.0 + }, + { + "step": 290, + "sup_loss": 0.6254785050924282, + "rf_loss": 0.0, + "total_loss": 0.6254785050924282, + "lyap1_mean": -0.2014375627040863, + "lyap1_max": -0.08749916404485703, + "frac_above_star": 0.0 + }, + { + "step": 291, + "sup_loss": 0.6830871133516344, + "rf_loss": 0.0, + "total_loss": 0.6830871133516344, + "lyap1_mean": -0.17875906825065613, + "lyap1_max": -0.13185003399848938, + "frac_above_star": 0.0 + }, + { + "step": 292, + "sup_loss": 0.6511363721324225, + "rf_loss": 0.0, + "total_loss": 0.6511363721324225, + "lyap1_mean": -0.20482604205608368, + "lyap1_max": -0.14485621452331543, + "frac_above_star": 0.0 + }, + { + "step": 293, + "sup_loss": 0.4567075364780384, + "rf_loss": 0.0, + "total_loss": 0.4567075364780384, + "lyap1_mean": -0.19366693496704102, + "lyap1_max": -0.12563195824623108, + "frac_above_star": 0.0 + }, + { + "step": 294, + "sup_loss": 0.6109672467315146, + "rf_loss": 0.0, + "total_loss": 0.6109672467315146, + "lyap1_mean": -0.21247343719005585, + "lyap1_max": -0.1538855880498886, + "frac_above_star": 0.0 + }, + { + "step": 295, + "sup_loss": 0.31313102800476356, + "rf_loss": 0.0, + "total_loss": 0.31313102800476356, + "lyap1_mean": -0.23999741673469543, + "lyap1_max": -0.15004315972328186, + "frac_above_star": 0.0 + }, + { + "step": 296, + "sup_loss": 0.7654567861809497, + "rf_loss": 0.0, + "total_loss": 0.7654567861809497, + "lyap1_mean": -0.19834670424461365, + "lyap1_max": -0.12276718020439148, + "frac_above_star": 0.0 + }, + { + "step": 297, + "sup_loss": 0.4674179344473515, + "rf_loss": 0.0, + "total_loss": 0.4674179344473515, + "lyap1_mean": -0.2254909723997116, + "lyap1_max": -0.1673107147216797, + "frac_above_star": 0.0 + }, + { + "step": 298, + "sup_loss": 0.5364962892234902, + "rf_loss": 0.0, + "total_loss": 0.5364962892234902, + "lyap1_mean": -0.23171478509902954, + "lyap1_max": -0.15965606272220612, + "frac_above_star": 0.0 + }, + { + "step": 299, + "sup_loss": 0.40788380888634584, + "rf_loss": 0.0, + "total_loss": 0.40788380888634584, + "lyap1_mean": -0.2391020655632019, + "lyap1_max": -0.1688903421163559, + "frac_above_star": 0.0 + }, + { + "step": 300, + "sup_loss": 0.5915238802992534, + "rf_loss": 0.0, + "total_loss": 0.5915238802992534, + "lyap1_mean": -0.22844335436820984, + "lyap1_max": -0.160817950963974, + "frac_above_star": 0.0 + }, + { + "step": 301, + "sup_loss": 0.6540136573681983, + "rf_loss": 0.0, + "total_loss": 0.6540136573681983, + "lyap1_mean": -0.20998932421207428, + "lyap1_max": -0.15383896231651306, + "frac_above_star": 0.0 + }, + { + "step": 302, + "sup_loss": 0.6808466777318155, + "rf_loss": 0.0, + "total_loss": 0.6808466777318155, + "lyap1_mean": -0.19895756244659424, + "lyap1_max": -0.15490186214447021, + "frac_above_star": 0.0 + }, + { + "step": 303, + "sup_loss": 0.6440083416927299, + "rf_loss": 0.0, + "total_loss": 0.6440083416927299, + "lyap1_mean": -0.18580996990203857, + "lyap1_max": -0.1513211578130722, + "frac_above_star": 0.0 + }, + { + "step": 304, + "sup_loss": 0.629350808973947, + "rf_loss": 0.0, + "total_loss": 0.629350808973947, + "lyap1_mean": -0.19507020711898804, + "lyap1_max": -0.12522336840629578, + "frac_above_star": 0.0 + }, + { + "step": 305, + "sup_loss": 0.5386285429869909, + "rf_loss": 0.0, + "total_loss": 0.5386285429869909, + "lyap1_mean": -0.20694032311439514, + "lyap1_max": -0.1612226814031601, + "frac_above_star": 0.0 + }, + { + "step": 306, + "sup_loss": 0.7132075638167829, + "rf_loss": 0.0, + "total_loss": 0.7132075638167829, + "lyap1_mean": -0.18681934475898743, + "lyap1_max": -0.09840725362300873, + "frac_above_star": 0.0 + }, + { + "step": 307, + "sup_loss": 0.5529240328500811, + "rf_loss": 0.0, + "total_loss": 0.5529240328500811, + "lyap1_mean": -0.20348040759563446, + "lyap1_max": -0.15505194664001465, + "frac_above_star": 0.0 + }, + { + "step": 308, + "sup_loss": 0.4087644268590468, + "rf_loss": 0.0, + "total_loss": 0.4087644268590468, + "lyap1_mean": -0.22185181081295013, + "lyap1_max": -0.12267230451107025, + "frac_above_star": 0.0 + }, + { + "step": 309, + "sup_loss": 0.6790686395338948, + "rf_loss": 0.0, + "total_loss": 0.6790686395338948, + "lyap1_mean": -0.21406623721122742, + "lyap1_max": -0.16052374243736267, + "frac_above_star": 0.0 + }, + { + "step": 310, + "sup_loss": 0.4609579295527928, + "rf_loss": 0.0, + "total_loss": 0.4609579295527928, + "lyap1_mean": -0.2494196593761444, + "lyap1_max": -0.1498427391052246, + "frac_above_star": 0.0 + }, + { + "step": 311, + "sup_loss": 0.707625676306318, + "rf_loss": 0.0, + "total_loss": 0.707625676306318, + "lyap1_mean": -0.21246835589408875, + "lyap1_max": -0.08755619823932648, + "frac_above_star": 0.0 + }, + { + "step": 312, + "sup_loss": 0.44257311694502954, + "rf_loss": 0.0, + "total_loss": 0.44257311694502954, + "lyap1_mean": -0.22885774075984955, + "lyap1_max": -0.12664450705051422, + "frac_above_star": 0.0 + }, + { + "step": 313, + "sup_loss": 0.4470586642982615, + "rf_loss": 0.0, + "total_loss": 0.4470586642982615, + "lyap1_mean": -0.23420727252960205, + "lyap1_max": -0.16033044457435608, + "frac_above_star": 0.0 + }, + { + "step": 314, + "sup_loss": 0.8660470184182062, + "rf_loss": 0.0, + "total_loss": 0.8660470184182062, + "lyap1_mean": -0.20514647662639618, + "lyap1_max": -0.16238521039485931, + "frac_above_star": 0.0 + }, + { + "step": 315, + "sup_loss": 0.6602418428331925, + "rf_loss": 0.0, + "total_loss": 0.6602418428331925, + "lyap1_mean": -0.21938326954841614, + "lyap1_max": -0.15006369352340698, + "frac_above_star": 0.0 + }, + { + "step": 316, + "sup_loss": 0.5694420669476936, + "rf_loss": 0.0, + "total_loss": 0.5694420669476936, + "lyap1_mean": -0.21052849292755127, + "lyap1_max": -0.13944149017333984, + "frac_above_star": 0.0 + }, + { + "step": 317, + "sup_loss": 0.695989903984418, + "rf_loss": 0.0, + "total_loss": 0.695989903984418, + "lyap1_mean": -0.22205331921577454, + "lyap1_max": -0.16457606852054596, + "frac_above_star": 0.0 + }, + { + "step": 318, + "sup_loss": 0.5452148153806283, + "rf_loss": 0.0, + "total_loss": 0.5452148153806283, + "lyap1_mean": -0.24797193706035614, + "lyap1_max": -0.1893368661403656, + "frac_above_star": 0.0 + }, + { + "step": 319, + "sup_loss": 0.4857685998637117, + "rf_loss": 0.0, + "total_loss": 0.4857685998637117, + "lyap1_mean": -0.23541739583015442, + "lyap1_max": -0.1908964216709137, + "frac_above_star": 0.0 + }, + { + "step": 320, + "sup_loss": 0.592646129502498, + "rf_loss": 0.0, + "total_loss": 0.592646129502498, + "lyap1_mean": -0.2227933257818222, + "lyap1_max": -0.17848709225654602, + "frac_above_star": 0.0 + }, + { + "step": 321, + "sup_loss": 0.4855272561632321, + "rf_loss": 0.0, + "total_loss": 0.4855272561632321, + "lyap1_mean": -0.2196572721004486, + "lyap1_max": -0.06551793962717056, + "frac_above_star": 0.0 + }, + { + "step": 322, + "sup_loss": 0.5740623353734476, + "rf_loss": 0.0, + "total_loss": 0.5740623353734476, + "lyap1_mean": -0.1998814195394516, + "lyap1_max": -0.09437894076108932, + "frac_above_star": 0.0 + }, + { + "step": 323, + "sup_loss": 0.8885185202821775, + "rf_loss": 0.0, + "total_loss": 0.8885185202821775, + "lyap1_mean": -0.19435900449752808, + "lyap1_max": -0.13477680087089539, + "frac_above_star": 0.0 + }, + { + "step": 324, + "sup_loss": 0.5705096405135992, + "rf_loss": 0.0, + "total_loss": 0.5705096405135992, + "lyap1_mean": -0.21889877319335938, + "lyap1_max": -0.14275586605072021, + "frac_above_star": 0.0 + }, + { + "step": 325, + "sup_loss": 0.4665195324406845, + "rf_loss": 0.0, + "total_loss": 0.4665195324406845, + "lyap1_mean": -0.2211432307958603, + "lyap1_max": -0.16028320789337158, + "frac_above_star": 0.0 + }, + { + "step": 326, + "sup_loss": 0.779748169210806, + "rf_loss": 0.0, + "total_loss": 0.779748169210806, + "lyap1_mean": -0.19235774874687195, + "lyap1_max": -0.13172972202301025, + "frac_above_star": 0.0 + }, + { + "step": 327, + "sup_loss": 0.585515569129418, + "rf_loss": 0.0, + "total_loss": 0.585515569129418, + "lyap1_mean": -0.2366032898426056, + "lyap1_max": -0.17283187806606293, + "frac_above_star": 0.0 + }, + { + "step": 328, + "sup_loss": 0.511874477686214, + "rf_loss": 0.0, + "total_loss": 0.511874477686214, + "lyap1_mean": -0.22222289443016052, + "lyap1_max": -0.1432960331439972, + "frac_above_star": 0.0 + }, + { + "step": 329, + "sup_loss": 0.5461505621721452, + "rf_loss": 0.0, + "total_loss": 0.5461505621721452, + "lyap1_mean": -0.2037917673587799, + "lyap1_max": -0.11324268579483032, + "frac_above_star": 0.0 + }, + { + "step": 330, + "sup_loss": 0.6486150814675141, + "rf_loss": 0.0, + "total_loss": 0.6486150814675141, + "lyap1_mean": -0.21274591982364655, + "lyap1_max": -0.1399303376674652, + "frac_above_star": 0.0 + }, + { + "step": 331, + "sup_loss": 0.6789002858963946, + "rf_loss": 0.0, + "total_loss": 0.6789002858963946, + "lyap1_mean": -0.20342637598514557, + "lyap1_max": -0.1052863746881485, + "frac_above_star": 0.0 + }, + { + "step": 332, + "sup_loss": 0.6659264329389913, + "rf_loss": 0.0, + "total_loss": 0.6659264329389913, + "lyap1_mean": -0.18696169555187225, + "lyap1_max": -0.08391546458005905, + "frac_above_star": 0.0 + }, + { + "step": 333, + "sup_loss": 0.592778944652384, + "rf_loss": 0.0, + "total_loss": 0.592778944652384, + "lyap1_mean": -0.20941010117530823, + "lyap1_max": -0.1030006930232048, + "frac_above_star": 0.0 + }, + { + "step": 334, + "sup_loss": 0.45449988335519487, + "rf_loss": 0.0, + "total_loss": 0.45449988335519487, + "lyap1_mean": -0.25045883655548096, + "lyap1_max": -0.19002722203731537, + "frac_above_star": 0.0 + }, + { + "step": 335, + "sup_loss": 0.6237568859685305, + "rf_loss": 0.0, + "total_loss": 0.6237568859685305, + "lyap1_mean": -0.18097098171710968, + "lyap1_max": -0.10087580978870392, + "frac_above_star": 0.0 + }, + { + "step": 336, + "sup_loss": 0.44663650673321925, + "rf_loss": 0.0, + "total_loss": 0.44663650673321925, + "lyap1_mean": -0.21681317687034607, + "lyap1_max": -0.15622249245643616, + "frac_above_star": 0.0 + }, + { + "step": 337, + "sup_loss": 0.5752391415951026, + "rf_loss": 0.0, + "total_loss": 0.5752391415951026, + "lyap1_mean": -0.19021475315093994, + "lyap1_max": -0.0939602479338646, + "frac_above_star": 0.0 + }, + { + "step": 338, + "sup_loss": 0.3695605073663505, + "rf_loss": 0.0, + "total_loss": 0.3695605073663505, + "lyap1_mean": -0.2700919210910797, + "lyap1_max": -0.1922680139541626, + "frac_above_star": 0.0 + }, + { + "step": 339, + "sup_loss": 0.5854984983893918, + "rf_loss": 0.0, + "total_loss": 0.5854984983893918, + "lyap1_mean": -0.230684295296669, + "lyap1_max": -0.13717587292194366, + "frac_above_star": 0.0 + }, + { + "step": 340, + "sup_loss": 0.5879843361493751, + "rf_loss": 0.0, + "total_loss": 0.5879843361493751, + "lyap1_mean": -0.22085818648338318, + "lyap1_max": -0.1643618941307068, + "frac_above_star": 0.0 + }, + { + "step": 341, + "sup_loss": 0.6609124146372717, + "rf_loss": 0.0, + "total_loss": 0.6609124146372717, + "lyap1_mean": -0.22820556163787842, + "lyap1_max": -0.14310424029827118, + "frac_above_star": 0.0 + }, + { + "step": 342, + "sup_loss": 0.44449064775871444, + "rf_loss": 0.0, + "total_loss": 0.44449064775871444, + "lyap1_mean": -0.23251499235630035, + "lyap1_max": -0.15377113223075867, + "frac_above_star": 0.0 + }, + { + "step": 343, + "sup_loss": 0.4946391209698592, + "rf_loss": 0.0, + "total_loss": 0.4946391209698592, + "lyap1_mean": -0.23693051934242249, + "lyap1_max": -0.15311840176582336, + "frac_above_star": 0.0 + }, + { + "step": 344, + "sup_loss": 0.46234511295821396, + "rf_loss": 0.0, + "total_loss": 0.46234511295821396, + "lyap1_mean": -0.2535727620124817, + "lyap1_max": -0.14363867044448853, + "frac_above_star": 0.0 + }, + { + "step": 345, + "sup_loss": 0.5869246225486722, + "rf_loss": 0.0, + "total_loss": 0.5869246225486722, + "lyap1_mean": -0.1864006221294403, + "lyap1_max": -0.08194048702716827, + "frac_above_star": 0.0 + }, + { + "step": 346, + "sup_loss": 0.5479690874929435, + "rf_loss": 0.0, + "total_loss": 0.5479690874929435, + "lyap1_mean": -0.22075700759887695, + "lyap1_max": -0.12000446021556854, + "frac_above_star": 0.0 + }, + { + "step": 347, + "sup_loss": 0.724446098598122, + "rf_loss": 0.0, + "total_loss": 0.724446098598122, + "lyap1_mean": -0.1998179852962494, + "lyap1_max": -0.12232448160648346, + "frac_above_star": 0.0 + }, + { + "step": 348, + "sup_loss": 0.6431907279087362, + "rf_loss": 0.0, + "total_loss": 0.6431907279087362, + "lyap1_mean": -0.21460610628128052, + "lyap1_max": -0.13227346539497375, + "frac_above_star": 0.0 + }, + { + "step": 349, + "sup_loss": 0.5805938399347761, + "rf_loss": 0.0, + "total_loss": 0.5805938399347761, + "lyap1_mean": -0.22945956885814667, + "lyap1_max": -0.12836483120918274, + "frac_above_star": 0.0 + }, + { + "step": 350, + "sup_loss": 0.7767255250390784, + "rf_loss": 0.0, + "total_loss": 0.7767255250390784, + "lyap1_mean": -0.17105141282081604, + "lyap1_max": -0.07277780771255493, + "frac_above_star": 0.0 + }, + { + "step": 351, + "sup_loss": 0.6834070983895129, + "rf_loss": 0.0, + "total_loss": 0.6834070983895129, + "lyap1_mean": -0.19405382871627808, + "lyap1_max": -0.13347342610359192, + "frac_above_star": 0.0 + }, + { + "step": 352, + "sup_loss": 0.668352841631971, + "rf_loss": 0.0, + "total_loss": 0.668352841631971, + "lyap1_mean": -0.22689369320869446, + "lyap1_max": -0.14872883260250092, + "frac_above_star": 0.0 + }, + { + "step": 353, + "sup_loss": 0.7209997215575427, + "rf_loss": 0.0, + "total_loss": 0.7209997215575427, + "lyap1_mean": -0.21089453995227814, + "lyap1_max": -0.1808469593524933, + "frac_above_star": 0.0 + }, + { + "step": 354, + "sup_loss": 0.7923669863195466, + "rf_loss": 0.0, + "total_loss": 0.7923669863195466, + "lyap1_mean": -0.20666776597499847, + "lyap1_max": -0.1538865864276886, + "frac_above_star": 0.0 + }, + { + "step": 355, + "sup_loss": 0.7509271830901899, + "rf_loss": 0.0, + "total_loss": 0.7509271830901899, + "lyap1_mean": -0.21455755829811096, + "lyap1_max": -0.1760244220495224, + "frac_above_star": 0.0 + }, + { + "step": 356, + "sup_loss": 0.772157391662404, + "rf_loss": 0.0, + "total_loss": 0.772157391662404, + "lyap1_mean": -0.20755545794963837, + "lyap1_max": -0.08903278410434723, + "frac_above_star": 0.0 + }, + { + "step": 357, + "sup_loss": 0.6100629417569802, + "rf_loss": 0.0, + "total_loss": 0.6100629417569802, + "lyap1_mean": -0.213352233171463, + "lyap1_max": -0.14093752205371857, + "frac_above_star": 0.0 + }, + { + "step": 358, + "sup_loss": 0.5995438494362794, + "rf_loss": 0.00011052437184844166, + "total_loss": 0.60064909312566, + "lyap1_mean": -0.17746403813362122, + "lyap1_max": -0.020264584571123123, + "frac_above_star": 0.125 + }, + { + "step": 359, + "sup_loss": 0.5676877421409371, + "rf_loss": 0.0, + "total_loss": 0.5676877421409371, + "lyap1_mean": -0.22986847162246704, + "lyap1_max": -0.14239609241485596, + "frac_above_star": 0.0 + }, + { + "step": 360, + "sup_loss": 0.5716199612044225, + "rf_loss": 0.0, + "total_loss": 0.5716199612044225, + "lyap1_mean": -0.2023630440235138, + "lyap1_max": -0.15584540367126465, + "frac_above_star": 0.0 + }, + { + "step": 361, + "sup_loss": 0.6918978852360045, + "rf_loss": 0.0, + "total_loss": 0.6918978852360045, + "lyap1_mean": -0.20789708197116852, + "lyap1_max": -0.1639281064271927, + "frac_above_star": 0.0 + }, + { + "step": 362, + "sup_loss": 0.6810905533540892, + "rf_loss": 0.0, + "total_loss": 0.6810905533540892, + "lyap1_mean": -0.1852123737335205, + "lyap1_max": -0.1310468316078186, + "frac_above_star": 0.0 + }, + { + "step": 363, + "sup_loss": 0.827021516236963, + "rf_loss": 0.0, + "total_loss": 0.827021516236963, + "lyap1_mean": -0.17587244510650635, + "lyap1_max": -0.13469673693180084, + "frac_above_star": 0.0 + }, + { + "step": 364, + "sup_loss": 0.6112914244955131, + "rf_loss": 0.0, + "total_loss": 0.6112914244955131, + "lyap1_mean": -0.21683329343795776, + "lyap1_max": -0.14571020007133484, + "frac_above_star": 0.0 + }, + { + "step": 365, + "sup_loss": 0.41170966096907663, + "rf_loss": 0.0, + "total_loss": 0.41170966096907663, + "lyap1_mean": -0.24644891917705536, + "lyap1_max": -0.174571692943573, + "frac_above_star": 0.0 + }, + { + "step": 366, + "sup_loss": 0.5929771856071757, + "rf_loss": 0.0, + "total_loss": 0.5929771856071757, + "lyap1_mean": -0.21925899386405945, + "lyap1_max": -0.1593049019575119, + "frac_above_star": 0.0 + }, + { + "step": 367, + "sup_loss": 0.6977408131933172, + "rf_loss": 0.0, + "total_loss": 0.6977408131933172, + "lyap1_mean": -0.22557860612869263, + "lyap1_max": -0.14963893592357635, + "frac_above_star": 0.0 + }, + { + "step": 368, + "sup_loss": 0.8045605962002531, + "rf_loss": 0.0, + "total_loss": 0.8045605962002531, + "lyap1_mean": -0.19593700766563416, + "lyap1_max": -0.13351640105247498, + "frac_above_star": 0.0 + }, + { + "step": 369, + "sup_loss": 0.5605410580342659, + "rf_loss": 0.0, + "total_loss": 0.5605410580342659, + "lyap1_mean": -0.20284387469291687, + "lyap1_max": -0.14832647144794464, + "frac_above_star": 0.0 + }, + { + "step": 370, + "sup_loss": 0.7055439984778094, + "rf_loss": 0.0, + "total_loss": 0.7055439984778094, + "lyap1_mean": -0.21607887744903564, + "lyap1_max": -0.17973560094833374, + "frac_above_star": 0.0 + }, + { + "step": 371, + "sup_loss": 0.4762201168342183, + "rf_loss": 0.0, + "total_loss": 0.4762201168342183, + "lyap1_mean": -0.24783311784267426, + "lyap1_max": -0.17381051182746887, + "frac_above_star": 0.0 + }, + { + "step": 372, + "sup_loss": 0.762709188065877, + "rf_loss": 0.0, + "total_loss": 0.762709188065877, + "lyap1_mean": -0.17611925303936005, + "lyap1_max": -0.14503054320812225, + "frac_above_star": 0.0 + }, + { + "step": 373, + "sup_loss": 0.4975718653575674, + "rf_loss": 0.0, + "total_loss": 0.4975718653575674, + "lyap1_mean": -0.20971643924713135, + "lyap1_max": -0.14238668978214264, + "frac_above_star": 0.0 + }, + { + "step": 374, + "sup_loss": 0.7006730644120136, + "rf_loss": 0.0, + "total_loss": 0.7006730644120136, + "lyap1_mean": -0.20291917026042938, + "lyap1_max": -0.13062244653701782, + "frac_above_star": 0.0 + }, + { + "step": 375, + "sup_loss": 0.5554011090503748, + "rf_loss": 0.0, + "total_loss": 0.5554011090503748, + "lyap1_mean": -0.21270637214183807, + "lyap1_max": -0.09814846515655518, + "frac_above_star": 0.0 + }, + { + "step": 376, + "sup_loss": 0.5874085146002342, + "rf_loss": 0.0, + "total_loss": 0.5874085146002342, + "lyap1_mean": -0.22418086230754852, + "lyap1_max": -0.09906986355781555, + "frac_above_star": 0.0 + }, + { + "step": 377, + "sup_loss": 0.57646098843119, + "rf_loss": 0.0, + "total_loss": 0.57646098843119, + "lyap1_mean": -0.17926345765590668, + "lyap1_max": -0.1295628696680069, + "frac_above_star": 0.0 + }, + { + "step": 378, + "sup_loss": 0.4866621580888519, + "rf_loss": 0.0, + "total_loss": 0.4866621580888519, + "lyap1_mean": -0.2619060277938843, + "lyap1_max": -0.1311393678188324, + "frac_above_star": 0.0 + }, + { + "step": 379, + "sup_loss": 0.46805725509250135, + "rf_loss": 0.0, + "total_loss": 0.46805725509250135, + "lyap1_mean": -0.21309199929237366, + "lyap1_max": -0.12426955997943878, + "frac_above_star": 0.0 + }, + { + "step": 380, + "sup_loss": 0.5309384717194086, + "rf_loss": 0.0, + "total_loss": 0.5309384717194086, + "lyap1_mean": -0.22918032109737396, + "lyap1_max": -0.13180653750896454, + "frac_above_star": 0.0 + }, + { + "step": 381, + "sup_loss": 0.41827593126934237, + "rf_loss": 0.0, + "total_loss": 0.41827593126934237, + "lyap1_mean": -0.2373732328414917, + "lyap1_max": -0.1767939180135727, + "frac_above_star": 0.0 + }, + { + "step": 382, + "sup_loss": 0.6498874717516949, + "rf_loss": 0.0, + "total_loss": 0.6498874717516949, + "lyap1_mean": -0.2211063951253891, + "lyap1_max": -0.1681242436170578, + "frac_above_star": 0.0 + }, + { + "step": 383, + "sup_loss": 0.4349429443795348, + "rf_loss": 0.0, + "total_loss": 0.4349429443795348, + "lyap1_mean": -0.23977139592170715, + "lyap1_max": -0.15850691497325897, + "frac_above_star": 0.0 + }, + { + "step": 384, + "sup_loss": 0.469866004179881, + "rf_loss": 0.0, + "total_loss": 0.469866004179881, + "lyap1_mean": -0.24687765538692474, + "lyap1_max": -0.1496664583683014, + "frac_above_star": 0.0 + }, + { + "step": 385, + "sup_loss": 0.43359337235130546, + "rf_loss": 0.0, + "total_loss": 0.43359337235130546, + "lyap1_mean": -0.22131499648094177, + "lyap1_max": -0.13582707941532135, + "frac_above_star": 0.0 + }, + { + "step": 386, + "sup_loss": 0.4734871103249728, + "rf_loss": 0.0, + "total_loss": 0.4734871103249728, + "lyap1_mean": -0.23007088899612427, + "lyap1_max": -0.17124953866004944, + "frac_above_star": 0.0 + }, + { + "step": 387, + "sup_loss": 0.6691472553045726, + "rf_loss": 0.0, + "total_loss": 0.6691472553045726, + "lyap1_mean": -0.19179195165634155, + "lyap1_max": -0.1319137066602707, + "frac_above_star": 0.0 + }, + { + "step": 388, + "sup_loss": 0.6979663960549036, + "rf_loss": 0.0, + "total_loss": 0.6979663960549036, + "lyap1_mean": -0.21627482771873474, + "lyap1_max": -0.14623385667800903, + "frac_above_star": 0.0 + }, + { + "step": 389, + "sup_loss": 0.6237416675999153, + "rf_loss": 0.0, + "total_loss": 0.6237416675999153, + "lyap1_mean": -0.21857845783233643, + "lyap1_max": -0.10471954196691513, + "frac_above_star": 0.0 + }, + { + "step": 390, + "sup_loss": 0.592283839738404, + "rf_loss": 0.0, + "total_loss": 0.592283839738404, + "lyap1_mean": -0.22861918807029724, + "lyap1_max": -0.13160422444343567, + "frac_above_star": 0.0 + }, + { + "step": 391, + "sup_loss": 0.5736176372306763, + "rf_loss": 0.0, + "total_loss": 0.5736176372306763, + "lyap1_mean": -0.24211814999580383, + "lyap1_max": -0.18566088378429413, + "frac_above_star": 0.0 + }, + { + "step": 392, + "sup_loss": 0.6444058381097122, + "rf_loss": 0.0, + "total_loss": 0.6444058381097122, + "lyap1_mean": -0.22793933749198914, + "lyap1_max": -0.17087076604366302, + "frac_above_star": 0.0 + }, + { + "step": 393, + "sup_loss": 0.8271271033467851, + "rf_loss": 0.0, + "total_loss": 0.8271271033467851, + "lyap1_mean": -0.2071262001991272, + "lyap1_max": -0.13778746128082275, + "frac_above_star": 0.0 + }, + { + "step": 394, + "sup_loss": 0.7073345279766219, + "rf_loss": 0.0, + "total_loss": 0.7073345279766219, + "lyap1_mean": -0.2169470489025116, + "lyap1_max": -0.1730356067419052, + "frac_above_star": 0.0 + }, + { + "step": 395, + "sup_loss": 0.4800006230765676, + "rf_loss": 0.0, + "total_loss": 0.4800006230765676, + "lyap1_mean": -0.2330458164215088, + "lyap1_max": -0.1380104422569275, + "frac_above_star": 0.0 + }, + { + "step": 396, + "sup_loss": 0.41241350825328316, + "rf_loss": 0.0, + "total_loss": 0.41241350825328316, + "lyap1_mean": -0.2461528480052948, + "lyap1_max": -0.15010911226272583, + "frac_above_star": 0.0 + }, + { + "step": 397, + "sup_loss": 0.46628195857002963, + "rf_loss": 0.0, + "total_loss": 0.46628195857002963, + "lyap1_mean": -0.25954166054725647, + "lyap1_max": -0.14834284782409668, + "frac_above_star": 0.0 + }, + { + "step": 398, + "sup_loss": 0.7680981684316472, + "rf_loss": 0.0, + "total_loss": 0.7680981684316472, + "lyap1_mean": -0.1957109421491623, + "lyap1_max": -0.13842631876468658, + "frac_above_star": 0.0 + }, + { + "step": 399, + "sup_loss": 0.45414655548607197, + "rf_loss": 0.0, + "total_loss": 0.45414655548607197, + "lyap1_mean": -0.23266930878162384, + "lyap1_max": -0.16785207390785217, + "frac_above_star": 0.0 + }, + { + "step": 400, + "sup_loss": 0.5470993818360478, + "rf_loss": 0.0, + "total_loss": 0.5470993818360478, + "lyap1_mean": -0.247371107339859, + "lyap1_max": -0.16775265336036682, + "frac_above_star": 0.0 + }, + { + "step": 401, + "sup_loss": 0.6060890249464561, + "rf_loss": 0.0, + "total_loss": 0.6060890249464561, + "lyap1_mean": -0.23491084575653076, + "lyap1_max": -0.13046878576278687, + "frac_above_star": 0.0 + }, + { + "step": 402, + "sup_loss": 0.6433086862722057, + "rf_loss": 0.0, + "total_loss": 0.6433086862722057, + "lyap1_mean": -0.22624745965003967, + "lyap1_max": -0.14554187655448914, + "frac_above_star": 0.0 + }, + { + "step": 403, + "sup_loss": 0.5770216706921802, + "rf_loss": 0.0, + "total_loss": 0.5770216706921802, + "lyap1_mean": -0.18863479793071747, + "lyap1_max": -0.05036577209830284, + "frac_above_star": 0.0 + }, + { + "step": 404, + "sup_loss": 0.37260353217195485, + "rf_loss": 0.0, + "total_loss": 0.37260353217195485, + "lyap1_mean": -0.25863468647003174, + "lyap1_max": -0.17592760920524597, + "frac_above_star": 0.0 + }, + { + "step": 405, + "sup_loss": 0.7498940344575351, + "rf_loss": 0.0, + "total_loss": 0.7498940344575351, + "lyap1_mean": -0.19469135999679565, + "lyap1_max": -0.11755923926830292, + "frac_above_star": 0.0 + }, + { + "step": 406, + "sup_loss": 0.7474589738389056, + "rf_loss": 0.0, + "total_loss": 0.7474589738389056, + "lyap1_mean": -0.2232781946659088, + "lyap1_max": -0.1286342740058899, + "frac_above_star": 0.0 + }, + { + "step": 407, + "sup_loss": 0.79894796149443, + "rf_loss": 0.0, + "total_loss": 0.79894796149443, + "lyap1_mean": -0.23811206221580505, + "lyap1_max": -0.13449008762836456, + "frac_above_star": 0.0 + }, + { + "step": 408, + "sup_loss": 0.573565627500277, + "rf_loss": 0.0, + "total_loss": 0.573565627500277, + "lyap1_mean": -0.2281595766544342, + "lyap1_max": -0.17105528712272644, + "frac_above_star": 0.0 + }, + { + "step": 409, + "sup_loss": 0.9797702182875103, + "rf_loss": 0.0, + "total_loss": 0.9797702182875103, + "lyap1_mean": -0.19455677270889282, + "lyap1_max": -0.16017811000347137, + "frac_above_star": 0.0 + }, + { + "step": 410, + "sup_loss": 0.5941237637733225, + "rf_loss": 0.0, + "total_loss": 0.5941237637733225, + "lyap1_mean": -0.21421773731708527, + "lyap1_max": -0.12659311294555664, + "frac_above_star": 0.0 + }, + { + "step": 411, + "sup_loss": 0.6828079838237895, + "rf_loss": 0.0, + "total_loss": 0.6828079838237895, + "lyap1_mean": -0.19643931090831757, + "lyap1_max": -0.15614956617355347, + "frac_above_star": 0.0 + }, + { + "step": 412, + "sup_loss": 0.8023839143217346, + "rf_loss": 0.0, + "total_loss": 0.8023839143217346, + "lyap1_mean": -0.19028116762638092, + "lyap1_max": -0.1554807722568512, + "frac_above_star": 0.0 + }, + { + "step": 413, + "sup_loss": 0.6272650259856455, + "rf_loss": 0.0, + "total_loss": 0.6272650259856455, + "lyap1_mean": -0.20130380988121033, + "lyap1_max": -0.14557811617851257, + "frac_above_star": 0.0 + }, + { + "step": 414, + "sup_loss": 0.832685347032309, + "rf_loss": 0.0, + "total_loss": 0.832685347032309, + "lyap1_mean": -0.20160439610481262, + "lyap1_max": -0.15023809671401978, + "frac_above_star": 0.0 + }, + { + "step": 415, + "sup_loss": 0.6041836947260294, + "rf_loss": 0.0, + "total_loss": 0.6041836947260294, + "lyap1_mean": -0.21403717994689941, + "lyap1_max": -0.17294955253601074, + "frac_above_star": 0.0 + }, + { + "step": 416, + "sup_loss": 0.5730397834845384, + "rf_loss": 0.0, + "total_loss": 0.5730397834845384, + "lyap1_mean": -0.15468549728393555, + "lyap1_max": -0.0571526363492012, + "frac_above_star": 0.0 + }, + { + "step": 417, + "sup_loss": 0.6746630578893192, + "rf_loss": 0.0, + "total_loss": 0.6746630578893192, + "lyap1_mean": -0.20595599710941315, + "lyap1_max": -0.13853368163108826, + "frac_above_star": 0.0 + }, + { + "step": 418, + "sup_loss": 0.6149385373678194, + "rf_loss": 0.0, + "total_loss": 0.6149385373678194, + "lyap1_mean": -0.23565509915351868, + "lyap1_max": -0.15242862701416016, + "frac_above_star": 0.0 + }, + { + "step": 419, + "sup_loss": 0.6117796917844956, + "rf_loss": 0.0, + "total_loss": 0.6117796917844956, + "lyap1_mean": -0.21939457952976227, + "lyap1_max": -0.11468124389648438, + "frac_above_star": 0.0 + }, + { + "step": 420, + "sup_loss": 0.546369001468315, + "rf_loss": 0.0, + "total_loss": 0.546369001468315, + "lyap1_mean": -0.2253008782863617, + "lyap1_max": -0.1351310908794403, + "frac_above_star": 0.0 + }, + { + "step": 421, + "sup_loss": 0.5678360193643954, + "rf_loss": 0.0, + "total_loss": 0.5678360193643954, + "lyap1_mean": -0.2235012650489807, + "lyap1_max": -0.14428293704986572, + "frac_above_star": 0.0 + }, + { + "step": 422, + "sup_loss": 0.4621307066297527, + "rf_loss": 0.0, + "total_loss": 0.4621307066297527, + "lyap1_mean": -0.2540198266506195, + "lyap1_max": -0.1689125895500183, + "frac_above_star": 0.0 + }, + { + "step": 423, + "sup_loss": 0.4006336773551642, + "rf_loss": 0.00018839319818653166, + "total_loss": 0.40251760927882185, + "lyap1_mean": -0.17290790379047394, + "lyap1_max": -0.011178027838468552, + "frac_above_star": 0.125 + }, + { + "step": 424, + "sup_loss": 0.5542560673345038, + "rf_loss": 0.0, + "total_loss": 0.5542560673345038, + "lyap1_mean": -0.24215170741081238, + "lyap1_max": -0.17764568328857422, + "frac_above_star": 0.0 + }, + { + "step": 425, + "sup_loss": 0.4613437735594227, + "rf_loss": 0.0, + "total_loss": 0.4613437735594227, + "lyap1_mean": -0.2527486979961395, + "lyap1_max": -0.17467980086803436, + "frac_above_star": 0.0 + }, + { + "step": 426, + "sup_loss": 0.5147426055170997, + "rf_loss": 0.0, + "total_loss": 0.5147426055170997, + "lyap1_mean": -0.2252729833126068, + "lyap1_max": -0.09682126343250275, + "frac_above_star": 0.0 + }, + { + "step": 427, + "sup_loss": 0.5989016739704492, + "rf_loss": 0.0, + "total_loss": 0.5989016739704492, + "lyap1_mean": -0.257686585187912, + "lyap1_max": -0.1756468117237091, + "frac_above_star": 0.0 + }, + { + "step": 428, + "sup_loss": 0.4808609429131941, + "rf_loss": 0.0, + "total_loss": 0.4808609429131941, + "lyap1_mean": -0.23024070262908936, + "lyap1_max": -0.1409391313791275, + "frac_above_star": 0.0 + }, + { + "step": 429, + "sup_loss": 0.822633134213223, + "rf_loss": 0.0, + "total_loss": 0.822633134213223, + "lyap1_mean": -0.19250787794589996, + "lyap1_max": -0.15449683368206024, + "frac_above_star": 0.0 + }, + { + "step": 430, + "sup_loss": 0.6980670798374189, + "rf_loss": 0.0, + "total_loss": 0.6980670798374189, + "lyap1_mean": -0.22877156734466553, + "lyap1_max": -0.17860949039459229, + "frac_above_star": 0.0 + }, + { + "step": 431, + "sup_loss": 0.5913083975718165, + "rf_loss": 0.0, + "total_loss": 0.5913083975718165, + "lyap1_mean": -0.21428176760673523, + "lyap1_max": -0.14880067110061646, + "frac_above_star": 0.0 + }, + { + "step": 432, + "sup_loss": 0.5742548025339517, + "rf_loss": 0.0, + "total_loss": 0.5742548025339517, + "lyap1_mean": -0.19972869753837585, + "lyap1_max": -0.14378806948661804, + "frac_above_star": 0.0 + }, + { + "step": 433, + "sup_loss": 0.622112604269508, + "rf_loss": 0.0, + "total_loss": 0.622112604269508, + "lyap1_mean": -0.20484450459480286, + "lyap1_max": -0.10459718108177185, + "frac_above_star": 0.0 + }, + { + "step": 434, + "sup_loss": 0.6283092626466985, + "rf_loss": 0.0, + "total_loss": 0.6283092626466985, + "lyap1_mean": -0.20850074291229248, + "lyap1_max": -0.1568463146686554, + "frac_above_star": 0.0 + }, + { + "step": 435, + "sup_loss": 0.5279803230739013, + "rf_loss": 0.0, + "total_loss": 0.5279803230739013, + "lyap1_mean": -0.22041699290275574, + "lyap1_max": -0.12634703516960144, + "frac_above_star": 0.0 + }, + { + "step": 436, + "sup_loss": 0.4704183942727489, + "rf_loss": 0.0, + "total_loss": 0.4704183942727489, + "lyap1_mean": -0.22725048661231995, + "lyap1_max": -0.15891343355178833, + "frac_above_star": 0.0 + }, + { + "step": 437, + "sup_loss": 0.6599533321301443, + "rf_loss": 0.0, + "total_loss": 0.6599533321301443, + "lyap1_mean": -0.21564775705337524, + "lyap1_max": -0.1603040099143982, + "frac_above_star": 0.0 + }, + { + "step": 438, + "sup_loss": 0.5377865665047743, + "rf_loss": 0.0, + "total_loss": 0.5377865665047743, + "lyap1_mean": -0.19312168657779694, + "lyap1_max": -0.16351372003555298, + "frac_above_star": 0.0 + }, + { + "step": 439, + "sup_loss": 0.5872892527228014, + "rf_loss": 0.0, + "total_loss": 0.5872892527228014, + "lyap1_mean": -0.21844707429409027, + "lyap1_max": -0.16125667095184326, + "frac_above_star": 0.0 + }, + { + "step": 440, + "sup_loss": 0.8405998383238293, + "rf_loss": 0.0, + "total_loss": 0.8405998383238293, + "lyap1_mean": -0.17636080086231232, + "lyap1_max": -0.10924814641475677, + "frac_above_star": 0.0 + }, + { + "step": 441, + "sup_loss": 0.5349202265220784, + "rf_loss": 0.0, + "total_loss": 0.5349202265220784, + "lyap1_mean": -0.21927517652511597, + "lyap1_max": -0.1201939508318901, + "frac_above_star": 0.0 + }, + { + "step": 442, + "sup_loss": 0.4967888737238917, + "rf_loss": 0.0, + "total_loss": 0.4967888737238917, + "lyap1_mean": -0.22101856768131256, + "lyap1_max": -0.1005643755197525, + "frac_above_star": 0.0 + }, + { + "step": 443, + "sup_loss": 0.6759895032257268, + "rf_loss": 0.0, + "total_loss": 0.6759895032257268, + "lyap1_mean": -0.19441074132919312, + "lyap1_max": -0.12647679448127747, + "frac_above_star": 0.0 + }, + { + "step": 444, + "sup_loss": 0.7682728672484888, + "rf_loss": 0.0, + "total_loss": 0.7682728672484888, + "lyap1_mean": -0.20455695688724518, + "lyap1_max": -0.14391641318798065, + "frac_above_star": 0.0 + }, + { + "step": 445, + "sup_loss": 0.5340596002239556, + "rf_loss": 0.0, + "total_loss": 0.5340596002239556, + "lyap1_mean": -0.1894068866968155, + "lyap1_max": -0.13329464197158813, + "frac_above_star": 0.0 + }, + { + "step": 446, + "sup_loss": 0.6097720622595074, + "rf_loss": 0.0, + "total_loss": 0.6097720622595074, + "lyap1_mean": -0.2007661759853363, + "lyap1_max": -0.13857173919677734, + "frac_above_star": 0.0 + }, + { + "step": 447, + "sup_loss": 0.5704053144381531, + "rf_loss": 0.0, + "total_loss": 0.5704053144381531, + "lyap1_mean": -0.2089853584766388, + "lyap1_max": -0.14381247758865356, + "frac_above_star": 0.0 + }, + { + "step": 448, + "sup_loss": 0.7708318842935611, + "rf_loss": 0.0, + "total_loss": 0.7708318842935611, + "lyap1_mean": -0.18507841229438782, + "lyap1_max": -0.10562454164028168, + "frac_above_star": 0.0 + }, + { + "step": 449, + "sup_loss": 0.7827587676296863, + "rf_loss": 0.0, + "total_loss": 0.7827587676296863, + "lyap1_mean": -0.2189193069934845, + "lyap1_max": -0.12284156680107117, + "frac_above_star": 0.0 + }, + { + "step": 450, + "sup_loss": 0.6689201247995654, + "rf_loss": 0.0, + "total_loss": 0.6689201247995654, + "lyap1_mean": -0.23185619711875916, + "lyap1_max": -0.17608337104320526, + "frac_above_star": 0.0 + }, + { + "step": 451, + "sup_loss": 0.551504014224502, + "rf_loss": 0.0, + "total_loss": 0.551504014224502, + "lyap1_mean": -0.25491681694984436, + "lyap1_max": -0.18205681443214417, + "frac_above_star": 0.0 + }, + { + "step": 452, + "sup_loss": 0.6246585033839481, + "rf_loss": 0.0, + "total_loss": 0.6246585033839481, + "lyap1_mean": -0.22794301807880402, + "lyap1_max": -0.13384383916854858, + "frac_above_star": 0.0 + }, + { + "step": 453, + "sup_loss": 0.8146147253527948, + "rf_loss": 0.0, + "total_loss": 0.8146147253527948, + "lyap1_mean": -0.22990316152572632, + "lyap1_max": -0.16613446176052094, + "frac_above_star": 0.0 + }, + { + "step": 454, + "sup_loss": 0.6524028392458605, + "rf_loss": 0.0, + "total_loss": 0.6524028392458605, + "lyap1_mean": -0.21140530705451965, + "lyap1_max": -0.14374259114265442, + "frac_above_star": 0.0 + }, + { + "step": 455, + "sup_loss": 0.5805174857947933, + "rf_loss": 0.0, + "total_loss": 0.5805174857947933, + "lyap1_mean": -0.20731066167354584, + "lyap1_max": -0.12318490445613861, + "frac_above_star": 0.0 + }, + { + "step": 456, + "sup_loss": 0.4502186005223158, + "rf_loss": 0.0, + "total_loss": 0.4502186005223158, + "lyap1_mean": -0.24037030339241028, + "lyap1_max": -0.12203490734100342, + "frac_above_star": 0.0 + }, + { + "step": 457, + "sup_loss": 0.5549551508442796, + "rf_loss": 0.0, + "total_loss": 0.5549551508442796, + "lyap1_mean": -0.21457484364509583, + "lyap1_max": -0.14574328064918518, + "frac_above_star": 0.0 + }, + { + "step": 458, + "sup_loss": 0.5703739531721798, + "rf_loss": 0.0, + "total_loss": 0.5703739531721798, + "lyap1_mean": -0.2315698266029358, + "lyap1_max": -0.13514766097068787, + "frac_above_star": 0.0 + }, + { + "step": 459, + "sup_loss": 0.5834769831844926, + "rf_loss": 0.0, + "total_loss": 0.5834769831844926, + "lyap1_mean": -0.22849972546100616, + "lyap1_max": -0.15692950785160065, + "frac_above_star": 0.0 + }, + { + "step": 460, + "sup_loss": 0.5677209152087253, + "rf_loss": 0.0, + "total_loss": 0.5677209152087253, + "lyap1_mean": -0.24614152312278748, + "lyap1_max": -0.15802611410617828, + "frac_above_star": 0.0 + }, + { + "step": 461, + "sup_loss": 0.5595694271107275, + "rf_loss": 0.0, + "total_loss": 0.5595694271107275, + "lyap1_mean": -0.24104417860507965, + "lyap1_max": -0.17910099029541016, + "frac_above_star": 0.0 + }, + { + "step": 462, + "sup_loss": 0.4690980258067601, + "rf_loss": 0.0, + "total_loss": 0.4690980258067601, + "lyap1_mean": -0.2452768087387085, + "lyap1_max": -0.16175620257854462, + "frac_above_star": 0.0 + }, + { + "step": 463, + "sup_loss": 0.818847195428604, + "rf_loss": 0.0, + "total_loss": 0.818847195428604, + "lyap1_mean": -0.22236952185630798, + "lyap1_max": -0.15004590153694153, + "frac_above_star": 0.0 + }, + { + "step": 464, + "sup_loss": 0.6151018863736678, + "rf_loss": 0.0, + "total_loss": 0.6151018863736678, + "lyap1_mean": -0.21482911705970764, + "lyap1_max": -0.09503337740898132, + "frac_above_star": 0.0 + }, + { + "step": 465, + "sup_loss": 0.6259128074392135, + "rf_loss": 0.0, + "total_loss": 0.6259128074392135, + "lyap1_mean": -0.19102607667446136, + "lyap1_max": -0.1449204534292221, + "frac_above_star": 0.0 + }, + { + "step": 466, + "sup_loss": 0.5730434710274545, + "rf_loss": 0.0, + "total_loss": 0.5730434710274545, + "lyap1_mean": -0.24374115467071533, + "lyap1_max": -0.16072188317775726, + "frac_above_star": 0.0 + }, + { + "step": 467, + "sup_loss": 0.4797580199735464, + "rf_loss": 0.0, + "total_loss": 0.4797580199735464, + "lyap1_mean": -0.230105921626091, + "lyap1_max": -0.1578637957572937, + "frac_above_star": 0.0 + }, + { + "step": 468, + "sup_loss": 0.8231880235770999, + "rf_loss": 0.0, + "total_loss": 0.8231880235770999, + "lyap1_mean": -0.20298781991004944, + "lyap1_max": -0.0805358961224556, + "frac_above_star": 0.0 + }, + { + "step": 469, + "sup_loss": 0.7107948332991013, + "rf_loss": 0.0, + "total_loss": 0.7107948332991013, + "lyap1_mean": -0.18164268136024475, + "lyap1_max": -0.08889242261648178, + "frac_above_star": 0.0 + }, + { + "step": 470, + "sup_loss": 0.5532651436458066, + "rf_loss": 0.0, + "total_loss": 0.5532651436458066, + "lyap1_mean": -0.2296716272830963, + "lyap1_max": -0.17731808125972748, + "frac_above_star": 0.0 + }, + { + "step": 471, + "sup_loss": 0.7506978985467345, + "rf_loss": 0.0, + "total_loss": 0.7506978985467345, + "lyap1_mean": -0.20572766661643982, + "lyap1_max": -0.16034196317195892, + "frac_above_star": 0.0 + }, + { + "step": 472, + "sup_loss": 0.640069551850923, + "rf_loss": 0.0, + "total_loss": 0.640069551850923, + "lyap1_mean": -0.1999901384115219, + "lyap1_max": -0.15610679984092712, + "frac_above_star": 0.0 + }, + { + "step": 473, + "sup_loss": 0.5611310548035375, + "rf_loss": 0.0, + "total_loss": 0.5611310548035375, + "lyap1_mean": -0.22579239308834076, + "lyap1_max": -0.15909507870674133, + "frac_above_star": 0.0 + }, + { + "step": 474, + "sup_loss": 0.37755203101877316, + "rf_loss": 0.0, + "total_loss": 0.37755203101877316, + "lyap1_mean": -0.22984983026981354, + "lyap1_max": -0.1553807556629181, + "frac_above_star": 0.0 + }, + { + "step": 475, + "sup_loss": 0.788111336470161, + "rf_loss": 0.0, + "total_loss": 0.788111336470161, + "lyap1_mean": -0.17285682260990143, + "lyap1_max": -0.12928509712219238, + "frac_above_star": 0.0 + }, + { + "step": 476, + "sup_loss": 0.5692312890868217, + "rf_loss": 0.0, + "total_loss": 0.5692312890868217, + "lyap1_mean": -0.23381999135017395, + "lyap1_max": -0.12067683786153793, + "frac_above_star": 0.0 + }, + { + "step": 477, + "sup_loss": 0.4842579373264275, + "rf_loss": 0.0, + "total_loss": 0.4842579373264275, + "lyap1_mean": -0.2727886140346527, + "lyap1_max": -0.1940649449825287, + "frac_above_star": 0.0 + }, + { + "step": 478, + "sup_loss": 0.6094397031476663, + "rf_loss": 0.0, + "total_loss": 0.6094397031476663, + "lyap1_mean": -0.22106488049030304, + "lyap1_max": -0.16366024315357208, + "frac_above_star": 0.0 + }, + { + "step": 479, + "sup_loss": 0.5971989900374587, + "rf_loss": 0.0, + "total_loss": 0.5971989900374587, + "lyap1_mean": -0.2181301712989807, + "lyap1_max": -0.1530958116054535, + "frac_above_star": 0.0 + }, + { + "step": 480, + "sup_loss": 0.6713177318919344, + "rf_loss": 0.0, + "total_loss": 0.6713177318919344, + "lyap1_mean": -0.2184915393590927, + "lyap1_max": -0.1814681887626648, + "frac_above_star": 0.0 + }, + { + "step": 481, + "sup_loss": 0.5228367497324832, + "rf_loss": 0.0, + "total_loss": 0.5228367497324832, + "lyap1_mean": -0.22797653079032898, + "lyap1_max": -0.14713995158672333, + "frac_above_star": 0.0 + }, + { + "step": 482, + "sup_loss": 0.8152582095690803, + "rf_loss": 0.0, + "total_loss": 0.8152582095690803, + "lyap1_mean": -0.21665066480636597, + "lyap1_max": -0.1391698122024536, + "frac_above_star": 0.0 + }, + { + "step": 483, + "sup_loss": 0.574700934196167, + "rf_loss": 0.0, + "total_loss": 0.574700934196167, + "lyap1_mean": -0.21301104128360748, + "lyap1_max": -0.10645733773708344, + "frac_above_star": 0.0 + }, + { + "step": 484, + "sup_loss": 0.5598177696274965, + "rf_loss": 0.0, + "total_loss": 0.5598177696274965, + "lyap1_mean": -0.2458435446023941, + "lyap1_max": -0.14060968160629272, + "frac_above_star": 0.0 + }, + { + "step": 485, + "sup_loss": 0.7191556913916637, + "rf_loss": 0.0, + "total_loss": 0.7191556913916637, + "lyap1_mean": -0.23266196250915527, + "lyap1_max": -0.1437108814716339, + "frac_above_star": 0.0 + }, + { + "step": 486, + "sup_loss": 0.6567477350083338, + "rf_loss": 0.0, + "total_loss": 0.6567477350083338, + "lyap1_mean": -0.22213956713676453, + "lyap1_max": -0.1710439920425415, + "frac_above_star": 0.0 + }, + { + "step": 487, + "sup_loss": 0.45876177384092176, + "rf_loss": 0.0, + "total_loss": 0.45876177384092176, + "lyap1_mean": -0.2387300431728363, + "lyap1_max": -0.08665876090526581, + "frac_above_star": 0.0 + }, + { + "step": 488, + "sup_loss": 0.6932138391433285, + "rf_loss": 0.0, + "total_loss": 0.6932138391433285, + "lyap1_mean": -0.2065650224685669, + "lyap1_max": -0.13189248740673065, + "frac_above_star": 0.0 + }, + { + "step": 489, + "sup_loss": 0.48031332835719526, + "rf_loss": 0.0, + "total_loss": 0.48031332835719526, + "lyap1_mean": -0.24465778470039368, + "lyap1_max": -0.09884530305862427, + "frac_above_star": 0.0 + }, + { + "step": 490, + "sup_loss": 0.5642522943112197, + "rf_loss": 0.0, + "total_loss": 0.5642522943112197, + "lyap1_mean": -0.22475336492061615, + "lyap1_max": -0.1256757378578186, + "frac_above_star": 0.0 + }, + { + "step": 491, + "sup_loss": 0.6721265003939094, + "rf_loss": 0.0, + "total_loss": 0.6721265003939094, + "lyap1_mean": -0.2352738082408905, + "lyap1_max": -0.16954371333122253, + "frac_above_star": 0.0 + }, + { + "step": 492, + "sup_loss": 0.7614344393339444, + "rf_loss": 0.0, + "total_loss": 0.7614344393339444, + "lyap1_mean": -0.2063005566596985, + "lyap1_max": -0.16296163201332092, + "frac_above_star": 0.0 + }, + { + "step": 493, + "sup_loss": 0.5751549553515443, + "rf_loss": 0.0, + "total_loss": 0.5751549553515443, + "lyap1_mean": -0.21087966859340668, + "lyap1_max": -0.10467313975095749, + "frac_above_star": 0.0 + }, + { + "step": 494, + "sup_loss": 0.7259734377054724, + "rf_loss": 0.0, + "total_loss": 0.7259734377054724, + "lyap1_mean": -0.2070980817079544, + "lyap1_max": -0.10363219678401947, + "frac_above_star": 0.0 + }, + { + "step": 495, + "sup_loss": 0.7602490716883397, + "rf_loss": 0.0, + "total_loss": 0.7602490716883397, + "lyap1_mean": -0.1845816820859909, + "lyap1_max": -0.09565240144729614, + "frac_above_star": 0.0 + }, + { + "step": 496, + "sup_loss": 0.4906964264759617, + "rf_loss": 0.0, + "total_loss": 0.4906964264759617, + "lyap1_mean": -0.20967888832092285, + "lyap1_max": -0.16176092624664307, + "frac_above_star": 0.0 + }, + { + "step": 497, + "sup_loss": 0.6845335841918382, + "rf_loss": 0.0, + "total_loss": 0.6845335841918382, + "lyap1_mean": -0.18434417247772217, + "lyap1_max": -0.09851005673408508, + "frac_above_star": 0.0 + }, + { + "step": 498, + "sup_loss": 0.7078062872270657, + "rf_loss": 0.0, + "total_loss": 0.7078062872270657, + "lyap1_mean": -0.22571706771850586, + "lyap1_max": -0.16094744205474854, + "frac_above_star": 0.0 + }, + { + "step": 499, + "sup_loss": 0.40959508305204967, + "rf_loss": 0.00010468860273249447, + "total_loss": 0.41064196902116695, + "lyap1_mean": -0.22179558873176575, + "lyap1_max": -0.02106025628745556, + "frac_above_star": 0.125 + } + ], + "evals": [ + { + "step": 0, + "acc": 0.517578125, + "tok_acc": 0.8276668595679012 + }, + { + "step": 100, + "acc": 0.583984375, + "tok_acc": 0.8514660493827161 + }, + { + "step": 200, + "acc": 0.5703125, + "tok_acc": 0.8477768132716049 + }, + { + "step": 300, + "acc": 0.638671875, + "tok_acc": 0.8697193287037037 + }, + { + "step": 400, + "acc": 0.607421875, + "tok_acc": 0.8614969135802469 + }, + { + "step": 500, + "acc": 0.615234375, + "tok_acc": 0.8655478395061729 + }, + { + "step": 500, + "acc": 0.615234375, + "tok_acc": 0.8655478395061729 + } + ], + "final_acc": 0.615234375, + "final_tok_acc": 0.8655478395061729 +}
\ No newline at end of file |