{ "args": { "ckpt_root": "/home/yurenh2/rrm/hrm/checkpoints/Sudoku-extreme-1k-aug-1000 ACT-torch/HierarchicalReasoningModel_ACTV1 righteous-python", "ckpt_name": "step_18228", "n_steps": 500, "batch_size": 8, "lr": 1e-05, "alpha_rf": 10.0, "lambda_star": 0.0, "k_lyap": 2, "lyap_act_steps": 4, "seed": 42, "eval_every": 100, "eval_n": 512, "eval_batch_size": 32, "out": "/home/yurenh2/rrm/research/flossing/step3_E_rf_18228_lstar0.json" }, "initial_acc": 0.484375, "initial_tok_acc": 0.8186487268518519, "steps": [ { "step": 0, "sup_loss": 0.7508054495359741, "rf_loss": 0.0, "total_loss": 0.7508054495359741, "lyap1_mean": -0.17879289388656616, "lyap1_max": -0.10999822616577148, "frac_above_star": 0.0 }, { "step": 1, "sup_loss": 0.6367356107113957, "rf_loss": 0.0, "total_loss": 0.6367356107113957, "lyap1_mean": -0.14839333295822144, "lyap1_max": -0.06954976171255112, "frac_above_star": 0.0 }, { "step": 2, "sup_loss": 0.9052819306172313, "rf_loss": 0.0, "total_loss": 0.9052819306172313, "lyap1_mean": -0.12490548193454742, "lyap1_max": -0.04543764144182205, "frac_above_star": 0.0 }, { "step": 3, "sup_loss": 0.6465022245667765, "rf_loss": 0.0, "total_loss": 0.6465022245667765, "lyap1_mean": -0.17259305715560913, "lyap1_max": -0.07918331772089005, "frac_above_star": 0.0 }, { "step": 4, "sup_loss": 0.8131140897757282, "rf_loss": 0.0, "total_loss": 0.8131140897757282, "lyap1_mean": -0.14166642725467682, "lyap1_max": -0.07099786400794983, "frac_above_star": 0.0 }, { "step": 5, "sup_loss": 0.7627570692023288, "rf_loss": 0.0, "total_loss": 0.7627570692023288, "lyap1_mean": -0.16324776411056519, "lyap1_max": -0.08726521581411362, "frac_above_star": 0.0 }, { "step": 6, "sup_loss": 0.7467884486683275, "rf_loss": 0.0, "total_loss": 0.7467884486683275, "lyap1_mean": -0.14997412264347076, "lyap1_max": -0.07418057322502136, "frac_above_star": 0.0 }, { "step": 7, "sup_loss": 0.7048655017204399, "rf_loss": 0.0, "total_loss": 0.7048655017204399, "lyap1_mean": -0.17496444284915924, "lyap1_max": -0.12868866324424744, "frac_above_star": 0.0 }, { "step": 8, "sup_loss": 0.854233427105901, "rf_loss": 0.0, "total_loss": 0.854233427105901, "lyap1_mean": -0.1446150541305542, "lyap1_max": -0.08418439328670502, "frac_above_star": 0.0 }, { "step": 9, "sup_loss": 0.9089981588777195, "rf_loss": 0.0, "total_loss": 0.9089981588777195, "lyap1_mean": -0.18068760633468628, "lyap1_max": -0.1069377064704895, "frac_above_star": 0.0 }, { "step": 10, "sup_loss": 0.8809479466240452, "rf_loss": 0.0, "total_loss": 0.8809479466240452, "lyap1_mean": -0.12772634625434875, "lyap1_max": -0.05140206217765808, "frac_above_star": 0.0 }, { "step": 11, "sup_loss": 0.8180515971351313, "rf_loss": 0.0, "total_loss": 0.8180515971351313, "lyap1_mean": -0.13441801071166992, "lyap1_max": -0.07833688706159592, "frac_above_star": 0.0 }, { "step": 12, "sup_loss": 0.73442924293712, "rf_loss": 0.0, "total_loss": 0.73442924293712, "lyap1_mean": -0.16569475829601288, "lyap1_max": -0.10155721753835678, "frac_above_star": 0.0 }, { "step": 13, "sup_loss": 0.8650257653539036, "rf_loss": 0.0, "total_loss": 0.8650257653539036, "lyap1_mean": -0.15495777130126953, "lyap1_max": -0.10688510537147522, "frac_above_star": 0.0 }, { "step": 14, "sup_loss": 0.7231364729473253, "rf_loss": 0.0, "total_loss": 0.7231364729473253, "lyap1_mean": -0.18311810493469238, "lyap1_max": -0.10648727416992188, "frac_above_star": 0.0 }, { "step": 15, "sup_loss": 0.8528769686539922, "rf_loss": 0.0, "total_loss": 0.8528769686539922, "lyap1_mean": -0.16756358742713928, "lyap1_max": -0.11682217568159103, "frac_above_star": 0.0 }, { "step": 16, "sup_loss": 0.722563755721378, "rf_loss": 0.0, "total_loss": 0.722563755721378, "lyap1_mean": -0.1748477816581726, "lyap1_max": -0.12108445167541504, "frac_above_star": 0.0 }, { "step": 17, "sup_loss": 0.8724514449865081, "rf_loss": 0.0, "total_loss": 0.8724514449865081, "lyap1_mean": -0.17068034410476685, "lyap1_max": -0.14823077619075775, "frac_above_star": 0.0 }, { "step": 18, "sup_loss": 0.7296722427931962, "rf_loss": 0.0, "total_loss": 0.7296722427931962, "lyap1_mean": -0.15272116661071777, "lyap1_max": -0.07230174541473389, "frac_above_star": 0.0 }, { "step": 19, "sup_loss": 0.8110568847189534, "rf_loss": 0.0, "total_loss": 0.8110568847189534, "lyap1_mean": -0.1528376191854477, "lyap1_max": -0.09343983978033066, "frac_above_star": 0.0 }, { "step": 20, "sup_loss": 0.7665781326234302, "rf_loss": 0.0, "total_loss": 0.7665781326234302, "lyap1_mean": -0.16565921902656555, "lyap1_max": -0.11640699952840805, "frac_above_star": 0.0 }, { "step": 21, "sup_loss": 0.6157564918083733, "rf_loss": 0.0, "total_loss": 0.6157564918083733, "lyap1_mean": -0.16681483387947083, "lyap1_max": -0.09417947381734848, "frac_above_star": 0.0 }, { "step": 22, "sup_loss": 0.6685711176455228, "rf_loss": 0.0, "total_loss": 0.6685711176455228, "lyap1_mean": -0.2013767808675766, "lyap1_max": -0.12240877002477646, "frac_above_star": 0.0 }, { "step": 23, "sup_loss": 0.7137263833805747, "rf_loss": 0.0, "total_loss": 0.7137263833805747, "lyap1_mean": -0.15472380816936493, "lyap1_max": -0.08605419844388962, "frac_above_star": 0.0 }, { "step": 24, "sup_loss": 0.827480691464767, "rf_loss": 0.0, "total_loss": 0.827480691464767, "lyap1_mean": -0.14539098739624023, "lyap1_max": -0.09427037090063095, "frac_above_star": 0.0 }, { "step": 25, "sup_loss": 0.9194766758281299, "rf_loss": 0.0, "total_loss": 0.9194766758281299, "lyap1_mean": -0.13963507115840912, "lyap1_max": -0.08548180758953094, "frac_above_star": 0.0 }, { "step": 26, "sup_loss": 0.9784147372315439, "rf_loss": 0.0, "total_loss": 0.9784147372315439, "lyap1_mean": -0.14422523975372314, "lyap1_max": -0.10545664280653, "frac_above_star": 0.0 }, { "step": 27, "sup_loss": 0.6944197347908231, "rf_loss": 0.0, "total_loss": 0.6944197347908231, "lyap1_mean": -0.1865117847919464, "lyap1_max": -0.035724371671676636, "frac_above_star": 0.0 }, { "step": 28, "sup_loss": 0.899098529453885, "rf_loss": 0.0, "total_loss": 0.899098529453885, "lyap1_mean": -0.15971603989601135, "lyap1_max": -0.10265000909566879, "frac_above_star": 0.0 }, { "step": 29, "sup_loss": 0.8933257135795497, "rf_loss": 0.0, "total_loss": 0.8933257135795497, "lyap1_mean": -0.1554708033800125, "lyap1_max": -0.07093934714794159, "frac_above_star": 0.0 }, { "step": 30, "sup_loss": 0.8180838753601891, "rf_loss": 0.0, "total_loss": 0.8180838753601891, "lyap1_mean": -0.12906484305858612, "lyap1_max": -0.06387707591056824, "frac_above_star": 0.0 }, { "step": 31, "sup_loss": 0.7897649168543185, "rf_loss": 0.0, "total_loss": 0.7897649168543185, "lyap1_mean": -0.14180722832679749, "lyap1_max": -0.08968459814786911, "frac_above_star": 0.0 }, { "step": 32, "sup_loss": 0.7222649286310092, "rf_loss": 0.0, "total_loss": 0.7222649286310092, "lyap1_mean": -0.14633245766162872, "lyap1_max": -0.022527916356921196, "frac_above_star": 0.0 }, { "step": 33, "sup_loss": 0.700384421628452, "rf_loss": 0.0, "total_loss": 0.700384421628452, "lyap1_mean": -0.15838535130023956, "lyap1_max": -0.10354883968830109, "frac_above_star": 0.0 }, { "step": 34, "sup_loss": 0.8330458357737909, "rf_loss": 0.0, "total_loss": 0.8330458357737909, "lyap1_mean": -0.1394711285829544, "lyap1_max": -0.06813066452741623, "frac_above_star": 0.0 }, { "step": 35, "sup_loss": 0.6856016849133593, "rf_loss": 0.0, "total_loss": 0.6856016849133593, "lyap1_mean": -0.17029201984405518, "lyap1_max": -0.07807296514511108, "frac_above_star": 0.0 }, { "step": 36, "sup_loss": 0.7035709578693492, "rf_loss": 0.0, "total_loss": 0.7035709578693492, "lyap1_mean": -0.1659230887889862, "lyap1_max": -0.09667368978261948, "frac_above_star": 0.0 }, { "step": 37, "sup_loss": 0.9307547734911211, "rf_loss": 0.0, "total_loss": 0.9307547734911211, "lyap1_mean": -0.15315136313438416, "lyap1_max": -0.09247402846813202, "frac_above_star": 0.0 }, { "step": 38, "sup_loss": 0.618502844985804, "rf_loss": 0.0, "total_loss": 0.618502844985804, "lyap1_mean": -0.1888601928949356, "lyap1_max": -0.0929664671421051, "frac_above_star": 0.0 }, { "step": 39, "sup_loss": 0.9233147774406311, "rf_loss": 0.0, "total_loss": 0.9233147774406311, "lyap1_mean": -0.1485116332769394, "lyap1_max": -0.11753672361373901, "frac_above_star": 0.0 }, { "step": 40, "sup_loss": 0.8592152107361575, "rf_loss": 0.0, "total_loss": 0.8592152107361575, "lyap1_mean": -0.15334883332252502, "lyap1_max": -0.07635868340730667, "frac_above_star": 0.0 }, { "step": 41, "sup_loss": 0.7041996012410398, "rf_loss": 0.0, "total_loss": 0.7041996012410398, "lyap1_mean": -0.17961740493774414, "lyap1_max": -0.10147713869810104, "frac_above_star": 0.0 }, { "step": 42, "sup_loss": 0.8048291794459894, "rf_loss": 0.0, "total_loss": 0.8048291794459894, "lyap1_mean": -0.18724402785301208, "lyap1_max": -0.12668141722679138, "frac_above_star": 0.0 }, { "step": 43, "sup_loss": 0.8114342836753174, "rf_loss": 0.0, "total_loss": 0.8114342836753174, "lyap1_mean": -0.18376535177230835, "lyap1_max": -0.13460402190685272, "frac_above_star": 0.0 }, { "step": 44, "sup_loss": 0.8407612379227133, "rf_loss": 0.0, "total_loss": 0.8407612379227133, "lyap1_mean": -0.15443070232868195, "lyap1_max": -0.08704724907875061, "frac_above_star": 0.0 }, { "step": 45, "sup_loss": 0.8213818557498704, "rf_loss": 0.0, "total_loss": 0.8213818557498704, "lyap1_mean": -0.17286983132362366, "lyap1_max": -0.11817747354507446, "frac_above_star": 0.0 }, { "step": 46, "sup_loss": 0.8842918309779938, "rf_loss": 0.0, "total_loss": 0.8842918309779938, "lyap1_mean": -0.13873587548732758, "lyap1_max": -0.10654093325138092, "frac_above_star": 0.0 }, { "step": 47, "sup_loss": 0.7635920756350312, "rf_loss": 0.0, "total_loss": 0.7635920756350312, "lyap1_mean": -0.17735353112220764, "lyap1_max": -0.08973541855812073, "frac_above_star": 0.0 }, { "step": 48, "sup_loss": 0.8049118534692371, "rf_loss": 0.0, "total_loss": 0.8049118534692371, "lyap1_mean": -0.16998760402202606, "lyap1_max": -0.12187597155570984, "frac_above_star": 0.0 }, { "step": 49, "sup_loss": 0.7479155566477645, "rf_loss": 0.0, "total_loss": 0.7479155566477645, "lyap1_mean": -0.15929171442985535, "lyap1_max": -0.08425279706716537, "frac_above_star": 0.0 }, { "step": 50, "sup_loss": 0.8703139770305711, "rf_loss": 0.0, "total_loss": 0.8703139770305711, "lyap1_mean": -0.14677491784095764, "lyap1_max": -0.10034405440092087, "frac_above_star": 0.0 }, { "step": 51, "sup_loss": 0.8162346315119218, "rf_loss": 0.0, "total_loss": 0.8162346315119218, "lyap1_mean": -0.16010525822639465, "lyap1_max": -0.10538546741008759, "frac_above_star": 0.0 }, { "step": 52, "sup_loss": 0.5747673006789139, "rf_loss": 0.0, "total_loss": 0.5747673006789139, "lyap1_mean": -0.21152742207050323, "lyap1_max": -0.1126667708158493, "frac_above_star": 0.0 }, { "step": 53, "sup_loss": 0.7169293810235835, "rf_loss": 0.0, "total_loss": 0.7169293810235835, "lyap1_mean": -0.1974809467792511, "lyap1_max": -0.1572217047214508, "frac_above_star": 0.0 }, { "step": 54, "sup_loss": 0.7191905757044799, "rf_loss": 0.0, "total_loss": 0.7191905757044799, "lyap1_mean": -0.15630404651165009, "lyap1_max": -0.08540420234203339, "frac_above_star": 0.0 }, { "step": 55, "sup_loss": 0.7849518261037922, "rf_loss": 0.0, "total_loss": 0.7849518261037922, "lyap1_mean": -0.14702877402305603, "lyap1_max": -0.09602184593677521, "frac_above_star": 0.0 }, { "step": 56, "sup_loss": 0.8457234068547439, "rf_loss": 0.0, "total_loss": 0.8457234068547439, "lyap1_mean": -0.16742102801799774, "lyap1_max": -0.12426726520061493, "frac_above_star": 0.0 }, { "step": 57, "sup_loss": 0.8757152436707726, "rf_loss": 0.0, "total_loss": 0.8757152436707726, "lyap1_mean": -0.16356569528579712, "lyap1_max": -0.14174580574035645, "frac_above_star": 0.0 }, { "step": 58, "sup_loss": 0.780821078556541, "rf_loss": 0.0, "total_loss": 0.780821078556541, "lyap1_mean": -0.17508450150489807, "lyap1_max": -0.11269130557775497, "frac_above_star": 0.0 }, { "step": 59, "sup_loss": 0.6324976190082165, "rf_loss": 0.0, "total_loss": 0.6324976190082165, "lyap1_mean": -0.17235444486141205, "lyap1_max": -0.1250026524066925, "frac_above_star": 0.0 }, { "step": 60, "sup_loss": 0.7804021261525393, "rf_loss": 0.0, "total_loss": 0.7804021261525393, "lyap1_mean": -0.1649075150489807, "lyap1_max": -0.11127787828445435, "frac_above_star": 0.0 }, { "step": 61, "sup_loss": 0.8619225022781628, "rf_loss": 0.0, "total_loss": 0.8619225022781628, "lyap1_mean": -0.1449926793575287, "lyap1_max": -0.08310116827487946, "frac_above_star": 0.0 }, { "step": 62, "sup_loss": 0.6226525683850979, "rf_loss": 0.0, "total_loss": 0.6226525683850979, "lyap1_mean": -0.18462902307510376, "lyap1_max": -0.11141124367713928, "frac_above_star": 0.0 }, { "step": 63, "sup_loss": 0.8186303257213046, "rf_loss": 0.0, "total_loss": 0.8186303257213046, "lyap1_mean": -0.16580209136009216, "lyap1_max": -0.11237470805644989, "frac_above_star": 0.0 }, { "step": 64, "sup_loss": 0.7060758427684247, "rf_loss": 0.0, "total_loss": 0.7060758427684247, "lyap1_mean": -0.16295035183429718, "lyap1_max": -0.09162454307079315, "frac_above_star": 0.0 }, { "step": 65, "sup_loss": 0.7977745123292174, "rf_loss": 0.0, "total_loss": 0.7977745123292174, "lyap1_mean": -0.175790473818779, "lyap1_max": -0.10176976770162582, "frac_above_star": 0.0 }, { "step": 66, "sup_loss": 0.6674321644973507, "rf_loss": 0.0, "total_loss": 0.6674321644973507, "lyap1_mean": -0.16558963060379028, "lyap1_max": -0.12669838964939117, "frac_above_star": 0.0 }, { "step": 67, "sup_loss": 0.7570311766062797, "rf_loss": 0.0, "total_loss": 0.7570311766062797, "lyap1_mean": -0.1584157943725586, "lyap1_max": -0.11383870244026184, "frac_above_star": 0.0 }, { "step": 68, "sup_loss": 0.7479337434863242, "rf_loss": 0.0, "total_loss": 0.7479337434863242, "lyap1_mean": -0.18688973784446716, "lyap1_max": -0.12112444639205933, "frac_above_star": 0.0 }, { "step": 69, "sup_loss": 0.9383468087009581, "rf_loss": 0.0, "total_loss": 0.9383468087009581, "lyap1_mean": -0.1557079553604126, "lyap1_max": -0.08442302793264389, "frac_above_star": 0.0 }, { "step": 70, "sup_loss": 0.7972332636904691, "rf_loss": 0.0, "total_loss": 0.7972332636904691, "lyap1_mean": -0.15671610832214355, "lyap1_max": -0.10424863547086716, "frac_above_star": 0.0 }, { "step": 71, "sup_loss": 0.8917381428562074, "rf_loss": 0.0, "total_loss": 0.8917381428562074, "lyap1_mean": -0.1693902164697647, "lyap1_max": -0.10430758446455002, "frac_above_star": 0.0 }, { "step": 72, "sup_loss": 0.5868613694354042, "rf_loss": 0.0, "total_loss": 0.5868613694354042, "lyap1_mean": -0.19172939658164978, "lyap1_max": -0.06764912605285645, "frac_above_star": 0.0 }, { "step": 73, "sup_loss": 0.7802502861363305, "rf_loss": 0.0, "total_loss": 0.7802502861363305, "lyap1_mean": -0.17565500736236572, "lyap1_max": -0.07939945161342621, "frac_above_star": 0.0 }, { "step": 74, "sup_loss": 0.9371371111344537, "rf_loss": 0.0, "total_loss": 0.9371371111344537, "lyap1_mean": -0.13398268818855286, "lyap1_max": -0.07889707386493683, "frac_above_star": 0.0 }, { "step": 75, "sup_loss": 0.6995847676361253, "rf_loss": 0.0, "total_loss": 0.6995847676361253, "lyap1_mean": -0.16471520066261292, "lyap1_max": -0.08422510325908661, "frac_above_star": 0.0 }, { "step": 76, "sup_loss": 0.7680522256448168, "rf_loss": 0.0, "total_loss": 0.7680522256448168, "lyap1_mean": -0.15201972424983978, "lyap1_max": -0.10308493673801422, "frac_above_star": 0.0 }, { "step": 77, "sup_loss": 0.7680704564118263, "rf_loss": 0.0, "total_loss": 0.7680704564118263, "lyap1_mean": -0.18679332733154297, "lyap1_max": -0.13689649105072021, "frac_above_star": 0.0 }, { "step": 78, "sup_loss": 1.0719227230006312, "rf_loss": 0.0, "total_loss": 1.0719227230006312, "lyap1_mean": -0.15680375695228577, "lyap1_max": -0.07504019886255264, "frac_above_star": 0.0 }, { "step": 79, "sup_loss": 0.7924003076917513, "rf_loss": 0.0, "total_loss": 0.7924003076917513, "lyap1_mean": -0.17250043153762817, "lyap1_max": -0.127183735370636, "frac_above_star": 0.0 }, { "step": 80, "sup_loss": 0.7863403165320153, "rf_loss": 0.0, "total_loss": 0.7863403165320153, "lyap1_mean": -0.17740532755851746, "lyap1_max": -0.12502695620059967, "frac_above_star": 0.0 }, { "step": 81, "sup_loss": 0.7784614940993909, "rf_loss": 0.0, "total_loss": 0.7784614940993909, "lyap1_mean": -0.15497496724128723, "lyap1_max": -0.07891250401735306, "frac_above_star": 0.0 }, { "step": 82, "sup_loss": 0.5962531492923522, "rf_loss": 0.0, "total_loss": 0.5962531492923522, "lyap1_mean": -0.20420333743095398, "lyap1_max": -0.15635086596012115, "frac_above_star": 0.0 }, { "step": 83, "sup_loss": 0.869824739035309, "rf_loss": 0.0, "total_loss": 0.869824739035309, "lyap1_mean": -0.15379047393798828, "lyap1_max": -0.11902450025081635, "frac_above_star": 0.0 }, { "step": 84, "sup_loss": 0.7282124322822039, "rf_loss": 0.0, "total_loss": 0.7282124322822039, "lyap1_mean": -0.16671672463417053, "lyap1_max": -0.09474595636129379, "frac_above_star": 0.0 }, { "step": 85, "sup_loss": 0.8438638988480853, "rf_loss": 0.0, "total_loss": 0.8438638988480853, "lyap1_mean": -0.14430361986160278, "lyap1_max": -0.06433071196079254, "frac_above_star": 0.0 }, { "step": 86, "sup_loss": 0.8008075975951966, "rf_loss": 0.0, "total_loss": 0.8008075975951966, "lyap1_mean": -0.1632971167564392, "lyap1_max": -0.08366084098815918, "frac_above_star": 0.0 }, { "step": 87, "sup_loss": 0.8290116354568133, "rf_loss": 0.0, "total_loss": 0.8290116354568133, "lyap1_mean": -0.14827777445316315, "lyap1_max": -0.11166894435882568, "frac_above_star": 0.0 }, { "step": 88, "sup_loss": 0.871024630652313, "rf_loss": 0.0, "total_loss": 0.871024630652313, "lyap1_mean": -0.1735086292028427, "lyap1_max": -0.08007486164569855, "frac_above_star": 0.0 }, { "step": 89, "sup_loss": 0.9054000908363964, "rf_loss": 0.0, "total_loss": 0.9054000908363964, "lyap1_mean": -0.15406516194343567, "lyap1_max": -0.05276237055659294, "frac_above_star": 0.0 }, { "step": 90, "sup_loss": 0.6796764819443825, "rf_loss": 0.0, "total_loss": 0.6796764819443825, "lyap1_mean": -0.17744198441505432, "lyap1_max": -0.06779630482196808, "frac_above_star": 0.0 }, { "step": 91, "sup_loss": 0.7405302682131508, "rf_loss": 0.0, "total_loss": 0.7405302682131508, "lyap1_mean": -0.1653016209602356, "lyap1_max": -0.08926515281200409, "frac_above_star": 0.0 }, { "step": 92, "sup_loss": 0.959891361490995, "rf_loss": 0.0, "total_loss": 0.959891361490995, "lyap1_mean": -0.15217715501785278, "lyap1_max": -0.09848533570766449, "frac_above_star": 0.0 }, { "step": 93, "sup_loss": 0.8066093378152731, "rf_loss": 0.0, "total_loss": 0.8066093378152731, "lyap1_mean": -0.18582198023796082, "lyap1_max": -0.11925028264522552, "frac_above_star": 0.0 }, { "step": 94, "sup_loss": 0.8377361958792608, "rf_loss": 0.0, "total_loss": 0.8377361958792608, "lyap1_mean": -0.1724281907081604, "lyap1_max": -0.09862741082906723, "frac_above_star": 0.0 }, { "step": 95, "sup_loss": 0.8424471599988244, "rf_loss": 0.0, "total_loss": 0.8424471599988244, "lyap1_mean": -0.1551160365343094, "lyap1_max": -0.08934839069843292, "frac_above_star": 0.0 }, { "step": 96, "sup_loss": 0.7928217621307205, "rf_loss": 0.0, "total_loss": 0.7928217621307205, "lyap1_mean": -0.17161807417869568, "lyap1_max": -0.12332783639431, "frac_above_star": 0.0 }, { "step": 97, "sup_loss": 0.5319599088261506, "rf_loss": 0.0, "total_loss": 0.5319599088261506, "lyap1_mean": -0.15551698207855225, "lyap1_max": -0.07974223792552948, "frac_above_star": 0.0 }, { "step": 98, "sup_loss": 0.8869766858942241, "rf_loss": 0.0, "total_loss": 0.8869766858942241, "lyap1_mean": -0.17304572463035583, "lyap1_max": -0.12348847091197968, "frac_above_star": 0.0 }, { "step": 99, "sup_loss": 0.6809509251289727, "rf_loss": 0.0, "total_loss": 0.6809509251289727, "lyap1_mean": -0.2019055336713791, "lyap1_max": -0.148316890001297, "frac_above_star": 0.0 }, { "step": 100, "sup_loss": 0.6932971663930526, "rf_loss": 0.0, "total_loss": 0.6932971663930526, "lyap1_mean": -0.17261841893196106, "lyap1_max": -0.101192407310009, "frac_above_star": 0.0 }, { "step": 101, "sup_loss": 0.7172839549394129, "rf_loss": 0.0, "total_loss": 0.7172839549394129, "lyap1_mean": -0.1970173716545105, "lyap1_max": -0.11412204802036285, "frac_above_star": 0.0 }, { "step": 102, "sup_loss": 0.6612557721274192, "rf_loss": 0.0, "total_loss": 0.6612557721274192, "lyap1_mean": -0.19978678226470947, "lyap1_max": -0.10191141068935394, "frac_above_star": 0.0 }, { "step": 103, "sup_loss": 0.8468669156616463, "rf_loss": 0.0, "total_loss": 0.8468669156616463, "lyap1_mean": -0.15041068196296692, "lyap1_max": -0.04945030063390732, "frac_above_star": 0.0 }, { "step": 104, "sup_loss": 0.8583694836588244, "rf_loss": 0.0, "total_loss": 0.8583694836588244, "lyap1_mean": -0.1923953890800476, "lyap1_max": -0.14725874364376068, "frac_above_star": 0.0 }, { "step": 105, "sup_loss": 0.8133936439498823, "rf_loss": 0.0, "total_loss": 0.8133936439498823, "lyap1_mean": -0.16363279521465302, "lyap1_max": -0.1387873888015747, "frac_above_star": 0.0 }, { "step": 106, "sup_loss": 0.7624780252659825, "rf_loss": 0.0, "total_loss": 0.7624780252659825, "lyap1_mean": -0.15654289722442627, "lyap1_max": -0.09704338014125824, "frac_above_star": 0.0 }, { "step": 107, "sup_loss": 0.669478113888003, "rf_loss": 0.0, "total_loss": 0.669478113888003, "lyap1_mean": -0.1826716959476471, "lyap1_max": -0.1293877214193344, "frac_above_star": 0.0 }, { "step": 108, "sup_loss": 0.7199813162190785, "rf_loss": 0.0, "total_loss": 0.7199813162190785, "lyap1_mean": -0.15621417760849, "lyap1_max": -0.08606496453285217, "frac_above_star": 0.0 }, { "step": 109, "sup_loss": 0.8211397918026317, "rf_loss": 0.0, "total_loss": 0.8211397918026317, "lyap1_mean": -0.16678160429000854, "lyap1_max": -0.08149410039186478, "frac_above_star": 0.0 }, { "step": 110, "sup_loss": 0.7527194244874595, "rf_loss": 0.0, "total_loss": 0.7527194244874595, "lyap1_mean": -0.14759573340415955, "lyap1_max": -0.06053254008293152, "frac_above_star": 0.0 }, { "step": 111, "sup_loss": 0.7962335239705701, "rf_loss": 0.0, "total_loss": 0.7962335239705701, "lyap1_mean": -0.17121528089046478, "lyap1_max": -0.11669443547725677, "frac_above_star": 0.0 }, { "step": 112, "sup_loss": 0.819190524508695, "rf_loss": 0.0, "total_loss": 0.819190524508695, "lyap1_mean": -0.15021024644374847, "lyap1_max": -0.07244427502155304, "frac_above_star": 0.0 }, { "step": 113, "sup_loss": 0.7353313062526686, "rf_loss": 0.0, "total_loss": 0.7353313062526686, "lyap1_mean": -0.16155700385570526, "lyap1_max": -0.10230591148138046, "frac_above_star": 0.0 }, { "step": 114, "sup_loss": 0.7585230800750145, "rf_loss": 0.0, "total_loss": 0.7585230800750145, "lyap1_mean": -0.1581377387046814, "lyap1_max": -0.07779434323310852, "frac_above_star": 0.0 }, { "step": 115, "sup_loss": 0.7870366757094124, "rf_loss": 0.0, "total_loss": 0.7870366757094124, "lyap1_mean": -0.17732849717140198, "lyap1_max": -0.09114113450050354, "frac_above_star": 0.0 }, { "step": 116, "sup_loss": 0.7200892198309691, "rf_loss": 0.0, "total_loss": 0.7200892198309691, "lyap1_mean": -0.17902740836143494, "lyap1_max": -0.14571844041347504, "frac_above_star": 0.0 }, { "step": 117, "sup_loss": 0.9256499426738422, "rf_loss": 0.0, "total_loss": 0.9256499426738422, "lyap1_mean": -0.14595988392829895, "lyap1_max": -0.08750791847705841, "frac_above_star": 0.0 }, { "step": 118, "sup_loss": 0.7333474061081077, "rf_loss": 0.0, "total_loss": 0.7333474061081077, "lyap1_mean": -0.20178937911987305, "lyap1_max": -0.13387054204940796, "frac_above_star": 0.0 }, { "step": 119, "sup_loss": 0.6994522639753817, "rf_loss": 0.0, "total_loss": 0.6994522639753817, "lyap1_mean": -0.1728905886411667, "lyap1_max": -0.12488430738449097, "frac_above_star": 0.0 }, { "step": 120, "sup_loss": 0.822452535201445, "rf_loss": 0.0, "total_loss": 0.822452535201445, "lyap1_mean": -0.1779555082321167, "lyap1_max": -0.14769771695137024, "frac_above_star": 0.0 }, { "step": 121, "sup_loss": 0.8441150098648753, "rf_loss": 0.0, "total_loss": 0.8441150098648753, "lyap1_mean": -0.1617911159992218, "lyap1_max": -0.08253733068704605, "frac_above_star": 0.0 }, { "step": 122, "sup_loss": 0.9298613608561141, "rf_loss": 0.0, "total_loss": 0.9298613608561141, "lyap1_mean": -0.1384105086326599, "lyap1_max": -0.07427310943603516, "frac_above_star": 0.0 }, { "step": 123, "sup_loss": 0.9734750358619769, "rf_loss": 0.0, "total_loss": 0.9734750358619769, "lyap1_mean": -0.14934736490249634, "lyap1_max": -0.09084898233413696, "frac_above_star": 0.0 }, { "step": 124, "sup_loss": 0.926795940661962, "rf_loss": 0.0, "total_loss": 0.926795940661962, "lyap1_mean": -0.1614699363708496, "lyap1_max": -0.09227512776851654, "frac_above_star": 0.0 }, { "step": 125, "sup_loss": 0.5856787023997928, "rf_loss": 0.0, "total_loss": 0.5856787023997928, "lyap1_mean": -0.18636247515678406, "lyap1_max": -0.09235524386167526, "frac_above_star": 0.0 }, { "step": 126, "sup_loss": 0.7417324219213912, "rf_loss": 0.0, "total_loss": 0.7417324219213912, "lyap1_mean": -0.18018226325511932, "lyap1_max": -0.11953740566968918, "frac_above_star": 0.0 }, { "step": 127, "sup_loss": 0.6828074971888458, "rf_loss": 0.0, "total_loss": 0.6828074971888458, "lyap1_mean": -0.20492081344127655, "lyap1_max": -0.13967663049697876, "frac_above_star": 0.0 }, { "step": 128, "sup_loss": 0.6566715224637683, "rf_loss": 0.0, "total_loss": 0.6566715224637683, "lyap1_mean": -0.16397206485271454, "lyap1_max": -0.0953826904296875, "frac_above_star": 0.0 }, { "step": 129, "sup_loss": 0.6711186646126367, "rf_loss": 0.0, "total_loss": 0.6711186646126367, "lyap1_mean": -0.16708149015903473, "lyap1_max": -0.15234875679016113, "frac_above_star": 0.0 }, { "step": 130, "sup_loss": 0.747669403363346, "rf_loss": 0.0, "total_loss": 0.747669403363346, "lyap1_mean": -0.1943747103214264, "lyap1_max": -0.13893629610538483, "frac_above_star": 0.0 }, { "step": 131, "sup_loss": 0.6548846929181958, "rf_loss": 0.0, "total_loss": 0.6548846929181958, "lyap1_mean": -0.16731183230876923, "lyap1_max": -0.12472830712795258, "frac_above_star": 0.0 }, { "step": 132, "sup_loss": 0.87899150060636, "rf_loss": 0.0, "total_loss": 0.87899150060636, "lyap1_mean": -0.184157133102417, "lyap1_max": -0.13834592700004578, "frac_above_star": 0.0 }, { "step": 133, "sup_loss": 0.820659242728761, "rf_loss": 0.0, "total_loss": 0.820659242728761, "lyap1_mean": -0.17789402604103088, "lyap1_max": -0.10860192030668259, "frac_above_star": 0.0 }, { "step": 134, "sup_loss": 0.6221676836480234, "rf_loss": 0.0, "total_loss": 0.6221676836480234, "lyap1_mean": -0.19646808505058289, "lyap1_max": -0.10887427628040314, "frac_above_star": 0.0 }, { "step": 135, "sup_loss": 0.8879354191766404, "rf_loss": 0.0, "total_loss": 0.8879354191766404, "lyap1_mean": -0.14878708124160767, "lyap1_max": -0.09070006012916565, "frac_above_star": 0.0 }, { "step": 136, "sup_loss": 0.8340566907510802, "rf_loss": 0.0, "total_loss": 0.8340566907510802, "lyap1_mean": -0.13781292736530304, "lyap1_max": -0.04971388727426529, "frac_above_star": 0.0 }, { "step": 137, "sup_loss": 0.9279322811120395, "rf_loss": 0.0, "total_loss": 0.9279322811120395, "lyap1_mean": -0.1641617864370346, "lyap1_max": -0.1355576366186142, "frac_above_star": 0.0 }, { "step": 138, "sup_loss": 0.6409987584288634, "rf_loss": 0.0, "total_loss": 0.6409987584288634, "lyap1_mean": -0.19008508324623108, "lyap1_max": -0.1359959989786148, "frac_above_star": 0.0 }, { "step": 139, "sup_loss": 0.7932947499881337, "rf_loss": 0.0, "total_loss": 0.7932947499881337, "lyap1_mean": -0.16131657361984253, "lyap1_max": -0.085594043135643, "frac_above_star": 0.0 }, { "step": 140, "sup_loss": 0.929191052067696, "rf_loss": 0.0, "total_loss": 0.929191052067696, "lyap1_mean": -0.14823558926582336, "lyap1_max": -0.0798461064696312, "frac_above_star": 0.0 }, { "step": 141, "sup_loss": 1.0209962541007453, "rf_loss": 0.0, "total_loss": 1.0209962541007453, "lyap1_mean": -0.16819939017295837, "lyap1_max": -0.10699416697025299, "frac_above_star": 0.0 }, { "step": 142, "sup_loss": 0.5724088201290927, "rf_loss": 0.0, "total_loss": 0.5724088201290927, "lyap1_mean": -0.17610178887844086, "lyap1_max": -0.13439446687698364, "frac_above_star": 0.0 }, { "step": 143, "sup_loss": 0.7429904525340649, "rf_loss": 0.0, "total_loss": 0.7429904525340649, "lyap1_mean": -0.18931731581687927, "lyap1_max": -0.11968135088682175, "frac_above_star": 0.0 }, { "step": 144, "sup_loss": 0.85771183482815, "rf_loss": 0.0, "total_loss": 0.85771183482815, "lyap1_mean": -0.16854631900787354, "lyap1_max": -0.14811617136001587, "frac_above_star": 0.0 }, { "step": 145, "sup_loss": 0.8151454012336874, "rf_loss": 0.0, "total_loss": 0.8151454012336874, "lyap1_mean": -0.1731804460287094, "lyap1_max": -0.1379702389240265, "frac_above_star": 0.0 }, { "step": 146, "sup_loss": 0.7937460154492639, "rf_loss": 0.0, "total_loss": 0.7937460154492639, "lyap1_mean": -0.1658029854297638, "lyap1_max": -0.12620912492275238, "frac_above_star": 0.0 }, { "step": 147, "sup_loss": 0.7638652871953294, "rf_loss": 0.0, "total_loss": 0.7638652871953294, "lyap1_mean": -0.15136802196502686, "lyap1_max": -0.08748917281627655, "frac_above_star": 0.0 }, { "step": 148, "sup_loss": 0.7058689661706421, "rf_loss": 0.0, "total_loss": 0.7058689661706421, "lyap1_mean": -0.20514148473739624, "lyap1_max": -0.13583803176879883, "frac_above_star": 0.0 }, { "step": 149, "sup_loss": 0.6491663699028352, "rf_loss": 0.0, "total_loss": 0.6491663699028352, "lyap1_mean": -0.15215185284614563, "lyap1_max": -0.06126784533262253, "frac_above_star": 0.0 }, { "step": 150, "sup_loss": 0.6043110611127395, "rf_loss": 0.0, "total_loss": 0.6043110611127395, "lyap1_mean": -0.20292851328849792, "lyap1_max": -0.12694481015205383, "frac_above_star": 0.0 }, { "step": 151, "sup_loss": 0.7328825131642822, "rf_loss": 0.0, "total_loss": 0.7328825131642822, "lyap1_mean": -0.17438547313213348, "lyap1_max": -0.07095185667276382, "frac_above_star": 0.0 }, { "step": 152, "sup_loss": 0.7247777642858168, "rf_loss": 0.0, "total_loss": 0.7247777642858168, "lyap1_mean": -0.18617480993270874, "lyap1_max": -0.07916572690010071, "frac_above_star": 0.0 }, { "step": 153, "sup_loss": 0.7756803847951447, "rf_loss": 0.0, "total_loss": 0.7756803847951447, "lyap1_mean": -0.15397393703460693, "lyap1_max": -0.07382673770189285, "frac_above_star": 0.0 }, { "step": 154, "sup_loss": 0.8302548327085966, "rf_loss": 0.0, "total_loss": 0.8302548327085966, "lyap1_mean": -0.1548781394958496, "lyap1_max": -0.11556848138570786, "frac_above_star": 0.0 }, { "step": 155, "sup_loss": 0.6271648247305546, "rf_loss": 0.0, "total_loss": 0.6271648247305546, "lyap1_mean": -0.19603094458580017, "lyap1_max": -0.14171847701072693, "frac_above_star": 0.0 }, { "step": 156, "sup_loss": 0.8336405717362522, "rf_loss": 0.0, "total_loss": 0.8336405717362522, "lyap1_mean": -0.1532600224018097, "lyap1_max": -0.1058310717344284, "frac_above_star": 0.0 }, { "step": 157, "sup_loss": 0.8139413853566304, "rf_loss": 0.0, "total_loss": 0.8139413853566304, "lyap1_mean": -0.1833978295326233, "lyap1_max": -0.08714105933904648, "frac_above_star": 0.0 }, { "step": 158, "sup_loss": 0.897898119635671, "rf_loss": 0.0, "total_loss": 0.897898119635671, "lyap1_mean": -0.14197780191898346, "lyap1_max": -0.08014634996652603, "frac_above_star": 0.0 }, { "step": 159, "sup_loss": 0.7540262418089468, "rf_loss": 0.0, "total_loss": 0.7540262418089468, "lyap1_mean": -0.1696893274784088, "lyap1_max": -0.09252160787582397, "frac_above_star": 0.0 }, { "step": 160, "sup_loss": 0.8597268828770088, "rf_loss": 0.0, "total_loss": 0.8597268828770088, "lyap1_mean": -0.15336276590824127, "lyap1_max": -0.11005453765392303, "frac_above_star": 0.0 }, { "step": 161, "sup_loss": 0.567313943276494, "rf_loss": 0.0, "total_loss": 0.567313943276494, "lyap1_mean": -0.17552731931209564, "lyap1_max": -0.10301628708839417, "frac_above_star": 0.0 }, { "step": 162, "sup_loss": 0.5661651824271624, "rf_loss": 0.0, "total_loss": 0.5661651824271624, "lyap1_mean": -0.17306014895439148, "lyap1_max": -0.08119261264801025, "frac_above_star": 0.0 }, { "step": 163, "sup_loss": 0.8635744759666706, "rf_loss": 0.0, "total_loss": 0.8635744759666706, "lyap1_mean": -0.16668888926506042, "lyap1_max": -0.09334827959537506, "frac_above_star": 0.0 }, { "step": 164, "sup_loss": 0.53908302295947, "rf_loss": 0.0, "total_loss": 0.53908302295947, "lyap1_mean": -0.21642683446407318, "lyap1_max": -0.15485723316669464, "frac_above_star": 0.0 }, { "step": 165, "sup_loss": 0.8059471145246417, "rf_loss": 0.0, "total_loss": 0.8059471145246417, "lyap1_mean": -0.1422019898891449, "lyap1_max": -0.11626607179641724, "frac_above_star": 0.0 }, { "step": 166, "sup_loss": 0.7862939444783483, "rf_loss": 0.0, "total_loss": 0.7862939444783483, "lyap1_mean": -0.16233119368553162, "lyap1_max": -0.09521381556987762, "frac_above_star": 0.0 }, { "step": 167, "sup_loss": 0.8465730171072239, "rf_loss": 0.0, "total_loss": 0.8465730171072239, "lyap1_mean": -0.15668553113937378, "lyap1_max": -0.046210285276174545, "frac_above_star": 0.0 }, { "step": 168, "sup_loss": 0.7624969760120843, "rf_loss": 0.0, "total_loss": 0.7624969760120843, "lyap1_mean": -0.16570794582366943, "lyap1_max": -0.07484769821166992, "frac_above_star": 0.0 }, { "step": 169, "sup_loss": 0.7920092869795023, "rf_loss": 0.0, "total_loss": 0.7920092869795023, "lyap1_mean": -0.15588170289993286, "lyap1_max": -0.10665102303028107, "frac_above_star": 0.0 }, { "step": 170, "sup_loss": 0.69001023337839, "rf_loss": 0.0, "total_loss": 0.69001023337839, "lyap1_mean": -0.17999500036239624, "lyap1_max": -0.09192749857902527, "frac_above_star": 0.0 }, { "step": 171, "sup_loss": 0.6839862118881731, "rf_loss": 0.0, "total_loss": 0.6839862118881731, "lyap1_mean": -0.1824927031993866, "lyap1_max": -0.13036483526229858, "frac_above_star": 0.0 }, { "step": 172, "sup_loss": 0.679365494752299, "rf_loss": 0.0, "total_loss": 0.679365494752299, "lyap1_mean": -0.16524581611156464, "lyap1_max": -0.08877696096897125, "frac_above_star": 0.0 }, { "step": 173, "sup_loss": 0.6908645886333107, "rf_loss": 0.0, "total_loss": 0.6908645886333107, "lyap1_mean": -0.1615837961435318, "lyap1_max": -0.04654408618807793, "frac_above_star": 0.0 }, { "step": 174, "sup_loss": 0.7250911660620694, "rf_loss": 0.0, "total_loss": 0.7250911660620694, "lyap1_mean": -0.1857822984457016, "lyap1_max": -0.10840807855129242, "frac_above_star": 0.0 }, { "step": 175, "sup_loss": 0.6668588422186289, "rf_loss": 0.0, "total_loss": 0.6668588422186289, "lyap1_mean": -0.19333378970623016, "lyap1_max": -0.12078888714313507, "frac_above_star": 0.0 }, { "step": 176, "sup_loss": 0.7311434154163532, "rf_loss": 0.0, "total_loss": 0.7311434154163532, "lyap1_mean": -0.16130349040031433, "lyap1_max": -0.11399425566196442, "frac_above_star": 0.0 }, { "step": 177, "sup_loss": 0.7844577575338115, "rf_loss": 0.0, "total_loss": 0.7844577575338115, "lyap1_mean": -0.1746463030576706, "lyap1_max": -0.07449942082166672, "frac_above_star": 0.0 }, { "step": 178, "sup_loss": 0.7102304405565822, "rf_loss": 0.0, "total_loss": 0.7102304405565822, "lyap1_mean": -0.16273388266563416, "lyap1_max": -0.10300224274396896, "frac_above_star": 0.0 }, { "step": 179, "sup_loss": 0.7590574499413111, "rf_loss": 0.0, "total_loss": 0.7590574499413111, "lyap1_mean": -0.17013831436634064, "lyap1_max": -0.06481930613517761, "frac_above_star": 0.0 }, { "step": 180, "sup_loss": 0.7438333438697635, "rf_loss": 0.0, "total_loss": 0.7438333438697635, "lyap1_mean": -0.16445735096931458, "lyap1_max": -0.11066214740276337, "frac_above_star": 0.0 }, { "step": 181, "sup_loss": 0.5731900383285344, "rf_loss": 0.0, "total_loss": 0.5731900383285344, "lyap1_mean": -0.18239068984985352, "lyap1_max": -0.09669946134090424, "frac_above_star": 0.0 }, { "step": 182, "sup_loss": 0.8239121084225494, "rf_loss": 0.0, "total_loss": 0.8239121084225494, "lyap1_mean": -0.15994884073734283, "lyap1_max": -0.08857240527868271, "frac_above_star": 0.0 }, { "step": 183, "sup_loss": 0.8390062965009211, "rf_loss": 0.0, "total_loss": 0.8390062965009211, "lyap1_mean": -0.16378280520439148, "lyap1_max": -0.13185560703277588, "frac_above_star": 0.0 }, { "step": 184, "sup_loss": 0.5139838225104381, "rf_loss": 0.0, "total_loss": 0.5139838225104381, "lyap1_mean": -0.17058339715003967, "lyap1_max": -0.14022889733314514, "frac_above_star": 0.0 }, { "step": 185, "sup_loss": 0.4951112641072267, "rf_loss": 0.0, "total_loss": 0.4951112641072267, "lyap1_mean": -0.19875267148017883, "lyap1_max": -0.10223870724439621, "frac_above_star": 0.0 }, { "step": 186, "sup_loss": 0.6438913209479146, "rf_loss": 0.0, "total_loss": 0.6438913209479146, "lyap1_mean": -0.20970505475997925, "lyap1_max": -0.13993604481220245, "frac_above_star": 0.0 }, { "step": 187, "sup_loss": 0.6925541272985121, "rf_loss": 0.0, "total_loss": 0.6925541272985121, "lyap1_mean": -0.1626724749803543, "lyap1_max": -0.03564203903079033, "frac_above_star": 0.0 }, { "step": 188, "sup_loss": 0.8202805350996987, "rf_loss": 0.0, "total_loss": 0.8202805350996987, "lyap1_mean": -0.17400962114334106, "lyap1_max": -0.09841232746839523, "frac_above_star": 0.0 }, { "step": 189, "sup_loss": 0.8776983696170567, "rf_loss": 0.0, "total_loss": 0.8776983696170567, "lyap1_mean": -0.17359168827533722, "lyap1_max": -0.15246328711509705, "frac_above_star": 0.0 }, { "step": 190, "sup_loss": 0.6412128297616485, "rf_loss": 0.0, "total_loss": 0.6412128297616485, "lyap1_mean": -0.16966512799263, "lyap1_max": -0.07587598264217377, "frac_above_star": 0.0 }, { "step": 191, "sup_loss": 0.8323860301082672, "rf_loss": 0.0, "total_loss": 0.8323860301082672, "lyap1_mean": -0.16968223452568054, "lyap1_max": -0.11610498279333115, "frac_above_star": 0.0 }, { "step": 192, "sup_loss": 0.6947416798800439, "rf_loss": 0.0, "total_loss": 0.6947416798800439, "lyap1_mean": -0.17459936439990997, "lyap1_max": -0.11382755637168884, "frac_above_star": 0.0 }, { "step": 193, "sup_loss": 0.5003116071365896, "rf_loss": 0.0, "total_loss": 0.5003116071365896, "lyap1_mean": -0.20122554898262024, "lyap1_max": -0.11211170256137848, "frac_above_star": 0.0 }, { "step": 194, "sup_loss": 0.7519276463254314, "rf_loss": 0.0, "total_loss": 0.7519276463254314, "lyap1_mean": -0.17644348740577698, "lyap1_max": -0.1078515499830246, "frac_above_star": 0.0 }, { "step": 195, "sup_loss": 0.730730632651499, "rf_loss": 0.0, "total_loss": 0.730730632651499, "lyap1_mean": -0.15349891781806946, "lyap1_max": -0.061941057443618774, "frac_above_star": 0.0 }, { "step": 196, "sup_loss": 1.0266824719715943, "rf_loss": 0.0, "total_loss": 1.0266824719715943, "lyap1_mean": -0.15062832832336426, "lyap1_max": -0.07508152723312378, "frac_above_star": 0.0 }, { "step": 197, "sup_loss": 0.7622687783216067, "rf_loss": 0.0, "total_loss": 0.7622687783216067, "lyap1_mean": -0.17280295491218567, "lyap1_max": -0.14788395166397095, "frac_above_star": 0.0 }, { "step": 198, "sup_loss": 0.7096946841761094, "rf_loss": 0.0, "total_loss": 0.7096946841761094, "lyap1_mean": -0.17940188944339752, "lyap1_max": -0.10616344213485718, "frac_above_star": 0.0 }, { "step": 199, "sup_loss": 0.710413867994947, "rf_loss": 0.0, "total_loss": 0.710413867994947, "lyap1_mean": -0.16410966217517853, "lyap1_max": -0.09801977872848511, "frac_above_star": 0.0 }, { "step": 200, "sup_loss": 0.8987422144999132, "rf_loss": 0.0, "total_loss": 0.8987422144999132, "lyap1_mean": -0.16635966300964355, "lyap1_max": -0.11998310685157776, "frac_above_star": 0.0 }, { "step": 201, "sup_loss": 0.8229733605448062, "rf_loss": 0.0, "total_loss": 0.8229733605448062, "lyap1_mean": -0.17744357883930206, "lyap1_max": -0.12851305305957794, "frac_above_star": 0.0 }, { "step": 202, "sup_loss": 0.7791837414735417, "rf_loss": 0.0, "total_loss": 0.7791837414735417, "lyap1_mean": -0.18683823943138123, "lyap1_max": -0.1157243400812149, "frac_above_star": 0.0 }, { "step": 203, "sup_loss": 0.9286088858207264, "rf_loss": 0.0, "total_loss": 0.9286088858207264, "lyap1_mean": -0.1679665446281433, "lyap1_max": -0.1035214513540268, "frac_above_star": 0.0 }, { "step": 204, "sup_loss": 0.8222357954341666, "rf_loss": 0.0, "total_loss": 0.8222357954341666, "lyap1_mean": -0.16079756617546082, "lyap1_max": -0.11793660372495651, "frac_above_star": 0.0 }, { "step": 205, "sup_loss": 0.8455613171412312, "rf_loss": 0.0, "total_loss": 0.8455613171412312, "lyap1_mean": -0.1620713770389557, "lyap1_max": -0.11234136670827866, "frac_above_star": 0.0 }, { "step": 206, "sup_loss": 0.7041485447491482, "rf_loss": 0.0, "total_loss": 0.7041485447491482, "lyap1_mean": -0.17229926586151123, "lyap1_max": -0.06250911206007004, "frac_above_star": 0.0 }, { "step": 207, "sup_loss": 0.9004567975409817, "rf_loss": 0.0, "total_loss": 0.9004567975409817, "lyap1_mean": -0.14395850896835327, "lyap1_max": -0.09696061909198761, "frac_above_star": 0.0 }, { "step": 208, "sup_loss": 0.7893597391644395, "rf_loss": 0.0, "total_loss": 0.7893597391644395, "lyap1_mean": -0.17254367470741272, "lyap1_max": -0.1161198765039444, "frac_above_star": 0.0 }, { "step": 209, "sup_loss": 0.8101634622411628, "rf_loss": 0.0, "total_loss": 0.8101634622411628, "lyap1_mean": -0.15182897448539734, "lyap1_max": -0.06672420352697372, "frac_above_star": 0.0 }, { "step": 210, "sup_loss": 0.741051496199344, "rf_loss": 0.0, "total_loss": 0.741051496199344, "lyap1_mean": -0.18320895731449127, "lyap1_max": -0.11028634756803513, "frac_above_star": 0.0 }, { "step": 211, "sup_loss": 0.7918872158974506, "rf_loss": 0.0, "total_loss": 0.7918872158974506, "lyap1_mean": -0.18035513162612915, "lyap1_max": -0.09271103143692017, "frac_above_star": 0.0 }, { "step": 212, "sup_loss": 0.8247694261415017, "rf_loss": 0.0, "total_loss": 0.8247694261415017, "lyap1_mean": -0.19089758396148682, "lyap1_max": -0.10850884765386581, "frac_above_star": 0.0 }, { "step": 213, "sup_loss": 0.7380901336444935, "rf_loss": 0.0, "total_loss": 0.7380901336444935, "lyap1_mean": -0.1798802614212036, "lyap1_max": -0.10674813389778137, "frac_above_star": 0.0 }, { "step": 214, "sup_loss": 0.9124620232811509, "rf_loss": 0.0, "total_loss": 0.9124620232811509, "lyap1_mean": -0.15938512980937958, "lyap1_max": -0.08956335484981537, "frac_above_star": 0.0 }, { "step": 215, "sup_loss": 0.8383814577726099, "rf_loss": 0.0, "total_loss": 0.8383814577726099, "lyap1_mean": -0.18296310305595398, "lyap1_max": -0.1361970752477646, "frac_above_star": 0.0 }, { "step": 216, "sup_loss": 0.7849222414786545, "rf_loss": 0.0, "total_loss": 0.7849222414786545, "lyap1_mean": -0.19624845683574677, "lyap1_max": -0.13226759433746338, "frac_above_star": 0.0 }, { "step": 217, "sup_loss": 0.7421837398874247, "rf_loss": 0.0, "total_loss": 0.7421837398874247, "lyap1_mean": -0.17574234306812286, "lyap1_max": -0.12938009202480316, "frac_above_star": 0.0 }, { "step": 218, "sup_loss": 0.6629549855586129, "rf_loss": 0.0, "total_loss": 0.6629549855586129, "lyap1_mean": -0.18129704892635345, "lyap1_max": -0.13260987401008606, "frac_above_star": 0.0 }, { "step": 219, "sup_loss": 0.6840603201535986, "rf_loss": 0.0, "total_loss": 0.6840603201535986, "lyap1_mean": -0.1990727335214615, "lyap1_max": -0.08984006941318512, "frac_above_star": 0.0 }, { "step": 220, "sup_loss": 0.7152112882671304, "rf_loss": 0.0, "total_loss": 0.7152112882671304, "lyap1_mean": -0.1750047504901886, "lyap1_max": -0.1279468536376953, "frac_above_star": 0.0 }, { "step": 221, "sup_loss": 0.5945395177322851, "rf_loss": 0.0, "total_loss": 0.5945395177322851, "lyap1_mean": -0.17091503739356995, "lyap1_max": -0.11892139166593552, "frac_above_star": 0.0 }, { "step": 222, "sup_loss": 0.8313212951951273, "rf_loss": 0.0, "total_loss": 0.8313212951951273, "lyap1_mean": -0.17117132246494293, "lyap1_max": -0.07100550830364227, "frac_above_star": 0.0 }, { "step": 223, "sup_loss": 0.9467504842952025, "rf_loss": 0.0, "total_loss": 0.9467504842952025, "lyap1_mean": -0.15365126729011536, "lyap1_max": -0.10880158841609955, "frac_above_star": 0.0 }, { "step": 224, "sup_loss": 0.6597183601700347, "rf_loss": 0.0, "total_loss": 0.6597183601700347, "lyap1_mean": -0.20803093910217285, "lyap1_max": -0.09644880145788193, "frac_above_star": 0.0 }, { "step": 225, "sup_loss": 0.8621975780179607, "rf_loss": 0.0, "total_loss": 0.8621975780179607, "lyap1_mean": -0.15345844626426697, "lyap1_max": -0.09045513719320297, "frac_above_star": 0.0 }, { "step": 226, "sup_loss": 0.7939759345221549, "rf_loss": 0.0, "total_loss": 0.7939759345221549, "lyap1_mean": -0.16197910904884338, "lyap1_max": -0.04040231555700302, "frac_above_star": 0.0 }, { "step": 227, "sup_loss": 0.8712795847785554, "rf_loss": 0.0, "total_loss": 0.8712795847785554, "lyap1_mean": -0.15997344255447388, "lyap1_max": -0.09363847225904465, "frac_above_star": 0.0 }, { "step": 228, "sup_loss": 0.9246840798230771, "rf_loss": 0.0, "total_loss": 0.9246840798230771, "lyap1_mean": -0.15923282504081726, "lyap1_max": -0.12824827432632446, "frac_above_star": 0.0 }, { "step": 229, "sup_loss": 0.7752232765156107, "rf_loss": 0.0, "total_loss": 0.7752232765156107, "lyap1_mean": -0.13340364396572113, "lyap1_max": -0.0699286088347435, "frac_above_star": 0.0 }, { "step": 230, "sup_loss": 0.5719018230222401, "rf_loss": 0.0, "total_loss": 0.5719018230222401, "lyap1_mean": -0.21996062994003296, "lyap1_max": -0.16238048672676086, "frac_above_star": 0.0 }, { "step": 231, "sup_loss": 0.7834718049939605, "rf_loss": 0.0, "total_loss": 0.7834718049939605, "lyap1_mean": -0.19546273350715637, "lyap1_max": -0.14723680913448334, "frac_above_star": 0.0 }, { "step": 232, "sup_loss": 0.6890789723495347, "rf_loss": 0.0, "total_loss": 0.6890789723495347, "lyap1_mean": -0.16683390736579895, "lyap1_max": -0.10684414207935333, "frac_above_star": 0.0 }, { "step": 233, "sup_loss": 0.8219109272678016, "rf_loss": 0.0, "total_loss": 0.8219109272678016, "lyap1_mean": -0.1620226502418518, "lyap1_max": -0.08477553725242615, "frac_above_star": 0.0 }, { "step": 234, "sup_loss": 0.9287168303353363, "rf_loss": 0.0, "total_loss": 0.9287168303353363, "lyap1_mean": -0.15649235248565674, "lyap1_max": -0.10661419481039047, "frac_above_star": 0.0 }, { "step": 235, "sup_loss": 0.7004516075816302, "rf_loss": 0.0, "total_loss": 0.7004516075816302, "lyap1_mean": -0.19201423227787018, "lyap1_max": -0.11516985297203064, "frac_above_star": 0.0 }, { "step": 236, "sup_loss": 0.8204699916812441, "rf_loss": 0.0, "total_loss": 0.8204699916812441, "lyap1_mean": -0.1709745228290558, "lyap1_max": -0.13003043830394745, "frac_above_star": 0.0 }, { "step": 237, "sup_loss": 0.9302211474253986, "rf_loss": 0.0, "total_loss": 0.9302211474253986, "lyap1_mean": -0.1676252782344818, "lyap1_max": -0.11757036298513412, "frac_above_star": 0.0 }, { "step": 238, "sup_loss": 0.7806873569534611, "rf_loss": 0.0, "total_loss": 0.7806873569534611, "lyap1_mean": -0.15620002150535583, "lyap1_max": -0.07400869578123093, "frac_above_star": 0.0 }, { "step": 239, "sup_loss": 0.6403219883989707, "rf_loss": 0.0, "total_loss": 0.6403219883989707, "lyap1_mean": -0.19275642931461334, "lyap1_max": -0.12160655856132507, "frac_above_star": 0.0 }, { "step": 240, "sup_loss": 0.6373059160350203, "rf_loss": 0.0, "total_loss": 0.6373059160350203, "lyap1_mean": -0.18819740414619446, "lyap1_max": -0.09746885299682617, "frac_above_star": 0.0 }, { "step": 241, "sup_loss": 0.8928055428270876, "rf_loss": 0.0, "total_loss": 0.8928055428270876, "lyap1_mean": -0.14454811811447144, "lyap1_max": -0.06982176005840302, "frac_above_star": 0.0 }, { "step": 242, "sup_loss": 0.7829436275574065, "rf_loss": 0.0, "total_loss": 0.7829436275574065, "lyap1_mean": -0.1823665350675583, "lyap1_max": -0.12098699063062668, "frac_above_star": 0.0 }, { "step": 243, "sup_loss": 0.7743003951177192, "rf_loss": 0.0, "total_loss": 0.7743003951177192, "lyap1_mean": -0.18949231505393982, "lyap1_max": -0.10645420849323273, "frac_above_star": 0.0 }, { "step": 244, "sup_loss": 0.8626315425056522, "rf_loss": 0.0, "total_loss": 0.8626315425056522, "lyap1_mean": -0.18962949514389038, "lyap1_max": -0.10301056504249573, "frac_above_star": 0.0 }, { "step": 245, "sup_loss": 0.725619073491794, "rf_loss": 0.0, "total_loss": 0.725619073491794, "lyap1_mean": -0.15273261070251465, "lyap1_max": -0.08995088189840317, "frac_above_star": 0.0 }, { "step": 246, "sup_loss": 0.8772136527233615, "rf_loss": 0.0, "total_loss": 0.8772136527233615, "lyap1_mean": -0.16788555681705475, "lyap1_max": -0.07597482204437256, "frac_above_star": 0.0 }, { "step": 247, "sup_loss": 0.689136054415951, "rf_loss": 0.0, "total_loss": 0.689136054415951, "lyap1_mean": -0.2003830522298813, "lyap1_max": -0.10623294115066528, "frac_above_star": 0.0 }, { "step": 248, "sup_loss": 0.6657500853100111, "rf_loss": 0.0, "total_loss": 0.6657500853100111, "lyap1_mean": -0.17094804346561432, "lyap1_max": -0.13192637264728546, "frac_above_star": 0.0 }, { "step": 249, "sup_loss": 0.6640087797029666, "rf_loss": 0.0, "total_loss": 0.6640087797029666, "lyap1_mean": -0.17908301949501038, "lyap1_max": -0.13472704589366913, "frac_above_star": 0.0 }, { "step": 250, "sup_loss": 0.9065557702494237, "rf_loss": 0.0, "total_loss": 0.9065557702494237, "lyap1_mean": -0.17438551783561707, "lyap1_max": -0.13111144304275513, "frac_above_star": 0.0 }, { "step": 251, "sup_loss": 0.7898802710577953, "rf_loss": 0.0, "total_loss": 0.7898802710577953, "lyap1_mean": -0.14745879173278809, "lyap1_max": -0.07215403020381927, "frac_above_star": 0.0 }, { "step": 252, "sup_loss": 0.8224716148137389, "rf_loss": 0.0, "total_loss": 0.8224716148137389, "lyap1_mean": -0.20333176851272583, "lyap1_max": -0.14886224269866943, "frac_above_star": 0.0 }, { "step": 253, "sup_loss": 0.8331560448146668, "rf_loss": 0.0, "total_loss": 0.8331560448146668, "lyap1_mean": -0.18997608125209808, "lyap1_max": -0.1362038254737854, "frac_above_star": 0.0 }, { "step": 254, "sup_loss": 0.6809872615978996, "rf_loss": 0.0, "total_loss": 0.6809872615978996, "lyap1_mean": -0.16881753504276276, "lyap1_max": -0.10898472368717194, "frac_above_star": 0.0 }, { "step": 255, "sup_loss": 0.9072427488799333, "rf_loss": 0.0, "total_loss": 0.9072427488799333, "lyap1_mean": -0.16438108682632446, "lyap1_max": -0.1031724363565445, "frac_above_star": 0.0 }, { "step": 256, "sup_loss": 0.623132763104212, "rf_loss": 0.0, "total_loss": 0.623132763104212, "lyap1_mean": -0.17960084974765778, "lyap1_max": -0.12324444949626923, "frac_above_star": 0.0 }, { "step": 257, "sup_loss": 0.6851595881703785, "rf_loss": 0.0, "total_loss": 0.6851595881703785, "lyap1_mean": -0.18403306603431702, "lyap1_max": -0.12133273482322693, "frac_above_star": 0.0 }, { "step": 258, "sup_loss": 0.7585454503631855, "rf_loss": 0.0, "total_loss": 0.7585454503631855, "lyap1_mean": -0.18607661128044128, "lyap1_max": -0.1399630308151245, "frac_above_star": 0.0 }, { "step": 259, "sup_loss": 0.8562633474973945, "rf_loss": 0.0, "total_loss": 0.8562633474973945, "lyap1_mean": -0.197220578789711, "lyap1_max": -0.14862793684005737, "frac_above_star": 0.0 }, { "step": 260, "sup_loss": 0.800359979358698, "rf_loss": 0.0, "total_loss": 0.800359979358698, "lyap1_mean": -0.18007001280784607, "lyap1_max": -0.11528714001178741, "frac_above_star": 0.0 }, { "step": 261, "sup_loss": 0.8109120815046025, "rf_loss": 0.0, "total_loss": 0.8109120815046025, "lyap1_mean": -0.1881081908941269, "lyap1_max": -0.07509860396385193, "frac_above_star": 0.0 }, { "step": 262, "sup_loss": 0.6146807487085507, "rf_loss": 0.0, "total_loss": 0.6146807487085507, "lyap1_mean": -0.1854826658964157, "lyap1_max": -0.12120337784290314, "frac_above_star": 0.0 }, { "step": 263, "sup_loss": 0.7799664612395257, "rf_loss": 0.0, "total_loss": 0.7799664612395257, "lyap1_mean": -0.18412621319293976, "lyap1_max": -0.15524744987487793, "frac_above_star": 0.0 }, { "step": 264, "sup_loss": 0.8776182509384673, "rf_loss": 0.0, "total_loss": 0.8776182509384673, "lyap1_mean": -0.15940186381340027, "lyap1_max": -0.09137638658285141, "frac_above_star": 0.0 }, { "step": 265, "sup_loss": 0.7696983475881723, "rf_loss": 0.0, "total_loss": 0.7696983475881723, "lyap1_mean": -0.19429543614387512, "lyap1_max": -0.1039673388004303, "frac_above_star": 0.0 }, { "step": 266, "sup_loss": 0.608136311051311, "rf_loss": 0.0, "total_loss": 0.608136311051311, "lyap1_mean": -0.18020454049110413, "lyap1_max": -0.10053711384534836, "frac_above_star": 0.0 }, { "step": 267, "sup_loss": 0.7879391975323624, "rf_loss": 0.0, "total_loss": 0.7879391975323624, "lyap1_mean": -0.14609722793102264, "lyap1_max": -0.06218897923827171, "frac_above_star": 0.0 }, { "step": 268, "sup_loss": 0.8502062782479067, "rf_loss": 0.0, "total_loss": 0.8502062782479067, "lyap1_mean": -0.16299809515476227, "lyap1_max": -0.09963321685791016, "frac_above_star": 0.0 }, { "step": 269, "sup_loss": 0.7284826547589501, "rf_loss": 0.0, "total_loss": 0.7284826547589501, "lyap1_mean": -0.20152851939201355, "lyap1_max": -0.09325772523880005, "frac_above_star": 0.0 }, { "step": 270, "sup_loss": 0.7862470991391142, "rf_loss": 0.0, "total_loss": 0.7862470991391142, "lyap1_mean": -0.15145018696784973, "lyap1_max": -0.0743410587310791, "frac_above_star": 0.0 }, { "step": 271, "sup_loss": 0.6618457924050494, "rf_loss": 0.0, "total_loss": 0.6618457924050494, "lyap1_mean": -0.1769351065158844, "lyap1_max": -0.13282248377799988, "frac_above_star": 0.0 }, { "step": 272, "sup_loss": 0.733062323819121, "rf_loss": 0.0, "total_loss": 0.733062323819121, "lyap1_mean": -0.17856109142303467, "lyap1_max": -0.09364436566829681, "frac_above_star": 0.0 }, { "step": 273, "sup_loss": 0.7453652767538702, "rf_loss": 0.0, "total_loss": 0.7453652767538702, "lyap1_mean": -0.1777789294719696, "lyap1_max": -0.1317611038684845, "frac_above_star": 0.0 }, { "step": 274, "sup_loss": 0.9123857421585517, "rf_loss": 0.0, "total_loss": 0.9123857421585517, "lyap1_mean": -0.19149330258369446, "lyap1_max": -0.09368166327476501, "frac_above_star": 0.0 }, { "step": 275, "sup_loss": 0.8358696195376375, "rf_loss": 0.0, "total_loss": 0.8358696195376375, "lyap1_mean": -0.16089388728141785, "lyap1_max": -0.11856375634670258, "frac_above_star": 0.0 }, { "step": 276, "sup_loss": 0.6778103585760151, "rf_loss": 0.0, "total_loss": 0.6778103585760151, "lyap1_mean": -0.17025437951087952, "lyap1_max": -0.07556454837322235, "frac_above_star": 0.0 }, { "step": 277, "sup_loss": 0.7192249860089752, "rf_loss": 0.0, "total_loss": 0.7192249860089752, "lyap1_mean": -0.17435890436172485, "lyap1_max": -0.1314033567905426, "frac_above_star": 0.0 }, { "step": 278, "sup_loss": 0.812717405105027, "rf_loss": 0.0, "total_loss": 0.812717405105027, "lyap1_mean": -0.16864658892154694, "lyap1_max": -0.08501328527927399, "frac_above_star": 0.0 }, { "step": 279, "sup_loss": 0.7965045460712553, "rf_loss": 0.0, "total_loss": 0.7965045460712553, "lyap1_mean": -0.18978679180145264, "lyap1_max": -0.12950050830841064, "frac_above_star": 0.0 }, { "step": 280, "sup_loss": 0.8788976938368183, "rf_loss": 0.0, "total_loss": 0.8788976938368183, "lyap1_mean": -0.17034539580345154, "lyap1_max": -0.11004261672496796, "frac_above_star": 0.0 }, { "step": 281, "sup_loss": 0.8311659832827444, "rf_loss": 0.0, "total_loss": 0.8311659832827444, "lyap1_mean": -0.16270092129707336, "lyap1_max": -0.11498462408781052, "frac_above_star": 0.0 }, { "step": 282, "sup_loss": 0.7060003752880812, "rf_loss": 0.0, "total_loss": 0.7060003752880812, "lyap1_mean": -0.1681799292564392, "lyap1_max": -0.073160819709301, "frac_above_star": 0.0 }, { "step": 283, "sup_loss": 0.7693023227962216, "rf_loss": 0.0, "total_loss": 0.7693023227962216, "lyap1_mean": -0.1675114929676056, "lyap1_max": -0.0939587876200676, "frac_above_star": 0.0 }, { "step": 284, "sup_loss": 1.0655826237148827, "rf_loss": 0.0, "total_loss": 1.0655826237148827, "lyap1_mean": -0.16749487817287445, "lyap1_max": -0.09460990130901337, "frac_above_star": 0.0 }, { "step": 285, "sup_loss": 0.7301288327783676, "rf_loss": 0.0, "total_loss": 0.7301288327783676, "lyap1_mean": -0.17434486746788025, "lyap1_max": -0.10356123745441437, "frac_above_star": 0.0 }, { "step": 286, "sup_loss": 0.5679745093044376, "rf_loss": 0.0, "total_loss": 0.5679745093044376, "lyap1_mean": -0.17647573351860046, "lyap1_max": -0.12811528146266937, "frac_above_star": 0.0 }, { "step": 287, "sup_loss": 0.8676605591072309, "rf_loss": 0.0, "total_loss": 0.8676605591072309, "lyap1_mean": -0.16801488399505615, "lyap1_max": -0.0604228600859642, "frac_above_star": 0.0 }, { "step": 288, "sup_loss": 0.764329338482329, "rf_loss": 0.0, "total_loss": 0.764329338482329, "lyap1_mean": -0.14694947004318237, "lyap1_max": -0.10915863513946533, "frac_above_star": 0.0 }, { "step": 289, "sup_loss": 0.8165771765001232, "rf_loss": 0.0, "total_loss": 0.8165771765001232, "lyap1_mean": -0.18616610765457153, "lyap1_max": -0.1226758286356926, "frac_above_star": 0.0 }, { "step": 290, "sup_loss": 0.691827434491901, "rf_loss": 0.0, "total_loss": 0.691827434491901, "lyap1_mean": -0.1731615513563156, "lyap1_max": -0.138640359044075, "frac_above_star": 0.0 }, { "step": 291, "sup_loss": 0.7248676713639315, "rf_loss": 0.0, "total_loss": 0.7248676713639315, "lyap1_mean": -0.17045506834983826, "lyap1_max": -0.09984789788722992, "frac_above_star": 0.0 }, { "step": 292, "sup_loss": 0.6833046401890103, "rf_loss": 0.0, "total_loss": 0.6833046401890103, "lyap1_mean": -0.20079225301742554, "lyap1_max": -0.08427666872739792, "frac_above_star": 0.0 }, { "step": 293, "sup_loss": 0.6396572153321956, "rf_loss": 0.0, "total_loss": 0.6396572153321956, "lyap1_mean": -0.21818815171718597, "lyap1_max": -0.13086318969726562, "frac_above_star": 0.0 }, { "step": 294, "sup_loss": 0.7408229952225135, "rf_loss": 0.0, "total_loss": 0.7408229952225135, "lyap1_mean": -0.16258399188518524, "lyap1_max": -0.07455390691757202, "frac_above_star": 0.0 }, { "step": 295, "sup_loss": 0.48839159867138604, "rf_loss": 0.0, "total_loss": 0.48839159867138604, "lyap1_mean": -0.19764891266822815, "lyap1_max": -0.12606987357139587, "frac_above_star": 0.0 }, { "step": 296, "sup_loss": 0.9638360563648988, "rf_loss": 0.0, "total_loss": 0.9638360563648988, "lyap1_mean": -0.16144227981567383, "lyap1_max": -0.13995827734470367, "frac_above_star": 0.0 }, { "step": 297, "sup_loss": 0.7520777061786864, "rf_loss": 0.0, "total_loss": 0.7520777061786864, "lyap1_mean": -0.18176576495170593, "lyap1_max": -0.13177210092544556, "frac_above_star": 0.0 }, { "step": 298, "sup_loss": 0.7654559559516294, "rf_loss": 0.0, "total_loss": 0.7654559559516294, "lyap1_mean": -0.1692390739917755, "lyap1_max": -0.12411050498485565, "frac_above_star": 0.0 }, { "step": 299, "sup_loss": 0.5375208787639011, "rf_loss": 0.0, "total_loss": 0.5375208787639011, "lyap1_mean": -0.18233564496040344, "lyap1_max": -0.11162269115447998, "frac_above_star": 0.0 }, { "step": 300, "sup_loss": 0.6630374730935334, "rf_loss": 0.0, "total_loss": 0.6630374730935334, "lyap1_mean": -0.15145620703697205, "lyap1_max": -0.0848560780286789, "frac_above_star": 0.0 }, { "step": 301, "sup_loss": 0.726272583424128, "rf_loss": 0.0, "total_loss": 0.726272583424128, "lyap1_mean": -0.2095736861228943, "lyap1_max": -0.1335400491952896, "frac_above_star": 0.0 }, { "step": 302, "sup_loss": 0.9227853771657841, "rf_loss": 0.0, "total_loss": 0.9227853771657841, "lyap1_mean": -0.14847689867019653, "lyap1_max": -0.06592017412185669, "frac_above_star": 0.0 }, { "step": 303, "sup_loss": 0.8794987512082503, "rf_loss": 0.0, "total_loss": 0.8794987512082503, "lyap1_mean": -0.17533093690872192, "lyap1_max": -0.10492449253797531, "frac_above_star": 0.0 }, { "step": 304, "sup_loss": 0.6930256694736795, "rf_loss": 0.0, "total_loss": 0.6930256694736795, "lyap1_mean": -0.1932990700006485, "lyap1_max": -0.15513218939304352, "frac_above_star": 0.0 }, { "step": 305, "sup_loss": 0.759282757736931, "rf_loss": 0.0, "total_loss": 0.759282757736931, "lyap1_mean": -0.16700878739356995, "lyap1_max": -0.11051198840141296, "frac_above_star": 0.0 }, { "step": 306, "sup_loss": 0.8947246964603015, "rf_loss": 0.0, "total_loss": 0.8947246964603015, "lyap1_mean": -0.17530298233032227, "lyap1_max": -0.09593138098716736, "frac_above_star": 0.0 }, { "step": 307, "sup_loss": 0.7823553694779858, "rf_loss": 0.0, "total_loss": 0.7823553694779858, "lyap1_mean": -0.1739833503961563, "lyap1_max": -0.12240006774663925, "frac_above_star": 0.0 }, { "step": 308, "sup_loss": 0.7199640646324594, "rf_loss": 0.0, "total_loss": 0.7199640646324594, "lyap1_mean": -0.172962486743927, "lyap1_max": -0.1091325432062149, "frac_above_star": 0.0 }, { "step": 309, "sup_loss": 0.8188097068477321, "rf_loss": 0.0, "total_loss": 0.8188097068477321, "lyap1_mean": -0.14471863210201263, "lyap1_max": -0.0908857211470604, "frac_above_star": 0.0 }, { "step": 310, "sup_loss": 0.6191471995184387, "rf_loss": 0.0, "total_loss": 0.6191471995184387, "lyap1_mean": -0.17731386423110962, "lyap1_max": -0.0888887271285057, "frac_above_star": 0.0 }, { "step": 311, "sup_loss": 0.8197395192555623, "rf_loss": 0.0, "total_loss": 0.8197395192555623, "lyap1_mean": -0.1596628725528717, "lyap1_max": -0.09058219194412231, "frac_above_star": 0.0 }, { "step": 312, "sup_loss": 0.6480463789265972, "rf_loss": 0.0, "total_loss": 0.6480463789265972, "lyap1_mean": -0.17123660445213318, "lyap1_max": -0.10054998099803925, "frac_above_star": 0.0 }, { "step": 313, "sup_loss": 0.6683145808878442, "rf_loss": 0.0, "total_loss": 0.6683145808878442, "lyap1_mean": -0.18787530064582825, "lyap1_max": -0.08514183759689331, "frac_above_star": 0.0 }, { "step": 314, "sup_loss": 0.9607792737713651, "rf_loss": 0.0, "total_loss": 0.9607792737713651, "lyap1_mean": -0.18529745936393738, "lyap1_max": -0.13826516270637512, "frac_above_star": 0.0 }, { "step": 315, "sup_loss": 0.7997358197854154, "rf_loss": 0.0, "total_loss": 0.7997358197854154, "lyap1_mean": -0.1897890716791153, "lyap1_max": -0.13722547888755798, "frac_above_star": 0.0 }, { "step": 316, "sup_loss": 0.6572944383140401, "rf_loss": 0.0, "total_loss": 0.6572944383140401, "lyap1_mean": -0.1955149620771408, "lyap1_max": -0.10071054100990295, "frac_above_star": 0.0 }, { "step": 317, "sup_loss": 0.7943183501043372, "rf_loss": 0.0, "total_loss": 0.7943183501043372, "lyap1_mean": -0.15575984120368958, "lyap1_max": -0.14584684371948242, "frac_above_star": 0.0 }, { "step": 318, "sup_loss": 0.6855078575295941, "rf_loss": 0.0, "total_loss": 0.6855078575295941, "lyap1_mean": -0.19337382912635803, "lyap1_max": -0.14045053720474243, "frac_above_star": 0.0 }, { "step": 319, "sup_loss": 0.7287294951884202, "rf_loss": 0.0, "total_loss": 0.7287294951884202, "lyap1_mean": -0.15347638726234436, "lyap1_max": -0.07570153474807739, "frac_above_star": 0.0 }, { "step": 320, "sup_loss": 0.7600120012903084, "rf_loss": 0.0, "total_loss": 0.7600120012903084, "lyap1_mean": -0.16619418561458588, "lyap1_max": -0.048334311693906784, "frac_above_star": 0.0 }, { "step": 321, "sup_loss": 0.6616421445294245, "rf_loss": 0.0, "total_loss": 0.6616421445294245, "lyap1_mean": -0.14596682786941528, "lyap1_max": -0.0761076956987381, "frac_above_star": 0.0 }, { "step": 322, "sup_loss": 0.6933368610949678, "rf_loss": 0.0, "total_loss": 0.6933368610949678, "lyap1_mean": -0.17927566170692444, "lyap1_max": -0.09247353672981262, "frac_above_star": 0.0 }, { "step": 323, "sup_loss": 0.943372865557106, "rf_loss": 0.0, "total_loss": 0.943372865557106, "lyap1_mean": -0.14833560585975647, "lyap1_max": -0.10700558125972748, "frac_above_star": 0.0 }, { "step": 324, "sup_loss": 0.8447547812257161, "rf_loss": 0.0, "total_loss": 0.8447547812257161, "lyap1_mean": -0.14022798836231232, "lyap1_max": -0.09972120821475983, "frac_above_star": 0.0 }, { "step": 325, "sup_loss": 0.6108788957911847, "rf_loss": 0.0, "total_loss": 0.6108788957911847, "lyap1_mean": -0.1794125735759735, "lyap1_max": -0.07177595049142838, "frac_above_star": 0.0 }, { "step": 326, "sup_loss": 0.9114810221201418, "rf_loss": 0.0, "total_loss": 0.9114810221201418, "lyap1_mean": -0.16228577494621277, "lyap1_max": -0.06426426768302917, "frac_above_star": 0.0 }, { "step": 327, "sup_loss": 0.6882370834538264, "rf_loss": 0.0, "total_loss": 0.6882370834538264, "lyap1_mean": -0.16595061123371124, "lyap1_max": -0.08635340631008148, "frac_above_star": 0.0 }, { "step": 328, "sup_loss": 0.757969023865955, "rf_loss": 0.0, "total_loss": 0.757969023865955, "lyap1_mean": -0.16831061244010925, "lyap1_max": -0.09920741617679596, "frac_above_star": 0.0 }, { "step": 329, "sup_loss": 0.8273289302046626, "rf_loss": 0.0, "total_loss": 0.8273289302046626, "lyap1_mean": -0.14019355177879333, "lyap1_max": -0.10459857434034348, "frac_above_star": 0.0 }, { "step": 330, "sup_loss": 0.7224559035869809, "rf_loss": 0.0, "total_loss": 0.7224559035869809, "lyap1_mean": -0.21797427535057068, "lyap1_max": -0.14542357623577118, "frac_above_star": 0.0 }, { "step": 331, "sup_loss": 0.9413140690459731, "rf_loss": 0.0, "total_loss": 0.9413140690459731, "lyap1_mean": -0.13990554213523865, "lyap1_max": -0.06314783543348312, "frac_above_star": 0.0 }, { "step": 332, "sup_loss": 0.7604611440820391, "rf_loss": 0.0, "total_loss": 0.7604611440820391, "lyap1_mean": -0.1526900827884674, "lyap1_max": -0.10259373486042023, "frac_above_star": 0.0 }, { "step": 333, "sup_loss": 0.7307392295209861, "rf_loss": 0.0, "total_loss": 0.7307392295209861, "lyap1_mean": -0.13882023096084595, "lyap1_max": -0.03881192207336426, "frac_above_star": 0.0 }, { "step": 334, "sup_loss": 0.669146492614949, "rf_loss": 0.0, "total_loss": 0.669146492614949, "lyap1_mean": -0.17734041810035706, "lyap1_max": -0.07798798382282257, "frac_above_star": 0.0 }, { "step": 335, "sup_loss": 0.7453384590395539, "rf_loss": 0.0, "total_loss": 0.7453384590395539, "lyap1_mean": -0.13982412219047546, "lyap1_max": -0.07383446395397186, "frac_above_star": 0.0 }, { "step": 336, "sup_loss": 0.6247090966512114, "rf_loss": 0.0, "total_loss": 0.6247090966512114, "lyap1_mean": -0.14899151027202606, "lyap1_max": -0.07517699897289276, "frac_above_star": 0.0 }, { "step": 337, "sup_loss": 0.7598744737501649, "rf_loss": 0.0, "total_loss": 0.7598744737501649, "lyap1_mean": -0.14505822956562042, "lyap1_max": -0.09718635678291321, "frac_above_star": 0.0 }, { "step": 338, "sup_loss": 0.5043846153903809, "rf_loss": 0.0, "total_loss": 0.5043846153903809, "lyap1_mean": -0.1975676715373993, "lyap1_max": -0.12548309564590454, "frac_above_star": 0.0 }, { "step": 339, "sup_loss": 0.6199596304160353, "rf_loss": 0.0, "total_loss": 0.6199596304160353, "lyap1_mean": -0.1812622845172882, "lyap1_max": -0.11205071210861206, "frac_above_star": 0.0 }, { "step": 340, "sup_loss": 0.7641221030208691, "rf_loss": 0.0, "total_loss": 0.7641221030208691, "lyap1_mean": -0.15326279401779175, "lyap1_max": -0.09730099141597748, "frac_above_star": 0.0 }, { "step": 341, "sup_loss": 0.6744541212227143, "rf_loss": 0.0, "total_loss": 0.6744541212227143, "lyap1_mean": -0.19892099499702454, "lyap1_max": -0.14383931457996368, "frac_above_star": 0.0 }, { "step": 342, "sup_loss": 0.7713518805833035, "rf_loss": 0.0, "total_loss": 0.7713518805833035, "lyap1_mean": -0.16966880857944489, "lyap1_max": -0.11872890591621399, "frac_above_star": 0.0 }, { "step": 343, "sup_loss": 0.5787788046592834, "rf_loss": 0.0, "total_loss": 0.5787788046592834, "lyap1_mean": -0.18235069513320923, "lyap1_max": -0.1360606551170349, "frac_above_star": 0.0 }, { "step": 344, "sup_loss": 0.5851896427967597, "rf_loss": 0.0, "total_loss": 0.5851896427967597, "lyap1_mean": -0.16672509908676147, "lyap1_max": -0.11150535196065903, "frac_above_star": 0.0 }, { "step": 345, "sup_loss": 0.791033440964612, "rf_loss": 0.0, "total_loss": 0.791033440964612, "lyap1_mean": -0.15999779105186462, "lyap1_max": -0.11502255499362946, "frac_above_star": 0.0 }, { "step": 346, "sup_loss": 0.6365010686949126, "rf_loss": 0.0, "total_loss": 0.6365010686949126, "lyap1_mean": -0.19491687417030334, "lyap1_max": -0.08904458582401276, "frac_above_star": 0.0 }, { "step": 347, "sup_loss": 0.7692462999622165, "rf_loss": 0.0, "total_loss": 0.7692462999622165, "lyap1_mean": -0.17085909843444824, "lyap1_max": -0.014519885182380676, "frac_above_star": 0.0 }, { "step": 348, "sup_loss": 0.7413804370185637, "rf_loss": 0.0, "total_loss": 0.7413804370185637, "lyap1_mean": -0.1533292979001999, "lyap1_max": -0.08012190461158752, "frac_above_star": 0.0 }, { "step": 349, "sup_loss": 0.6926572536132314, "rf_loss": 0.0, "total_loss": 0.6926572536132314, "lyap1_mean": -0.1933458149433136, "lyap1_max": -0.08505645394325256, "frac_above_star": 0.0 }, { "step": 350, "sup_loss": 0.9331594317860564, "rf_loss": 0.0, "total_loss": 0.9331594317860564, "lyap1_mean": -0.15860892832279205, "lyap1_max": -0.13647574186325073, "frac_above_star": 0.0 }, { "step": 351, "sup_loss": 0.7958113871806692, "rf_loss": 0.0, "total_loss": 0.7958113871806692, "lyap1_mean": -0.17371784150600433, "lyap1_max": -0.11529766023159027, "frac_above_star": 0.0 }, { "step": 352, "sup_loss": 0.7718640035078594, "rf_loss": 0.0, "total_loss": 0.7718640035078594, "lyap1_mean": -0.1578724980354309, "lyap1_max": -0.09827225655317307, "frac_above_star": 0.0 }, { "step": 353, "sup_loss": 0.8004819832901442, "rf_loss": 0.0, "total_loss": 0.8004819832901442, "lyap1_mean": -0.15834978222846985, "lyap1_max": -0.0667266696691513, "frac_above_star": 0.0 }, { "step": 354, "sup_loss": 0.8527031822882328, "rf_loss": 0.0, "total_loss": 0.8527031822882328, "lyap1_mean": -0.1647910177707672, "lyap1_max": -0.11153416335582733, "frac_above_star": 0.0 }, { "step": 355, "sup_loss": 0.9287620270314974, "rf_loss": 0.0, "total_loss": 0.9287620270314974, "lyap1_mean": -0.1416168510913849, "lyap1_max": -0.11050260066986084, "frac_above_star": 0.0 }, { "step": 356, "sup_loss": 0.9385179978613652, "rf_loss": 0.0, "total_loss": 0.9385179978613652, "lyap1_mean": -0.14014992117881775, "lyap1_max": -0.031070079654455185, "frac_above_star": 0.0 }, { "step": 357, "sup_loss": 0.682786978165718, "rf_loss": 0.0, "total_loss": 0.682786978165718, "lyap1_mean": -0.18272528052330017, "lyap1_max": -0.118695467710495, "frac_above_star": 0.0 }, { "step": 358, "sup_loss": 0.7298904902524772, "rf_loss": 0.0, "total_loss": 0.7298904902524772, "lyap1_mean": -0.1570696383714676, "lyap1_max": -0.07050656527280807, "frac_above_star": 0.0 }, { "step": 359, "sup_loss": 0.6766548140269727, "rf_loss": 0.0, "total_loss": 0.6766548140269727, "lyap1_mean": -0.16618511080741882, "lyap1_max": -0.14276839792728424, "frac_above_star": 0.0 }, { "step": 360, "sup_loss": 0.7268883757076605, "rf_loss": 0.0, "total_loss": 0.7268883757076605, "lyap1_mean": -0.17785757780075073, "lyap1_max": -0.15340067446231842, "frac_above_star": 0.0 }, { "step": 361, "sup_loss": 0.8067162540776504, "rf_loss": 0.0, "total_loss": 0.8067162540776504, "lyap1_mean": -0.15880119800567627, "lyap1_max": -0.12245964258909225, "frac_above_star": 0.0 }, { "step": 362, "sup_loss": 0.8213955996178368, "rf_loss": 0.0, "total_loss": 0.8213955996178368, "lyap1_mean": -0.1672418862581253, "lyap1_max": -0.09213490784168243, "frac_above_star": 0.0 }, { "step": 363, "sup_loss": 0.8834933565657631, "rf_loss": 0.0, "total_loss": 0.8834933565657631, "lyap1_mean": -0.1483667492866516, "lyap1_max": -0.04384278506040573, "frac_above_star": 0.0 }, { "step": 364, "sup_loss": 0.6738795771896224, "rf_loss": 0.0, "total_loss": 0.6738795771896224, "lyap1_mean": -0.17126046121120453, "lyap1_max": -0.06636279821395874, "frac_above_star": 0.0 }, { "step": 365, "sup_loss": 0.5429313842292138, "rf_loss": 0.0, "total_loss": 0.5429313842292138, "lyap1_mean": -0.19660158455371857, "lyap1_max": -0.13447019457817078, "frac_above_star": 0.0 }, { "step": 366, "sup_loss": 0.5951573764787109, "rf_loss": 0.0, "total_loss": 0.5951573764787109, "lyap1_mean": -0.18545563519001007, "lyap1_max": -0.12990443408489227, "frac_above_star": 0.0 }, { "step": 367, "sup_loss": 0.8219092621181653, "rf_loss": 0.0, "total_loss": 0.8219092621181653, "lyap1_mean": -0.1641891896724701, "lyap1_max": -0.12389113754034042, "frac_above_star": 0.0 }, { "step": 368, "sup_loss": 0.9788001442553694, "rf_loss": 0.0, "total_loss": 0.9788001442553694, "lyap1_mean": -0.1777551919221878, "lyap1_max": -0.135661780834198, "frac_above_star": 0.0 }, { "step": 369, "sup_loss": 0.740988557099316, "rf_loss": 0.0, "total_loss": 0.740988557099316, "lyap1_mean": -0.16966816782951355, "lyap1_max": -0.11777451634407043, "frac_above_star": 0.0 }, { "step": 370, "sup_loss": 0.6948619527080127, "rf_loss": 0.0, "total_loss": 0.6948619527080127, "lyap1_mean": -0.17266207933425903, "lyap1_max": -0.11126141250133514, "frac_above_star": 0.0 }, { "step": 371, "sup_loss": 0.7143253587418333, "rf_loss": 0.0, "total_loss": 0.7143253587418333, "lyap1_mean": -0.1803201287984848, "lyap1_max": -0.012628241442143917, "frac_above_star": 0.0 }, { "step": 372, "sup_loss": 0.757814985559578, "rf_loss": 0.0, "total_loss": 0.757814985559578, "lyap1_mean": -0.14630556106567383, "lyap1_max": -0.09795408695936203, "frac_above_star": 0.0 }, { "step": 373, "sup_loss": 0.6265629024213062, "rf_loss": 0.0, "total_loss": 0.6265629024213062, "lyap1_mean": -0.190754234790802, "lyap1_max": -0.09799598902463913, "frac_above_star": 0.0 }, { "step": 374, "sup_loss": 0.7327051593831059, "rf_loss": 0.0, "total_loss": 0.7327051593831059, "lyap1_mean": -0.14453692734241486, "lyap1_max": -0.06641853600740433, "frac_above_star": 0.0 }, { "step": 375, "sup_loss": 0.7070431419226386, "rf_loss": 0.0, "total_loss": 0.7070431419226386, "lyap1_mean": -0.1455836296081543, "lyap1_max": -0.01938633807003498, "frac_above_star": 0.0 }, { "step": 376, "sup_loss": 0.5974103816873658, "rf_loss": 0.0, "total_loss": 0.5974103816873658, "lyap1_mean": -0.1899920552968979, "lyap1_max": -0.08908113092184067, "frac_above_star": 0.0 }, { "step": 377, "sup_loss": 0.66442410377146, "rf_loss": 0.0, "total_loss": 0.66442410377146, "lyap1_mean": -0.15891021490097046, "lyap1_max": -0.08088800311088562, "frac_above_star": 0.0 }, { "step": 378, "sup_loss": 0.6079033791348805, "rf_loss": 0.0, "total_loss": 0.6079033791348805, "lyap1_mean": -0.2071671336889267, "lyap1_max": -0.1203681230545044, "frac_above_star": 0.0 }, { "step": 379, "sup_loss": 0.6664460224199122, "rf_loss": 2.3145455998019315e-05, "total_loss": 0.6666774769762545, "lyap1_mean": -0.15740907192230225, "lyap1_max": 0.013607485219836235, "frac_above_star": 0.125 }, { "step": 380, "sup_loss": 0.7308487429023454, "rf_loss": 0.0, "total_loss": 0.7308487429023454, "lyap1_mean": -0.16578595340251923, "lyap1_max": -0.15056714415550232, "frac_above_star": 0.0 }, { "step": 381, "sup_loss": 0.7371101095614436, "rf_loss": 0.0, "total_loss": 0.7371101095614436, "lyap1_mean": -0.14323294162750244, "lyap1_max": -0.10739132761955261, "frac_above_star": 0.0 }, { "step": 382, "sup_loss": 0.9561693867186759, "rf_loss": 0.0, "total_loss": 0.9561693867186759, "lyap1_mean": -0.13431942462921143, "lyap1_max": -0.02662479691207409, "frac_above_star": 0.0 }, { "step": 383, "sup_loss": 0.6774584916491546, "rf_loss": 0.0, "total_loss": 0.6774584916491546, "lyap1_mean": -0.20594915747642517, "lyap1_max": -0.12563079595565796, "frac_above_star": 0.0 }, { "step": 384, "sup_loss": 0.7725156958354206, "rf_loss": 0.0, "total_loss": 0.7725156958354206, "lyap1_mean": -0.18252302706241608, "lyap1_max": -0.10701514780521393, "frac_above_star": 0.0 }, { "step": 385, "sup_loss": 0.7127982225832761, "rf_loss": 0.0, "total_loss": 0.7127982225832761, "lyap1_mean": -0.16100990772247314, "lyap1_max": -0.056348271667957306, "frac_above_star": 0.0 }, { "step": 386, "sup_loss": 0.6354598071388186, "rf_loss": 0.0, "total_loss": 0.6354598071388186, "lyap1_mean": -0.1757594645023346, "lyap1_max": -0.11037122458219528, "frac_above_star": 0.0 }, { "step": 387, "sup_loss": 0.8515494730035242, "rf_loss": 0.0, "total_loss": 0.8515494730035242, "lyap1_mean": -0.16096889972686768, "lyap1_max": -0.10761450976133347, "frac_above_star": 0.0 }, { "step": 388, "sup_loss": 0.7472467295855885, "rf_loss": 0.0, "total_loss": 0.7472467295855885, "lyap1_mean": -0.16493164002895355, "lyap1_max": -0.11634328961372375, "frac_above_star": 0.0 }, { "step": 389, "sup_loss": 0.720353090111997, "rf_loss": 2.0423734895302914e-05, "total_loss": 0.720557327464588, "lyap1_mean": -0.1740896850824356, "lyap1_max": 0.012782405130565166, "frac_above_star": 0.125 }, { "step": 390, "sup_loss": 0.626383991973863, "rf_loss": 0.0, "total_loss": 0.626383991973863, "lyap1_mean": -0.18731766939163208, "lyap1_max": -0.05018302798271179, "frac_above_star": 0.0 }, { "step": 391, "sup_loss": 0.7933320920237311, "rf_loss": 0.0, "total_loss": 0.7933320920237311, "lyap1_mean": -0.14230100810527802, "lyap1_max": -0.09027531743049622, "frac_above_star": 0.0 }, { "step": 392, "sup_loss": 0.9337462132692721, "rf_loss": 0.0, "total_loss": 0.9337462132692721, "lyap1_mean": -0.1617235690355301, "lyap1_max": -0.1287352442741394, "frac_above_star": 0.0 }, { "step": 393, "sup_loss": 0.9004228459836108, "rf_loss": 0.0, "total_loss": 0.9004228459836108, "lyap1_mean": -0.1663188934326172, "lyap1_max": -0.10333506762981415, "frac_above_star": 0.0 }, { "step": 394, "sup_loss": 0.8040304396328003, "rf_loss": 0.0, "total_loss": 0.8040304396328003, "lyap1_mean": -0.1784762740135193, "lyap1_max": -0.10424858331680298, "frac_above_star": 0.0 }, { "step": 395, "sup_loss": 0.8040047162809968, "rf_loss": 0.0, "total_loss": 0.8040047162809968, "lyap1_mean": -0.1642981469631195, "lyap1_max": -0.09098291397094727, "frac_above_star": 0.0 }, { "step": 396, "sup_loss": 0.6823514568516603, "rf_loss": 0.0, "total_loss": 0.6823514568516603, "lyap1_mean": -0.16712366044521332, "lyap1_max": -0.14634709060192108, "frac_above_star": 0.0 }, { "step": 397, "sup_loss": 0.6613347862728237, "rf_loss": 0.0, "total_loss": 0.6613347862728237, "lyap1_mean": -0.16836601495742798, "lyap1_max": -0.10688327252864838, "frac_above_star": 0.0 }, { "step": 398, "sup_loss": 0.7280522242616598, "rf_loss": 0.0, "total_loss": 0.7280522242616598, "lyap1_mean": -0.1920265555381775, "lyap1_max": -0.12276588380336761, "frac_above_star": 0.0 }, { "step": 399, "sup_loss": 0.7131706029608247, "rf_loss": 0.0, "total_loss": 0.7131706029608247, "lyap1_mean": -0.16993045806884766, "lyap1_max": -0.11534327268600464, "frac_above_star": 0.0 }, { "step": 400, "sup_loss": 0.6970095871762425, "rf_loss": 0.0, "total_loss": 0.6970095871762425, "lyap1_mean": -0.17573536932468414, "lyap1_max": -0.04310138151049614, "frac_above_star": 0.0 }, { "step": 401, "sup_loss": 0.7163985464912912, "rf_loss": 0.0, "total_loss": 0.7163985464912912, "lyap1_mean": -0.17031341791152954, "lyap1_max": -0.09409892559051514, "frac_above_star": 0.0 }, { "step": 402, "sup_loss": 0.7738182881864161, "rf_loss": 0.0, "total_loss": 0.7738182881864161, "lyap1_mean": -0.16232573986053467, "lyap1_max": -0.08971402049064636, "frac_above_star": 0.0 }, { "step": 403, "sup_loss": 0.6725334536593771, "rf_loss": 0.0, "total_loss": 0.6725334536593771, "lyap1_mean": -0.1917952448129654, "lyap1_max": -0.1434832662343979, "frac_above_star": 0.0 }, { "step": 404, "sup_loss": 0.5871172804683997, "rf_loss": 0.0, "total_loss": 0.5871172804683997, "lyap1_mean": -0.1867876946926117, "lyap1_max": -0.14844703674316406, "frac_above_star": 0.0 }, { "step": 405, "sup_loss": 0.8663642858070455, "rf_loss": 0.0, "total_loss": 0.8663642858070455, "lyap1_mean": -0.14085066318511963, "lyap1_max": -0.008637282066047192, "frac_above_star": 0.0 }, { "step": 406, "sup_loss": 0.9196335877779276, "rf_loss": 0.0, "total_loss": 0.9196335877779276, "lyap1_mean": -0.17440953850746155, "lyap1_max": -0.10700567811727524, "frac_above_star": 0.0 }, { "step": 407, "sup_loss": 0.6329963084430631, "rf_loss": 0.0, "total_loss": 0.6329963084430631, "lyap1_mean": -0.18568895757198334, "lyap1_max": -0.12885144352912903, "frac_above_star": 0.0 }, { "step": 408, "sup_loss": 0.7019672238283963, "rf_loss": 0.0, "total_loss": 0.7019672238283963, "lyap1_mean": -0.18153858184814453, "lyap1_max": -0.12707675993442535, "frac_above_star": 0.0 }, { "step": 409, "sup_loss": 1.0835144669603072, "rf_loss": 0.0, "total_loss": 1.0835144669603072, "lyap1_mean": -0.13701999187469482, "lyap1_max": -0.07362440973520279, "frac_above_star": 0.0 }, { "step": 410, "sup_loss": 0.7224577804244563, "rf_loss": 0.0, "total_loss": 0.7224577804244563, "lyap1_mean": -0.15806439518928528, "lyap1_max": -0.10877199470996857, "frac_above_star": 0.0 }, { "step": 411, "sup_loss": 0.7939723803228933, "rf_loss": 0.0, "total_loss": 0.7939723803228933, "lyap1_mean": -0.14524172246456146, "lyap1_max": -0.093912273645401, "frac_above_star": 0.0 }, { "step": 412, "sup_loss": 0.8062108558791591, "rf_loss": 0.0, "total_loss": 0.8062108558791591, "lyap1_mean": -0.14638476073741913, "lyap1_max": -0.10094579309225082, "frac_above_star": 0.0 }, { "step": 413, "sup_loss": 0.6931792416277538, "rf_loss": 0.0, "total_loss": 0.6931792416277538, "lyap1_mean": -0.17478689551353455, "lyap1_max": -0.1332198679447174, "frac_above_star": 0.0 }, { "step": 414, "sup_loss": 0.9136172605170598, "rf_loss": 0.0, "total_loss": 0.9136172605170598, "lyap1_mean": -0.15414656698703766, "lyap1_max": -0.0865045115351677, "frac_above_star": 0.0 }, { "step": 415, "sup_loss": 0.6513446490808449, "rf_loss": 0.0, "total_loss": 0.6513446490808449, "lyap1_mean": -0.1967102289199829, "lyap1_max": -0.07791002839803696, "frac_above_star": 0.0 }, { "step": 416, "sup_loss": 0.7016319734112499, "rf_loss": 0.0, "total_loss": 0.7016319734112499, "lyap1_mean": -0.15039168298244476, "lyap1_max": -0.03361627086997032, "frac_above_star": 0.0 }, { "step": 417, "sup_loss": 0.7756789828506396, "rf_loss": 0.0, "total_loss": 0.7756789828506396, "lyap1_mean": -0.1844668686389923, "lyap1_max": -0.13997751474380493, "frac_above_star": 0.0 }, { "step": 418, "sup_loss": 0.5980744226644513, "rf_loss": 0.0, "total_loss": 0.5980744226644513, "lyap1_mean": -0.17332729697227478, "lyap1_max": -0.08859818428754807, "frac_above_star": 0.0 }, { "step": 419, "sup_loss": 0.7963922048622646, "rf_loss": 0.0, "total_loss": 0.7963922048622646, "lyap1_mean": -0.169367253780365, "lyap1_max": -0.12200083583593369, "frac_above_star": 0.0 }, { "step": 420, "sup_loss": 0.7326664325913633, "rf_loss": 0.0, "total_loss": 0.7326664325913633, "lyap1_mean": -0.19178229570388794, "lyap1_max": -0.1369360089302063, "frac_above_star": 0.0 }, { "step": 421, "sup_loss": 0.7188726971780961, "rf_loss": 0.0, "total_loss": 0.7188726971780961, "lyap1_mean": -0.17957952618598938, "lyap1_max": -0.09935711324214935, "frac_above_star": 0.0 }, { "step": 422, "sup_loss": 0.7133811185965185, "rf_loss": 0.0, "total_loss": 0.7133811185965185, "lyap1_mean": -0.2025020569562912, "lyap1_max": -0.1505453884601593, "frac_above_star": 0.0 }, { "step": 423, "sup_loss": 0.5128637698024301, "rf_loss": 0.0, "total_loss": 0.5128637698024301, "lyap1_mean": -0.1924269199371338, "lyap1_max": -0.10516588389873505, "frac_above_star": 0.0 }, { "step": 424, "sup_loss": 0.7019576421256806, "rf_loss": 0.0, "total_loss": 0.7019576421256806, "lyap1_mean": -0.1752007156610489, "lyap1_max": -0.09445175528526306, "frac_above_star": 0.0 }, { "step": 425, "sup_loss": 0.5461693834821318, "rf_loss": 0.0, "total_loss": 0.5461693834821318, "lyap1_mean": -0.15916714072227478, "lyap1_max": -0.03433743491768837, "frac_above_star": 0.0 }, { "step": 426, "sup_loss": 0.8738614043553576, "rf_loss": 0.0, "total_loss": 0.8738614043553576, "lyap1_mean": -0.172573059797287, "lyap1_max": -0.14493060111999512, "frac_above_star": 0.0 }, { "step": 427, "sup_loss": 0.6864136423721295, "rf_loss": 0.0, "total_loss": 0.6864136423721295, "lyap1_mean": -0.1909579187631607, "lyap1_max": -0.12896528840065002, "frac_above_star": 0.0 }, { "step": 428, "sup_loss": 0.6185458620649824, "rf_loss": 0.0, "total_loss": 0.6185458620649824, "lyap1_mean": -0.16058534383773804, "lyap1_max": -0.06345967948436737, "frac_above_star": 0.0 }, { "step": 429, "sup_loss": 0.9387739813963787, "rf_loss": 0.0, "total_loss": 0.9387739813963787, "lyap1_mean": -0.17095324397087097, "lyap1_max": -0.11587254703044891, "frac_above_star": 0.0 }, { "step": 430, "sup_loss": 0.7943230565271938, "rf_loss": 0.0, "total_loss": 0.7943230565271938, "lyap1_mean": -0.17277826368808746, "lyap1_max": -0.08838554471731186, "frac_above_star": 0.0 }, { "step": 431, "sup_loss": 0.8166576779943814, "rf_loss": 0.0, "total_loss": 0.8166576779943814, "lyap1_mean": -0.16662529110908508, "lyap1_max": -0.07602925598621368, "frac_above_star": 0.0 }, { "step": 432, "sup_loss": 0.7906698674613135, "rf_loss": 0.0, "total_loss": 0.7906698674613135, "lyap1_mean": -0.16521094739437103, "lyap1_max": -0.12359845638275146, "frac_above_star": 0.0 }, { "step": 433, "sup_loss": 0.6858601850281533, "rf_loss": 0.0, "total_loss": 0.6858601850281533, "lyap1_mean": -0.1863028109073639, "lyap1_max": -0.07281296700239182, "frac_above_star": 0.0 }, { "step": 434, "sup_loss": 0.7288325765443947, "rf_loss": 0.0, "total_loss": 0.7288325765443947, "lyap1_mean": -0.17857632040977478, "lyap1_max": -0.12420964241027832, "frac_above_star": 0.0 }, { "step": 435, "sup_loss": 0.6354714887661214, "rf_loss": 0.0, "total_loss": 0.6354714887661214, "lyap1_mean": -0.1581694781780243, "lyap1_max": -0.05821189284324646, "frac_above_star": 0.0 }, { "step": 436, "sup_loss": 0.7190825408352077, "rf_loss": 0.0, "total_loss": 0.7190825408352077, "lyap1_mean": -0.18078450858592987, "lyap1_max": -0.11062142252922058, "frac_above_star": 0.0 }, { "step": 437, "sup_loss": 0.681221418796877, "rf_loss": 0.0, "total_loss": 0.681221418796877, "lyap1_mean": -0.19703207910060883, "lyap1_max": -0.14239488542079926, "frac_above_star": 0.0 }, { "step": 438, "sup_loss": 0.7615003684432649, "rf_loss": 0.0, "total_loss": 0.7615003684432649, "lyap1_mean": -0.17505593597888947, "lyap1_max": -0.12386071681976318, "frac_above_star": 0.0 }, { "step": 439, "sup_loss": 0.7455091548105024, "rf_loss": 0.0, "total_loss": 0.7455091548105024, "lyap1_mean": -0.16643314063549042, "lyap1_max": -0.13829034566879272, "frac_above_star": 0.0 }, { "step": 440, "sup_loss": 0.8668332844776407, "rf_loss": 0.0, "total_loss": 0.8668332844776407, "lyap1_mean": -0.17030853033065796, "lyap1_max": -0.09563964605331421, "frac_above_star": 0.0 }, { "step": 441, "sup_loss": 0.6130909302521723, "rf_loss": 0.0, "total_loss": 0.6130909302521723, "lyap1_mean": -0.1957164704799652, "lyap1_max": -0.11439519375562668, "frac_above_star": 0.0 }, { "step": 442, "sup_loss": 0.8394521843615171, "rf_loss": 0.0, "total_loss": 0.8394521843615171, "lyap1_mean": -0.13428497314453125, "lyap1_max": -0.09430363774299622, "frac_above_star": 0.0 }, { "step": 443, "sup_loss": 0.8399967595870316, "rf_loss": 0.0, "total_loss": 0.8399967595870316, "lyap1_mean": -0.14308913052082062, "lyap1_max": -0.08093829452991486, "frac_above_star": 0.0 }, { "step": 444, "sup_loss": 0.7775216056943073, "rf_loss": 0.0, "total_loss": 0.7775216056943073, "lyap1_mean": -0.16305682063102722, "lyap1_max": -0.1218394935131073, "frac_above_star": 0.0 }, { "step": 445, "sup_loss": 0.7283925715621479, "rf_loss": 0.0, "total_loss": 0.7283925715621479, "lyap1_mean": -0.14702413976192474, "lyap1_max": -0.10544608533382416, "frac_above_star": 0.0 }, { "step": 446, "sup_loss": 0.7921644597563763, "rf_loss": 0.0, "total_loss": 0.7921644597563763, "lyap1_mean": -0.1685943752527237, "lyap1_max": -0.07051029801368713, "frac_above_star": 0.0 }, { "step": 447, "sup_loss": 0.6972059249494441, "rf_loss": 0.0, "total_loss": 0.6972059249494441, "lyap1_mean": -0.16859138011932373, "lyap1_max": -0.04157230257987976, "frac_above_star": 0.0 }, { "step": 448, "sup_loss": 0.9377262230607837, "rf_loss": 0.0, "total_loss": 0.9377262230607837, "lyap1_mean": -0.14840301871299744, "lyap1_max": -0.0700511634349823, "frac_above_star": 0.0 }, { "step": 449, "sup_loss": 0.8708182592853878, "rf_loss": 0.0, "total_loss": 0.8708182592853878, "lyap1_mean": -0.1687656193971634, "lyap1_max": -0.12471523880958557, "frac_above_star": 0.0 }, { "step": 450, "sup_loss": 0.7507526885795727, "rf_loss": 0.0, "total_loss": 0.7507526885795727, "lyap1_mean": -0.18443414568901062, "lyap1_max": -0.12250994145870209, "frac_above_star": 0.0 }, { "step": 451, "sup_loss": 0.7581664203722772, "rf_loss": 0.0, "total_loss": 0.7581664203722772, "lyap1_mean": -0.16823843121528625, "lyap1_max": -0.0887671560049057, "frac_above_star": 0.0 }, { "step": 452, "sup_loss": 0.6596700569560127, "rf_loss": 0.0, "total_loss": 0.6596700569560127, "lyap1_mean": -0.20696678757667542, "lyap1_max": -0.13349568843841553, "frac_above_star": 0.0 }, { "step": 453, "sup_loss": 0.8236415271109011, "rf_loss": 0.0, "total_loss": 0.8236415271109011, "lyap1_mean": -0.18528446555137634, "lyap1_max": -0.09895878285169601, "frac_above_star": 0.0 }, { "step": 454, "sup_loss": 0.7788981094367313, "rf_loss": 0.0, "total_loss": 0.7788981094367313, "lyap1_mean": -0.1806623637676239, "lyap1_max": -0.11895008385181427, "frac_above_star": 0.0 }, { "step": 455, "sup_loss": 0.7708057276143119, "rf_loss": 0.0, "total_loss": 0.7708057276143119, "lyap1_mean": -0.17437990009784698, "lyap1_max": -0.1450529545545578, "frac_above_star": 0.0 }, { "step": 456, "sup_loss": 0.6113547276922398, "rf_loss": 0.0, "total_loss": 0.6113547276922398, "lyap1_mean": -0.19500258564949036, "lyap1_max": -0.10735895484685898, "frac_above_star": 0.0 }, { "step": 457, "sup_loss": 0.7201047629303181, "rf_loss": 0.0, "total_loss": 0.7201047629303181, "lyap1_mean": -0.15896064043045044, "lyap1_max": -0.08766309916973114, "frac_above_star": 0.0 }, { "step": 458, "sup_loss": 0.7150403721634288, "rf_loss": 0.0, "total_loss": 0.7150403721634288, "lyap1_mean": -0.18585211038589478, "lyap1_max": -0.0896562933921814, "frac_above_star": 0.0 }, { "step": 459, "sup_loss": 0.8316945824045496, "rf_loss": 0.0, "total_loss": 0.8316945824045496, "lyap1_mean": -0.14337684214115143, "lyap1_max": -0.07320968061685562, "frac_above_star": 0.0 }, { "step": 460, "sup_loss": 0.7243252511073127, "rf_loss": 0.0, "total_loss": 0.7243252511073127, "lyap1_mean": -0.17608830332756042, "lyap1_max": -0.10707108676433563, "frac_above_star": 0.0 }, { "step": 461, "sup_loss": 0.7612098638986957, "rf_loss": 0.0, "total_loss": 0.7612098638986957, "lyap1_mean": -0.20152157545089722, "lyap1_max": -0.11844702810049057, "frac_above_star": 0.0 }, { "step": 462, "sup_loss": 0.759638703343692, "rf_loss": 0.0, "total_loss": 0.759638703343692, "lyap1_mean": -0.1742868572473526, "lyap1_max": -0.10774588584899902, "frac_above_star": 0.0 }, { "step": 463, "sup_loss": 0.8557876439122103, "rf_loss": 0.0, "total_loss": 0.8557876439122103, "lyap1_mean": -0.20096662640571594, "lyap1_max": -0.1598053127527237, "frac_above_star": 0.0 }, { "step": 464, "sup_loss": 0.7888043854228072, "rf_loss": 0.0, "total_loss": 0.7888043854228072, "lyap1_mean": -0.1418936550617218, "lyap1_max": -0.07723866403102875, "frac_above_star": 0.0 }, { "step": 465, "sup_loss": 0.7897774374157269, "rf_loss": 0.0, "total_loss": 0.7897774374157269, "lyap1_mean": -0.16651898622512817, "lyap1_max": -0.042940299957990646, "frac_above_star": 0.0 }, { "step": 466, "sup_loss": 0.7163403253524132, "rf_loss": 0.0, "total_loss": 0.7163403253524132, "lyap1_mean": -0.19562271237373352, "lyap1_max": -0.11800726503133774, "frac_above_star": 0.0 }, { "step": 467, "sup_loss": 0.6217805113255055, "rf_loss": 0.0, "total_loss": 0.6217805113255055, "lyap1_mean": -0.1641303449869156, "lyap1_max": -0.1315537393093109, "frac_above_star": 0.0 }, { "step": 468, "sup_loss": 0.8358936705310256, "rf_loss": 0.0, "total_loss": 0.8358936705310256, "lyap1_mean": -0.18145138025283813, "lyap1_max": -0.12065907567739487, "frac_above_star": 0.0 }, { "step": 469, "sup_loss": 0.8523903377577646, "rf_loss": 0.0, "total_loss": 0.8523903377577646, "lyap1_mean": -0.18218305706977844, "lyap1_max": -0.11946424096822739, "frac_above_star": 0.0 }, { "step": 470, "sup_loss": 0.7288967652594409, "rf_loss": 0.0, "total_loss": 0.7288967652594409, "lyap1_mean": -0.1880900114774704, "lyap1_max": -0.1023537814617157, "frac_above_star": 0.0 }, { "step": 471, "sup_loss": 0.8446856415832747, "rf_loss": 0.0, "total_loss": 0.8446856415832747, "lyap1_mean": -0.166091650724411, "lyap1_max": -0.1217803806066513, "frac_above_star": 0.0 }, { "step": 472, "sup_loss": 0.7349459229237228, "rf_loss": 0.0, "total_loss": 0.7349459229237228, "lyap1_mean": -0.18556666374206543, "lyap1_max": -0.08081486821174622, "frac_above_star": 0.0 }, { "step": 473, "sup_loss": 0.5611004331368842, "rf_loss": 0.0, "total_loss": 0.5611004331368842, "lyap1_mean": -0.19745709002017975, "lyap1_max": -0.11402120441198349, "frac_above_star": 0.0 }, { "step": 474, "sup_loss": 0.5514903879097646, "rf_loss": 0.0, "total_loss": 0.5514903879097646, "lyap1_mean": -0.21656376123428345, "lyap1_max": -0.17405931651592255, "frac_above_star": 0.0 }, { "step": 475, "sup_loss": 1.1092469234585687, "rf_loss": 0.0, "total_loss": 1.1092469234585687, "lyap1_mean": -0.1453094482421875, "lyap1_max": -0.07513178884983063, "frac_above_star": 0.0 }, { "step": 476, "sup_loss": 0.7106488543803913, "rf_loss": 0.0, "total_loss": 0.7106488543803913, "lyap1_mean": -0.1691388338804245, "lyap1_max": -0.10468736290931702, "frac_above_star": 0.0 }, { "step": 477, "sup_loss": 0.6287256171036495, "rf_loss": 0.0, "total_loss": 0.6287256171036495, "lyap1_mean": -0.16852889955043793, "lyap1_max": -0.08954575657844543, "frac_above_star": 0.0 }, { "step": 478, "sup_loss": 0.8495578593637843, "rf_loss": 0.0, "total_loss": 0.8495578593637843, "lyap1_mean": -0.16917549073696136, "lyap1_max": -0.03498072177171707, "frac_above_star": 0.0 }, { "step": 479, "sup_loss": 0.6084826248252366, "rf_loss": 0.0, "total_loss": 0.6084826248252366, "lyap1_mean": -0.19076481461524963, "lyap1_max": -0.0957459807395935, "frac_above_star": 0.0 }, { "step": 480, "sup_loss": 0.7441852420159458, "rf_loss": 0.0, "total_loss": 0.7441852420159458, "lyap1_mean": -0.17597734928131104, "lyap1_max": -0.06803536415100098, "frac_above_star": 0.0 }, { "step": 481, "sup_loss": 0.676569827671179, "rf_loss": 0.0, "total_loss": 0.676569827671179, "lyap1_mean": -0.16327396035194397, "lyap1_max": -0.10034860670566559, "frac_above_star": 0.0 }, { "step": 482, "sup_loss": 0.8406178511477096, "rf_loss": 0.0, "total_loss": 0.8406178511477096, "lyap1_mean": -0.17561940848827362, "lyap1_max": -0.09614400565624237, "frac_above_star": 0.0 }, { "step": 483, "sup_loss": 0.7347410907993062, "rf_loss": 0.0, "total_loss": 0.7347410907993062, "lyap1_mean": -0.1480645090341568, "lyap1_max": -0.0805608481168747, "frac_above_star": 0.0 }, { "step": 484, "sup_loss": 0.6633889899566638, "rf_loss": 0.0, "total_loss": 0.6633889899566638, "lyap1_mean": -0.2101891040802002, "lyap1_max": -0.14367881417274475, "frac_above_star": 0.0 }, { "step": 485, "sup_loss": 0.7185214791861116, "rf_loss": 0.0, "total_loss": 0.7185214791861116, "lyap1_mean": -0.19805341958999634, "lyap1_max": -0.13665905594825745, "frac_above_star": 0.0 }, { "step": 486, "sup_loss": 0.733232534636906, "rf_loss": 0.0, "total_loss": 0.733232534636906, "lyap1_mean": -0.16951614618301392, "lyap1_max": -0.08396901190280914, "frac_above_star": 0.0 }, { "step": 487, "sup_loss": 0.5996731154697665, "rf_loss": 0.0, "total_loss": 0.5996731154697665, "lyap1_mean": -0.16574031114578247, "lyap1_max": -0.07693245261907578, "frac_above_star": 0.0 }, { "step": 488, "sup_loss": 0.670962957321006, "rf_loss": 0.0, "total_loss": 0.670962957321006, "lyap1_mean": -0.18475446105003357, "lyap1_max": -0.12275934219360352, "frac_above_star": 0.0 }, { "step": 489, "sup_loss": 0.9160524129305279, "rf_loss": 0.0, "total_loss": 0.9160524129305279, "lyap1_mean": -0.18108034133911133, "lyap1_max": -0.1257704794406891, "frac_above_star": 0.0 }, { "step": 490, "sup_loss": 0.703564397988277, "rf_loss": 0.0, "total_loss": 0.703564397988277, "lyap1_mean": -0.17584764957427979, "lyap1_max": -0.09169739484786987, "frac_above_star": 0.0 }, { "step": 491, "sup_loss": 0.7225753348712071, "rf_loss": 0.0, "total_loss": 0.7225753348712071, "lyap1_mean": -0.17565269768238068, "lyap1_max": -0.047863416373729706, "frac_above_star": 0.0 }, { "step": 492, "sup_loss": 0.7954094202497434, "rf_loss": 0.0, "total_loss": 0.7954094202497434, "lyap1_mean": -0.1613503396511078, "lyap1_max": -0.13159368932247162, "frac_above_star": 0.0 }, { "step": 493, "sup_loss": 0.6410053739508877, "rf_loss": 0.0, "total_loss": 0.6410053739508877, "lyap1_mean": -0.18526600301265717, "lyap1_max": -0.1354249268770218, "frac_above_star": 0.0 }, { "step": 494, "sup_loss": 0.8185902877291147, "rf_loss": 0.0, "total_loss": 0.8185902877291147, "lyap1_mean": -0.14729398488998413, "lyap1_max": -0.08913131058216095, "frac_above_star": 0.0 }, { "step": 495, "sup_loss": 0.845292554678149, "rf_loss": 0.0, "total_loss": 0.845292554678149, "lyap1_mean": -0.1540510058403015, "lyap1_max": -0.08714614808559418, "frac_above_star": 0.0 }, { "step": 496, "sup_loss": 0.698312174343865, "rf_loss": 0.0, "total_loss": 0.698312174343865, "lyap1_mean": -0.16962531208992004, "lyap1_max": -0.13530316948890686, "frac_above_star": 0.0 }, { "step": 497, "sup_loss": 0.8523727425389562, "rf_loss": 0.0, "total_loss": 0.8523727425389562, "lyap1_mean": -0.1697354018688202, "lyap1_max": -0.13368989527225494, "frac_above_star": 0.0 }, { "step": 498, "sup_loss": 0.7706830157809242, "rf_loss": 0.0, "total_loss": 0.7706830157809242, "lyap1_mean": -0.18562214076519012, "lyap1_max": -0.11081445217132568, "frac_above_star": 0.0 }, { "step": 499, "sup_loss": 0.5948254047538172, "rf_loss": 0.0, "total_loss": 0.5948254047538172, "lyap1_mean": -0.1709395945072174, "lyap1_max": -0.11429118365049362, "frac_above_star": 0.0 } ], "evals": [ { "step": 0, "acc": 0.484375, "tok_acc": 0.8186487268518519 }, { "step": 100, "acc": 0.513671875, "tok_acc": 0.8274739583333334 }, { "step": 200, "acc": 0.505859375, "tok_acc": 0.8255690586419753 }, { "step": 300, "acc": 0.513671875, "tok_acc": 0.8304880401234568 }, { "step": 400, "acc": 0.513671875, "tok_acc": 0.8314766589506173 }, { "step": 500, "acc": 0.54296875, "tok_acc": 0.8411217206790124 }, { "step": 500, "acc": 0.54296875, "tok_acc": 0.8411217206790124 } ], "final_acc": 0.54296875, "final_tok_acc": 0.8411217206790124 }