{ "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, "rf_mode": "gelu", "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_G_gelu_26040.json" }, "initial_acc": 0.517578125, "initial_tok_acc": 0.8276668595679012, "steps": [ { "step": 0, "sup_loss": 0.5765939557422503, "rf_loss": -0.0756944790482521, "total_loss": -0.1803508198391096, "lyap1_mean": -0.18472686409950256, "lyap1_max": -0.04164290055632591, "frac_above_star": 1.0 }, { "step": 1, "sup_loss": 0.40509140585614006, "rf_loss": -0.0848955363035202, "total_loss": -0.44386398698138435, "lyap1_mean": -0.2075383961200714, "lyap1_max": -0.055716730654239655, "frac_above_star": 1.0 }, { "step": 2, "sup_loss": 0.7359063393219407, "rf_loss": -0.0852651447057724, "total_loss": -0.11674513753810567, "lyap1_mean": -0.2064703404903412, "lyap1_max": -0.12967240810394287, "frac_above_star": 1.0 }, { "step": 3, "sup_loss": 0.5322566655109481, "rf_loss": -0.0793272852897644, "total_loss": -0.26101618738669596, "lyap1_mean": -0.1928069144487381, "lyap1_max": -0.10053955018520355, "frac_above_star": 1.0 }, { "step": 4, "sup_loss": 0.6101492974537353, "rf_loss": -0.06869842112064362, "total_loss": -0.07683488395037852, "lyap1_mean": -0.16313976049423218, "lyap1_max": -0.048022519797086716, "frac_above_star": 1.0 }, { "step": 5, "sup_loss": 0.8252794650750785, "rf_loss": -0.07181556522846222, "total_loss": 0.10712384259277874, "lyap1_mean": -0.16898100078105927, "lyap1_max": -0.06551404297351837, "frac_above_star": 1.0 }, { "step": 6, "sup_loss": 0.6738543901215263, "rf_loss": -0.08555618673563004, "total_loss": -0.1817074623336129, "lyap1_mean": -0.208595871925354, "lyap1_max": -0.14008191227912903, "frac_above_star": 1.0 }, { "step": 7, "sup_loss": 0.7199325398668771, "rf_loss": -0.08073697984218597, "total_loss": -0.08743728835730502, "lyap1_mean": -0.1907404363155365, "lyap1_max": -0.16038887202739716, "frac_above_star": 1.0 }, { "step": 8, "sup_loss": 0.8338859978103836, "rf_loss": -0.08246922492980957, "total_loss": 0.009193748512287936, "lyap1_mean": -0.19680070877075195, "lyap1_max": -0.16922324895858765, "frac_above_star": 1.0 }, { "step": 9, "sup_loss": 0.8377073732423244, "rf_loss": -0.08238223195075989, "total_loss": 0.013885053734725483, "lyap1_mean": -0.19682146608829498, "lyap1_max": -0.10325884073972702, "frac_above_star": 1.0 }, { "step": 10, "sup_loss": 0.7341689970859199, "rf_loss": -0.07970153540372849, "total_loss": -0.06284637185252617, "lyap1_mean": -0.19096212089061737, "lyap1_max": -0.10787250101566315, "frac_above_star": 1.0 }, { "step": 11, "sup_loss": 0.6927990272950235, "rf_loss": -0.09698629379272461, "total_loss": -0.2770639106322226, "lyap1_mean": -0.24399331212043762, "lyap1_max": -0.16875675320625305, "frac_above_star": 1.0 }, { "step": 12, "sup_loss": 0.48660190941166115, "rf_loss": -0.09147676825523376, "total_loss": -0.4281657731406765, "lyap1_mean": -0.22407305240631104, "lyap1_max": -0.17606686055660248, "frac_above_star": 1.0 }, { "step": 13, "sup_loss": 0.7340136535279793, "rf_loss": -0.08647200465202332, "total_loss": -0.13070639299225384, "lyap1_mean": -0.21086761355400085, "lyap1_max": -0.15303590893745422, "frac_above_star": 1.0 }, { "step": 14, "sup_loss": 0.5642712611134504, "rf_loss": -0.09652994573116302, "total_loss": -0.40102822600050225, "lyap1_mean": -0.24644474685192108, "lyap1_max": -0.13774561882019043, "frac_above_star": 1.0 }, { "step": 15, "sup_loss": 0.7062362448480605, "rf_loss": -0.09605830907821655, "total_loss": -0.25434684593410506, "lyap1_mean": -0.23968079686164856, "lyap1_max": -0.176254004240036, "frac_above_star": 1.0 }, { "step": 16, "sup_loss": 0.6630316976315365, "rf_loss": -0.0888320654630661, "total_loss": -0.22528898680144693, "lyap1_mean": -0.2192291021347046, "lyap1_max": -0.13044238090515137, "frac_above_star": 1.0 }, { "step": 17, "sup_loss": 0.6182659740863102, "rf_loss": -0.09516876935958862, "total_loss": -0.333421719509576, "lyap1_mean": -0.23516535758972168, "lyap1_max": -0.18682923913002014, "frac_above_star": 1.0 }, { "step": 18, "sup_loss": 0.630044607528225, "rf_loss": -0.09741659462451935, "total_loss": -0.3441213089146461, "lyap1_mean": -0.24556085467338562, "lyap1_max": -0.18595699965953827, "frac_above_star": 1.0 }, { "step": 19, "sup_loss": 0.5441856251037687, "rf_loss": -0.10682152211666107, "total_loss": -0.5240296258651644, "lyap1_mean": -0.27951234579086304, "lyap1_max": -0.11089500039815903, "frac_above_star": 1.0 }, { "step": 20, "sup_loss": 0.6478148270468503, "rf_loss": -0.10035853832960129, "total_loss": -0.35577051154567896, "lyap1_mean": -0.25295907258987427, "lyap1_max": -0.17132996022701263, "frac_above_star": 1.0 }, { "step": 21, "sup_loss": 0.6718113583087357, "rf_loss": -0.0938207358121872, "total_loss": -0.2663960296154586, "lyap1_mean": -0.23267629742622375, "lyap1_max": -0.174527108669281, "frac_above_star": 1.0 }, { "step": 22, "sup_loss": 0.6558811009383788, "rf_loss": -0.10350540280342102, "total_loss": -0.3791728674911866, "lyap1_mean": -0.26817774772644043, "lyap1_max": -0.15806855261325836, "frac_above_star": 1.0 }, { "step": 23, "sup_loss": 0.7059192785628221, "rf_loss": -0.09955455362796783, "total_loss": -0.28962622791453385, "lyap1_mean": -0.2501904368400574, "lyap1_max": -0.19345879554748535, "frac_above_star": 1.0 }, { "step": 24, "sup_loss": 0.7419824509009271, "rf_loss": -0.09417438507080078, "total_loss": -0.19976139980708074, "lyap1_mean": -0.23278430104255676, "lyap1_max": -0.18485820293426514, "frac_above_star": 1.0 }, { "step": 25, "sup_loss": 0.8521672522034093, "rf_loss": -0.09770858287811279, "total_loss": -0.12491857657771865, "lyap1_mean": -0.2444249987602234, "lyap1_max": -0.1887136548757553, "frac_above_star": 1.0 }, { "step": 26, "sup_loss": 0.8930322829350988, "rf_loss": -0.09119662642478943, "total_loss": -0.018933981312795445, "lyap1_mean": -0.2215162068605423, "lyap1_max": -0.19164232909679413, "frac_above_star": 1.0 }, { "step": 27, "sup_loss": 0.592266036254, "rf_loss": -0.1086743175983429, "total_loss": -0.4944770801247842, "lyap1_mean": -0.28839847445487976, "lyap1_max": -0.18762485682964325, "frac_above_star": 1.0 }, { "step": 28, "sup_loss": 0.8069147610928238, "rf_loss": -0.09882117807865143, "total_loss": -0.1812969898913681, "lyap1_mean": -0.24748797714710236, "lyap1_max": -0.20031335949897766, "frac_above_star": 1.0 }, { "step": 29, "sup_loss": 0.7455931328410412, "rf_loss": -0.1020687147974968, "total_loss": -0.27509397043044315, "lyap1_mean": -0.26161181926727295, "lyap1_max": -0.19551746547222137, "frac_above_star": 1.0 }, { "step": 30, "sup_loss": 0.8196713031652575, "rf_loss": -0.10266640037298203, "total_loss": -0.20699271546572395, "lyap1_mean": -0.26128870248794556, "lyap1_max": -0.20432782173156738, "frac_above_star": 1.0 }, { "step": 31, "sup_loss": 0.7272554879027573, "rf_loss": -0.09991316497325897, "total_loss": -0.2718761916321548, "lyap1_mean": -0.25282785296440125, "lyap1_max": -0.1644330471754074, "frac_above_star": 1.0 }, { "step": 32, "sup_loss": 0.7282681334345421, "rf_loss": -0.09541662037372589, "total_loss": -0.22589804050039441, "lyap1_mean": -0.23847611248493195, "lyap1_max": -0.18036365509033203, "frac_above_star": 1.0 }, { "step": 33, "sup_loss": 0.6540144614906525, "rf_loss": -0.10592540353536606, "total_loss": -0.4052395887641693, "lyap1_mean": -0.271400511264801, "lyap1_max": -0.22112052142620087, "frac_above_star": 1.0 }, { "step": 34, "sup_loss": 0.6979424000244319, "rf_loss": -0.10815875232219696, "total_loss": -0.38364515299986013, "lyap1_mean": -0.2818204164505005, "lyap1_max": -0.20877067744731903, "frac_above_star": 1.0 }, { "step": 35, "sup_loss": 0.6071395140700456, "rf_loss": -0.10605965554714203, "total_loss": -0.45345707120369705, "lyap1_mean": -0.2730931043624878, "lyap1_max": -0.21314886212348938, "frac_above_star": 1.0 }, { "step": 36, "sup_loss": 0.6884515245725287, "rf_loss": -0.10616554319858551, "total_loss": -0.37320387761100404, "lyap1_mean": -0.27339452505111694, "lyap1_max": -0.21733030676841736, "frac_above_star": 1.0 }, { "step": 37, "sup_loss": 0.7960734485628882, "rf_loss": -0.10087114572525024, "total_loss": -0.21263800868961424, "lyap1_mean": -0.25288376212120056, "lyap1_max": -0.2255566567182541, "frac_above_star": 1.0 }, { "step": 38, "sup_loss": 0.6949159774620624, "rf_loss": -0.10464369505643845, "total_loss": -0.35152092839883853, "lyap1_mean": -0.2688581943511963, "lyap1_max": -0.21424993872642517, "frac_above_star": 1.0 }, { "step": 39, "sup_loss": 0.8046047210698405, "rf_loss": -0.10415126383304596, "total_loss": -0.23690788745829672, "lyap1_mean": -0.2653685212135315, "lyap1_max": -0.20975422859191895, "frac_above_star": 1.0 }, { "step": 40, "sup_loss": 0.8999271644792635, "rf_loss": -0.09455296397209167, "total_loss": -0.045602475241653284, "lyap1_mean": -0.233818918466568, "lyap1_max": -0.16852444410324097, "frac_above_star": 1.0 }, { "step": 41, "sup_loss": 0.6743735068428818, "rf_loss": -0.11244873702526093, "total_loss": -0.45011389321204986, "lyap1_mean": -0.29746484756469727, "lyap1_max": -0.22432869672775269, "frac_above_star": 1.0 }, { "step": 42, "sup_loss": 0.8125614268353218, "rf_loss": -0.11050576716661453, "total_loss": -0.29249628953430706, "lyap1_mean": -0.28925785422325134, "lyap1_max": -0.22889789938926697, "frac_above_star": 1.0 }, { "step": 43, "sup_loss": 0.7988941617935398, "rf_loss": -0.1092836931347847, "total_loss": -0.2939428142577908, "lyap1_mean": -0.28553175926208496, "lyap1_max": -0.23182976245880127, "frac_above_star": 1.0 }, { "step": 44, "sup_loss": 0.9527666914531824, "rf_loss": -0.10604292154312134, "total_loss": -0.107662523978031, "lyap1_mean": -0.2721095085144043, "lyap1_max": -0.23353034257888794, "frac_above_star": 1.0 }, { "step": 45, "sup_loss": 0.775056484618778, "rf_loss": -0.10828506946563721, "total_loss": -0.3077942100375941, "lyap1_mean": -0.2807208299636841, "lyap1_max": -0.21972179412841797, "frac_above_star": 1.0 }, { "step": 46, "sup_loss": 0.7522797657418384, "rf_loss": -0.10097133368253708, "total_loss": -0.2574335263800488, "lyap1_mean": -0.25271597504615784, "lyap1_max": -0.2295006364583969, "frac_above_star": 1.0 }, { "step": 47, "sup_loss": 0.7095499636639749, "rf_loss": -0.10967504978179932, "total_loss": -0.3872005341540182, "lyap1_mean": -0.28616103529930115, "lyap1_max": -0.22476151585578918, "frac_above_star": 1.0 }, { "step": 48, "sup_loss": 0.7435453704739245, "rf_loss": -0.10996918380260468, "total_loss": -0.3561464973544446, "lyap1_mean": -0.2867422103881836, "lyap1_max": -0.23484763503074646, "frac_above_star": 1.0 }, { "step": 49, "sup_loss": 0.6585389239521896, "rf_loss": -0.11146380007266998, "total_loss": -0.45609904697218784, "lyap1_mean": -0.2921523153781891, "lyap1_max": -0.2285493016242981, "frac_above_star": 1.0 }, { "step": 50, "sup_loss": 0.6851785121975872, "rf_loss": -0.10996705293655396, "total_loss": -0.41449201716795236, "lyap1_mean": -0.28700950741767883, "lyap1_max": -0.22166483104228973, "frac_above_star": 1.0 }, { "step": 51, "sup_loss": 0.8773661842476376, "rf_loss": -0.1024932712316513, "total_loss": -0.14756655787119788, "lyap1_mean": -0.25878340005874634, "lyap1_max": -0.21908912062644958, "frac_above_star": 1.0 }, { "step": 52, "sup_loss": 0.6034704053569332, "rf_loss": -0.11249153316020966, "total_loss": -0.5214449560474858, "lyap1_mean": -0.3010428845882416, "lyap1_max": -0.2056245505809784, "frac_above_star": 1.0 }, { "step": 53, "sup_loss": 0.7938146400439497, "rf_loss": -0.10665986686944962, "total_loss": -0.2727840137493852, "lyap1_mean": -0.2746215760707855, "lyap1_max": -0.20883004367351532, "frac_above_star": 1.0 }, { "step": 54, "sup_loss": 0.8381590392305012, "rf_loss": -0.10720603168010712, "total_loss": -0.2339013073728924, "lyap1_mean": -0.274573415517807, "lyap1_max": -0.23535144329071045, "frac_above_star": 1.0 }, { "step": 55, "sup_loss": 0.6493694157832905, "rf_loss": -0.11193696409463882, "total_loss": -0.4700002102619365, "lyap1_mean": -0.29319649934768677, "lyap1_max": -0.23424136638641357, "frac_above_star": 1.0 }, { "step": 56, "sup_loss": 0.74413284852681, "rf_loss": -0.11298780143260956, "total_loss": -0.3857451956016079, "lyap1_mean": -0.2987176775932312, "lyap1_max": -0.21834968030452728, "frac_above_star": 1.0 }, { "step": 57, "sup_loss": 0.7107794824386564, "rf_loss": -0.11610738933086395, "total_loss": -0.4502944406723055, "lyap1_mean": -0.3111738860607147, "lyap1_max": -0.23819874227046967, "frac_above_star": 1.0 }, { "step": 58, "sup_loss": 0.7862250070661756, "rf_loss": -0.11029601097106934, "total_loss": -0.31673510264451776, "lyap1_mean": -0.28764691948890686, "lyap1_max": -0.2253354787826538, "frac_above_star": 1.0 }, { "step": 59, "sup_loss": 0.6531958044840805, "rf_loss": -0.11237868666648865, "total_loss": -0.4705911217854507, "lyap1_mean": -0.29598766565322876, "lyap1_max": -0.2451660931110382, "frac_above_star": 1.0 }, { "step": 60, "sup_loss": 0.777659330177991, "rf_loss": -0.1024826169013977, "total_loss": -0.247166838835986, "lyap1_mean": -0.25749602913856506, "lyap1_max": -0.22527363896369934, "frac_above_star": 1.0 }, { "step": 61, "sup_loss": 0.6464526144886129, "rf_loss": -0.10848306119441986, "total_loss": -0.4383780272579081, "lyap1_mean": -0.283343642950058, "lyap1_max": -0.17276394367218018, "frac_above_star": 1.0 }, { "step": 62, "sup_loss": 0.5730884761743985, "rf_loss": -0.11932231485843658, "total_loss": -0.620134642607645, "lyap1_mean": -0.322591096162796, "lyap1_max": -0.24756062030792236, "frac_above_star": 1.0 }, { "step": 63, "sup_loss": 0.8388594615691548, "rf_loss": -0.11311942338943481, "total_loss": -0.29233477232519334, "lyap1_mean": -0.29628169536590576, "lyap1_max": -0.2573240399360657, "frac_above_star": 1.0 }, { "step": 64, "sup_loss": 0.7142171251914434, "rf_loss": -0.10660180449485779, "total_loss": -0.35180097936177923, "lyap1_mean": -0.2749555706977844, "lyap1_max": -0.22366920113563538, "frac_above_star": 1.0 }, { "step": 65, "sup_loss": 0.9130834747529307, "rf_loss": -0.11023746430873871, "total_loss": -0.18929119813677875, "lyap1_mean": -0.28750717639923096, "lyap1_max": -0.20452213287353516, "frac_above_star": 1.0 }, { "step": 66, "sup_loss": 0.6476548574028463, "rf_loss": -0.11804347485303879, "total_loss": -0.532779846424058, "lyap1_mean": -0.31763964891433716, "lyap1_max": -0.262087881565094, "frac_above_star": 1.0 }, { "step": 67, "sup_loss": 0.6650898780916807, "rf_loss": -0.11587505787611008, "total_loss": -0.49366065596593645, "lyap1_mean": -0.3102484345436096, "lyap1_max": -0.2110307514667511, "frac_above_star": 1.0 }, { "step": 68, "sup_loss": 0.6021658526591924, "rf_loss": -0.12144205719232559, "total_loss": -0.6122547043629023, "lyap1_mean": -0.33405449986457825, "lyap1_max": -0.23154735565185547, "frac_above_star": 1.0 }, { "step": 69, "sup_loss": 0.8366846824110719, "rf_loss": -0.11185209453105927, "total_loss": -0.2818362927018432, "lyap1_mean": -0.29299843311309814, "lyap1_max": -0.21728017926216125, "frac_above_star": 1.0 }, { "step": 70, "sup_loss": 0.736508374257025, "rf_loss": -0.12097784131765366, "total_loss": -0.4732700538206728, "lyap1_mean": -0.32821789383888245, "lyap1_max": -0.2646273672580719, "frac_above_star": 1.0 }, { "step": 71, "sup_loss": 0.8329603571056534, "rf_loss": -0.11255095899105072, "total_loss": -0.2925492626071762, "lyap1_mean": -0.29469484090805054, "lyap1_max": -0.26750969886779785, "frac_above_star": 1.0 }, { "step": 72, "sup_loss": 0.5496500735465292, "rf_loss": -0.12089595198631287, "total_loss": -0.6593095059212443, "lyap1_mean": -0.32834118604660034, "lyap1_max": -0.24802879989147186, "frac_above_star": 1.0 }, { "step": 73, "sup_loss": 0.6132736325643957, "rf_loss": -0.1267538219690323, "total_loss": -0.6542645573236048, "lyap1_mean": -0.35367506742477417, "lyap1_max": -0.28486329317092896, "frac_above_star": 1.0 }, { "step": 74, "sup_loss": 0.8831234855698891, "rf_loss": -0.11723178625106812, "total_loss": -0.2891943769407921, "lyap1_mean": -0.31321293115615845, "lyap1_max": -0.2754223048686981, "frac_above_star": 1.0 }, { "step": 75, "sup_loss": 0.7367417224872654, "rf_loss": -0.10798396170139313, "total_loss": -0.34309786472434345, "lyap1_mean": -0.2763368785381317, "lyap1_max": -0.25321340560913086, "frac_above_star": 1.0 }, { "step": 76, "sup_loss": 0.7106977785752916, "rf_loss": -0.11520075798034668, "total_loss": -0.4413098012281752, "lyap1_mean": -0.3053494691848755, "lyap1_max": -0.23698407411575317, "frac_above_star": 1.0 }, { "step": 77, "sup_loss": 0.8086506938840197, "rf_loss": -0.11508118361234665, "total_loss": -0.34216109753596324, "lyap1_mean": -0.3054843842983246, "lyap1_max": -0.25401076674461365, "frac_above_star": 1.0 }, { "step": 78, "sup_loss": 0.6554399236186343, "rf_loss": -0.11533921957015991, "total_loss": -0.4979522720829648, "lyap1_mean": -0.3063843250274658, "lyap1_max": -0.24171601235866547, "frac_above_star": 1.0 }, { "step": 79, "sup_loss": 0.7852603547651988, "rf_loss": -0.11817743629217148, "total_loss": -0.39651402305767713, "lyap1_mean": -0.31693071126937866, "lyap1_max": -0.2793732285499573, "frac_above_star": 1.0 }, { "step": 80, "sup_loss": 0.7830536541685803, "rf_loss": -0.11803442239761353, "total_loss": -0.39729056980755495, "lyap1_mean": -0.31814777851104736, "lyap1_max": -0.2562609612941742, "frac_above_star": 1.0 }, { "step": 81, "sup_loss": 0.5391789979489108, "rf_loss": -0.12405256927013397, "total_loss": -0.7013467245547513, "lyap1_mean": -0.341775119304657, "lyap1_max": -0.26784372329711914, "frac_above_star": 1.0 }, { "step": 82, "sup_loss": 0.7191001345028303, "rf_loss": -0.12162640690803528, "total_loss": -0.49716387497287773, "lyap1_mean": -0.3369347155094147, "lyap1_max": -0.20134049654006958, "frac_above_star": 1.0 }, { "step": 83, "sup_loss": 0.7833580806936996, "rf_loss": -0.11470556259155273, "total_loss": -0.36369754522182773, "lyap1_mean": -0.3059996962547302, "lyap1_max": -0.23884418606758118, "frac_above_star": 1.0 }, { "step": 84, "sup_loss": 0.7271131495956227, "rf_loss": -0.12040881812572479, "total_loss": -0.47697506146394764, "lyap1_mean": -0.32613638043403625, "lyap1_max": -0.2689237594604492, "frac_above_star": 1.0 }, { "step": 85, "sup_loss": 0.8059811375169527, "rf_loss": -0.11502009630203247, "total_loss": -0.34421982550337205, "lyap1_mean": -0.303574800491333, "lyap1_max": -0.24788258969783783, "frac_above_star": 1.0 }, { "step": 86, "sup_loss": 0.8427997237209108, "rf_loss": -0.12058286368846893, "total_loss": -0.3630289429661009, "lyap1_mean": -0.33012932538986206, "lyap1_max": -0.2720690369606018, "frac_above_star": 1.0 }, { "step": 87, "sup_loss": 0.8181325908601607, "rf_loss": -0.11459241807460785, "total_loss": -0.3277916196882402, "lyap1_mean": -0.30045056343078613, "lyap1_max": -0.2556697428226471, "frac_above_star": 1.0 }, { "step": 88, "sup_loss": 0.962364330138672, "rf_loss": -0.1204458624124527, "total_loss": -0.24209426418353264, "lyap1_mean": -0.32557910680770874, "lyap1_max": -0.27918580174446106, "frac_above_star": 1.0 }, { "step": 89, "sup_loss": 1.0216339225267212, "rf_loss": -0.1186535507440567, "total_loss": -0.16490155511152338, "lyap1_mean": -0.3176843822002411, "lyap1_max": -0.2810259461402893, "frac_above_star": 1.0 }, { "step": 90, "sup_loss": 0.7692475077959735, "rf_loss": -0.11867514252662659, "total_loss": -0.4175038578656476, "lyap1_mean": -0.3199085593223572, "lyap1_max": -0.2724413573741913, "frac_above_star": 1.0 }, { "step": 91, "sup_loss": 0.9415339413142594, "rf_loss": -0.11856592446565628, "total_loss": -0.244125348045787, "lyap1_mean": -0.3172890245914459, "lyap1_max": -0.28109538555145264, "frac_above_star": 1.0 }, { "step": 92, "sup_loss": 0.9008915485600545, "rf_loss": -0.12090504169464111, "total_loss": -0.30815886838635664, "lyap1_mean": -0.32694387435913086, "lyap1_max": -0.27901196479797363, "frac_above_star": 1.0 }, { "step": 93, "sup_loss": 0.8568788098263919, "rf_loss": -0.12343621253967285, "total_loss": -0.37748331557033665, "lyap1_mean": -0.3408273756504059, "lyap1_max": -0.2743319869041443, "frac_above_star": 1.0 }, { "step": 94, "sup_loss": 0.9293618530806672, "rf_loss": -0.11476263403892517, "total_loss": -0.21826454691322927, "lyap1_mean": -0.3014795184135437, "lyap1_max": -0.23788195848464966, "frac_above_star": 1.0 }, { "step": 95, "sup_loss": 0.7422881326798447, "rf_loss": -0.12615758180618286, "total_loss": -0.5192876853819839, "lyap1_mean": -0.35318002104759216, "lyap1_max": -0.2564745247364044, "frac_above_star": 1.0 }, { "step": 96, "sup_loss": 0.7153133630614781, "rf_loss": -0.12649449706077576, "total_loss": -0.5496316671509243, "lyap1_mean": -0.3514184057712555, "lyap1_max": -0.2945864796638489, "frac_above_star": 1.0 }, { "step": 97, "sup_loss": 0.5886440947091698, "rf_loss": -0.11994164437055588, "total_loss": -0.6107723042929054, "lyap1_mean": -0.3230973482131958, "lyap1_max": -0.2849455773830414, "frac_above_star": 1.0 }, { "step": 98, "sup_loss": 0.8356767432417753, "rf_loss": -0.12806665897369385, "total_loss": -0.44498984649516315, "lyap1_mean": -0.35973721742630005, "lyap1_max": -0.29913192987442017, "frac_above_star": 1.0 }, { "step": 99, "sup_loss": 0.6831895051523367, "rf_loss": -0.12538841366767883, "total_loss": -0.5706945719198069, "lyap1_mean": -0.35325977206230164, "lyap1_max": -0.18854683637619019, "frac_above_star": 1.0 }, { "step": 100, "sup_loss": 0.5851525937047742, "rf_loss": -0.13099130988121033, "total_loss": -0.7247605647119738, "lyap1_mean": -0.37419289350509644, "lyap1_max": -0.28018125891685486, "frac_above_star": 1.0 }, { "step": 101, "sup_loss": 0.6894056767256809, "rf_loss": -0.11969947814941406, "total_loss": -0.5075891047684598, "lyap1_mean": -0.3272949457168579, "lyap1_max": -0.23218047618865967, "frac_above_star": 1.0 }, { "step": 102, "sup_loss": 0.7388292588315544, "rf_loss": -0.1326228827238083, "total_loss": -0.5873995982088509, "lyap1_mean": -0.38400137424468994, "lyap1_max": -0.26898178458213806, "frac_above_star": 1.0 }, { "step": 103, "sup_loss": 0.8321340955398201, "rf_loss": -0.12395022064447403, "total_loss": -0.407368096003759, "lyap1_mean": -0.340584933757782, "lyap1_max": -0.30571892857551575, "frac_above_star": 1.0 }, { "step": 104, "sup_loss": 0.8595075647487522, "rf_loss": -0.12472179532051086, "total_loss": -0.38771032885171164, "lyap1_mean": -0.3407832980155945, "lyap1_max": -0.3143690824508667, "frac_above_star": 1.0 }, { "step": 105, "sup_loss": 0.6231387153559357, "rf_loss": -0.12840397655963898, "total_loss": -0.6609010204381317, "lyap1_mean": -0.3603198230266571, "lyap1_max": -0.27988454699516296, "frac_above_star": 1.0 }, { "step": 106, "sup_loss": 0.8342515844393029, "rf_loss": -0.11985485255718231, "total_loss": -0.3642969709348426, "lyap1_mean": -0.3212030827999115, "lyap1_max": -0.2753112316131592, "frac_above_star": 1.0 }, { "step": 107, "sup_loss": 0.7341079158626358, "rf_loss": -0.12548810243606567, "total_loss": -0.5207731084980209, "lyap1_mean": -0.3473493158817291, "lyap1_max": -0.29682105779647827, "frac_above_star": 1.0 }, { "step": 108, "sup_loss": 0.7177101888480768, "rf_loss": -0.12152820080518723, "total_loss": -0.49757177450031187, "lyap1_mean": -0.3293547034263611, "lyap1_max": -0.2728801667690277, "frac_above_star": 1.0 }, { "step": 109, "sup_loss": 0.8776605213411087, "rf_loss": -0.12427471578121185, "total_loss": -0.3650866662733322, "lyap1_mean": -0.34227877855300903, "lyap1_max": -0.3040581941604614, "frac_above_star": 1.0 }, { "step": 110, "sup_loss": 0.7875813051163716, "rf_loss": -0.12460939586162567, "total_loss": -0.4585126833022075, "lyap1_mean": -0.3419989049434662, "lyap1_max": -0.3046637177467346, "frac_above_star": 1.0 }, { "step": 111, "sup_loss": 0.9653466482380659, "rf_loss": -0.12349468469619751, "total_loss": -0.26960019872390917, "lyap1_mean": -0.3395397663116455, "lyap1_max": -0.25307410955429077, "frac_above_star": 1.0 }, { "step": 112, "sup_loss": 0.8292012404426605, "rf_loss": -0.1259470283985138, "total_loss": -0.43026898393783264, "lyap1_mean": -0.34713855385780334, "lyap1_max": -0.2983133792877197, "frac_above_star": 1.0 }, { "step": 113, "sup_loss": 0.7861866940176279, "rf_loss": -0.12683847546577454, "total_loss": -0.4821980010354727, "lyap1_mean": -0.35178297758102417, "lyap1_max": -0.3139471709728241, "frac_above_star": 1.0 }, { "step": 114, "sup_loss": 0.720992818594216, "rf_loss": -0.13074339926242828, "total_loss": -0.5864411442277444, "lyap1_mean": -0.3695307672023773, "lyap1_max": -0.31159788370132446, "frac_above_star": 1.0 }, { "step": 115, "sup_loss": 0.7600780922064608, "rf_loss": -0.13049805164337158, "total_loss": -0.544902424227255, "lyap1_mean": -0.3674885928630829, "lyap1_max": -0.33149033784866333, "frac_above_star": 1.0 }, { "step": 116, "sup_loss": 0.7182656538887457, "rf_loss": -0.13037532567977905, "total_loss": -0.5854876029090448, "lyap1_mean": -0.37178805470466614, "lyap1_max": -0.298457533121109, "frac_above_star": 1.0 }, { "step": 117, "sup_loss": 0.8805977351286971, "rf_loss": -0.12811166048049927, "total_loss": -0.4005188696762956, "lyap1_mean": -0.3569834232330322, "lyap1_max": -0.3008261024951935, "frac_above_star": 1.0 }, { "step": 118, "sup_loss": 0.6498519628350415, "rf_loss": -0.1287888139486313, "total_loss": -0.6380362064535937, "lyap1_mean": -0.3649608790874481, "lyap1_max": -0.292304128408432, "frac_above_star": 1.0 }, { "step": 119, "sup_loss": 0.7028275409406284, "rf_loss": -0.13280300796031952, "total_loss": -0.6252025684648892, "lyap1_mean": -0.38067448139190674, "lyap1_max": -0.33368226885795593, "frac_above_star": 1.0 }, { "step": 120, "sup_loss": 0.8380848716637773, "rf_loss": -0.1256507784128189, "total_loss": -0.4184228826620894, "lyap1_mean": -0.34389767050743103, "lyap1_max": -0.32648107409477234, "frac_above_star": 1.0 }, { "step": 121, "sup_loss": 0.9639142249385203, "rf_loss": -0.127895325422287, "total_loss": -0.31503908888899435, "lyap1_mean": -0.35599273443222046, "lyap1_max": -0.3042373061180115, "frac_above_star": 1.0 }, { "step": 122, "sup_loss": 0.8642259163875975, "rf_loss": -0.13021546602249146, "total_loss": -0.43792874383731706, "lyap1_mean": -0.3712848424911499, "lyap1_max": -0.3040983974933624, "frac_above_star": 1.0 }, { "step": 123, "sup_loss": 0.9285291922699077, "rf_loss": -0.1284247636795044, "total_loss": -0.35571844452513623, "lyap1_mean": -0.35998234152793884, "lyap1_max": -0.30675721168518066, "frac_above_star": 1.0 }, { "step": 124, "sup_loss": 1.0424717759096942, "rf_loss": -0.12585993111133575, "total_loss": -0.21612750540134096, "lyap1_mean": -0.3459399342536926, "lyap1_max": -0.29724904894828796, "frac_above_star": 1.0 }, { "step": 125, "sup_loss": 0.7008845384706455, "rf_loss": -0.13027730584144592, "total_loss": -0.601888460339169, "lyap1_mean": -0.3720402121543884, "lyap1_max": -0.27632832527160645, "frac_above_star": 1.0 }, { "step": 126, "sup_loss": 0.6868501550137015, "rf_loss": -0.1286880522966385, "total_loss": -0.600030338150361, "lyap1_mean": -0.36291787028312683, "lyap1_max": -0.24765297770500183, "frac_above_star": 1.0 }, { "step": 127, "sup_loss": 0.663124434595042, "rf_loss": -0.1338302195072174, "total_loss": -0.6751777008724873, "lyap1_mean": -0.3917471170425415, "lyap1_max": -0.23405127227306366, "frac_above_star": 1.0 }, { "step": 128, "sup_loss": 0.5531215530274766, "rf_loss": -0.13402751088142395, "total_loss": -0.7871534961821182, "lyap1_mean": -0.39169609546661377, "lyap1_max": -0.244286447763443, "frac_above_star": 1.0 }, { "step": 129, "sup_loss": 0.621923180591017, "rf_loss": -0.12905272841453552, "total_loss": -0.668604163158983, "lyap1_mean": -0.3621408939361572, "lyap1_max": -0.3144763112068176, "frac_above_star": 1.0 }, { "step": 130, "sup_loss": 0.7964892903031143, "rf_loss": -0.132670596241951, "total_loss": -0.5302166423140732, "lyap1_mean": -0.3835352063179016, "lyap1_max": -0.3125467896461487, "frac_above_star": 1.0 }, { "step": 131, "sup_loss": 0.5982136737059632, "rf_loss": -0.13390016555786133, "total_loss": -0.74078798187265, "lyap1_mean": -0.3878217935562134, "lyap1_max": -0.3210267722606659, "frac_above_star": 1.0 }, { "step": 132, "sup_loss": 0.6337332891712142, "rf_loss": -0.13900034129619598, "total_loss": -0.756270153593068, "lyap1_mean": -0.41318827867507935, "lyap1_max": -0.3222563862800598, "frac_above_star": 1.0 }, { "step": 133, "sup_loss": 0.7836911605557868, "rf_loss": -0.12878292798995972, "total_loss": -0.5041381193438104, "lyap1_mean": -0.36311817169189453, "lyap1_max": -0.2913427948951721, "frac_above_star": 1.0 }, { "step": 134, "sup_loss": 0.8347213750827686, "rf_loss": -0.13306409120559692, "total_loss": -0.4959195369732007, "lyap1_mean": -0.3838322162628174, "lyap1_max": -0.330457866191864, "frac_above_star": 1.0 }, { "step": 135, "sup_loss": 0.7245058219283247, "rf_loss": -0.13438740372657776, "total_loss": -0.6193681557328081, "lyap1_mean": -0.3856584131717682, "lyap1_max": -0.3274536728858948, "frac_above_star": 1.0 }, { "step": 136, "sup_loss": 0.6613672606121765, "rf_loss": -0.13693034648895264, "total_loss": -0.7079362042773498, "lyap1_mean": -0.40124282240867615, "lyap1_max": -0.3396194875240326, "frac_above_star": 1.0 }, { "step": 137, "sup_loss": 0.8441259465286156, "rf_loss": -0.13087564706802368, "total_loss": -0.4646305241516212, "lyap1_mean": -0.37221968173980713, "lyap1_max": -0.3187496066093445, "frac_above_star": 1.0 }, { "step": 138, "sup_loss": 0.678025730590792, "rf_loss": -0.13905563950538635, "total_loss": -0.7125306048584268, "lyap1_mean": -0.4234122037887573, "lyap1_max": -0.22491006553173065, "frac_above_star": 1.0 }, { "step": 139, "sup_loss": 0.7258491419501756, "rf_loss": -0.13527442514896393, "total_loss": -0.6268950797371413, "lyap1_mean": -0.3945731520652771, "lyap1_max": -0.3230147361755371, "frac_above_star": 1.0 }, { "step": 140, "sup_loss": 0.9623757575605661, "rf_loss": -0.133981853723526, "total_loss": -0.3774427200700491, "lyap1_mean": -0.3845289945602417, "lyap1_max": -0.34539204835891724, "frac_above_star": 1.0 }, { "step": 141, "sup_loss": 1.0022909357569691, "rf_loss": -0.12998855113983154, "total_loss": -0.2975945756413463, "lyap1_mean": -0.36310261487960815, "lyap1_max": -0.3265696167945862, "frac_above_star": 1.0 }, { "step": 142, "sup_loss": 0.7080965911600562, "rf_loss": -0.1372104287147522, "total_loss": -0.6640076959874658, "lyap1_mean": -0.4071608781814575, "lyap1_max": -0.3168709874153137, "frac_above_star": 1.0 }, { "step": 143, "sup_loss": 0.8730718754283963, "rf_loss": -0.13091182708740234, "total_loss": -0.4360463954456272, "lyap1_mean": -0.37423765659332275, "lyap1_max": -0.2948221266269684, "frac_above_star": 1.0 }, { "step": 144, "sup_loss": 0.8472399847595912, "rf_loss": -0.12943321466445923, "total_loss": -0.4470921618850011, "lyap1_mean": -0.36293381452560425, "lyap1_max": -0.29818108677864075, "frac_above_star": 1.0 }, { "step": 145, "sup_loss": 0.899256336052732, "rf_loss": -0.1285865157842636, "total_loss": -0.38660885159222647, "lyap1_mean": -0.36024945974349976, "lyap1_max": -0.29811304807662964, "frac_above_star": 1.0 }, { "step": 146, "sup_loss": 0.6072056666512599, "rf_loss": -0.1425350308418274, "total_loss": -0.8181446417670141, "lyap1_mean": -0.4322895407676697, "lyap1_max": -0.35472044348716736, "frac_above_star": 1.0 }, { "step": 147, "sup_loss": 0.7710617254805472, "rf_loss": -0.13515591621398926, "total_loss": -0.5804974366593454, "lyap1_mean": -0.390103280544281, "lyap1_max": -0.34084552526474, "frac_above_star": 1.0 }, { "step": 148, "sup_loss": 0.7122434507436853, "rf_loss": -0.14266431331634521, "total_loss": -0.7143996824197668, "lyap1_mean": -0.43555229902267456, "lyap1_max": -0.34092578291893005, "frac_above_star": 1.0 }, { "step": 149, "sup_loss": 0.5851002384840137, "rf_loss": -0.1412319540977478, "total_loss": -0.8272193024934643, "lyap1_mean": -0.4247063100337982, "lyap1_max": -0.32518577575683594, "frac_above_star": 1.0 }, { "step": 150, "sup_loss": 0.6889809191676812, "rf_loss": -0.14841662347316742, "total_loss": -0.7951853453663154, "lyap1_mean": -0.466617226600647, "lyap1_max": -0.38652679324150085, "frac_above_star": 1.0 }, { "step": 151, "sup_loss": 0.6455807171786286, "rf_loss": -0.13709411025047302, "total_loss": -0.7253604449307464, "lyap1_mean": -0.40240052342414856, "lyap1_max": -0.3198641538619995, "frac_above_star": 1.0 }, { "step": 152, "sup_loss": 0.7167933226938293, "rf_loss": -0.1364511251449585, "total_loss": -0.6477179287557556, "lyap1_mean": -0.40139421820640564, "lyap1_max": -0.3249073028564453, "frac_above_star": 1.0 }, { "step": 153, "sup_loss": 0.6868092105715062, "rf_loss": -0.13820162415504456, "total_loss": -0.6952069713742945, "lyap1_mean": -0.4066963195800781, "lyap1_max": -0.36349111795425415, "frac_above_star": 1.0 }, { "step": 154, "sup_loss": 0.8786395740294879, "rf_loss": -0.13706627488136292, "total_loss": -0.4920231151794965, "lyap1_mean": -0.401203453540802, "lyap1_max": -0.3338339030742645, "frac_above_star": 1.0 }, { "step": 155, "sup_loss": 0.5573283764840506, "rf_loss": -0.13939085602760315, "total_loss": -0.8365801241873361, "lyap1_mean": -0.4193533658981323, "lyap1_max": -0.31402063369750977, "frac_above_star": 1.0 }, { "step": 156, "sup_loss": 0.884116729940543, "rf_loss": -0.1423327624797821, "total_loss": -0.5392109544619228, "lyap1_mean": -0.4300416111946106, "lyap1_max": -0.3659944534301758, "frac_above_star": 1.0 }, { "step": 157, "sup_loss": 0.9247216223345734, "rf_loss": -0.13960450887680054, "total_loss": -0.4713234664334319, "lyap1_mean": -0.4159718453884125, "lyap1_max": -0.31953462958335876, "frac_above_star": 1.0 }, { "step": 158, "sup_loss": 1.1362639096441856, "rf_loss": -0.13633906841278076, "total_loss": -0.22712677448362206, "lyap1_mean": -0.3944462835788727, "lyap1_max": -0.3605514466762543, "frac_above_star": 1.0 }, { "step": 159, "sup_loss": 0.7332480372666176, "rf_loss": -0.14316920936107635, "total_loss": -0.6984440861464684, "lyap1_mean": -0.4348260760307312, "lyap1_max": -0.357470840215683, "frac_above_star": 1.0 }, { "step": 160, "sup_loss": 0.9630144224512142, "rf_loss": -0.13472086191177368, "total_loss": -0.38419419666652266, "lyap1_mean": -0.3854786157608032, "lyap1_max": -0.3416978120803833, "frac_above_star": 1.0 }, { "step": 161, "sup_loss": 0.5564798769515539, "rf_loss": -0.1383550614118576, "total_loss": -0.8270707669693446, "lyap1_mean": -0.4081572890281677, "lyap1_max": -0.33589035272598267, "frac_above_star": 1.0 }, { "step": 162, "sup_loss": 0.6077053444925056, "rf_loss": -0.14371837675571442, "total_loss": -0.8294783932623162, "lyap1_mean": -0.44205403327941895, "lyap1_max": -0.3377016484737396, "frac_above_star": 1.0 }, { "step": 163, "sup_loss": 0.8232517148599182, "rf_loss": -0.13667303323745728, "total_loss": -0.5434786175146545, "lyap1_mean": -0.39464902877807617, "lyap1_max": -0.3551873564720154, "frac_above_star": 1.0 }, { "step": 164, "sup_loss": 0.6946259882297309, "rf_loss": -0.1436014026403427, "total_loss": -0.7413880679760186, "lyap1_mean": -0.44104450941085815, "lyap1_max": -0.35112544894218445, "frac_above_star": 1.0 }, { "step": 165, "sup_loss": 0.612165387086333, "rf_loss": -0.14719340205192566, "total_loss": -0.8597686930375684, "lyap1_mean": -0.46121805906295776, "lyap1_max": -0.3641132712364197, "frac_above_star": 1.0 }, { "step": 166, "sup_loss": 0.8402400927291632, "rf_loss": -0.13917624950408936, "total_loss": -0.5515224023117303, "lyap1_mean": -0.4116157591342926, "lyap1_max": -0.33375465869903564, "frac_above_star": 1.0 }, { "step": 167, "sup_loss": 0.9673275635032679, "rf_loss": -0.13869647681713104, "total_loss": -0.41963723447036494, "lyap1_mean": -0.4071250557899475, "lyap1_max": -0.3515540361404419, "frac_above_star": 1.0 }, { "step": 168, "sup_loss": 0.7813567926608329, "rf_loss": -0.14199872314929962, "total_loss": -0.6386304090298409, "lyap1_mean": -0.4247271418571472, "lyap1_max": -0.37543103098869324, "frac_above_star": 1.0 }, { "step": 169, "sup_loss": 0.6713700749007318, "rf_loss": -0.141165629029274, "total_loss": -0.7402861855896857, "lyap1_mean": -0.42433416843414307, "lyap1_max": -0.3608953356742859, "frac_above_star": 1.0 }, { "step": 170, "sup_loss": 0.7214748756731588, "rf_loss": -0.14195868372917175, "total_loss": -0.6981120212232035, "lyap1_mean": -0.4280490279197693, "lyap1_max": -0.37342411279678345, "frac_above_star": 1.0 }, { "step": 171, "sup_loss": 0.648763112179237, "rf_loss": -0.13692685961723328, "total_loss": -0.7205055435977405, "lyap1_mean": -0.3980497717857361, "lyap1_max": -0.3451704978942871, "frac_above_star": 1.0 }, { "step": 172, "sup_loss": 0.8341773213477485, "rf_loss": -0.13744360208511353, "total_loss": -0.5402586995033868, "lyap1_mean": -0.4019725024700165, "lyap1_max": -0.3640730082988739, "frac_above_star": 1.0 }, { "step": 173, "sup_loss": 0.7367136801514331, "rf_loss": -0.13811223208904266, "total_loss": -0.6444086705413159, "lyap1_mean": -0.40395525097846985, "lyap1_max": -0.33051422238349915, "frac_above_star": 1.0 }, { "step": 174, "sup_loss": 0.8233068080931356, "rf_loss": -0.14011438190937042, "total_loss": -0.5778369811982462, "lyap1_mean": -0.4177926778793335, "lyap1_max": -0.3492508828639984, "frac_above_star": 1.0 }, { "step": 175, "sup_loss": 0.7740910611994883, "rf_loss": -0.14477980136871338, "total_loss": -0.6737069524876454, "lyap1_mean": -0.4424958825111389, "lyap1_max": -0.3734632134437561, "frac_above_star": 1.0 }, { "step": 176, "sup_loss": 0.7940172002580075, "rf_loss": -0.13708724081516266, "total_loss": -0.5768551780912967, "lyap1_mean": -0.39946985244750977, "lyap1_max": -0.36046072840690613, "frac_above_star": 1.0 }, { "step": 177, "sup_loss": 0.6930373229671399, "rf_loss": -0.14371082186698914, "total_loss": -0.7440709553073962, "lyap1_mean": -0.4374644160270691, "lyap1_max": -0.3718652129173279, "frac_above_star": 1.0 }, { "step": 178, "sup_loss": 0.6704656298162901, "rf_loss": -0.14133524894714355, "total_loss": -0.7428868596551454, "lyap1_mean": -0.42282694578170776, "lyap1_max": -0.35933423042297363, "frac_above_star": 1.0 }, { "step": 179, "sup_loss": 0.7127419895467639, "rf_loss": -0.14781002700328827, "total_loss": -0.7653583102884411, "lyap1_mean": -0.45870786905288696, "lyap1_max": -0.41842159628868103, "frac_above_star": 1.0 }, { "step": 180, "sup_loss": 0.7482101931025763, "rf_loss": -0.14437401294708252, "total_loss": -0.6955299363682489, "lyap1_mean": -0.43913501501083374, "lyap1_max": -0.3912467658519745, "frac_above_star": 1.0 }, { "step": 181, "sup_loss": 0.5708777422720605, "rf_loss": -0.1475522816181183, "total_loss": -0.9046450143044776, "lyap1_mean": -0.46249639987945557, "lyap1_max": -0.3856951892375946, "frac_above_star": 1.0 }, { "step": 182, "sup_loss": 0.8130181457333152, "rf_loss": -0.14636996388435364, "total_loss": -0.6506814335055764, "lyap1_mean": -0.4530670642852783, "lyap1_max": -0.39257001876831055, "frac_above_star": 1.0 }, { "step": 183, "sup_loss": 0.8777215038903654, "rf_loss": -0.144153892993927, "total_loss": -0.5638174260489046, "lyap1_mean": -0.43794330954551697, "lyap1_max": -0.3803609013557434, "frac_above_star": 1.0 }, { "step": 184, "sup_loss": 0.44732225859322977, "rf_loss": -0.14864180982112885, "total_loss": -1.0390958694203811, "lyap1_mean": -0.4719545245170593, "lyap1_max": -0.3677547872066498, "frac_above_star": 1.0 }, { "step": 185, "sup_loss": 0.4432516243439121, "rf_loss": -0.15355679392814636, "total_loss": -1.0923163745421962, "lyap1_mean": -0.5033115148544312, "lyap1_max": -0.3975452184677124, "frac_above_star": 1.0 }, { "step": 186, "sup_loss": 0.6629557983358391, "rf_loss": -0.14544203877449036, "total_loss": -0.7914645298044197, "lyap1_mean": -0.4567527770996094, "lyap1_max": -0.32690417766571045, "frac_above_star": 1.0 }, { "step": 187, "sup_loss": 0.7186000404918639, "rf_loss": -0.14533060789108276, "total_loss": -0.7347060384189638, "lyap1_mean": -0.446808397769928, "lyap1_max": -0.3999444842338562, "frac_above_star": 1.0 }, { "step": 188, "sup_loss": 0.9458521868747259, "rf_loss": -0.14499986171722412, "total_loss": -0.5041464302975153, "lyap1_mean": -0.44399628043174744, "lyap1_max": -0.40716755390167236, "frac_above_star": 1.0 }, { "step": 189, "sup_loss": 1.0719305970371307, "rf_loss": -0.14475949108600616, "total_loss": -0.3756642840206086, "lyap1_mean": -0.4413987398147583, "lyap1_max": -0.395815372467041, "frac_above_star": 1.0 }, { "step": 190, "sup_loss": 0.7043501184400207, "rf_loss": -0.14484979212284088, "total_loss": -0.7441477729860657, "lyap1_mean": -0.44562625885009766, "lyap1_max": -0.3708421587944031, "frac_above_star": 1.0 }, { "step": 191, "sup_loss": 0.7662842992307326, "rf_loss": -0.1470145285129547, "total_loss": -0.7038609262941697, "lyap1_mean": -0.45683348178863525, "lyap1_max": -0.3940930962562561, "frac_above_star": 1.0 }, { "step": 192, "sup_loss": 0.8299045589241891, "rf_loss": -0.14223262667655945, "total_loss": -0.5924217674460501, "lyap1_mean": -0.42453330755233765, "lyap1_max": -0.3776364028453827, "frac_above_star": 1.0 }, { "step": 193, "sup_loss": 0.4835099497254077, "rf_loss": -0.15467223525047302, "total_loss": -1.0632124623839674, "lyap1_mean": -0.5088427066802979, "lyap1_max": -0.44200587272644043, "frac_above_star": 1.0 }, { "step": 194, "sup_loss": 0.9451386874923262, "rf_loss": -0.14379829168319702, "total_loss": -0.492844229339644, "lyap1_mean": -0.43592745065689087, "lyap1_max": -0.40128833055496216, "frac_above_star": 1.0 }, { "step": 195, "sup_loss": 0.6525639808834082, "rf_loss": -0.1501358300447464, "total_loss": -0.8487942897617334, "lyap1_mean": -0.4821377098560333, "lyap1_max": -0.39421212673187256, "frac_above_star": 1.0 }, { "step": 196, "sup_loss": 1.0294781854778583, "rf_loss": -0.1429539918899536, "total_loss": -0.40006173342167783, "lyap1_mean": -0.4276873767375946, "lyap1_max": -0.39225971698760986, "frac_above_star": 1.0 }, { "step": 197, "sup_loss": 0.8175529728779601, "rf_loss": -0.14477872848510742, "total_loss": -0.6302343119731141, "lyap1_mean": -0.44485315680503845, "lyap1_max": -0.3778949975967407, "frac_above_star": 1.0 }, { "step": 198, "sup_loss": 0.7873137543169964, "rf_loss": -0.14827531576156616, "total_loss": -0.6954394032986653, "lyap1_mean": -0.4626205265522003, "lyap1_max": -0.4135744273662567, "frac_above_star": 1.0 }, { "step": 199, "sup_loss": 0.7476389138994409, "rf_loss": -0.14207126200199127, "total_loss": -0.6730736763181494, "lyap1_mean": -0.4275730848312378, "lyap1_max": -0.3351300358772278, "frac_above_star": 1.0 }, { "step": 200, "sup_loss": 0.8475941202081634, "rf_loss": -0.14568063616752625, "total_loss": -0.6092123010717438, "lyap1_mean": -0.4431464970111847, "lyap1_max": -0.43140310049057007, "frac_above_star": 1.0 }, { "step": 201, "sup_loss": 0.744910250220435, "rf_loss": -0.14768479764461517, "total_loss": -0.7319377560280391, "lyap1_mean": -0.45751434564590454, "lyap1_max": -0.42783093452453613, "frac_above_star": 1.0 }, { "step": 202, "sup_loss": 0.8515594495418077, "rf_loss": -0.14681300520896912, "total_loss": -0.6165706621525282, "lyap1_mean": -0.4535793662071228, "lyap1_max": -0.38828200101852417, "frac_above_star": 1.0 }, { "step": 203, "sup_loss": 0.9000347339082138, "rf_loss": -0.14840593934059143, "total_loss": -0.5840245998930558, "lyap1_mean": -0.4617287516593933, "lyap1_max": -0.4160604476928711, "frac_above_star": 1.0 }, { "step": 204, "sup_loss": 0.9896624815728166, "rf_loss": -0.14917057752609253, "total_loss": -0.5020432936881087, "lyap1_mean": -0.46809595823287964, "lyap1_max": -0.43484824895858765, "frac_above_star": 1.0 }, { "step": 205, "sup_loss": 0.9846098530471719, "rf_loss": -0.14536121487617493, "total_loss": -0.46900223610993264, "lyap1_mean": -0.44184842705726624, "lyap1_max": -0.40046870708465576, "frac_above_star": 1.0 }, { "step": 206, "sup_loss": 0.8972203873035132, "rf_loss": -0.14927154779434204, "total_loss": -0.5954950906399072, "lyap1_mean": -0.4707730710506439, "lyap1_max": -0.39828652143478394, "frac_above_star": 1.0 }, { "step": 207, "sup_loss": 1.0505682338896805, "rf_loss": -0.14699876308441162, "total_loss": -0.41941939695443575, "lyap1_mean": -0.4520655870437622, "lyap1_max": -0.4057222306728363, "frac_above_star": 1.0 }, { "step": 208, "sup_loss": 0.8271930226327635, "rf_loss": -0.1471003293991089, "total_loss": -0.6438102713583254, "lyap1_mean": -0.4545997083187103, "lyap1_max": -0.38123512268066406, "frac_above_star": 1.0 }, { "step": 209, "sup_loss": 0.7391057323390905, "rf_loss": -0.1474476158618927, "total_loss": -0.7353703666751917, "lyap1_mean": -0.46327653527259827, "lyap1_max": -0.31002718210220337, "frac_above_star": 1.0 }, { "step": 210, "sup_loss": 0.8295401155683987, "rf_loss": -0.14701342582702637, "total_loss": -0.640594142701865, "lyap1_mean": -0.453914612531662, "lyap1_max": -0.39696264266967773, "frac_above_star": 1.0 }, { "step": 211, "sup_loss": 0.7215105540481505, "rf_loss": -0.148516446352005, "total_loss": -0.7636538498672548, "lyap1_mean": -0.4656051993370056, "lyap1_max": -0.3955118656158447, "frac_above_star": 1.0 }, { "step": 212, "sup_loss": 1.0440679655434748, "rf_loss": -0.14746658504009247, "total_loss": -0.43059791465977226, "lyap1_mean": -0.455161452293396, "lyap1_max": -0.39778754115104675, "frac_above_star": 1.0 }, { "step": 213, "sup_loss": 0.980819925506156, "rf_loss": -0.1490652859210968, "total_loss": -0.5098328741001672, "lyap1_mean": -0.46515703201293945, "lyap1_max": -0.44350919127464294, "frac_above_star": 1.0 }, { "step": 214, "sup_loss": 0.9287904628272587, "rf_loss": -0.1492370218038559, "total_loss": -0.5635797850136226, "lyap1_mean": -0.46815067529678345, "lyap1_max": -0.4264931380748749, "frac_above_star": 1.0 }, { "step": 215, "sup_loss": 0.8468253327035092, "rf_loss": -0.15307781100273132, "total_loss": -0.6839528369284488, "lyap1_mean": -0.49528762698173523, "lyap1_max": -0.446662962436676, "frac_above_star": 1.0 }, { "step": 216, "sup_loss": 0.812326407122951, "rf_loss": -0.147120863199234, "total_loss": -0.6588821652647443, "lyap1_mean": -0.455943763256073, "lyap1_max": -0.3700891435146332, "frac_above_star": 1.0 }, { "step": 217, "sup_loss": 0.7402324537605811, "rf_loss": -0.15388405323028564, "total_loss": -0.7986080785422753, "lyap1_mean": -0.503333330154419, "lyap1_max": -0.4017963409423828, "frac_above_star": 1.0 }, { "step": 218, "sup_loss": 0.5813273043154806, "rf_loss": -0.15231797099113464, "total_loss": -0.9418524652005106, "lyap1_mean": -0.4942597448825836, "lyap1_max": -0.41615456342697144, "frac_above_star": 1.0 }, { "step": 219, "sup_loss": 0.7132424504106849, "rf_loss": -0.15185141563415527, "total_loss": -0.8052717059308678, "lyap1_mean": -0.4901280403137207, "lyap1_max": -0.3962354063987732, "frac_above_star": 1.0 }, { "step": 220, "sup_loss": 0.8068065721797111, "rf_loss": -0.14994321763515472, "total_loss": -0.6926256339741585, "lyap1_mean": -0.4737145006656647, "lyap1_max": -0.424557089805603, "frac_above_star": 1.0 }, { "step": 221, "sup_loss": 0.7611927204775775, "rf_loss": -0.15120823681354523, "total_loss": -0.7508896178555524, "lyap1_mean": -0.48530295491218567, "lyap1_max": -0.4017654061317444, "frac_above_star": 1.0 }, { "step": 222, "sup_loss": 0.835497774279184, "rf_loss": -0.1503632366657257, "total_loss": -0.6681345327734283, "lyap1_mean": -0.4776152968406677, "lyap1_max": -0.40395650267601013, "frac_above_star": 1.0 }, { "step": 223, "sup_loss": 0.9030468672633236, "rf_loss": -0.1497064232826233, "total_loss": -0.5940173655629093, "lyap1_mean": -0.469881147146225, "lyap1_max": -0.4212886691093445, "frac_above_star": 1.0 }, { "step": 224, "sup_loss": 0.623901556153452, "rf_loss": -0.15673759579658508, "total_loss": -0.9434743422077541, "lyap1_mean": -0.527248740196228, "lyap1_max": -0.4669511318206787, "frac_above_star": 1.0 }, { "step": 225, "sup_loss": 0.9990397728597034, "rf_loss": -0.15256661176681519, "total_loss": -0.5266263448084485, "lyap1_mean": -0.4880969524383545, "lyap1_max": -0.4700968861579895, "frac_above_star": 1.0 }, { "step": 226, "sup_loss": 0.8819478955696771, "rf_loss": -0.15287938714027405, "total_loss": -0.6468459162284186, "lyap1_mean": -0.49830764532089233, "lyap1_max": -0.43399637937545776, "frac_above_star": 1.0 }, { "step": 227, "sup_loss": 1.0394286492044198, "rf_loss": -0.15350767970085144, "total_loss": -0.4956482074087394, "lyap1_mean": -0.49726933240890503, "lyap1_max": -0.43574413657188416, "frac_above_star": 1.0 }, { "step": 228, "sup_loss": 0.8107227620240796, "rf_loss": -0.1526046097278595, "total_loss": -0.7153232756498706, "lyap1_mean": -0.49221640825271606, "lyap1_max": -0.4434967041015625, "frac_above_star": 1.0 }, { "step": 229, "sup_loss": 0.8622839156992222, "rf_loss": -0.14862816035747528, "total_loss": -0.623997717677853, "lyap1_mean": -0.4625057578086853, "lyap1_max": -0.41508516669273376, "frac_above_star": 1.0 }, { "step": 230, "sup_loss": 0.6347333760198797, "rf_loss": -0.1535244882106781, "total_loss": -0.9005115656915461, "lyap1_mean": -0.5024586915969849, "lyap1_max": -0.41740867495536804, "frac_above_star": 1.0 }, { "step": 231, "sup_loss": 0.9645031260650787, "rf_loss": -0.152478888630867, "total_loss": -0.560285730441269, "lyap1_mean": -0.4897123873233795, "lyap1_max": -0.45077115297317505, "frac_above_star": 1.0 }, { "step": 232, "sup_loss": 0.8738197475334295, "rf_loss": -0.1513938307762146, "total_loss": -0.6401185602287165, "lyap1_mean": -0.4823046922683716, "lyap1_max": -0.4566570520401001, "frac_above_star": 1.0 }, { "step": 233, "sup_loss": 0.9585711688060782, "rf_loss": -0.1505301594734192, "total_loss": -0.5467304259281137, "lyap1_mean": -0.4755593538284302, "lyap1_max": -0.4218142628669739, "frac_above_star": 1.0 }, { "step": 234, "sup_loss": 1.0110656376381453, "rf_loss": -0.153812438249588, "total_loss": -0.5270586852530901, "lyap1_mean": -0.4997408986091614, "lyap1_max": -0.4566168487071991, "frac_above_star": 1.0 }, { "step": 235, "sup_loss": 0.8388391718940135, "rf_loss": -0.15239503979682922, "total_loss": -0.685111166469634, "lyap1_mean": -0.4928068518638611, "lyap1_max": -0.4061519503593445, "frac_above_star": 1.0 }, { "step": 236, "sup_loss": 0.9609862218963788, "rf_loss": -0.15290510654449463, "total_loss": -0.5680648435485675, "lyap1_mean": -0.4908009469509125, "lyap1_max": -0.46191495656967163, "frac_above_star": 1.0 }, { "step": 237, "sup_loss": 0.9751876792136548, "rf_loss": -0.1548905372619629, "total_loss": -0.5737176934059741, "lyap1_mean": -0.507164716720581, "lyap1_max": -0.45354804396629333, "frac_above_star": 1.0 }, { "step": 238, "sup_loss": 0.7910175692361328, "rf_loss": -0.15234871208667755, "total_loss": -0.7324695218283204, "lyap1_mean": -0.49099087715148926, "lyap1_max": -0.40076714754104614, "frac_above_star": 1.0 }, { "step": 239, "sup_loss": 0.7059900350386499, "rf_loss": -0.1560155153274536, "total_loss": -0.8541651182358863, "lyap1_mean": -0.5194977521896362, "lyap1_max": -0.4534994065761566, "frac_above_star": 1.0 }, { "step": 240, "sup_loss": 0.8073245387896868, "rf_loss": -0.154404416680336, "total_loss": -0.7367195982113508, "lyap1_mean": -0.504173755645752, "lyap1_max": -0.4512813091278076, "frac_above_star": 1.0 }, { "step": 241, "sup_loss": 1.034658895238955, "rf_loss": -0.1547134518623352, "total_loss": -0.512475623384397, "lyap1_mean": -0.5050932168960571, "lyap1_max": -0.4702293276786804, "frac_above_star": 1.0 }, { "step": 242, "sup_loss": 0.7278524412026192, "rf_loss": -0.15583917498588562, "total_loss": -0.8305393682608818, "lyap1_mean": -0.5183075666427612, "lyap1_max": -0.43235349655151367, "frac_above_star": 1.0 }, { "step": 243, "sup_loss": 0.8804425311455544, "rf_loss": -0.1551075577735901, "total_loss": -0.6706330465903465, "lyap1_mean": -0.5125340223312378, "lyap1_max": -0.4433370530605316, "frac_above_star": 1.0 }, { "step": 244, "sup_loss": 0.9856067294103688, "rf_loss": -0.15545320510864258, "total_loss": -0.568925321676057, "lyap1_mean": -0.5151233673095703, "lyap1_max": -0.41496965289115906, "frac_above_star": 1.0 }, { "step": 245, "sup_loss": 0.8962244174445326, "rf_loss": -0.1551896035671234, "total_loss": -0.6556716778313463, "lyap1_mean": -0.5081337690353394, "lyap1_max": -0.46760639548301697, "frac_above_star": 1.0 }, { "step": 246, "sup_loss": 0.9755491221065609, "rf_loss": -0.15648093819618225, "total_loss": -0.5892602002506169, "lyap1_mean": -0.518692135810852, "lyap1_max": -0.4877029359340668, "frac_above_star": 1.0 }, { "step": 247, "sup_loss": 0.7187511204585814, "rf_loss": -0.15742410719394684, "total_loss": -0.8554899216785646, "lyap1_mean": -0.5313723087310791, "lyap1_max": -0.4516507089138031, "frac_above_star": 1.0 }, { "step": 248, "sup_loss": 0.8145079150832168, "rf_loss": -0.15580539405345917, "total_loss": -0.7435460552536972, "lyap1_mean": -0.5160915851593018, "lyap1_max": -0.46359503269195557, "frac_above_star": 1.0 }, { "step": 249, "sup_loss": 0.7586813807196571, "rf_loss": -0.15735167264938354, "total_loss": -0.8148353457741784, "lyap1_mean": -0.5322740077972412, "lyap1_max": -0.4365609586238861, "frac_above_star": 1.0 }, { "step": 250, "sup_loss": 1.0727613639111804, "rf_loss": -0.1554183065891266, "total_loss": -0.4814216423754407, "lyap1_mean": -0.5101032257080078, "lyap1_max": -0.4672932028770447, "frac_above_star": 1.0 }, { "step": 251, "sup_loss": 0.8905131105441155, "rf_loss": -0.1566254049539566, "total_loss": -0.6757409091931281, "lyap1_mean": -0.519982635974884, "lyap1_max": -0.47582757472991943, "frac_above_star": 1.0 }, { "step": 252, "sup_loss": 0.984244500635288, "rf_loss": -0.15745870769023895, "total_loss": -0.5903426060694239, "lyap1_mean": -0.5279983878135681, "lyap1_max": -0.5005073547363281, "frac_above_star": 1.0 }, { "step": 253, "sup_loss": 0.9721807640911246, "rf_loss": -0.15477138757705688, "total_loss": -0.5755331116794442, "lyap1_mean": -0.5055757761001587, "lyap1_max": -0.4531218409538269, "frac_above_star": 1.0 }, { "step": 254, "sup_loss": 0.818314856100389, "rf_loss": -0.15646642446517944, "total_loss": -0.7463493885514054, "lyap1_mean": -0.5253005027770996, "lyap1_max": -0.4227689504623413, "frac_above_star": 1.0 }, { "step": 255, "sup_loss": 1.050494409039272, "rf_loss": -0.15827208757400513, "total_loss": -0.5322264667007792, "lyap1_mean": -0.5337836742401123, "lyap1_max": -0.49984443187713623, "frac_above_star": 1.0 }, { "step": 256, "sup_loss": 0.8331720640012158, "rf_loss": -0.15800057351589203, "total_loss": -0.7468337009600269, "lyap1_mean": -0.5363761186599731, "lyap1_max": -0.4692615270614624, "frac_above_star": 1.0 }, { "step": 257, "sup_loss": 0.8000012026401956, "rf_loss": -0.1585698276758194, "total_loss": -0.785697044315676, "lyap1_mean": -0.5398954749107361, "lyap1_max": -0.49473142623901367, "frac_above_star": 1.0 }, { "step": 258, "sup_loss": 0.8122818032470517, "rf_loss": -0.15408441424369812, "total_loss": -0.7285623987945743, "lyap1_mean": -0.5058127641677856, "lyap1_max": -0.3688815236091614, "frac_above_star": 1.0 }, { "step": 259, "sup_loss": 0.9262790459466429, "rf_loss": -0.15128777921199799, "total_loss": -0.5865987759756593, "lyap1_mean": -0.5074416399002075, "lyap1_max": -0.22341875731945038, "frac_above_star": 1.0 }, { "step": 260, "sup_loss": 0.9911814141673417, "rf_loss": -0.15809038281440735, "total_loss": -0.589722354372087, "lyap1_mean": -0.5353401899337769, "lyap1_max": -0.5046818256378174, "frac_above_star": 1.0 }, { "step": 261, "sup_loss": 0.7936905548694869, "rf_loss": -0.1608511209487915, "total_loss": -0.8148206546184281, "lyap1_mean": -0.5595028400421143, "lyap1_max": -0.5281579494476318, "frac_above_star": 1.0 }, { "step": 262, "sup_loss": 0.781543147765445, "rf_loss": -0.15614435076713562, "total_loss": -0.779900419510556, "lyap1_mean": -0.5194038152694702, "lyap1_max": -0.46180209517478943, "frac_above_star": 1.0 }, { "step": 263, "sup_loss": 0.8238125869108077, "rf_loss": -0.15812571346759796, "total_loss": -0.7574445179628495, "lyap1_mean": -0.5371677875518799, "lyap1_max": -0.46272575855255127, "frac_above_star": 1.0 }, { "step": 264, "sup_loss": 0.9037525911369946, "rf_loss": -0.15940168499946594, "total_loss": -0.6902641992530201, "lyap1_mean": -0.5499383211135864, "lyap1_max": -0.49293357133865356, "frac_above_star": 1.0 }, { "step": 265, "sup_loss": 0.9203094233681673, "rf_loss": -0.1579289734363556, "total_loss": -0.6589802513907438, "lyap1_mean": -0.5332624912261963, "lyap1_max": -0.4854254722595215, "frac_above_star": 1.0 }, { "step": 266, "sup_loss": 0.6397146398518045, "rf_loss": -0.16120579838752747, "total_loss": -0.9723432844188253, "lyap1_mean": -0.5652287006378174, "lyap1_max": -0.5212020874023438, "frac_above_star": 1.0 }, { "step": 267, "sup_loss": 0.9504707347193853, "rf_loss": -0.15303313732147217, "total_loss": -0.5798606384953364, "lyap1_mean": -0.49370694160461426, "lyap1_max": -0.4454904794692993, "frac_above_star": 1.0 }, { "step": 268, "sup_loss": 1.0581588783093259, "rf_loss": -0.15870249271392822, "total_loss": -0.5288660488299564, "lyap1_mean": -0.5377306342124939, "lyap1_max": -0.4954037070274353, "frac_above_star": 1.0 }, { "step": 269, "sup_loss": 0.9532564291338393, "rf_loss": -0.15683914721012115, "total_loss": -0.6151350131650498, "lyap1_mean": -0.5217145681381226, "lyap1_max": -0.47052234411239624, "frac_above_star": 1.0 }, { "step": 270, "sup_loss": 0.9719755193449091, "rf_loss": -0.15682581067085266, "total_loss": -0.5962825277589727, "lyap1_mean": -0.5216286182403564, "lyap1_max": -0.49640315771102905, "frac_above_star": 1.0 }, { "step": 271, "sup_loss": 0.7498925229566755, "rf_loss": -0.15976476669311523, "total_loss": -0.8477551439744768, "lyap1_mean": -0.5504207611083984, "lyap1_max": -0.5012523531913757, "frac_above_star": 1.0 }, { "step": 272, "sup_loss": 1.0647634220926925, "rf_loss": -0.1592666208744049, "total_loss": -0.5279027270467118, "lyap1_mean": -0.5440043210983276, "lyap1_max": -0.4877534508705139, "frac_above_star": 1.0 }, { "step": 273, "sup_loss": 0.9867917332640115, "rf_loss": -0.15774406492710114, "total_loss": -0.5906488862046775, "lyap1_mean": -0.5300606489181519, "lyap1_max": -0.4624977111816406, "frac_above_star": 1.0 }, { "step": 274, "sup_loss": 0.8121866591059709, "rf_loss": -0.16010534763336182, "total_loss": -0.7888668172276473, "lyap1_mean": -0.5528382062911987, "lyap1_max": -0.498106449842453, "frac_above_star": 1.0 }, { "step": 275, "sup_loss": 0.9665927800720351, "rf_loss": -0.15896426141262054, "total_loss": -0.6230498638564927, "lyap1_mean": -0.5423264503479004, "lyap1_max": -0.5047135949134827, "frac_above_star": 1.0 }, { "step": 276, "sup_loss": 0.7680134506019444, "rf_loss": -0.15910574793815613, "total_loss": -0.8230440883842617, "lyap1_mean": -0.5442633032798767, "lyap1_max": -0.47938045859336853, "frac_above_star": 1.0 }, { "step": 277, "sup_loss": 0.8203317366012303, "rf_loss": -0.16145586967468262, "total_loss": -0.7942269601455959, "lyap1_mean": -0.570000410079956, "lyap1_max": -0.4942525029182434, "frac_above_star": 1.0 }, { "step": 278, "sup_loss": 0.8340988567460611, "rf_loss": -0.16150766611099243, "total_loss": -0.7809778043638632, "lyap1_mean": -0.5684201121330261, "lyap1_max": -0.5173468589782715, "frac_above_star": 1.0 }, { "step": 279, "sup_loss": 0.9040923648431158, "rf_loss": -0.16106244921684265, "total_loss": -0.7065321869299555, "lyap1_mean": -0.5665922164916992, "lyap1_max": -0.5223636627197266, "frac_above_star": 1.0 }, { "step": 280, "sup_loss": 1.0271913467301421, "rf_loss": -0.16084109246730804, "total_loss": -0.5812196077452607, "lyap1_mean": -0.5585359930992126, "lyap1_max": -0.5241116285324097, "frac_above_star": 1.0 }, { "step": 281, "sup_loss": 0.9460371922785036, "rf_loss": -0.15832331776618958, "total_loss": -0.6371959257787474, "lyap1_mean": -0.5407968759536743, "lyap1_max": -0.47069990634918213, "frac_above_star": 1.0 }, { "step": 282, "sup_loss": 0.7528663176076231, "rf_loss": -0.15911631286144257, "total_loss": -0.8382968408091249, "lyap1_mean": -0.547126054763794, "lyap1_max": -0.491158127784729, "frac_above_star": 1.0 }, { "step": 283, "sup_loss": 0.8437921393654062, "rf_loss": -0.16141238808631897, "total_loss": -0.7703316818931387, "lyap1_mean": -0.5677838921546936, "lyap1_max": -0.5228288173675537, "frac_above_star": 1.0 }, { "step": 284, "sup_loss": 1.0603562628957952, "rf_loss": -0.16059055924415588, "total_loss": -0.5455492699411189, "lyap1_mean": -0.5592141151428223, "lyap1_max": -0.4688429534435272, "frac_above_star": 1.0 }, { "step": 285, "sup_loss": 0.8713123588871443, "rf_loss": -0.16098402440547943, "total_loss": -0.7385279149699724, "lyap1_mean": -0.5657837390899658, "lyap1_max": -0.5045219659805298, "frac_above_star": 1.0 }, { "step": 286, "sup_loss": 0.7881316973162443, "rf_loss": -0.1586286425590515, "total_loss": -0.7981547282742708, "lyap1_mean": -0.5434854030609131, "lyap1_max": -0.4684319496154785, "frac_above_star": 1.0 }, { "step": 287, "sup_loss": 0.9909780875793358, "rf_loss": -0.15964484214782715, "total_loss": -0.6054703338989357, "lyap1_mean": -0.5480200052261353, "lyap1_max": -0.47501060366630554, "frac_above_star": 1.0 }, { "step": 288, "sup_loss": 0.9369532444870349, "rf_loss": -0.15958300232887268, "total_loss": -0.6588767191970472, "lyap1_mean": -0.5512880086898804, "lyap1_max": -0.4806962013244629, "frac_above_star": 1.0 }, { "step": 289, "sup_loss": 0.8759968981754223, "rf_loss": -0.16296029090881348, "total_loss": -0.7536060109127125, "lyap1_mean": -0.5845429301261902, "lyap1_max": -0.5356825590133667, "frac_above_star": 1.0 }, { "step": 290, "sup_loss": 0.9410253380808649, "rf_loss": -0.15908591449260712, "total_loss": -0.6498338366475287, "lyap1_mean": -0.5417507290840149, "lyap1_max": -0.488450825214386, "frac_above_star": 1.0 }, { "step": 291, "sup_loss": 0.8812347814542598, "rf_loss": -0.15753600001335144, "total_loss": -0.6941252782838994, "lyap1_mean": -0.5318419933319092, "lyap1_max": -0.473792165517807, "frac_above_star": 1.0 }, { "step": 292, "sup_loss": 0.8140657339162837, "rf_loss": -0.1611955463886261, "total_loss": -0.7978896703653325, "lyap1_mean": -0.5674397945404053, "lyap1_max": -0.5027527809143066, "frac_above_star": 1.0 }, { "step": 293, "sup_loss": 0.7628909797641411, "rf_loss": -0.1619616150856018, "total_loss": -0.856725171091877, "lyap1_mean": -0.5781066417694092, "lyap1_max": -0.5050055384635925, "frac_above_star": 1.0 }, { "step": 294, "sup_loss": 0.8501762531418597, "rf_loss": -0.1619778573513031, "total_loss": -0.769602379975816, "lyap1_mean": -0.5754262804985046, "lyap1_max": -0.49383193254470825, "frac_above_star": 1.0 }, { "step": 295, "sup_loss": 0.657693624082434, "rf_loss": -0.16196128726005554, "total_loss": -0.9619193081227662, "lyap1_mean": -0.5751922130584717, "lyap1_max": -0.5109381675720215, "frac_above_star": 1.0 }, { "step": 296, "sup_loss": 1.0848214555997109, "rf_loss": -0.16078174114227295, "total_loss": -0.5229959558230186, "lyap1_mean": -0.5601209402084351, "lyap1_max": -0.47544607520103455, "frac_above_star": 1.0 }, { "step": 297, "sup_loss": 0.7219355521442211, "rf_loss": -0.16189336776733398, "total_loss": -0.8969981255291187, "lyap1_mean": -0.5707339644432068, "lyap1_max": -0.5190104246139526, "frac_above_star": 1.0 }, { "step": 298, "sup_loss": 0.8092384606415445, "rf_loss": -0.1613229513168335, "total_loss": -0.8039910525267905, "lyap1_mean": -0.5658912658691406, "lyap1_max": -0.5354974269866943, "frac_above_star": 1.0 }, { "step": 299, "sup_loss": 0.7073771025942905, "rf_loss": -0.16191504895687103, "total_loss": -0.9117734167767422, "lyap1_mean": -0.5790634155273438, "lyap1_max": -0.47938448190689087, "frac_above_star": 1.0 }, { "step": 300, "sup_loss": 0.8375684960647621, "rf_loss": -0.16150355339050293, "total_loss": -0.7774670378402672, "lyap1_mean": -0.5695177316665649, "lyap1_max": -0.49898529052734375, "frac_above_star": 1.0 }, { "step": 301, "sup_loss": 1.0038740326233129, "rf_loss": -0.1618063747882843, "total_loss": -0.6141896556548854, "lyap1_mean": -0.5716332197189331, "lyap1_max": -0.5105829834938049, "frac_above_star": 1.0 }, { "step": 302, "sup_loss": 0.9326166794091367, "rf_loss": -0.16307398676872253, "total_loss": -0.6981232478827334, "lyap1_mean": -0.5839559435844421, "lyap1_max": -0.540310263633728, "frac_above_star": 1.0 }, { "step": 303, "sup_loss": 1.0147782848375035, "rf_loss": -0.16246208548545837, "total_loss": -0.609842629621725, "lyap1_mean": -0.574588418006897, "lyap1_max": -0.5621768832206726, "frac_above_star": 1.0 }, { "step": 304, "sup_loss": 0.7110237565090188, "rf_loss": -0.16122755408287048, "total_loss": -0.9012518439243308, "lyap1_mean": -0.5715954899787903, "lyap1_max": -0.460237979888916, "frac_above_star": 1.0 }, { "step": 305, "sup_loss": 0.9513556595259183, "rf_loss": -0.1605626940727234, "total_loss": -0.6542712812013156, "lyap1_mean": -0.5563889741897583, "lyap1_max": -0.5055195093154907, "frac_above_star": 1.0 }, { "step": 306, "sup_loss": 0.9263395434662047, "rf_loss": -0.1640915870666504, "total_loss": -0.7145763272002992, "lyap1_mean": -0.5974153280258179, "lyap1_max": -0.5594337582588196, "frac_above_star": 1.0 }, { "step": 307, "sup_loss": 0.8760054701174772, "rf_loss": -0.15970134735107422, "total_loss": -0.721008003393265, "lyap1_mean": -0.5494421720504761, "lyap1_max": -0.49333328008651733, "frac_above_star": 1.0 }, { "step": 308, "sup_loss": 0.8282272538600861, "rf_loss": -0.1644357144832611, "total_loss": -0.8161299505771697, "lyap1_mean": -0.6033315062522888, "lyap1_max": -0.5405848026275635, "frac_above_star": 1.0 }, { "step": 309, "sup_loss": 0.9723710135493366, "rf_loss": -0.16116127371788025, "total_loss": -0.6392417832341106, "lyap1_mean": -0.5628421306610107, "lyap1_max": -0.5161058306694031, "frac_above_star": 1.0 }, { "step": 310, "sup_loss": 0.9151854027595069, "rf_loss": -0.16352054476737976, "total_loss": -0.7200201045189355, "lyap1_mean": -0.5919464230537415, "lyap1_max": -0.5396199226379395, "frac_above_star": 1.0 }, { "step": 311, "sup_loss": 0.9525734500759337, "rf_loss": -0.16233354806900024, "total_loss": -0.6707620306140687, "lyap1_mean": -0.5765712261199951, "lyap1_max": -0.5127285718917847, "frac_above_star": 1.0 }, { "step": 312, "sup_loss": 0.8516692915749021, "rf_loss": -0.16408266127109528, "total_loss": -0.7891572913337283, "lyap1_mean": -0.5983797311782837, "lyap1_max": -0.576287567615509, "frac_above_star": 1.0 }, { "step": 313, "sup_loss": 0.832948758064858, "rf_loss": -0.16383984684944153, "total_loss": -0.8054496508249125, "lyap1_mean": -0.5953112244606018, "lyap1_max": -0.5389801263809204, "frac_above_star": 1.0 }, { "step": 314, "sup_loss": 1.0063223520507625, "rf_loss": -0.1649513989686966, "total_loss": -0.6431916078338811, "lyap1_mean": -0.608302652835846, "lyap1_max": -0.586739718914032, "frac_above_star": 1.0 }, { "step": 315, "sup_loss": 0.9722782245852264, "rf_loss": -0.1638316512107849, "total_loss": -0.6660382875226227, "lyap1_mean": -0.5921839475631714, "lyap1_max": -0.556277334690094, "frac_above_star": 1.0 }, { "step": 316, "sup_loss": 0.837796306205376, "rf_loss": -0.16461020708084106, "total_loss": -0.8083057646030346, "lyap1_mean": -0.6071547269821167, "lyap1_max": -0.5650511980056763, "frac_above_star": 1.0 }, { "step": 317, "sup_loss": 1.1130469083835732, "rf_loss": -0.1634967029094696, "total_loss": -0.5219201803157676, "lyap1_mean": -0.5872231721878052, "lyap1_max": -0.5639901161193848, "frac_above_star": 1.0 }, { "step": 318, "sup_loss": 0.8332499453522744, "rf_loss": -0.16368603706359863, "total_loss": -0.803610425283712, "lyap1_mean": -0.5928035378456116, "lyap1_max": -0.5322840213775635, "frac_above_star": 1.0 }, { "step": 319, "sup_loss": 0.8721728060104311, "rf_loss": -0.16428670287132263, "total_loss": -0.77069428230744, "lyap1_mean": -0.6021444797515869, "lyap1_max": -0.556942343711853, "frac_above_star": 1.0 }, { "step": 320, "sup_loss": 1.0656611581698558, "rf_loss": -0.1624802052974701, "total_loss": -0.5591409544094899, "lyap1_mean": -0.5847727060317993, "lyap1_max": -0.4881177544593811, "frac_above_star": 1.0 }, { "step": 321, "sup_loss": 0.8038374547258538, "rf_loss": -0.16243164241313934, "total_loss": -0.820478999207862, "lyap1_mean": -0.5802831053733826, "lyap1_max": -0.5243849754333496, "frac_above_star": 1.0 }, { "step": 322, "sup_loss": 0.9154640378349578, "rf_loss": -0.16364453732967377, "total_loss": -0.7209813652641023, "lyap1_mean": -0.5933026671409607, "lyap1_max": -0.5480624437332153, "frac_above_star": 1.0 }, { "step": 323, "sup_loss": 1.061712623632443, "rf_loss": -0.1655946671962738, "total_loss": -0.5942341079349398, "lyap1_mean": -0.6169642210006714, "lyap1_max": -0.5970139503479004, "frac_above_star": 1.0 }, { "step": 324, "sup_loss": 1.0479330264620172, "rf_loss": -0.16384035348892212, "total_loss": -0.5904705084272039, "lyap1_mean": -0.5924264192581177, "lyap1_max": -0.5541040897369385, "frac_above_star": 1.0 }, { "step": 325, "sup_loss": 0.6910523960376708, "rf_loss": -0.163423091173172, "total_loss": -0.9431784560894044, "lyap1_mean": -0.5926433801651001, "lyap1_max": -0.5298348665237427, "frac_above_star": 1.0 }, { "step": 326, "sup_loss": 1.0269453867489713, "rf_loss": -0.1631852090358734, "total_loss": -0.6049067632144076, "lyap1_mean": -0.583427906036377, "lyap1_max": -0.5578801035881042, "frac_above_star": 1.0 }, { "step": 327, "sup_loss": 0.8233917870262711, "rf_loss": -0.16469553112983704, "total_loss": -0.8235634646674544, "lyap1_mean": -0.607279896736145, "lyap1_max": -0.5543960332870483, "frac_above_star": 1.0 }, { "step": 328, "sup_loss": 0.9450038205818985, "rf_loss": -0.1649913638830185, "total_loss": -0.7049098480506089, "lyap1_mean": -0.6123449206352234, "lyap1_max": -0.5519499778747559, "frac_above_star": 1.0 }, { "step": 329, "sup_loss": 0.9421911124007256, "rf_loss": -0.16440339386463165, "total_loss": -0.7018427964432685, "lyap1_mean": -0.5995666980743408, "lyap1_max": -0.5681703090667725, "frac_above_star": 1.0 }, { "step": 330, "sup_loss": 0.7697179003964724, "rf_loss": -0.1645650714635849, "total_loss": -0.875932844041699, "lyap1_mean": -0.6125820875167847, "lyap1_max": -0.5153601169586182, "frac_above_star": 1.0 }, { "step": 331, "sup_loss": 1.0548148410445792, "rf_loss": -0.16381332278251648, "total_loss": -0.5833184463852303, "lyap1_mean": -0.5942240357398987, "lyap1_max": -0.5262190103530884, "frac_above_star": 1.0 }, { "step": 332, "sup_loss": 1.0196609109555852, "rf_loss": -0.16312077641487122, "total_loss": -0.6115467935884822, "lyap1_mean": -0.5865979194641113, "lyap1_max": -0.5205221176147461, "frac_above_star": 1.0 }, { "step": 333, "sup_loss": 0.784042712927414, "rf_loss": -0.16456177830696106, "total_loss": -0.8615750105375518, "lyap1_mean": -0.6079744100570679, "lyap1_max": -0.546178936958313, "frac_above_star": 1.0 }, { "step": 334, "sup_loss": 0.7664311765333505, "rf_loss": -0.16504254937171936, "total_loss": -0.8839942575791984, "lyap1_mean": -0.6162400245666504, "lyap1_max": -0.5355051159858704, "frac_above_star": 1.0 }, { "step": 335, "sup_loss": 1.003457394681096, "rf_loss": -0.16450703144073486, "total_loss": -0.6416129197262526, "lyap1_mean": -0.6001628041267395, "lyap1_max": -0.5698915719985962, "frac_above_star": 1.0 }, { "step": 336, "sup_loss": 0.8690863463612974, "rf_loss": -0.16445313394069672, "total_loss": -0.7754450228479921, "lyap1_mean": -0.6010639071464539, "lyap1_max": -0.5680854320526123, "frac_above_star": 1.0 }, { "step": 337, "sup_loss": 0.9179001463572419, "rf_loss": -0.16474168002605438, "total_loss": -0.7295166837056243, "lyap1_mean": -0.6059644222259521, "lyap1_max": -0.5667393207550049, "frac_above_star": 1.0 }, { "step": 338, "sup_loss": 0.8451031026044734, "rf_loss": -0.16483834385871887, "total_loss": -0.8032802763780705, "lyap1_mean": -0.610694408416748, "lyap1_max": -0.5441962480545044, "frac_above_star": 1.0 }, { "step": 339, "sup_loss": 0.8340853989641112, "rf_loss": -0.16589681804180145, "total_loss": -0.8248828112562258, "lyap1_mean": -0.6289374828338623, "lyap1_max": -0.5635842084884644, "frac_above_star": 1.0 }, { "step": 340, "sup_loss": 0.7640737009054664, "rf_loss": -0.16561324894428253, "total_loss": -0.8920587587350365, "lyap1_mean": -0.6208488941192627, "lyap1_max": -0.5690791606903076, "frac_above_star": 1.0 }, { "step": 341, "sup_loss": 0.9097405153312316, "rf_loss": -0.16537296772003174, "total_loss": -0.7439891618690858, "lyap1_mean": -0.6165645122528076, "lyap1_max": -0.5699905157089233, "frac_above_star": 1.0 }, { "step": 342, "sup_loss": 0.826925562455947, "rf_loss": -0.16623714566230774, "total_loss": -0.8354458345624857, "lyap1_mean": -0.6287457942962646, "lyap1_max": -0.5985933542251587, "frac_above_star": 1.0 }, { "step": 343, "sup_loss": 0.7808731299195536, "rf_loss": -0.1667793095111847, "total_loss": -0.8869199055876485, "lyap1_mean": -0.6383271813392639, "lyap1_max": -0.6105337142944336, "frac_above_star": 1.0 }, { "step": 344, "sup_loss": 0.8268260483497745, "rf_loss": -0.16479766368865967, "total_loss": -0.8211505885368222, "lyap1_mean": -0.6105909943580627, "lyap1_max": -0.5363644361495972, "frac_above_star": 1.0 }, { "step": 345, "sup_loss": 0.9006461343289365, "rf_loss": -0.16424095630645752, "total_loss": -0.7417634287356387, "lyap1_mean": -0.5995079278945923, "lyap1_max": -0.5446373820304871, "frac_above_star": 1.0 }, { "step": 346, "sup_loss": 0.8833389996247742, "rf_loss": -0.16598406434059143, "total_loss": -0.7765015841764953, "lyap1_mean": -0.6223454475402832, "lyap1_max": -0.5876216888427734, "frac_above_star": 1.0 }, { "step": 347, "sup_loss": 0.7773276653194016, "rf_loss": -0.16685014963150024, "total_loss": -0.8911738309956009, "lyap1_mean": -0.6390074491500854, "lyap1_max": -0.5918681621551514, "frac_above_star": 1.0 }, { "step": 348, "sup_loss": 0.8151817191174028, "rf_loss": -0.16584555804729462, "total_loss": -0.8432738911578658, "lyap1_mean": -0.6283960938453674, "lyap1_max": -0.555222749710083, "frac_above_star": 1.0 }, { "step": 349, "sup_loss": 0.829245657389233, "rf_loss": -0.1661226451396942, "total_loss": -0.831980853612354, "lyap1_mean": -0.6274082660675049, "lyap1_max": -0.595209002494812, "frac_above_star": 1.0 }, { "step": 350, "sup_loss": 1.0970716199337769, "rf_loss": -0.16545766592025757, "total_loss": -0.5575050392687988, "lyap1_mean": -0.6159111261367798, "lyap1_max": -0.5601431131362915, "frac_above_star": 1.0 }, { "step": 351, "sup_loss": 0.9249861772631667, "rf_loss": -0.167214035987854, "total_loss": -0.7471541826153734, "lyap1_mean": -0.6472472548484802, "lyap1_max": -0.6163156032562256, "frac_above_star": 1.0 }, { "step": 352, "sup_loss": 0.8671142491046281, "rf_loss": -0.16652652621269226, "total_loss": -0.7981510726269393, "lyap1_mean": -0.6349173188209534, "lyap1_max": -0.6001026034355164, "frac_above_star": 1.0 }, { "step": 353, "sup_loss": 0.8902631190562083, "rf_loss": -0.1658329963684082, "total_loss": -0.7680668446278738, "lyap1_mean": -0.6213014125823975, "lyap1_max": -0.5634341239929199, "frac_above_star": 1.0 }, { "step": 354, "sup_loss": 1.0950481213414034, "rf_loss": -0.1659221053123474, "total_loss": -0.5641729317820707, "lyap1_mean": -0.6223301291465759, "lyap1_max": -0.5711621046066284, "frac_above_star": 1.0 }, { "step": 355, "sup_loss": 1.0438139099046004, "rf_loss": -0.16615629196166992, "total_loss": -0.6177490097120988, "lyap1_mean": -0.6252202987670898, "lyap1_max": -0.5934314131736755, "frac_above_star": 1.0 }, { "step": 356, "sup_loss": 1.1118592822424997, "rf_loss": -0.16644397377967834, "total_loss": -0.5525803959496389, "lyap1_mean": -0.629199206829071, "lyap1_max": -0.613315761089325, "frac_above_star": 1.0 }, { "step": 357, "sup_loss": 0.9975785653828726, "rf_loss": -0.16722291707992554, "total_loss": -0.6746506054163828, "lyap1_mean": -0.6494839191436768, "lyap1_max": -0.6047999262809753, "frac_above_star": 1.0 }, { "step": 358, "sup_loss": 0.9724913845646743, "rf_loss": -0.1663382202386856, "total_loss": -0.6908907880198594, "lyap1_mean": -0.6285679340362549, "lyap1_max": -0.597236156463623, "frac_above_star": 1.0 }, { "step": 359, "sup_loss": 0.8879820109734289, "rf_loss": -0.1655595451593399, "total_loss": -0.7676134108176478, "lyap1_mean": -0.6161324977874756, "lyap1_max": -0.5896904468536377, "frac_above_star": 1.0 }, { "step": 360, "sup_loss": 0.8866029497452086, "rf_loss": -0.16494779288768768, "total_loss": -0.7628750089339906, "lyap1_mean": -0.6157176494598389, "lyap1_max": -0.49962347745895386, "frac_above_star": 1.0 }, { "step": 361, "sup_loss": 1.0425218514954766, "rf_loss": -0.16546756029129028, "total_loss": -0.6121537514174262, "lyap1_mean": -0.6158539056777954, "lyap1_max": -0.5800732970237732, "frac_above_star": 1.0 }, { "step": 362, "sup_loss": 0.9692254532550995, "rf_loss": -0.16660699248313904, "total_loss": -0.6968445311809357, "lyap1_mean": -0.6320209503173828, "lyap1_max": -0.602216362953186, "frac_above_star": 1.0 }, { "step": 363, "sup_loss": 1.0121052238756523, "rf_loss": -0.16582317650318146, "total_loss": -0.6461265113538399, "lyap1_mean": -0.6214619874954224, "lyap1_max": -0.5634332299232483, "frac_above_star": 1.0 }, { "step": 364, "sup_loss": 0.8701554206761035, "rf_loss": -0.16675686836242676, "total_loss": -0.7974132629481641, "lyap1_mean": -0.6379652619361877, "lyap1_max": -0.5755835175514221, "frac_above_star": 1.0 }, { "step": 365, "sup_loss": 0.798622193653227, "rf_loss": -0.16607998311519623, "total_loss": -0.8621776673010577, "lyap1_mean": -0.630303680896759, "lyap1_max": -0.5758780837059021, "frac_above_star": 1.0 }, { "step": 366, "sup_loss": 0.8366091763810477, "rf_loss": -0.16694074869155884, "total_loss": -0.8327983105345407, "lyap1_mean": -0.643258810043335, "lyap1_max": -0.5917106866836548, "frac_above_star": 1.0 }, { "step": 367, "sup_loss": 1.0106361853831496, "rf_loss": -0.16704776883125305, "total_loss": -0.6598414433247362, "lyap1_mean": -0.6417405605316162, "lyap1_max": -0.6024030447006226, "frac_above_star": 1.0 }, { "step": 368, "sup_loss": 1.043273856146882, "rf_loss": -0.16798582673072815, "total_loss": -0.6365843515557548, "lyap1_mean": -0.6591210961341858, "lyap1_max": -0.6378985643386841, "frac_above_star": 1.0 }, { "step": 369, "sup_loss": 0.8957975523345295, "rf_loss": -0.1678183525800705, "total_loss": -0.7823860032684978, "lyap1_mean": -0.6581419706344604, "lyap1_max": -0.6372026801109314, "frac_above_star": 1.0 }, { "step": 370, "sup_loss": 0.9990507032476881, "rf_loss": -0.16781841218471527, "total_loss": -0.679133448401787, "lyap1_mean": -0.6557274460792542, "lyap1_max": -0.6242289543151855, "frac_above_star": 1.0 }, { "step": 371, "sup_loss": 0.7766417118318649, "rf_loss": -0.166281059384346, "total_loss": -0.8861688522092728, "lyap1_mean": -0.6331968307495117, "lyap1_max": -0.5763373374938965, "frac_above_star": 1.0 }, { "step": 372, "sup_loss": 1.036477802204829, "rf_loss": -0.16731500625610352, "total_loss": -0.636672260356206, "lyap1_mean": -0.646703839302063, "lyap1_max": -0.6036720275878906, "frac_above_star": 1.0 }, { "step": 373, "sup_loss": 0.6608135112661694, "rf_loss": -0.16714142262935638, "total_loss": -1.0106007448297167, "lyap1_mean": -0.6544384956359863, "lyap1_max": -0.5521031022071838, "frac_above_star": 1.0 }, { "step": 374, "sup_loss": 0.9627712513010288, "rf_loss": -0.16645808517932892, "total_loss": -0.701809570689938, "lyap1_mean": -0.630534827709198, "lyap1_max": -0.5997130870819092, "frac_above_star": 1.0 }, { "step": 375, "sup_loss": 0.9647774688494555, "rf_loss": -0.16539467871189117, "total_loss": -0.6891692884671339, "lyap1_mean": -0.6148418188095093, "lyap1_max": -0.581908106803894, "frac_above_star": 1.0 }, { "step": 376, "sup_loss": 0.8075970756818879, "rf_loss": -0.16685032844543457, "total_loss": -0.8609062087724578, "lyap1_mean": -0.64274001121521, "lyap1_max": -0.5686565041542053, "frac_above_star": 1.0 }, { "step": 377, "sup_loss": 0.9143340532545902, "rf_loss": -0.16630257666110992, "total_loss": -0.7486916835541867, "lyap1_mean": -0.6285971403121948, "lyap1_max": -0.5936660766601562, "frac_above_star": 1.0 }, { "step": 378, "sup_loss": 0.7975184897649106, "rf_loss": -0.16702762246131897, "total_loss": -0.8727576752436343, "lyap1_mean": -0.6475335359573364, "lyap1_max": -0.5954887270927429, "frac_above_star": 1.0 }, { "step": 379, "sup_loss": 0.7865626930707844, "rf_loss": -0.16678954660892487, "total_loss": -0.8813327432161419, "lyap1_mean": -0.6372209787368774, "lyap1_max": -0.5948556661605835, "frac_above_star": 1.0 }, { "step": 380, "sup_loss": 0.8700615962126946, "rf_loss": -0.1667349636554718, "total_loss": -0.7972879807373786, "lyap1_mean": -0.6409831643104553, "lyap1_max": -0.5811265707015991, "frac_above_star": 1.0 }, { "step": 381, "sup_loss": 0.8994443393592212, "rf_loss": -0.16686950623989105, "total_loss": -0.7692507528420117, "lyap1_mean": -0.6373615264892578, "lyap1_max": -0.6007121205329895, "frac_above_star": 1.0 }, { "step": 382, "sup_loss": 1.0754482725549606, "rf_loss": -0.1674620658159256, "total_loss": -0.599172355801973, "lyap1_mean": -0.6475802659988403, "lyap1_max": -0.629872739315033, "frac_above_star": 1.0 }, { "step": 383, "sup_loss": 0.6557506899081982, "rf_loss": -0.16757729649543762, "total_loss": -1.0200222154415333, "lyap1_mean": -0.6588979959487915, "lyap1_max": -0.574805736541748, "frac_above_star": 1.0 }, { "step": 384, "sup_loss": 0.9140409172674648, "rf_loss": -0.16776016354560852, "total_loss": -0.7635606585839756, "lyap1_mean": -0.6580669283866882, "lyap1_max": -0.6121257543563843, "frac_above_star": 1.0 }, { "step": 385, "sup_loss": 0.8368255240435963, "rf_loss": -0.16691964864730835, "total_loss": -0.8323709624294872, "lyap1_mean": -0.6447473764419556, "lyap1_max": -0.5840913653373718, "frac_above_star": 1.0 }, { "step": 386, "sup_loss": 0.7423530810213426, "rf_loss": -0.1667415350675583, "total_loss": -0.9250622994565627, "lyap1_mean": -0.6462277173995972, "lyap1_max": -0.5616340637207031, "frac_above_star": 1.0 }, { "step": 387, "sup_loss": 0.9853559499589328, "rf_loss": -0.16741248965263367, "total_loss": -0.6887690061720486, "lyap1_mean": -0.6488639116287231, "lyap1_max": -0.6075117588043213, "frac_above_star": 1.0 }, { "step": 388, "sup_loss": 0.8913259708875562, "rf_loss": -0.16783644258975983, "total_loss": -0.7870384252077197, "lyap1_mean": -0.660757303237915, "lyap1_max": -0.6106206178665161, "frac_above_star": 1.0 }, { "step": 389, "sup_loss": 0.7987528905257099, "rf_loss": -0.16669291257858276, "total_loss": -0.8681762352601178, "lyap1_mean": -0.6410650610923767, "lyap1_max": -0.5809316635131836, "frac_above_star": 1.0 }, { "step": 390, "sup_loss": 0.8631568360933014, "rf_loss": -0.16815438866615295, "total_loss": -0.8183869909635834, "lyap1_mean": -0.6723634600639343, "lyap1_max": -0.623555064201355, "frac_above_star": 1.0 }, { "step": 391, "sup_loss": 0.8535997113850592, "rf_loss": -0.16656950116157532, "total_loss": -0.8120952406260492, "lyap1_mean": -0.6381630897521973, "lyap1_max": -0.5624455213546753, "frac_above_star": 1.0 }, { "step": 392, "sup_loss": 1.0794963161426232, "rf_loss": -0.1671776920557022, "total_loss": -0.5922805746120765, "lyap1_mean": -0.6433789134025574, "lyap1_max": -0.6093345880508423, "frac_above_star": 1.0 }, { "step": 393, "sup_loss": 1.0483573709094371, "rf_loss": -0.1684589684009552, "total_loss": -0.6362322534954701, "lyap1_mean": -0.6719310283660889, "lyap1_max": -0.6574442982673645, "frac_above_star": 1.0 }, { "step": 394, "sup_loss": 0.8955293539289719, "rf_loss": -0.16795609891414642, "total_loss": -0.7840316650148147, "lyap1_mean": -0.6593412756919861, "lyap1_max": -0.6228237748146057, "frac_above_star": 1.0 }, { "step": 395, "sup_loss": 0.9161850612258491, "rf_loss": -0.16765955090522766, "total_loss": -0.7604103882217828, "lyap1_mean": -0.6570484638214111, "lyap1_max": -0.5886551737785339, "frac_above_star": 1.0 }, { "step": 396, "sup_loss": 0.7915922981259391, "rf_loss": -0.16730211675167084, "total_loss": -0.8814288991930916, "lyap1_mean": -0.6542156338691711, "lyap1_max": -0.5879533886909485, "frac_above_star": 1.0 }, { "step": 397, "sup_loss": 0.7030824923726571, "rf_loss": -0.16836437582969666, "total_loss": -0.9805613255289543, "lyap1_mean": -0.6766561269760132, "lyap1_max": -0.6361402869224548, "frac_above_star": 1.0 }, { "step": 398, "sup_loss": 1.0129995244920889, "rf_loss": -0.16758611798286438, "total_loss": -0.6628615957319102, "lyap1_mean": -0.6528740525245667, "lyap1_max": -0.5957105159759521, "frac_above_star": 1.0 }, { "step": 399, "sup_loss": 0.8086410231185577, "rf_loss": -0.16688798367977142, "total_loss": -0.8602388434814789, "lyap1_mean": -0.6465255618095398, "lyap1_max": -0.5295546650886536, "frac_above_star": 1.0 }, { "step": 400, "sup_loss": 0.7827572744193808, "rf_loss": -0.16892275214195251, "total_loss": -0.9064703066047891, "lyap1_mean": -0.6906148195266724, "lyap1_max": -0.6423126459121704, "frac_above_star": 1.0 }, { "step": 401, "sup_loss": 0.864875708101722, "rf_loss": -0.16662158071994781, "total_loss": -0.8013400692954338, "lyap1_mean": -0.639270007610321, "lyap1_max": -0.5427007079124451, "frac_above_star": 1.0 }, { "step": 402, "sup_loss": 0.9984547495612993, "rf_loss": -0.16766151785850525, "total_loss": -0.678160488628398, "lyap1_mean": -0.6542567014694214, "lyap1_max": -0.5983229875564575, "frac_above_star": 1.0 }, { "step": 403, "sup_loss": 0.8736697291880735, "rf_loss": -0.16745871305465698, "total_loss": -0.8009174013584963, "lyap1_mean": -0.6532575488090515, "lyap1_max": -0.5902796983718872, "frac_above_star": 1.0 }, { "step": 404, "sup_loss": 0.6791199896727433, "rf_loss": -0.16808143258094788, "total_loss": -1.0016942765320906, "lyap1_mean": -0.6703941822052002, "lyap1_max": -0.6192264556884766, "frac_above_star": 1.0 }, { "step": 405, "sup_loss": 0.9608488881272217, "rf_loss": -0.1687515676021576, "total_loss": -0.726666847498999, "lyap1_mean": -0.6819567084312439, "lyap1_max": -0.6621387600898743, "frac_above_star": 1.0 }, { "step": 406, "sup_loss": 0.9914673613609841, "rf_loss": -0.16872401535511017, "total_loss": -0.6957727623877952, "lyap1_mean": -0.6826002597808838, "lyap1_max": -0.6427457928657532, "frac_above_star": 1.0 }, { "step": 407, "sup_loss": 0.8346513049335449, "rf_loss": -0.16817736625671387, "total_loss": -0.8471223576335938, "lyap1_mean": -0.6752156615257263, "lyap1_max": -0.5880394577980042, "frac_above_star": 1.0 }, { "step": 408, "sup_loss": 0.9056504236880752, "rf_loss": -0.16750651597976685, "total_loss": -0.7694147361095932, "lyap1_mean": -0.6515239477157593, "lyap1_max": -0.6143361330032349, "frac_above_star": 1.0 }, { "step": 409, "sup_loss": 1.0901037894687653, "rf_loss": -0.1622026264667511, "total_loss": -0.5319224155941009, "lyap1_mean": -0.614770770072937, "lyap1_max": -0.33655595779418945, "frac_above_star": 1.0 }, { "step": 410, "sup_loss": 0.880939643508458, "rf_loss": -0.1684756577014923, "total_loss": -0.8038168739018203, "lyap1_mean": -0.6769624352455139, "lyap1_max": -0.6177955269813538, "frac_above_star": 1.0 }, { "step": 411, "sup_loss": 1.0659639867587092, "rf_loss": -0.16663719713687897, "total_loss": -0.6004079548077581, "lyap1_mean": -0.6350464820861816, "lyap1_max": -0.6013752818107605, "frac_above_star": 1.0 }, { "step": 412, "sup_loss": 1.0076282352830996, "rf_loss": -0.1677553653717041, "total_loss": -0.6699254184339414, "lyap1_mean": -0.6587964296340942, "lyap1_max": -0.6002932786941528, "frac_above_star": 1.0 }, { "step": 413, "sup_loss": 0.9315838801634881, "rf_loss": -0.16731645166873932, "total_loss": -0.7415806067215827, "lyap1_mean": -0.6499696373939514, "lyap1_max": -0.5747584104537964, "frac_above_star": 1.0 }, { "step": 414, "sup_loss": 1.0583041816261076, "rf_loss": -0.16855882108211517, "total_loss": -0.6272840589973665, "lyap1_mean": -0.6741913557052612, "lyap1_max": -0.6525681018829346, "frac_above_star": 1.0 }, { "step": 415, "sup_loss": 0.7562729096185832, "rf_loss": -0.1687367856502533, "total_loss": -0.9310950064885946, "lyap1_mean": -0.6852098703384399, "lyap1_max": -0.6300533413887024, "frac_above_star": 1.0 }, { "step": 416, "sup_loss": 0.9496210427869541, "rf_loss": -0.1676788330078125, "total_loss": -0.7271672872911709, "lyap1_mean": -0.6556035280227661, "lyap1_max": -0.5971069931983948, "frac_above_star": 1.0 }, { "step": 417, "sup_loss": 0.9620306928941645, "rf_loss": -0.16823992133140564, "total_loss": -0.7203685800245366, "lyap1_mean": -0.6664416193962097, "lyap1_max": -0.6269980669021606, "frac_above_star": 1.0 }, { "step": 418, "sup_loss": 0.7877856209574478, "rf_loss": -0.16773580014705658, "total_loss": -0.8895724103154404, "lyap1_mean": -0.6682507991790771, "lyap1_max": -0.5698337554931641, "frac_above_star": 1.0 }, { "step": 419, "sup_loss": 0.9149359084296735, "rf_loss": -0.16899892687797546, "total_loss": -0.7750534199547259, "lyap1_mean": -0.6912353038787842, "lyap1_max": -0.6646122932434082, "frac_above_star": 1.0 }, { "step": 420, "sup_loss": 0.947179116901622, "rf_loss": -0.16783764958381653, "total_loss": -0.7311973193318985, "lyap1_mean": -0.6610279679298401, "lyap1_max": -0.5829331874847412, "frac_above_star": 1.0 }, { "step": 421, "sup_loss": 0.9102978657623437, "rf_loss": -0.16830533742904663, "total_loss": -0.7727555085281226, "lyap1_mean": -0.6738272905349731, "lyap1_max": -0.6347851753234863, "frac_above_star": 0.875 }, { "step": 422, "sup_loss": 0.9439182683009397, "rf_loss": -0.16807007789611816, "total_loss": -0.7367825106602419, "lyap1_mean": -0.6669541597366333, "lyap1_max": -0.6074544787406921, "frac_above_star": 1.0 }, { "step": 423, "sup_loss": 0.9326395439648629, "rf_loss": -0.16742642223834991, "total_loss": -0.7416246486163138, "lyap1_mean": -0.6529464721679688, "lyap1_max": -0.5787450075149536, "frac_above_star": 1.0 }, { "step": 424, "sup_loss": 0.9316021515387157, "rf_loss": -0.1686074286699295, "total_loss": -0.7544721053582569, "lyap1_mean": -0.6755475401878357, "lyap1_max": -0.6468684673309326, "frac_above_star": 1.0 }, { "step": 425, "sup_loss": 0.8013352551604359, "rf_loss": -0.16796286404132843, "total_loss": -0.878293355450526, "lyap1_mean": -0.6639798283576965, "lyap1_max": -0.6248053312301636, "frac_above_star": 1.0 }, { "step": 426, "sup_loss": 0.7641412661532097, "rf_loss": -0.16876712441444397, "total_loss": -0.9235299183865853, "lyap1_mean": -0.6876934766769409, "lyap1_max": -0.6206501126289368, "frac_above_star": 1.0 }, { "step": 427, "sup_loss": 0.8896617404657163, "rf_loss": -0.16856427490711212, "total_loss": -0.7959809788030825, "lyap1_mean": -0.6741234064102173, "lyap1_max": -0.6459528803825378, "frac_above_star": 1.0 }, { "step": 428, "sup_loss": 0.8767523352176949, "rf_loss": -0.16846686601638794, "total_loss": -0.8079163249461845, "lyap1_mean": -0.6780001521110535, "lyap1_max": -0.6246150732040405, "frac_above_star": 1.0 }, { "step": 429, "sup_loss": 1.1011807741390407, "rf_loss": -0.16873614490032196, "total_loss": -0.5861807046665013, "lyap1_mean": -0.6804595589637756, "lyap1_max": -0.6385448575019836, "frac_above_star": 1.0 }, { "step": 430, "sup_loss": 0.93760682534031, "rf_loss": -0.16769225895404816, "total_loss": -0.7393157343978491, "lyap1_mean": -0.6581631898880005, "lyap1_max": -0.5819768905639648, "frac_above_star": 1.0 }, { "step": 431, "sup_loss": 1.0317544204844056, "rf_loss": -0.1684688776731491, "total_loss": -0.6529343860494079, "lyap1_mean": -0.6743930578231812, "lyap1_max": -0.6249114274978638, "frac_above_star": 1.0 }, { "step": 432, "sup_loss": 0.9474647393279935, "rf_loss": -0.1684659719467163, "total_loss": -0.7371949801391696, "lyap1_mean": -0.6717338562011719, "lyap1_max": -0.6500555276870728, "frac_above_star": 1.0 }, { "step": 433, "sup_loss": 0.9059527599724031, "rf_loss": -0.16877707839012146, "total_loss": -0.7818180835334563, "lyap1_mean": -0.6811442971229553, "lyap1_max": -0.648021936416626, "frac_above_star": 1.0 }, { "step": 434, "sup_loss": 0.82179997275856, "rf_loss": -0.16854621469974518, "total_loss": -0.8636621444365694, "lyap1_mean": -0.6794224977493286, "lyap1_max": -0.6372819542884827, "frac_above_star": 1.0 }, { "step": 435, "sup_loss": 0.8754423539932352, "rf_loss": -0.168470099568367, "total_loss": -0.8092586118881124, "lyap1_mean": -0.6747593283653259, "lyap1_max": -0.621672511100769, "frac_above_star": 1.0 }, { "step": 436, "sup_loss": 0.835070069049552, "rf_loss": -0.16884905099868774, "total_loss": -0.8534204409373254, "lyap1_mean": -0.6845188140869141, "lyap1_max": -0.6647319197654724, "frac_above_star": 1.0 }, { "step": 437, "sup_loss": 0.8311104693559804, "rf_loss": -0.1694517731666565, "total_loss": -0.8634072623105845, "lyap1_mean": -0.7080880403518677, "lyap1_max": -0.677773118019104, "frac_above_star": 1.0 }, { "step": 438, "sup_loss": 0.9998126851358937, "rf_loss": -0.1677539050579071, "total_loss": -0.6777264250478221, "lyap1_mean": -0.6607961654663086, "lyap1_max": -0.5937893390655518, "frac_above_star": 1.0 }, { "step": 439, "sup_loss": 0.9751372422481608, "rf_loss": -0.16863484680652618, "total_loss": -0.7112111960147787, "lyap1_mean": -0.6792774200439453, "lyap1_max": -0.61921626329422, "frac_above_star": 1.0 }, { "step": 440, "sup_loss": 0.993501171209451, "rf_loss": -0.16807416081428528, "total_loss": -0.687240377328757, "lyap1_mean": -0.6687203645706177, "lyap1_max": -0.6043709516525269, "frac_above_star": 1.0 }, { "step": 441, "sup_loss": 0.9382838715720415, "rf_loss": -0.16856050491333008, "total_loss": -0.7473211775612593, "lyap1_mean": -0.6767849326133728, "lyap1_max": -0.6439996957778931, "frac_above_star": 1.0 }, { "step": 442, "sup_loss": 0.9761910641686248, "rf_loss": -0.16878695785999298, "total_loss": -0.7116784846289826, "lyap1_mean": -0.6808944940567017, "lyap1_max": -0.6598904132843018, "frac_above_star": 1.0 }, { "step": 443, "sup_loss": 0.9922265000382291, "rf_loss": -0.16849681735038757, "total_loss": -0.6927417330702914, "lyap1_mean": -0.6742806434631348, "lyap1_max": -0.6223534941673279, "frac_above_star": 1.0 }, { "step": 444, "sup_loss": 0.989262531500308, "rf_loss": -0.1670561134815216, "total_loss": -0.6812985437102633, "lyap1_mean": -0.6575416326522827, "lyap1_max": -0.5475485920906067, "frac_above_star": 1.0 }, { "step": 445, "sup_loss": 0.9486115644980764, "rf_loss": -0.16867202520370483, "total_loss": -0.738108687538972, "lyap1_mean": -0.6787891387939453, "lyap1_max": -0.6341565847396851, "frac_above_star": 1.0 }, { "step": 446, "sup_loss": 0.9464257006262438, "rf_loss": -0.16853831708431244, "total_loss": -0.738957500019203, "lyap1_mean": -0.6729275584220886, "lyap1_max": -0.6508536338806152, "frac_above_star": 1.0 }, { "step": 447, "sup_loss": 0.9349843309748695, "rf_loss": -0.16826090216636658, "total_loss": -0.747624750293441, "lyap1_mean": -0.6737874150276184, "lyap1_max": -0.6010218858718872, "frac_above_star": 1.0 }, { "step": 448, "sup_loss": 1.002064317594135, "rf_loss": -0.16886943578720093, "total_loss": -0.6866300402778742, "lyap1_mean": -0.6841943264007568, "lyap1_max": -0.6583265662193298, "frac_above_star": 1.0 }, { "step": 449, "sup_loss": 0.9855009579357943, "rf_loss": -0.16888895630836487, "total_loss": -0.7033885455432096, "lyap1_mean": -0.6856245994567871, "lyap1_max": -0.6439903974533081, "frac_above_star": 1.0 }, { "step": 450, "sup_loss": 0.877312468709516, "rf_loss": -0.16862279176712036, "total_loss": -0.8089154489616877, "lyap1_mean": -0.6813275218009949, "lyap1_max": -0.6266863346099854, "frac_above_star": 1.0 }, { "step": 451, "sup_loss": 0.9242016896267241, "rf_loss": -0.16887162625789642, "total_loss": -0.7645146027545625, "lyap1_mean": -0.6847143173217773, "lyap1_max": -0.6476714611053467, "frac_above_star": 1.0 }, { "step": 452, "sup_loss": 0.8842087935027327, "rf_loss": -0.16901971399784088, "total_loss": -0.8059883166733537, "lyap1_mean": -0.6930912733078003, "lyap1_max": -0.6623731255531311, "frac_above_star": 1.0 }, { "step": 453, "sup_loss": 0.8111839957720826, "rf_loss": -0.1685090810060501, "total_loss": -0.8739067844860962, "lyap1_mean": -0.6836473941802979, "lyap1_max": -0.6071840524673462, "frac_above_star": 0.875 }, { "step": 454, "sup_loss": 0.8833693820923272, "rf_loss": -0.16869845986366272, "total_loss": -0.8036151569396552, "lyap1_mean": -0.6847073435783386, "lyap1_max": -0.6196746826171875, "frac_above_star": 1.0 }, { "step": 455, "sup_loss": 0.9917177317343411, "rf_loss": -0.16797804832458496, "total_loss": -0.6880627515115085, "lyap1_mean": -0.6697342991828918, "lyap1_max": -0.5638278722763062, "frac_above_star": 1.0 }, { "step": 456, "sup_loss": 0.948025838225625, "rf_loss": -0.16830530762672424, "total_loss": -0.7350271784369726, "lyap1_mean": -0.6686011552810669, "lyap1_max": -0.6337303519248962, "frac_above_star": 1.0 }, { "step": 457, "sup_loss": 0.8798603443595231, "rf_loss": -0.1685553342103958, "total_loss": -0.8056929679421126, "lyap1_mean": -0.6826348900794983, "lyap1_max": -0.616677463054657, "frac_above_star": 1.0 }, { "step": 458, "sup_loss": 0.8925180108834162, "rf_loss": -0.16849271953105927, "total_loss": -0.7924092142294988, "lyap1_mean": -0.6756167411804199, "lyap1_max": -0.6176062822341919, "frac_above_star": 1.0 }, { "step": 459, "sup_loss": 0.8902373025943785, "rf_loss": -0.16822819411754608, "total_loss": -0.7920446683834047, "lyap1_mean": -0.6697548627853394, "lyap1_max": -0.6276545524597168, "frac_above_star": 1.0 }, { "step": 460, "sup_loss": 0.8269329463968871, "rf_loss": -0.16821834444999695, "total_loss": -0.8552505577077272, "lyap1_mean": -0.6722472310066223, "lyap1_max": -0.5872589349746704, "frac_above_star": 1.0 }, { "step": 461, "sup_loss": 0.8789750085076047, "rf_loss": -0.16851502656936646, "total_loss": -0.8061752571860599, "lyap1_mean": -0.6786353588104248, "lyap1_max": -0.6070312261581421, "frac_above_star": 1.0 }, { "step": 462, "sup_loss": 0.9004987564380456, "rf_loss": -0.16913478076457977, "total_loss": -0.7908490810100746, "lyap1_mean": -0.6938219666481018, "lyap1_max": -0.6631478071212769, "frac_above_star": 1.0 }, { "step": 463, "sup_loss": 0.9168755292650167, "rf_loss": -0.16880521178245544, "total_loss": -0.7711766481641825, "lyap1_mean": -0.685850977897644, "lyap1_max": -0.6214021444320679, "frac_above_star": 1.0 }, { "step": 464, "sup_loss": 0.9130189488533825, "rf_loss": -0.16833865642547607, "total_loss": -0.7703676154013782, "lyap1_mean": -0.6774635910987854, "lyap1_max": -0.5886965990066528, "frac_above_star": 1.0 }, { "step": 465, "sup_loss": 1.0921658096838003, "rf_loss": -0.16873270273208618, "total_loss": -0.5951612176370615, "lyap1_mean": -0.6853333711624146, "lyap1_max": -0.6406458020210266, "frac_above_star": 0.875 }, { "step": 466, "sup_loss": 0.843757315389615, "rf_loss": -0.16846051812171936, "total_loss": -0.8408478062229339, "lyap1_mean": -0.6781668066978455, "lyap1_max": -0.6018369197845459, "frac_above_star": 1.0 }, { "step": 467, "sup_loss": 0.8905189459275068, "rf_loss": -0.16851279139518738, "total_loss": -0.7946090276290118, "lyap1_mean": -0.6788120865821838, "lyap1_max": -0.6372884511947632, "frac_above_star": 1.0 }, { "step": 468, "sup_loss": 0.9942453466826442, "rf_loss": -0.16889379918575287, "total_loss": -0.6946926749772069, "lyap1_mean": -0.6842449903488159, "lyap1_max": -0.6636632084846497, "frac_above_star": 1.0 }, { "step": 469, "sup_loss": 0.9838650345629782, "rf_loss": -0.16910098493099213, "total_loss": -0.7071448445492654, "lyap1_mean": -0.6932464838027954, "lyap1_max": -0.6415815949440002, "frac_above_star": 1.0 }, { "step": 470, "sup_loss": 0.8469126771929273, "rf_loss": -0.1692303717136383, "total_loss": -0.845390980338811, "lyap1_mean": -0.7029497623443604, "lyap1_max": -0.633957028388977, "frac_above_star": 1.0 }, { "step": 471, "sup_loss": 1.0634004495512834, "rf_loss": -0.16844330728054047, "total_loss": -0.6210326530564436, "lyap1_mean": -0.6752443909645081, "lyap1_max": -0.6237616539001465, "frac_above_star": 1.0 }, { "step": 472, "sup_loss": 0.988944220291492, "rf_loss": -0.16876822710037231, "total_loss": -0.6987380507122312, "lyap1_mean": -0.6822233200073242, "lyap1_max": -0.6335409879684448, "frac_above_star": 1.0 }, { "step": 473, "sup_loss": 0.7461439455141002, "rf_loss": -0.16843676567077637, "total_loss": -0.9382237111936634, "lyap1_mean": -0.6753503084182739, "lyap1_max": -0.6138116121292114, "frac_above_star": 1.0 }, { "step": 474, "sup_loss": 0.7010139848060016, "rf_loss": -0.1674656867980957, "total_loss": -0.9736428831749554, "lyap1_mean": -0.6663357615470886, "lyap1_max": -0.5803347826004028, "frac_above_star": 1.0 }, { "step": 475, "sup_loss": 1.0721564414563671, "rf_loss": -0.16846609115600586, "total_loss": -0.6125044701036915, "lyap1_mean": -0.6830141544342041, "lyap1_max": -0.5768621563911438, "frac_above_star": 1.0 }, { "step": 476, "sup_loss": 0.7677798944663875, "rf_loss": -0.16933834552764893, "total_loss": -0.9256035608101018, "lyap1_mean": -0.7110280394554138, "lyap1_max": -0.6394837498664856, "frac_above_star": 0.875 }, { "step": 477, "sup_loss": 0.722564178623149, "rf_loss": -0.1693604290485382, "total_loss": -0.9710400522575883, "lyap1_mean": -0.7030178904533386, "lyap1_max": -0.6715260744094849, "frac_above_star": 1.0 }, { "step": 478, "sup_loss": 0.8081075483121555, "rf_loss": -0.16932359337806702, "total_loss": -0.8851283258638699, "lyap1_mean": -0.6998531222343445, "lyap1_max": -0.6691455245018005, "frac_above_star": 1.0 }, { "step": 479, "sup_loss": 0.7683738691446198, "rf_loss": -0.1690964549779892, "total_loss": -0.9225907104375946, "lyap1_mean": -0.6935322880744934, "lyap1_max": -0.6606523990631104, "frac_above_star": 1.0 }, { "step": 480, "sup_loss": 0.8809013678196471, "rf_loss": -0.16920754313468933, "total_loss": -0.811174123131891, "lyap1_mean": -0.7038429975509644, "lyap1_max": -0.6267591118812561, "frac_above_star": 1.0 }, { "step": 481, "sup_loss": 0.8127340248861711, "rf_loss": -0.16911664605140686, "total_loss": -0.8784323760232527, "lyap1_mean": -0.7012746334075928, "lyap1_max": -0.6487306356430054, "frac_above_star": 0.875 }, { "step": 482, "sup_loss": 0.9959677785411711, "rf_loss": -0.16927079856395721, "total_loss": -0.6967402369007234, "lyap1_mean": -0.6983695030212402, "lyap1_max": -0.6754603385925293, "frac_above_star": 1.0 }, { "step": 483, "sup_loss": 0.9164066191325974, "rf_loss": -0.1680532693862915, "total_loss": -0.7641260747303177, "lyap1_mean": -0.6719903945922852, "lyap1_max": -0.5729116201400757, "frac_above_star": 1.0 }, { "step": 484, "sup_loss": 0.7333513863397576, "rf_loss": -0.1694488376379013, "total_loss": -0.9611370198415778, "lyap1_mean": -0.7079660296440125, "lyap1_max": -0.6731259822845459, "frac_above_star": 1.0 }, { "step": 485, "sup_loss": 0.8539152777254431, "rf_loss": -0.16864898800849915, "total_loss": -0.8325745427549036, "lyap1_mean": -0.6876507997512817, "lyap1_max": -0.6079229116439819, "frac_above_star": 1.0 }, { "step": 486, "sup_loss": 0.9348121525719877, "rf_loss": -0.16872268915176392, "total_loss": -0.7524147389456515, "lyap1_mean": -0.6824624538421631, "lyap1_max": -0.6482920050621033, "frac_above_star": 1.0 }, { "step": 487, "sup_loss": 0.8376517541731958, "rf_loss": -0.16843560338020325, "total_loss": -0.8467042200241919, "lyap1_mean": -0.6742093563079834, "lyap1_max": -0.612006664276123, "frac_above_star": 1.0 }, { "step": 488, "sup_loss": 0.8564711763680473, "rf_loss": -0.1688905507326126, "total_loss": -0.8324343011557565, "lyap1_mean": -0.6905595660209656, "lyap1_max": -0.6409043073654175, "frac_above_star": 1.0 }, { "step": 489, "sup_loss": 0.856106584378269, "rf_loss": -0.16900140047073364, "total_loss": -0.8339074203290674, "lyap1_mean": -0.6968519687652588, "lyap1_max": -0.6447190046310425, "frac_above_star": 0.875 }, { "step": 490, "sup_loss": 0.8928675719272995, "rf_loss": -0.16834497451782227, "total_loss": -0.7905821732509232, "lyap1_mean": -0.6760544180870056, "lyap1_max": -0.6130397915840149, "frac_above_star": 1.0 }, { "step": 491, "sup_loss": 0.7445940797272357, "rf_loss": -0.16930247843265533, "total_loss": -0.9484306747969953, "lyap1_mean": -0.7109217643737793, "lyap1_max": -0.6421151757240295, "frac_above_star": 0.875 }, { "step": 492, "sup_loss": 0.8877110810570835, "rf_loss": -0.169108048081398, "total_loss": -0.8033693699545742, "lyap1_mean": -0.6987259984016418, "lyap1_max": -0.6372939944267273, "frac_above_star": 0.875 }, { "step": 493, "sup_loss": 0.7040034300700725, "rf_loss": -0.16901539266109467, "total_loss": -0.9861505263431966, "lyap1_mean": -0.6947414875030518, "lyap1_max": -0.6656844019889832, "frac_above_star": 0.875 }, { "step": 494, "sup_loss": 0.9132276314441626, "rf_loss": -0.16912084817886353, "total_loss": -0.7779808503444726, "lyap1_mean": -0.694495677947998, "lyap1_max": -0.6535894870758057, "frac_above_star": 1.0 }, { "step": 495, "sup_loss": 0.9445295750689924, "rf_loss": -0.168694406747818, "total_loss": -0.7424144328045428, "lyap1_mean": -0.6862115859985352, "lyap1_max": -0.6044263243675232, "frac_above_star": 1.0 }, { "step": 496, "sup_loss": 0.9432959972601017, "rf_loss": -0.16878485679626465, "total_loss": -0.7445525707025448, "lyap1_mean": -0.6829301118850708, "lyap1_max": -0.6449195146560669, "frac_above_star": 1.0 }, { "step": 497, "sup_loss": 0.9134507536976137, "rf_loss": -0.16911333799362183, "total_loss": -0.7776826262386045, "lyap1_mean": -0.6937462091445923, "lyap1_max": -0.6554074287414551, "frac_above_star": 1.0 }, { "step": 498, "sup_loss": 0.8820350744572083, "rf_loss": -0.16859474778175354, "total_loss": -0.8039123437556823, "lyap1_mean": -0.6800705790519714, "lyap1_max": -0.6403844356536865, "frac_above_star": 1.0 }, { "step": 499, "sup_loss": 0.7740984289106067, "rf_loss": -0.16804639995098114, "total_loss": -0.9063656004015271, "lyap1_mean": -0.6665403842926025, "lyap1_max": -0.6207467913627625, "frac_above_star": 1.0 } ], "evals": [ { "step": 0, "acc": 0.517578125, "tok_acc": 0.8276668595679012 }, { "step": 100, "acc": 0.4140625, "tok_acc": 0.7932339891975309 }, { "step": 200, "acc": 0.359375, "tok_acc": 0.7797550154320988 }, { "step": 300, "acc": 0.255859375, "tok_acc": 0.7473958333333334 }, { "step": 400, "acc": 0.24609375, "tok_acc": 0.7409577546296297 }, { "step": 500, "acc": 0.255859375, "tok_acc": 0.7459490740740741 }, { "step": 500, "acc": 0.255859375, "tok_acc": 0.7459490740740741 } ], "final_acc": 0.255859375, "final_tok_acc": 0.7459490740740741 }