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