summaryrefslogtreecommitdiff
path: root/research/flossing/step3_E_rf_18228_lstar0.json
diff options
context:
space:
mode:
Diffstat (limited to 'research/flossing/step3_E_rf_18228_lstar0.json')
-rw-r--r--research/flossing/step3_E_rf_18228_lstar0.json4561
1 files changed, 4561 insertions, 0 deletions
diff --git a/research/flossing/step3_E_rf_18228_lstar0.json b/research/flossing/step3_E_rf_18228_lstar0.json
new file mode 100644
index 0000000..2c95df0
--- /dev/null
+++ b/research/flossing/step3_E_rf_18228_lstar0.json
@@ -0,0 +1,4561 @@
+{
+ "args": {
+ "ckpt_root": "/home/yurenh2/rrm/hrm/checkpoints/Sudoku-extreme-1k-aug-1000 ACT-torch/HierarchicalReasoningModel_ACTV1 righteous-python",
+ "ckpt_name": "step_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
+} \ No newline at end of file