summaryrefslogtreecommitdiff
path: root/research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json
diff options
context:
space:
mode:
authorYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
committerYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
commit66e0d8b9fd4d0f7a2231d689c055e26fdf1cf04a (patch)
treec29cba61124018755a19b02c9d33e3ad5f2e05cc /research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json
rrm workspace: TRM/HRM/SRM code, Maze dataset, dynamical-analysis pipelineHEADmain
Curated export for clone-and-run Maze training (2x A6000) + diagnostics. trm/hrm pretrain.py carry trajectory-augmentation code (backward-compatible). Heavy artifacts (checkpoints/wandb/npz) gitignored; see PROVENANCE.md. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Diffstat (limited to 'research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json')
-rw-r--r--research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json4562
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json b/research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json
new file mode 100644
index 0000000..3eb2a64
--- /dev/null
+++ b/research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json
@@ -0,0 +1,4562 @@
+{
+ "args": {
+ "ckpt_root": "/home/yurenh2/rrm/trm/checkpoints/Sudoku-extreme-1k-aug-1000-ACT-torch/pretrain_mlp_t_sudoku_singleGPU",
+ "ckpt_name": "step_26041",
+ "n_steps": 500,
+ "batch_size": 8,
+ "lr": 1e-05,
+ "alpha_rf": 0.0,
+ "lambda_star": 0.0,
+ "rf_mode": "fixed",
+ "k_lyap": 2,
+ "lyap_act_steps": 4,
+ "seed": 42,
+ "eval_every": 100,
+ "eval_n": 512,
+ "eval_batch_size": 32,
+ "out": "step5_D_trm_step_26041_alpha0_lstar0.json"
+ },
+ "initial_acc": 0.59765625,
+ "initial_tok_acc": 0.8614245756172839,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.4102243148302157,
+ "rf_loss": 0.0,
+ "total_loss": 0.4102243148302157,
+ "lyap1_mean": 0.010343756526708603,
+ "lyap1_max": 0.0999058187007904,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.4618493246169197,
+ "rf_loss": 0.0,
+ "total_loss": 0.4618493246169197,
+ "lyap1_mean": 0.02236190065741539,
+ "lyap1_max": 0.06182859092950821,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.5304875566411309,
+ "rf_loss": 0.0,
+ "total_loss": 0.5304875566411309,
+ "lyap1_mean": 0.029176535084843636,
+ "lyap1_max": 0.07373987883329391,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.46256311110179316,
+ "rf_loss": 0.0,
+ "total_loss": 0.46256311110179316,
+ "lyap1_mean": 0.0075009786523878574,
+ "lyap1_max": 0.05470966175198555,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.46565857206546296,
+ "rf_loss": 0.0,
+ "total_loss": 0.46565857206546296,
+ "lyap1_mean": 0.015387116000056267,
+ "lyap1_max": 0.0711536854505539,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.6097741076739656,
+ "rf_loss": 0.0,
+ "total_loss": 0.6097741076739656,
+ "lyap1_mean": 0.026146303862333298,
+ "lyap1_max": 0.08881638199090958,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.4389458783416927,
+ "rf_loss": 0.0,
+ "total_loss": 0.4389458783416927,
+ "lyap1_mean": 0.02250182256102562,
+ "lyap1_max": 0.07879731059074402,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.5761542263749587,
+ "rf_loss": 0.0,
+ "total_loss": 0.5761542263749587,
+ "lyap1_mean": 0.053785040974617004,
+ "lyap1_max": 0.07786089926958084,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.517448073556318,
+ "rf_loss": 0.0,
+ "total_loss": 0.517448073556318,
+ "lyap1_mean": 0.027669252827763557,
+ "lyap1_max": 0.10543543100357056,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.5619407677121439,
+ "rf_loss": 0.0,
+ "total_loss": 0.5619407677121439,
+ "lyap1_mean": 0.030200177803635597,
+ "lyap1_max": 0.07847476750612259,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.5392268841974435,
+ "rf_loss": 0.0,
+ "total_loss": 0.5392268841974435,
+ "lyap1_mean": 0.03288162499666214,
+ "lyap1_max": 0.06846557557582855,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.5206743190944897,
+ "rf_loss": 0.0,
+ "total_loss": 0.5206743190944897,
+ "lyap1_mean": 0.028582580387592316,
+ "lyap1_max": 0.07231131941080093,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.47068051760053,
+ "rf_loss": 0.0,
+ "total_loss": 0.47068051760053,
+ "lyap1_mean": 0.02318131923675537,
+ "lyap1_max": 0.0802006721496582,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.5430768052703162,
+ "rf_loss": 0.0,
+ "total_loss": 0.5430768052703162,
+ "lyap1_mean": 0.02706722542643547,
+ "lyap1_max": 0.0742611363530159,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.4220325464460361,
+ "rf_loss": 0.0,
+ "total_loss": 0.4220325464460361,
+ "lyap1_mean": 0.010955531150102615,
+ "lyap1_max": 0.08282314240932465,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.5620479195905159,
+ "rf_loss": 0.0,
+ "total_loss": 0.5620479195905159,
+ "lyap1_mean": 0.023566482588648796,
+ "lyap1_max": 0.05733245983719826,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.4786522259947603,
+ "rf_loss": 0.0,
+ "total_loss": 0.4786522259947603,
+ "lyap1_mean": 0.03288710489869118,
+ "lyap1_max": 0.11965297907590866,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.5873902904432619,
+ "rf_loss": 0.0,
+ "total_loss": 0.5873902904432619,
+ "lyap1_mean": 0.06619274616241455,
+ "lyap1_max": 0.10136575251817703,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.4913773264099915,
+ "rf_loss": 0.0,
+ "total_loss": 0.4913773264099915,
+ "lyap1_mean": 0.017379164695739746,
+ "lyap1_max": 0.08053603768348694,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.5231570403529758,
+ "rf_loss": 0.0,
+ "total_loss": 0.5231570403529758,
+ "lyap1_mean": 0.03456427901983261,
+ "lyap1_max": 0.11045659333467484,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.48462395496627647,
+ "rf_loss": 0.0,
+ "total_loss": 0.48462395496627647,
+ "lyap1_mean": 0.026193860918283463,
+ "lyap1_max": 0.06628874689340591,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.4427661345654264,
+ "rf_loss": 0.0,
+ "total_loss": 0.4427661345654264,
+ "lyap1_mean": 0.015177497640252113,
+ "lyap1_max": 0.07023190706968307,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.44521558694081653,
+ "rf_loss": 0.0,
+ "total_loss": 0.44521558694081653,
+ "lyap1_mean": 0.03060796484351158,
+ "lyap1_max": 0.10708219558000565,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.542453748628481,
+ "rf_loss": 0.0,
+ "total_loss": 0.542453748628481,
+ "lyap1_mean": 0.03724069520831108,
+ "lyap1_max": 0.0834963396191597,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.5601435012049374,
+ "rf_loss": 0.0,
+ "total_loss": 0.5601435012049374,
+ "lyap1_mean": 0.04133347049355507,
+ "lyap1_max": 0.08450600504875183,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.6171404013082522,
+ "rf_loss": 0.0,
+ "total_loss": 0.6171404013082522,
+ "lyap1_mean": 0.05715097859501839,
+ "lyap1_max": 0.11292734742164612,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.7142509536353453,
+ "rf_loss": 0.0,
+ "total_loss": 0.7142509536353453,
+ "lyap1_mean": 0.05537007004022598,
+ "lyap1_max": 0.08960838615894318,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.41920845627428116,
+ "rf_loss": 0.0,
+ "total_loss": 0.41920845627428116,
+ "lyap1_mean": 0.01748817414045334,
+ "lyap1_max": 0.08199311792850494,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.5934430712975685,
+ "rf_loss": 0.0,
+ "total_loss": 0.5934430712975685,
+ "lyap1_mean": 0.04972253739833832,
+ "lyap1_max": 0.10056881606578827,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.5790707054067924,
+ "rf_loss": 0.0,
+ "total_loss": 0.5790707054067924,
+ "lyap1_mean": 0.03970232233405113,
+ "lyap1_max": 0.09835397452116013,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.5698857700924915,
+ "rf_loss": 0.0,
+ "total_loss": 0.5698857700924915,
+ "lyap1_mean": 0.048599716275930405,
+ "lyap1_max": 0.10914251208305359,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.5408057146952752,
+ "rf_loss": 0.0,
+ "total_loss": 0.5408057146952752,
+ "lyap1_mean": 0.04221644625067711,
+ "lyap1_max": 0.08948004990816116,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.45946138658723445,
+ "rf_loss": 0.0,
+ "total_loss": 0.45946138658723445,
+ "lyap1_mean": 0.027943043038249016,
+ "lyap1_max": 0.08182986080646515,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.47997229509399697,
+ "rf_loss": 0.0,
+ "total_loss": 0.47997229509399697,
+ "lyap1_mean": 0.027123846113681793,
+ "lyap1_max": 0.06268720328807831,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.4808877170266255,
+ "rf_loss": 0.0,
+ "total_loss": 0.4808877170266255,
+ "lyap1_mean": 0.03545040637254715,
+ "lyap1_max": 0.10052736848592758,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.41670827692488027,
+ "rf_loss": 0.0,
+ "total_loss": 0.41670827692488027,
+ "lyap1_mean": 0.04506472125649452,
+ "lyap1_max": 0.08869015425443649,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.4355332401492105,
+ "rf_loss": 0.0,
+ "total_loss": 0.4355332401492105,
+ "lyap1_mean": 0.02417215332388878,
+ "lyap1_max": 0.10204273462295532,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.5761843764378048,
+ "rf_loss": 0.0,
+ "total_loss": 0.5761843764378048,
+ "lyap1_mean": 0.04275703430175781,
+ "lyap1_max": 0.09100016951560974,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.43766723950411657,
+ "rf_loss": 0.0,
+ "total_loss": 0.43766723950411657,
+ "lyap1_mean": 0.02199300192296505,
+ "lyap1_max": 0.09358612447977066,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.6181197312438499,
+ "rf_loss": 0.0,
+ "total_loss": 0.6181197312438499,
+ "lyap1_mean": 0.02303735539317131,
+ "lyap1_max": 0.0684761106967926,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.6868621548015005,
+ "rf_loss": 0.0,
+ "total_loss": 0.6868621548015005,
+ "lyap1_mean": 0.05544442683458328,
+ "lyap1_max": 0.07846198976039886,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.43831212706131173,
+ "rf_loss": 0.0,
+ "total_loss": 0.43831212706131173,
+ "lyap1_mean": 0.05181067809462547,
+ "lyap1_max": 0.11855033785104752,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.5565710563823979,
+ "rf_loss": 0.0,
+ "total_loss": 0.5565710563823979,
+ "lyap1_mean": 0.01811174303293228,
+ "lyap1_max": 0.05146375671029091,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.490916101888988,
+ "rf_loss": 0.0,
+ "total_loss": 0.490916101888988,
+ "lyap1_mean": 0.01776578649878502,
+ "lyap1_max": 0.07572194188833237,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.6965745854445081,
+ "rf_loss": 0.0,
+ "total_loss": 0.6965745854445081,
+ "lyap1_mean": 0.04129454120993614,
+ "lyap1_max": 0.07182793319225311,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.6639619194030045,
+ "rf_loss": 0.0,
+ "total_loss": 0.6639619194030045,
+ "lyap1_mean": 0.04269758239388466,
+ "lyap1_max": 0.08843812346458435,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.6027846509462295,
+ "rf_loss": 0.0,
+ "total_loss": 0.6027846509462295,
+ "lyap1_mean": 0.042709965258836746,
+ "lyap1_max": 0.09898142516613007,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.5371799480715431,
+ "rf_loss": 0.0,
+ "total_loss": 0.5371799480715431,
+ "lyap1_mean": 0.017593253403902054,
+ "lyap1_max": 0.05499495938420296,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.7296981524076365,
+ "rf_loss": 0.0,
+ "total_loss": 0.7296981524076365,
+ "lyap1_mean": 0.05260947346687317,
+ "lyap1_max": 0.08911662548780441,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5296163392286283,
+ "rf_loss": 0.0,
+ "total_loss": 0.5296163392286283,
+ "lyap1_mean": 0.05444297567009926,
+ "lyap1_max": 0.07682439684867859,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6771243718734667,
+ "rf_loss": 0.0,
+ "total_loss": 0.6771243718734667,
+ "lyap1_mean": 0.035300225019454956,
+ "lyap1_max": 0.06292934715747833,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.7242211647629592,
+ "rf_loss": 0.0,
+ "total_loss": 0.7242211647629592,
+ "lyap1_mean": 0.048002637922763824,
+ "lyap1_max": 0.07901113480329514,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.36557371986623577,
+ "rf_loss": 0.0,
+ "total_loss": 0.36557371986623577,
+ "lyap1_mean": -0.005457596853375435,
+ "lyap1_max": 0.07686273753643036,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.5715031998181088,
+ "rf_loss": 0.0,
+ "total_loss": 0.5715031998181088,
+ "lyap1_mean": 0.039184052497148514,
+ "lyap1_max": 0.10721137374639511,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5153896237336174,
+ "rf_loss": 0.0,
+ "total_loss": 0.5153896237336174,
+ "lyap1_mean": 0.03538438677787781,
+ "lyap1_max": 0.0959518626332283,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.5696446677437113,
+ "rf_loss": 0.0,
+ "total_loss": 0.5696446677437113,
+ "lyap1_mean": 0.034670837223529816,
+ "lyap1_max": 0.10526777803897858,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.5750345795078773,
+ "rf_loss": 0.0,
+ "total_loss": 0.5750345795078773,
+ "lyap1_mean": 0.016617005690932274,
+ "lyap1_max": 0.06729216873645782,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.5605030643980521,
+ "rf_loss": 0.0,
+ "total_loss": 0.5605030643980521,
+ "lyap1_mean": 0.016880536451935768,
+ "lyap1_max": 0.07723715156316757,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.5682107254452188,
+ "rf_loss": 0.0,
+ "total_loss": 0.5682107254452188,
+ "lyap1_mean": 0.036192022264003754,
+ "lyap1_max": 0.10204564779996872,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.4677783341408395,
+ "rf_loss": 0.0,
+ "total_loss": 0.4677783341408395,
+ "lyap1_mean": 0.0374583825469017,
+ "lyap1_max": 0.1006309911608696,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.5150348363171352,
+ "rf_loss": 0.0,
+ "total_loss": 0.5150348363171352,
+ "lyap1_mean": 0.009383446536958218,
+ "lyap1_max": 0.05674724280834198,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5489408246359911,
+ "rf_loss": 0.0,
+ "total_loss": 0.5489408246359911,
+ "lyap1_mean": 0.03796873986721039,
+ "lyap1_max": 0.07940560579299927,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.6152395946407427,
+ "rf_loss": 0.0,
+ "total_loss": 0.6152395946407427,
+ "lyap1_mean": 0.003079717978835106,
+ "lyap1_max": 0.05472395569086075,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.5081846011150933,
+ "rf_loss": 0.0,
+ "total_loss": 0.5081846011150933,
+ "lyap1_mean": 0.03640539571642876,
+ "lyap1_max": 0.0808754414319992,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.5217248628341896,
+ "rf_loss": 0.0,
+ "total_loss": 0.5217248628341896,
+ "lyap1_mean": 0.031363822519779205,
+ "lyap1_max": 0.08592059463262558,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.6077840544520684,
+ "rf_loss": 0.0,
+ "total_loss": 0.6077840544520684,
+ "lyap1_mean": 0.03810157999396324,
+ "lyap1_max": 0.09194285422563553,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.5090547057722418,
+ "rf_loss": 0.0,
+ "total_loss": 0.5090547057722418,
+ "lyap1_mean": 0.02098676562309265,
+ "lyap1_max": 0.07781834155321121,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.5088431009998522,
+ "rf_loss": 0.0,
+ "total_loss": 0.5088431009998522,
+ "lyap1_mean": 0.07249417901039124,
+ "lyap1_max": 0.12160185724496841,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.529973073574477,
+ "rf_loss": 0.0,
+ "total_loss": 0.529973073574477,
+ "lyap1_mean": 0.024137549102306366,
+ "lyap1_max": 0.08740860223770142,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.6647429517434195,
+ "rf_loss": 0.0,
+ "total_loss": 0.6647429517434195,
+ "lyap1_mean": 0.03727726638317108,
+ "lyap1_max": 0.09462533891201019,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.5257428049083178,
+ "rf_loss": 0.0,
+ "total_loss": 0.5257428049083178,
+ "lyap1_mean": 0.011441187933087349,
+ "lyap1_max": 0.07647235691547394,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.609493557109558,
+ "rf_loss": 0.0,
+ "total_loss": 0.609493557109558,
+ "lyap1_mean": 0.04194297641515732,
+ "lyap1_max": 0.1011093333363533,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.4268092127005801,
+ "rf_loss": 0.0,
+ "total_loss": 0.4268092127005801,
+ "lyap1_mean": 0.00855797529220581,
+ "lyap1_max": 0.08617827296257019,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.49883521201646047,
+ "rf_loss": 0.0,
+ "total_loss": 0.49883521201646047,
+ "lyap1_mean": 0.03073136880993843,
+ "lyap1_max": 0.06951295584440231,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.5268650077663103,
+ "rf_loss": 0.0,
+ "total_loss": 0.5268650077663103,
+ "lyap1_mean": 0.03289331868290901,
+ "lyap1_max": 0.06926808506250381,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.5431633267650461,
+ "rf_loss": 0.0,
+ "total_loss": 0.5431633267650461,
+ "lyap1_mean": 0.03082992322742939,
+ "lyap1_max": 0.08126935362815857,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.4731466873957481,
+ "rf_loss": 0.0,
+ "total_loss": 0.4731466873957481,
+ "lyap1_mean": 0.03739647567272186,
+ "lyap1_max": 0.08771371096372604,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.48806064640457003,
+ "rf_loss": 0.0,
+ "total_loss": 0.48806064640457003,
+ "lyap1_mean": 0.041028060019016266,
+ "lyap1_max": 0.08767782896757126,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.6120110443818808,
+ "rf_loss": 0.0,
+ "total_loss": 0.6120110443818808,
+ "lyap1_mean": 0.05683130398392677,
+ "lyap1_max": 0.13073046505451202,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.5679991300472279,
+ "rf_loss": 0.0,
+ "total_loss": 0.5679991300472279,
+ "lyap1_mean": 0.022352034226059914,
+ "lyap1_max": 0.0720835030078888,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.45664277828643524,
+ "rf_loss": 0.0,
+ "total_loss": 0.45664277828643524,
+ "lyap1_mean": 0.0239342600107193,
+ "lyap1_max": 0.07957326620817184,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.5259590000611978,
+ "rf_loss": 0.0,
+ "total_loss": 0.5259590000611978,
+ "lyap1_mean": 0.039919327944517136,
+ "lyap1_max": 0.0922897681593895,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.4382833787959083,
+ "rf_loss": 0.0,
+ "total_loss": 0.4382833787959083,
+ "lyap1_mean": 0.011560473591089249,
+ "lyap1_max": 0.08432348817586899,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.49637521812276875,
+ "rf_loss": 0.0,
+ "total_loss": 0.49637521812276875,
+ "lyap1_mean": 0.03764515370130539,
+ "lyap1_max": 0.09573071449995041,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.47110671791933806,
+ "rf_loss": 0.0,
+ "total_loss": 0.47110671791933806,
+ "lyap1_mean": 0.02671237848699093,
+ "lyap1_max": 0.08269424736499786,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.5696875374216039,
+ "rf_loss": 0.0,
+ "total_loss": 0.5696875374216039,
+ "lyap1_mean": 0.03790346533060074,
+ "lyap1_max": 0.08498165011405945,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.599764220634968,
+ "rf_loss": 0.0,
+ "total_loss": 0.599764220634968,
+ "lyap1_mean": 0.043437667191028595,
+ "lyap1_max": 0.10511062294244766,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.6123209362151272,
+ "rf_loss": 0.0,
+ "total_loss": 0.6123209362151272,
+ "lyap1_mean": 0.05983725190162659,
+ "lyap1_max": 0.08546248823404312,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.6730039575374955,
+ "rf_loss": 0.0,
+ "total_loss": 0.6730039575374955,
+ "lyap1_mean": 0.05425706505775452,
+ "lyap1_max": 0.10137967765331268,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.6835811853271757,
+ "rf_loss": 0.0,
+ "total_loss": 0.6835811853271757,
+ "lyap1_mean": 0.06474405527114868,
+ "lyap1_max": 0.09643398225307465,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.47942145177345896,
+ "rf_loss": 0.0,
+ "total_loss": 0.47942145177345896,
+ "lyap1_mean": 0.0355374738574028,
+ "lyap1_max": 0.11515092104673386,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.6337374445779997,
+ "rf_loss": 0.0,
+ "total_loss": 0.6337374445779997,
+ "lyap1_mean": 0.06957454234361649,
+ "lyap1_max": 0.09872069954872131,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.6386391398480895,
+ "rf_loss": 0.0,
+ "total_loss": 0.6386391398480895,
+ "lyap1_mean": 0.052158188074827194,
+ "lyap1_max": 0.08118420839309692,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.48630385115898167,
+ "rf_loss": 0.0,
+ "total_loss": 0.48630385115898167,
+ "lyap1_mean": 0.02363438345491886,
+ "lyap1_max": 0.10689748078584671,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.5589914359023176,
+ "rf_loss": 0.0,
+ "total_loss": 0.5589914359023176,
+ "lyap1_mean": 0.034228235483169556,
+ "lyap1_max": 0.09769142419099808,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.5520165181980488,
+ "rf_loss": 0.0,
+ "total_loss": 0.5520165181980488,
+ "lyap1_mean": 0.01291007362306118,
+ "lyap1_max": 0.09822014719247818,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.4836046070049985,
+ "rf_loss": 0.0,
+ "total_loss": 0.4836046070049985,
+ "lyap1_mean": 0.021380115300416946,
+ "lyap1_max": 0.09321101754903793,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.3942435003337066,
+ "rf_loss": 0.0,
+ "total_loss": 0.3942435003337066,
+ "lyap1_mean": 0.007634256035089493,
+ "lyap1_max": 0.08232734352350235,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.6285585498007824,
+ "rf_loss": 0.0,
+ "total_loss": 0.6285585498007824,
+ "lyap1_mean": 0.028505664318799973,
+ "lyap1_max": 0.06313049793243408,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.4308397403182733,
+ "rf_loss": 0.0,
+ "total_loss": 0.4308397403182733,
+ "lyap1_mean": 0.008968324400484562,
+ "lyap1_max": 0.09251976758241653,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5183498060109525,
+ "rf_loss": 0.0,
+ "total_loss": 0.5183498060109525,
+ "lyap1_mean": 0.02269563637673855,
+ "lyap1_max": 0.0829579085111618,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.4551542055802435,
+ "rf_loss": 0.0,
+ "total_loss": 0.4551542055802435,
+ "lyap1_mean": 0.03881806880235672,
+ "lyap1_max": 0.10037107765674591,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.5149635543574876,
+ "rf_loss": 0.0,
+ "total_loss": 0.5149635543574876,
+ "lyap1_mean": 0.01203614380210638,
+ "lyap1_max": 0.07742537558078766,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.6944468576754285,
+ "rf_loss": 0.0,
+ "total_loss": 0.6944468576754285,
+ "lyap1_mean": 0.028715340420603752,
+ "lyap1_max": 0.08926469832658768,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.6661858991458893,
+ "rf_loss": 0.0,
+ "total_loss": 0.6661858991458893,
+ "lyap1_mean": 0.06279388070106506,
+ "lyap1_max": 0.09543462097644806,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.6089510607346226,
+ "rf_loss": 0.0,
+ "total_loss": 0.6089510607346226,
+ "lyap1_mean": 0.03988690674304962,
+ "lyap1_max": 0.08517086505889893,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.5738617380684644,
+ "rf_loss": 0.0,
+ "total_loss": 0.5738617380684644,
+ "lyap1_mean": 0.0316053107380867,
+ "lyap1_max": 0.08664803951978683,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.5246840740808502,
+ "rf_loss": 0.0,
+ "total_loss": 0.5246840740808502,
+ "lyap1_mean": 0.028026945888996124,
+ "lyap1_max": 0.0755612850189209,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.4361751481665782,
+ "rf_loss": 0.0,
+ "total_loss": 0.4361751481665782,
+ "lyap1_mean": 0.008798148483037949,
+ "lyap1_max": 0.07350341975688934,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.6131241877477579,
+ "rf_loss": 0.0,
+ "total_loss": 0.6131241877477579,
+ "lyap1_mean": 0.046860359609127045,
+ "lyap1_max": 0.0906432494521141,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.5288135012689528,
+ "rf_loss": 0.0,
+ "total_loss": 0.5288135012689528,
+ "lyap1_mean": 0.027707865461707115,
+ "lyap1_max": 0.08062047511339188,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.567541947390016,
+ "rf_loss": 0.0,
+ "total_loss": 0.567541947390016,
+ "lyap1_mean": 0.0403103269636631,
+ "lyap1_max": 0.08524805307388306,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.5460391064204643,
+ "rf_loss": 0.0,
+ "total_loss": 0.5460391064204643,
+ "lyap1_mean": 0.049506209790706635,
+ "lyap1_max": 0.09688309580087662,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.6112311041429648,
+ "rf_loss": 0.0,
+ "total_loss": 0.6112311041429648,
+ "lyap1_mean": 0.02792293019592762,
+ "lyap1_max": 0.07996272295713425,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.5020783034115051,
+ "rf_loss": 0.0,
+ "total_loss": 0.5020783034115051,
+ "lyap1_mean": 0.0343245305120945,
+ "lyap1_max": 0.09775180369615555,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.4705690048036648,
+ "rf_loss": 0.0,
+ "total_loss": 0.4705690048036648,
+ "lyap1_mean": 0.01826392114162445,
+ "lyap1_max": 0.10543827712535858,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.5325718793875709,
+ "rf_loss": 0.0,
+ "total_loss": 0.5325718793875709,
+ "lyap1_mean": 0.030672676861286163,
+ "lyap1_max": 0.08252924680709839,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.5997217021462502,
+ "rf_loss": 0.0,
+ "total_loss": 0.5997217021462502,
+ "lyap1_mean": 0.026230543851852417,
+ "lyap1_max": 0.07842440158128738,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.5595143245438969,
+ "rf_loss": 0.0,
+ "total_loss": 0.5595143245438969,
+ "lyap1_mean": 0.008762198500335217,
+ "lyap1_max": 0.06062482297420502,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.4161634553534908,
+ "rf_loss": 0.0,
+ "total_loss": 0.4161634553534908,
+ "lyap1_mean": 0.006915462668985128,
+ "lyap1_max": 0.08893506228923798,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.6042732705109339,
+ "rf_loss": 0.0,
+ "total_loss": 0.6042732705109339,
+ "lyap1_mean": 0.049796465784311295,
+ "lyap1_max": 0.0875091478228569,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.5691737224974632,
+ "rf_loss": 0.0,
+ "total_loss": 0.5691737224974632,
+ "lyap1_mean": 0.03998293727636337,
+ "lyap1_max": 0.08150660991668701,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.5628022569985791,
+ "rf_loss": 0.0,
+ "total_loss": 0.5628022569985791,
+ "lyap1_mean": 0.0417034849524498,
+ "lyap1_max": 0.12736199796199799,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.6347264399424352,
+ "rf_loss": 0.0,
+ "total_loss": 0.6347264399424352,
+ "lyap1_mean": 0.04327605664730072,
+ "lyap1_max": 0.0949055403470993,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.7036637971048328,
+ "rf_loss": 0.0,
+ "total_loss": 0.7036637971048328,
+ "lyap1_mean": 0.03853863850235939,
+ "lyap1_max": 0.06922361254692078,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.46039202621644193,
+ "rf_loss": 0.0,
+ "total_loss": 0.46039202621644193,
+ "lyap1_mean": 0.03223453462123871,
+ "lyap1_max": 0.09074382483959198,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.6515349976177877,
+ "rf_loss": 0.0,
+ "total_loss": 0.6515349976177877,
+ "lyap1_mean": 0.011829257942736149,
+ "lyap1_max": 0.07153870165348053,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.6032070461773472,
+ "rf_loss": 0.0,
+ "total_loss": 0.6032070461773472,
+ "lyap1_mean": -0.005514875054359436,
+ "lyap1_max": 0.03713043034076691,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.4021265205605337,
+ "rf_loss": 0.0,
+ "total_loss": 0.4021265205605337,
+ "lyap1_mean": 0.01753789559006691,
+ "lyap1_max": 0.08135754615068436,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.45036198950424633,
+ "rf_loss": 0.0,
+ "total_loss": 0.45036198950424633,
+ "lyap1_mean": 0.04173188656568527,
+ "lyap1_max": 0.09038669615983963,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.4824409187783764,
+ "rf_loss": 0.0,
+ "total_loss": 0.4824409187783764,
+ "lyap1_mean": 0.026082385331392288,
+ "lyap1_max": 0.1138206198811531,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.5498322155981075,
+ "rf_loss": 0.0,
+ "total_loss": 0.5498322155981075,
+ "lyap1_mean": 0.03447046875953674,
+ "lyap1_max": 0.08692744374275208,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.6012561961413457,
+ "rf_loss": 0.0,
+ "total_loss": 0.6012561961413457,
+ "lyap1_mean": 0.03621656820178032,
+ "lyap1_max": 0.09555044025182724,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.844503374859314,
+ "rf_loss": 0.0,
+ "total_loss": 0.844503374859314,
+ "lyap1_mean": 0.03220115229487419,
+ "lyap1_max": 0.0976850762963295,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5602719702841785,
+ "rf_loss": 0.0,
+ "total_loss": 0.5602719702841785,
+ "lyap1_mean": 0.03881818801164627,
+ "lyap1_max": 0.08261119574308395,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.5436531366971448,
+ "rf_loss": 0.0,
+ "total_loss": 0.5436531366971448,
+ "lyap1_mean": 0.03054489567875862,
+ "lyap1_max": 0.07552935928106308,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.5868842965340845,
+ "rf_loss": 0.0,
+ "total_loss": 0.5868842965340845,
+ "lyap1_mean": 0.03916921839118004,
+ "lyap1_max": 0.07198011130094528,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.5585942777219151,
+ "rf_loss": 0.0,
+ "total_loss": 0.5585942777219151,
+ "lyap1_mean": 0.023855194449424744,
+ "lyap1_max": 0.07858993113040924,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.5559701243108954,
+ "rf_loss": 0.0,
+ "total_loss": 0.5559701243108954,
+ "lyap1_mean": 0.00978783331811428,
+ "lyap1_max": 0.0710562914609909,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.49549880544360936,
+ "rf_loss": 0.0,
+ "total_loss": 0.49549880544360936,
+ "lyap1_mean": 0.017719805240631104,
+ "lyap1_max": 0.06974341720342636,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.6745843759086456,
+ "rf_loss": 0.0,
+ "total_loss": 0.6745843759086456,
+ "lyap1_mean": 0.028983602300286293,
+ "lyap1_max": 0.07741305232048035,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.6478801611825324,
+ "rf_loss": 0.0,
+ "total_loss": 0.6478801611825324,
+ "lyap1_mean": 0.04585136100649834,
+ "lyap1_max": 0.09385821968317032,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.3593490573237576,
+ "rf_loss": 0.0,
+ "total_loss": 0.3593490573237576,
+ "lyap1_mean": 0.03125922009348869,
+ "lyap1_max": 0.14470027387142181,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5527012757983718,
+ "rf_loss": 0.0,
+ "total_loss": 0.5527012757983718,
+ "lyap1_mean": 0.03542030602693558,
+ "lyap1_max": 0.07584033161401749,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.6498399174479406,
+ "rf_loss": 0.0,
+ "total_loss": 0.6498399174479406,
+ "lyap1_mean": 0.04419746249914169,
+ "lyap1_max": 0.08278116583824158,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.5371731719536916,
+ "rf_loss": 0.0,
+ "total_loss": 0.5371731719536916,
+ "lyap1_mean": 0.06010400876402855,
+ "lyap1_max": 0.1099625676870346,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.49505459762339277,
+ "rf_loss": 0.0,
+ "total_loss": 0.49505459762339277,
+ "lyap1_mean": 0.005986797623336315,
+ "lyap1_max": 0.07603014260530472,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.44501551914708126,
+ "rf_loss": 0.0,
+ "total_loss": 0.44501551914708126,
+ "lyap1_mean": 0.028836466372013092,
+ "lyap1_max": 0.09006576240062714,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.45904884393912193,
+ "rf_loss": 0.0,
+ "total_loss": 0.45904884393912193,
+ "lyap1_mean": 0.028154708445072174,
+ "lyap1_max": 0.08311726152896881,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.47390224441964396,
+ "rf_loss": 0.0,
+ "total_loss": 0.47390224441964396,
+ "lyap1_mean": 0.023075714707374573,
+ "lyap1_max": 0.08370508253574371,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.47618536362360514,
+ "rf_loss": 0.0,
+ "total_loss": 0.47618536362360514,
+ "lyap1_mean": 0.03392940014600754,
+ "lyap1_max": 0.09261010587215424,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.5473783600534688,
+ "rf_loss": 0.0,
+ "total_loss": 0.5473783600534688,
+ "lyap1_mean": 0.03911023586988449,
+ "lyap1_max": 0.09797661006450653,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.5437551510668197,
+ "rf_loss": 0.0,
+ "total_loss": 0.5437551510668197,
+ "lyap1_mean": 0.015383508987724781,
+ "lyap1_max": 0.04461953788995743,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.41351698969349626,
+ "rf_loss": 0.0,
+ "total_loss": 0.41351698969349626,
+ "lyap1_mean": 0.018461324274539948,
+ "lyap1_max": 0.07522974163293839,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.6517949457674372,
+ "rf_loss": 0.0,
+ "total_loss": 0.6517949457674372,
+ "lyap1_mean": 0.05403602123260498,
+ "lyap1_max": 0.0843745619058609,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.5986739293793863,
+ "rf_loss": 0.0,
+ "total_loss": 0.5986739293793863,
+ "lyap1_mean": 0.07199276983737946,
+ "lyap1_max": 0.09721903502941132,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.6152978699342021,
+ "rf_loss": 0.0,
+ "total_loss": 0.6152978699342021,
+ "lyap1_mean": 0.04401104524731636,
+ "lyap1_max": 0.09855914115905762,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.6489593149736806,
+ "rf_loss": 0.0,
+ "total_loss": 0.6489593149736806,
+ "lyap1_mean": 0.033142875880002975,
+ "lyap1_max": 0.07167768478393555,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.6316533356037957,
+ "rf_loss": 0.0,
+ "total_loss": 0.6316533356037957,
+ "lyap1_mean": 0.0463123545050621,
+ "lyap1_max": 0.07415676862001419,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.5626538357932511,
+ "rf_loss": 0.0,
+ "total_loss": 0.5626538357932511,
+ "lyap1_mean": 0.03985904902219772,
+ "lyap1_max": 0.11331066489219666,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.5913581988869503,
+ "rf_loss": 0.0,
+ "total_loss": 0.5913581988869503,
+ "lyap1_mean": 0.04589448496699333,
+ "lyap1_max": 0.0986810177564621,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.2936533153442523,
+ "rf_loss": 0.0,
+ "total_loss": 0.2936533153442523,
+ "lyap1_mean": -0.013629740104079247,
+ "lyap1_max": 0.05640995502471924,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.4514039215915037,
+ "rf_loss": 0.0,
+ "total_loss": 0.4514039215915037,
+ "lyap1_mean": 0.012613373808562756,
+ "lyap1_max": 0.06450918316841125,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.5772273480458585,
+ "rf_loss": 0.0,
+ "total_loss": 0.5772273480458585,
+ "lyap1_mean": 0.05021563172340393,
+ "lyap1_max": 0.07816435396671295,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.4404050098377369,
+ "rf_loss": 0.0,
+ "total_loss": 0.4404050098377369,
+ "lyap1_mean": 0.02931789681315422,
+ "lyap1_max": 0.10123952478170395,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.5086202198780299,
+ "rf_loss": 0.0,
+ "total_loss": 0.5086202198780299,
+ "lyap1_mean": 0.025089144706726074,
+ "lyap1_max": 0.09595786035060883,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.5471856321083738,
+ "rf_loss": 0.0,
+ "total_loss": 0.5471856321083738,
+ "lyap1_mean": 0.02957901731133461,
+ "lyap1_max": 0.0591113455593586,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.5608062781863278,
+ "rf_loss": 0.0,
+ "total_loss": 0.5608062781863278,
+ "lyap1_mean": 0.033899806439876556,
+ "lyap1_max": 0.07814150303602219,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.5277383460262043,
+ "rf_loss": 0.0,
+ "total_loss": 0.5277383460262043,
+ "lyap1_mean": 0.02492716908454895,
+ "lyap1_max": 0.07926075160503387,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.5493682249762628,
+ "rf_loss": 0.0,
+ "total_loss": 0.5493682249762628,
+ "lyap1_mean": 0.035718172788619995,
+ "lyap1_max": 0.09470633417367935,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.4937816729333787,
+ "rf_loss": 0.0,
+ "total_loss": 0.4937816729333787,
+ "lyap1_mean": 0.027291469275951385,
+ "lyap1_max": 0.07610394060611725,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.445571118502696,
+ "rf_loss": 0.0,
+ "total_loss": 0.445571118502696,
+ "lyap1_mean": 0.009537754580378532,
+ "lyap1_max": 0.12599436938762665,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.48286752670725275,
+ "rf_loss": 0.0,
+ "total_loss": 0.48286752670725275,
+ "lyap1_mean": 0.02344193309545517,
+ "lyap1_max": 0.08679097890853882,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.5216641927325896,
+ "rf_loss": 0.0,
+ "total_loss": 0.5216641927325896,
+ "lyap1_mean": 0.026221610605716705,
+ "lyap1_max": 0.06570962816476822,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.6264136069402494,
+ "rf_loss": 0.0,
+ "total_loss": 0.6264136069402494,
+ "lyap1_mean": 0.03525922819972038,
+ "lyap1_max": 0.06960717588663101,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.593194618921259,
+ "rf_loss": 0.0,
+ "total_loss": 0.593194618921259,
+ "lyap1_mean": 0.009004243649542332,
+ "lyap1_max": 0.05766990780830383,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.5909933036326571,
+ "rf_loss": 0.0,
+ "total_loss": 0.5909933036326571,
+ "lyap1_mean": 0.03597230836749077,
+ "lyap1_max": 0.09399089962244034,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.5605462994288737,
+ "rf_loss": 0.0,
+ "total_loss": 0.5605462994288737,
+ "lyap1_mean": 0.026196913793683052,
+ "lyap1_max": 0.07633026689291,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.6516088209824203,
+ "rf_loss": 0.0,
+ "total_loss": 0.6516088209824203,
+ "lyap1_mean": -0.0013885656371712685,
+ "lyap1_max": 0.03363766893744469,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.5308917425716425,
+ "rf_loss": 0.0,
+ "total_loss": 0.5308917425716425,
+ "lyap1_mean": 0.02880162000656128,
+ "lyap1_max": 0.09166716784238815,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.4606474992694184,
+ "rf_loss": 0.0,
+ "total_loss": 0.4606474992694184,
+ "lyap1_mean": 0.0110405832529068,
+ "lyap1_max": 0.0625319629907608,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.46612859705323667,
+ "rf_loss": 0.0,
+ "total_loss": 0.46612859705323667,
+ "lyap1_mean": 0.023669864982366562,
+ "lyap1_max": 0.08258317410945892,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.5672730369169158,
+ "rf_loss": 0.0,
+ "total_loss": 0.5672730369169158,
+ "lyap1_mean": 0.017700720578432083,
+ "lyap1_max": 0.06095857545733452,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.717559649233418,
+ "rf_loss": 0.0,
+ "total_loss": 0.717559649233418,
+ "lyap1_mean": 0.046700332313776016,
+ "lyap1_max": 0.09517057240009308,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.4230660780629479,
+ "rf_loss": 0.0,
+ "total_loss": 0.4230660780629479,
+ "lyap1_mean": 0.024102481082081795,
+ "lyap1_max": 0.1017509326338768,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.5038195470909446,
+ "rf_loss": 0.0,
+ "total_loss": 0.5038195470909446,
+ "lyap1_mean": 0.026646438986063004,
+ "lyap1_max": 0.09290619939565659,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.4781830107582054,
+ "rf_loss": 0.0,
+ "total_loss": 0.4781830107582054,
+ "lyap1_mean": 0.016897104680538177,
+ "lyap1_max": 0.12680122256278992,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.569890499223452,
+ "rf_loss": 0.0,
+ "total_loss": 0.569890499223452,
+ "lyap1_mean": 0.055516716092824936,
+ "lyap1_max": 0.10841760039329529,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.5990015052885826,
+ "rf_loss": 0.0,
+ "total_loss": 0.5990015052885826,
+ "lyap1_mean": 0.02641649916768074,
+ "lyap1_max": 0.07927212119102478,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.6343448292819909,
+ "rf_loss": 0.0,
+ "total_loss": 0.6343448292819909,
+ "lyap1_mean": 0.049244679510593414,
+ "lyap1_max": 0.09119981527328491,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.4476340118108373,
+ "rf_loss": 0.0,
+ "total_loss": 0.4476340118108373,
+ "lyap1_mean": 0.02822314202785492,
+ "lyap1_max": 0.10791795700788498,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.5066893891594005,
+ "rf_loss": 0.0,
+ "total_loss": 0.5066893891594005,
+ "lyap1_mean": 0.03032796084880829,
+ "lyap1_max": 0.06708785891532898,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.5394168169182837,
+ "rf_loss": 0.0,
+ "total_loss": 0.5394168169182837,
+ "lyap1_mean": 0.042300038039684296,
+ "lyap1_max": 0.12964323163032532,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.29047453988093164,
+ "rf_loss": 0.0,
+ "total_loss": 0.29047453988093164,
+ "lyap1_mean": -0.008292168378829956,
+ "lyap1_max": 0.08814845979213715,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.6219584907475882,
+ "rf_loss": 0.0,
+ "total_loss": 0.6219584907475882,
+ "lyap1_mean": 0.02227211743593216,
+ "lyap1_max": 0.06743878871202469,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.5641576734535246,
+ "rf_loss": 0.0,
+ "total_loss": 0.5641576734535246,
+ "lyap1_mean": 0.026792243123054504,
+ "lyap1_max": 0.0779840424656868,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.701988848730546,
+ "rf_loss": 0.0,
+ "total_loss": 0.701988848730546,
+ "lyap1_mean": 0.0363006666302681,
+ "lyap1_max": 0.05060773715376854,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.44308662501197266,
+ "rf_loss": 0.0,
+ "total_loss": 0.44308662501197266,
+ "lyap1_mean": 0.026134157553315163,
+ "lyap1_max": 0.08248110860586166,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.5892965643044856,
+ "rf_loss": 0.0,
+ "total_loss": 0.5892965643044856,
+ "lyap1_mean": 0.042834438383579254,
+ "lyap1_max": 0.08360828459262848,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.5380124720085696,
+ "rf_loss": 0.0,
+ "total_loss": 0.5380124720085696,
+ "lyap1_mean": 0.024514753371477127,
+ "lyap1_max": 0.07256738841533661,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.6061477691456196,
+ "rf_loss": 0.0,
+ "total_loss": 0.6061477691456196,
+ "lyap1_mean": 0.05852210894227028,
+ "lyap1_max": 0.1015908420085907,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.6172259155309023,
+ "rf_loss": 0.0,
+ "total_loss": 0.6172259155309023,
+ "lyap1_mean": 0.06053026020526886,
+ "lyap1_max": 0.11597567796707153,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.5331612537571816,
+ "rf_loss": 0.0,
+ "total_loss": 0.5331612537571816,
+ "lyap1_mean": 0.016590666025877,
+ "lyap1_max": 0.07523664832115173,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.603313328332227,
+ "rf_loss": 0.0,
+ "total_loss": 0.603313328332227,
+ "lyap1_mean": 0.03224173188209534,
+ "lyap1_max": 0.09399569034576416,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.6598355850251216,
+ "rf_loss": 0.0,
+ "total_loss": 0.6598355850251216,
+ "lyap1_mean": 0.03985464200377464,
+ "lyap1_max": 0.10915462672710419,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.5746281057289591,
+ "rf_loss": 0.0,
+ "total_loss": 0.5746281057289591,
+ "lyap1_mean": 0.024057354778051376,
+ "lyap1_max": 0.07641248404979706,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.5128859392333087,
+ "rf_loss": 0.0,
+ "total_loss": 0.5128859392333087,
+ "lyap1_mean": 0.017814097926020622,
+ "lyap1_max": 0.07751277089118958,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.5961868762385164,
+ "rf_loss": 0.0,
+ "total_loss": 0.5961868762385164,
+ "lyap1_mean": 0.03310847282409668,
+ "lyap1_max": 0.07355095446109772,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.5315348889595028,
+ "rf_loss": 0.0,
+ "total_loss": 0.5315348889595028,
+ "lyap1_mean": 0.022229725494980812,
+ "lyap1_max": 0.08162298053503036,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.5417379372190082,
+ "rf_loss": 0.0,
+ "total_loss": 0.5417379372190082,
+ "lyap1_mean": 0.03676798939704895,
+ "lyap1_max": 0.08589320629835129,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.5123340260739092,
+ "rf_loss": 0.0,
+ "total_loss": 0.5123340260739092,
+ "lyap1_mean": 0.026157813146710396,
+ "lyap1_max": 0.06522185355424881,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.42238417330086026,
+ "rf_loss": 0.0,
+ "total_loss": 0.42238417330086026,
+ "lyap1_mean": 0.005790726747363806,
+ "lyap1_max": 0.07744576036930084,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.5901717007471772,
+ "rf_loss": 0.0,
+ "total_loss": 0.5901717007471772,
+ "lyap1_mean": 0.040410056710243225,
+ "lyap1_max": 0.08298437297344208,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.5337579206287617,
+ "rf_loss": 0.0,
+ "total_loss": 0.5337579206287617,
+ "lyap1_mean": 0.04784912243485451,
+ "lyap1_max": 0.11647215485572815,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.5769092201120134,
+ "rf_loss": 0.0,
+ "total_loss": 0.5769092201120134,
+ "lyap1_mean": 0.028915025293827057,
+ "lyap1_max": 0.05709715932607651,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.4708315160144672,
+ "rf_loss": 0.0,
+ "total_loss": 0.4708315160144672,
+ "lyap1_mean": -0.0029170955531299114,
+ "lyap1_max": 0.06094549968838692,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.49799660381574545,
+ "rf_loss": 0.0,
+ "total_loss": 0.49799660381574545,
+ "lyap1_mean": 0.03387659788131714,
+ "lyap1_max": 0.10311558097600937,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.47495067733747437,
+ "rf_loss": 0.0,
+ "total_loss": 0.47495067733747437,
+ "lyap1_mean": 0.029352594166994095,
+ "lyap1_max": 0.09745211154222488,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.43739295392432903,
+ "rf_loss": 0.0,
+ "total_loss": 0.43739295392432903,
+ "lyap1_mean": 0.008722059428691864,
+ "lyap1_max": 0.059022706001996994,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.5355545952831406,
+ "rf_loss": 0.0,
+ "total_loss": 0.5355545952831406,
+ "lyap1_mean": 0.016625434160232544,
+ "lyap1_max": 0.07122612744569778,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.598503560102944,
+ "rf_loss": 0.0,
+ "total_loss": 0.598503560102944,
+ "lyap1_mean": 0.012133740819990635,
+ "lyap1_max": 0.06890439242124557,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.4026459887611281,
+ "rf_loss": 0.0,
+ "total_loss": 0.4026459887611281,
+ "lyap1_mean": 0.021135743707418442,
+ "lyap1_max": 0.11321234703063965,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.580657790734212,
+ "rf_loss": 0.0,
+ "total_loss": 0.580657790734212,
+ "lyap1_mean": 0.032990358769893646,
+ "lyap1_max": 0.08388345688581467,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.5762464455004566,
+ "rf_loss": 0.0,
+ "total_loss": 0.5762464455004566,
+ "lyap1_mean": 0.03224359452724457,
+ "lyap1_max": 0.08178482204675674,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.393558837821654,
+ "rf_loss": 0.0,
+ "total_loss": 0.393558837821654,
+ "lyap1_mean": -0.002784391865134239,
+ "lyap1_max": 0.07612268626689911,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.6428718552524811,
+ "rf_loss": 0.0,
+ "total_loss": 0.6428718552524811,
+ "lyap1_mean": 0.029572641476988792,
+ "lyap1_max": 0.07101576030254364,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.5670292104205396,
+ "rf_loss": 0.0,
+ "total_loss": 0.5670292104205396,
+ "lyap1_mean": 0.04058496654033661,
+ "lyap1_max": 0.08986802399158478,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.6125400112985542,
+ "rf_loss": 0.0,
+ "total_loss": 0.6125400112985542,
+ "lyap1_mean": 0.0656241625547409,
+ "lyap1_max": 0.11814264208078384,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.5417011645484731,
+ "rf_loss": 0.0,
+ "total_loss": 0.5417011645484731,
+ "lyap1_mean": 0.04238692298531532,
+ "lyap1_max": 0.07795730233192444,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.5011444317453522,
+ "rf_loss": 0.0,
+ "total_loss": 0.5011444317453522,
+ "lyap1_mean": 0.04125791788101196,
+ "lyap1_max": 0.09711069613695145,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.3625340097461607,
+ "rf_loss": 0.0,
+ "total_loss": 0.3625340097461607,
+ "lyap1_mean": 0.0028426852077245712,
+ "lyap1_max": 0.07894988358020782,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.5940170033271976,
+ "rf_loss": 0.0,
+ "total_loss": 0.5940170033271976,
+ "lyap1_mean": 0.05737311393022537,
+ "lyap1_max": 0.09473643451929092,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.518072033622971,
+ "rf_loss": 0.0,
+ "total_loss": 0.518072033622971,
+ "lyap1_mean": 0.04546806961297989,
+ "lyap1_max": 0.10714367777109146,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.6601402029020749,
+ "rf_loss": 0.0,
+ "total_loss": 0.6601402029020749,
+ "lyap1_mean": 0.06226802617311478,
+ "lyap1_max": 0.10517235100269318,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 234,
+ "sup_loss": 1.0574100283892907,
+ "rf_loss": 0.0,
+ "total_loss": 1.0574100283892907,
+ "lyap1_mean": 0.032342202961444855,
+ "lyap1_max": 0.10732240974903107,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.4905266572539805,
+ "rf_loss": 0.0,
+ "total_loss": 0.4905266572539805,
+ "lyap1_mean": 0.045385826379060745,
+ "lyap1_max": 0.09207742661237717,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.5684770575096346,
+ "rf_loss": 0.0,
+ "total_loss": 0.5684770575096346,
+ "lyap1_mean": 0.02354857698082924,
+ "lyap1_max": 0.0812259167432785,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.6387955845826576,
+ "rf_loss": 0.0,
+ "total_loss": 0.6387955845826576,
+ "lyap1_mean": 0.03202780708670616,
+ "lyap1_max": 0.07323545962572098,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.4854013863283032,
+ "rf_loss": 0.0,
+ "total_loss": 0.4854013863283032,
+ "lyap1_mean": 0.02512819692492485,
+ "lyap1_max": 0.09853329509496689,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.5005774775028453,
+ "rf_loss": 0.0,
+ "total_loss": 0.5005774775028453,
+ "lyap1_mean": 0.039699289947748184,
+ "lyap1_max": 0.08596812933683395,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.4247375219753594,
+ "rf_loss": 0.0,
+ "total_loss": 0.4247375219753594,
+ "lyap1_mean": 0.01573033817112446,
+ "lyap1_max": 0.07484540343284607,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.6000244369917926,
+ "rf_loss": 0.0,
+ "total_loss": 0.6000244369917926,
+ "lyap1_mean": 0.053190603852272034,
+ "lyap1_max": 0.10779181122779846,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.48740211929621496,
+ "rf_loss": 0.0,
+ "total_loss": 0.48740211929621496,
+ "lyap1_mean": 0.01722787506878376,
+ "lyap1_max": 0.1074969694018364,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.462235345615618,
+ "rf_loss": 0.0,
+ "total_loss": 0.462235345615618,
+ "lyap1_mean": 0.04060469567775726,
+ "lyap1_max": 0.11857104301452637,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.5924381662138978,
+ "rf_loss": 0.0,
+ "total_loss": 0.5924381662138978,
+ "lyap1_mean": 0.028173163533210754,
+ "lyap1_max": 0.07865697145462036,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.5223877540628118,
+ "rf_loss": 0.0,
+ "total_loss": 0.5223877540628118,
+ "lyap1_mean": 0.04145218804478645,
+ "lyap1_max": 0.08311047405004501,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.6241528223413715,
+ "rf_loss": 0.0,
+ "total_loss": 0.6241528223413715,
+ "lyap1_mean": 0.0453149639070034,
+ "lyap1_max": 0.119835764169693,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.5207842029792984,
+ "rf_loss": 0.0,
+ "total_loss": 0.5207842029792984,
+ "lyap1_mean": 0.025294210761785507,
+ "lyap1_max": 0.1025502160191536,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.48621626020496406,
+ "rf_loss": 0.0,
+ "total_loss": 0.48621626020496406,
+ "lyap1_mean": 0.036610037088394165,
+ "lyap1_max": 0.10406508296728134,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.4573889696776257,
+ "rf_loss": 0.0,
+ "total_loss": 0.4573889696776257,
+ "lyap1_mean": -0.00030239205807447433,
+ "lyap1_max": 0.07052740454673767,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.6713719956584903,
+ "rf_loss": 0.0,
+ "total_loss": 0.6713719956584903,
+ "lyap1_mean": 0.052676647901535034,
+ "lyap1_max": 0.09018873423337936,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.49807696155565656,
+ "rf_loss": 0.0,
+ "total_loss": 0.49807696155565656,
+ "lyap1_mean": 0.021943848580121994,
+ "lyap1_max": 0.06789282709360123,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.5460595701231723,
+ "rf_loss": 0.0,
+ "total_loss": 0.5460595701231723,
+ "lyap1_mean": 0.03695372864603996,
+ "lyap1_max": 0.061873361468315125,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.6184212779849748,
+ "rf_loss": 0.0,
+ "total_loss": 0.6184212779849748,
+ "lyap1_mean": 0.04345306009054184,
+ "lyap1_max": 0.1481466144323349,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.5107613870447522,
+ "rf_loss": 0.0,
+ "total_loss": 0.5107613870447522,
+ "lyap1_mean": 0.03523503243923187,
+ "lyap1_max": 0.0916840061545372,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6444036136678175,
+ "rf_loss": 0.0,
+ "total_loss": 0.6444036136678175,
+ "lyap1_mean": 0.022449173033237457,
+ "lyap1_max": 0.05249152332544327,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.4165628833994389,
+ "rf_loss": 0.0,
+ "total_loss": 0.4165628833994389,
+ "lyap1_mean": 0.04828251153230667,
+ "lyap1_max": 0.1165592223405838,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.4442541473534684,
+ "rf_loss": 0.0,
+ "total_loss": 0.4442541473534684,
+ "lyap1_mean": 0.004314578603953123,
+ "lyap1_max": 0.05697803199291229,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.5324252320115093,
+ "rf_loss": 0.0,
+ "total_loss": 0.5324252320115093,
+ "lyap1_mean": 0.0117264399304986,
+ "lyap1_max": 0.045650970190763474,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.5412812348534646,
+ "rf_loss": 0.0,
+ "total_loss": 0.5412812348534646,
+ "lyap1_mean": 0.02212003991007805,
+ "lyap1_max": 0.07315801829099655,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.5981595840024916,
+ "rf_loss": 0.0,
+ "total_loss": 0.5981595840024916,
+ "lyap1_mean": 0.041256509721279144,
+ "lyap1_max": 0.07314340770244598,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.6343165113731979,
+ "rf_loss": 0.0,
+ "total_loss": 0.6343165113731979,
+ "lyap1_mean": 0.037518229335546494,
+ "lyap1_max": 0.08315369486808777,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.45922703599268133,
+ "rf_loss": 0.0,
+ "total_loss": 0.45922703599268133,
+ "lyap1_mean": 0.03371588885784149,
+ "lyap1_max": 0.08616040647029877,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.6410529067313192,
+ "rf_loss": 0.0,
+ "total_loss": 0.6410529067313192,
+ "lyap1_mean": 0.04806535691022873,
+ "lyap1_max": 0.07754123955965042,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.4837590458264595,
+ "rf_loss": 0.0,
+ "total_loss": 0.4837590458264595,
+ "lyap1_mean": 0.03428966552019119,
+ "lyap1_max": 0.09866001456975937,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.5341611760058947,
+ "rf_loss": 0.0,
+ "total_loss": 0.5341611760058947,
+ "lyap1_mean": 0.020679863169789314,
+ "lyap1_max": 0.0814056396484375,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.5740167750658076,
+ "rf_loss": 0.0,
+ "total_loss": 0.5740167750658076,
+ "lyap1_mean": 0.022090241312980652,
+ "lyap1_max": 0.09283463656902313,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.5353547582179223,
+ "rf_loss": 0.0,
+ "total_loss": 0.5353547582179223,
+ "lyap1_mean": 0.03361480310559273,
+ "lyap1_max": 0.07838114351034164,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6191240886374333,
+ "rf_loss": 0.0,
+ "total_loss": 0.6191240886374333,
+ "lyap1_mean": 0.06034586578607559,
+ "lyap1_max": 0.10244657844305038,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.6306956624807478,
+ "rf_loss": 0.0,
+ "total_loss": 0.6306956624807478,
+ "lyap1_mean": 0.028760304674506187,
+ "lyap1_max": 0.09321814030408859,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.6655205503847405,
+ "rf_loss": 0.0,
+ "total_loss": 0.6655205503847405,
+ "lyap1_mean": 0.05073968321084976,
+ "lyap1_max": 0.0817050039768219,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.455965023739907,
+ "rf_loss": 0.0,
+ "total_loss": 0.455965023739907,
+ "lyap1_mean": 0.037923842668533325,
+ "lyap1_max": 0.07868988811969757,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.5653294526758311,
+ "rf_loss": 0.0,
+ "total_loss": 0.5653294526758311,
+ "lyap1_mean": 0.034519463777542114,
+ "lyap1_max": 0.09392254054546356,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.6624795264742209,
+ "rf_loss": 0.0,
+ "total_loss": 0.6624795264742209,
+ "lyap1_mean": 0.041927702724933624,
+ "lyap1_max": 0.08613976091146469,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.5478354234125649,
+ "rf_loss": 0.0,
+ "total_loss": 0.5478354234125649,
+ "lyap1_mean": 0.01790168136358261,
+ "lyap1_max": 0.0593998059630394,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.6373632773858531,
+ "rf_loss": 0.0,
+ "total_loss": 0.6373632773858531,
+ "lyap1_mean": 0.03684329241514206,
+ "lyap1_max": 0.08435246348381042,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 276,
+ "sup_loss": 0.646969837259943,
+ "rf_loss": 0.0,
+ "total_loss": 0.646969837259943,
+ "lyap1_mean": 0.030450837686657906,
+ "lyap1_max": 0.10837812721729279,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 277,
+ "sup_loss": 0.40270906871404805,
+ "rf_loss": 0.0,
+ "total_loss": 0.40270906871404805,
+ "lyap1_mean": 0.024933530017733574,
+ "lyap1_max": 0.09566731750965118,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 278,
+ "sup_loss": 0.4891112899144799,
+ "rf_loss": 0.0,
+ "total_loss": 0.4891112899144799,
+ "lyap1_mean": 0.011866768822073936,
+ "lyap1_max": 0.06226930767297745,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.5762635726498672,
+ "rf_loss": 0.0,
+ "total_loss": 0.5762635726498672,
+ "lyap1_mean": 0.036689162254333496,
+ "lyap1_max": 0.09355009347200394,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 280,
+ "sup_loss": 0.677484959580373,
+ "rf_loss": 0.0,
+ "total_loss": 0.677484959580373,
+ "lyap1_mean": 0.056854624301195145,
+ "lyap1_max": 0.07924433052539825,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 281,
+ "sup_loss": 0.49198875880886944,
+ "rf_loss": 0.0,
+ "total_loss": 0.49198875880886944,
+ "lyap1_mean": 0.016424044966697693,
+ "lyap1_max": 0.071662038564682,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 282,
+ "sup_loss": 0.4875730206939019,
+ "rf_loss": 0.0,
+ "total_loss": 0.4875730206939019,
+ "lyap1_mean": 0.026291988790035248,
+ "lyap1_max": 0.08769284933805466,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 283,
+ "sup_loss": 0.4821353643342248,
+ "rf_loss": 0.0,
+ "total_loss": 0.4821353643342248,
+ "lyap1_mean": 0.02619170770049095,
+ "lyap1_max": 0.08530594408512115,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 284,
+ "sup_loss": 0.7178178314700935,
+ "rf_loss": 0.0,
+ "total_loss": 0.7178178314700935,
+ "lyap1_mean": 0.04899170249700546,
+ "lyap1_max": 0.085562564432621,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.5084131704626986,
+ "rf_loss": 0.0,
+ "total_loss": 0.5084131704626986,
+ "lyap1_mean": 0.016845636069774628,
+ "lyap1_max": 0.0936979353427887,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 286,
+ "sup_loss": 0.2546431929913287,
+ "rf_loss": 0.0,
+ "total_loss": 0.2546431929913287,
+ "lyap1_mean": -0.013762269169092178,
+ "lyap1_max": 0.06664040684700012,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 287,
+ "sup_loss": 0.5579877063893935,
+ "rf_loss": 0.0,
+ "total_loss": 0.5579877063893935,
+ "lyap1_mean": 0.011109350249171257,
+ "lyap1_max": 0.07309720665216446,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.5388504738208603,
+ "rf_loss": 0.0,
+ "total_loss": 0.5388504738208603,
+ "lyap1_mean": 0.02336205169558525,
+ "lyap1_max": 0.08189386874437332,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 289,
+ "sup_loss": 0.537318028520781,
+ "rf_loss": 0.0,
+ "total_loss": 0.537318028520781,
+ "lyap1_mean": 0.012373121455311775,
+ "lyap1_max": 0.06537274271249771,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 290,
+ "sup_loss": 0.5539656970559169,
+ "rf_loss": 0.0,
+ "total_loss": 0.5539656970559169,
+ "lyap1_mean": 0.047947511076927185,
+ "lyap1_max": 0.09657362848520279,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 291,
+ "sup_loss": 0.5826989986434266,
+ "rf_loss": 0.0,
+ "total_loss": 0.5826989986434266,
+ "lyap1_mean": 0.036384131759405136,
+ "lyap1_max": 0.07611474394798279,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 292,
+ "sup_loss": 0.47650456434067134,
+ "rf_loss": 0.0,
+ "total_loss": 0.47650456434067134,
+ "lyap1_mean": 0.016068242490291595,
+ "lyap1_max": 0.09329554438591003,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 293,
+ "sup_loss": 0.3695507881395512,
+ "rf_loss": 0.0,
+ "total_loss": 0.3695507881395512,
+ "lyap1_mean": 0.012323258444666862,
+ "lyap1_max": 0.08319102227687836,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.47182998625222655,
+ "rf_loss": 0.0,
+ "total_loss": 0.47182998625222655,
+ "lyap1_mean": 0.019747909158468246,
+ "lyap1_max": 0.11443107575178146,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 295,
+ "sup_loss": 0.35518775722243096,
+ "rf_loss": 0.0,
+ "total_loss": 0.35518775722243096,
+ "lyap1_mean": 0.010333171114325523,
+ "lyap1_max": 0.10111266374588013,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 296,
+ "sup_loss": 0.687839277867445,
+ "rf_loss": 0.0,
+ "total_loss": 0.687839277867445,
+ "lyap1_mean": 0.04223025217652321,
+ "lyap1_max": 0.0795106366276741,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 297,
+ "sup_loss": 0.49931611288972116,
+ "rf_loss": 0.0,
+ "total_loss": 0.49931611288972116,
+ "lyap1_mean": 0.024290774017572403,
+ "lyap1_max": 0.05771905556321144,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.4592520677092442,
+ "rf_loss": 0.0,
+ "total_loss": 0.4592520677092442,
+ "lyap1_mean": 0.01950508914887905,
+ "lyap1_max": 0.07460195571184158,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.4333586412325664,
+ "rf_loss": 0.0,
+ "total_loss": 0.4333586412325664,
+ "lyap1_mean": 0.026374900713562965,
+ "lyap1_max": 0.08878132700920105,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.46407959376649527,
+ "rf_loss": 0.0,
+ "total_loss": 0.46407959376649527,
+ "lyap1_mean": 0.018933923915028572,
+ "lyap1_max": 0.08290373533964157,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.5311033843553354,
+ "rf_loss": 0.0,
+ "total_loss": 0.5311033843553354,
+ "lyap1_mean": 0.011619511060416698,
+ "lyap1_max": 0.05880478397011757,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.5347873923420241,
+ "rf_loss": 0.0,
+ "total_loss": 0.5347873923420241,
+ "lyap1_mean": 0.02893085964024067,
+ "lyap1_max": 0.0881185233592987,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.5316861556250773,
+ "rf_loss": 0.0,
+ "total_loss": 0.5316861556250773,
+ "lyap1_mean": 0.03509988635778427,
+ "lyap1_max": 0.09092235565185547,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.44163021517815837,
+ "rf_loss": 0.0,
+ "total_loss": 0.44163021517815837,
+ "lyap1_mean": 0.012100627645850182,
+ "lyap1_max": 0.06358672678470612,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.4750115807230726,
+ "rf_loss": 0.0,
+ "total_loss": 0.4750115807230726,
+ "lyap1_mean": 0.0328533798456192,
+ "lyap1_max": 0.0864345133304596,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.6107151346160318,
+ "rf_loss": 0.0,
+ "total_loss": 0.6107151346160318,
+ "lyap1_mean": 0.030645594000816345,
+ "lyap1_max": 0.07106093317270279,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.5718982360842868,
+ "rf_loss": 0.0,
+ "total_loss": 0.5718982360842868,
+ "lyap1_mean": 0.03375692665576935,
+ "lyap1_max": 0.06409759074449539,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.4997762976387419,
+ "rf_loss": 0.0,
+ "total_loss": 0.4997762976387419,
+ "lyap1_mean": 0.03451773151755333,
+ "lyap1_max": 0.0841328352689743,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.6427995252320992,
+ "rf_loss": 0.0,
+ "total_loss": 0.6427995252320992,
+ "lyap1_mean": 0.05098849907517433,
+ "lyap1_max": 0.08396127074956894,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.5120786730313274,
+ "rf_loss": 0.0,
+ "total_loss": 0.5120786730313274,
+ "lyap1_mean": 0.019640371203422546,
+ "lyap1_max": 0.10805519670248032,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.5683642207416326,
+ "rf_loss": 0.0,
+ "total_loss": 0.5683642207416326,
+ "lyap1_mean": 0.021178577095270157,
+ "lyap1_max": 0.07036787271499634,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.4725668462392636,
+ "rf_loss": 0.0,
+ "total_loss": 0.4725668462392636,
+ "lyap1_mean": 0.027563422918319702,
+ "lyap1_max": 0.07058045268058777,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.5371677649668907,
+ "rf_loss": 0.0,
+ "total_loss": 0.5371677649668907,
+ "lyap1_mean": 0.04221317917108536,
+ "lyap1_max": 0.09811694175004959,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.6640417160487312,
+ "rf_loss": 0.0,
+ "total_loss": 0.6640417160487312,
+ "lyap1_mean": 0.03454521298408508,
+ "lyap1_max": 0.08087030798196793,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.6557472987038572,
+ "rf_loss": 0.0,
+ "total_loss": 0.6557472987038572,
+ "lyap1_mean": 0.037362195551395416,
+ "lyap1_max": 0.09860897064208984,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.5352908902090554,
+ "rf_loss": 0.0,
+ "total_loss": 0.5352908902090554,
+ "lyap1_mean": 0.023694805800914764,
+ "lyap1_max": 0.09536125510931015,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.6435173870860688,
+ "rf_loss": 0.0,
+ "total_loss": 0.6435173870860688,
+ "lyap1_mean": 0.05560316890478134,
+ "lyap1_max": 0.11017820239067078,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.6018568651805937,
+ "rf_loss": 0.0,
+ "total_loss": 0.6018568651805937,
+ "lyap1_mean": 0.04797646775841713,
+ "lyap1_max": 0.08047249913215637,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.6380472373992011,
+ "rf_loss": 0.0,
+ "total_loss": 0.6380472373992011,
+ "lyap1_mean": 0.03896922245621681,
+ "lyap1_max": 0.09263133257627487,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.5463138656982324,
+ "rf_loss": 0.0,
+ "total_loss": 0.5463138656982324,
+ "lyap1_mean": 0.006718019023537636,
+ "lyap1_max": 0.06034264340996742,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.4643324297805987,
+ "rf_loss": 0.0,
+ "total_loss": 0.4643324297805987,
+ "lyap1_mean": 0.05232297629117966,
+ "lyap1_max": 0.12067892402410507,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.5732413163667209,
+ "rf_loss": 0.0,
+ "total_loss": 0.5732413163667209,
+ "lyap1_mean": 0.04637115076184273,
+ "lyap1_max": 0.0807466208934784,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.7550636151867487,
+ "rf_loss": 0.0,
+ "total_loss": 0.7550636151867487,
+ "lyap1_mean": 0.04263939708471298,
+ "lyap1_max": 0.09057562053203583,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.6728150799435999,
+ "rf_loss": 0.0,
+ "total_loss": 0.6728150799435999,
+ "lyap1_mean": 0.037931665778160095,
+ "lyap1_max": 0.06302856653928757,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.6924901864880102,
+ "rf_loss": 0.0,
+ "total_loss": 0.6924901864880102,
+ "lyap1_mean": 0.03741920739412308,
+ "lyap1_max": 0.09377416968345642,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.6419713179330834,
+ "rf_loss": 0.0,
+ "total_loss": 0.6419713179330834,
+ "lyap1_mean": 0.03965311497449875,
+ "lyap1_max": 0.08028955012559891,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.5705153026643347,
+ "rf_loss": 0.0,
+ "total_loss": 0.5705153026643347,
+ "lyap1_mean": 0.022383103147149086,
+ "lyap1_max": 0.07135649770498276,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.5023052423967861,
+ "rf_loss": 0.0,
+ "total_loss": 0.5023052423967861,
+ "lyap1_mean": 0.019631527364253998,
+ "lyap1_max": 0.06720918416976929,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.5577274827935836,
+ "rf_loss": 0.0,
+ "total_loss": 0.5577274827935836,
+ "lyap1_mean": 0.03126232698559761,
+ "lyap1_max": 0.07696423679590225,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.5186112972155464,
+ "rf_loss": 0.0,
+ "total_loss": 0.5186112972155464,
+ "lyap1_mean": 0.028907299041748047,
+ "lyap1_max": 0.0831160917878151,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6476518228153739,
+ "rf_loss": 0.0,
+ "total_loss": 0.6476518228153739,
+ "lyap1_mean": 0.03916396573185921,
+ "lyap1_max": 0.10528134554624557,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.5193174359276149,
+ "rf_loss": 0.0,
+ "total_loss": 0.5193174359276149,
+ "lyap1_mean": 0.023641590029001236,
+ "lyap1_max": 0.08665492385625839,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.5450041975465,
+ "rf_loss": 0.0,
+ "total_loss": 0.5450041975465,
+ "lyap1_mean": 0.043791983276605606,
+ "lyap1_max": 0.10771308839321136,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.5259832281000844,
+ "rf_loss": 0.0,
+ "total_loss": 0.5259832281000844,
+ "lyap1_mean": 0.03173193708062172,
+ "lyap1_max": 0.07741554081439972,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.6234610181385278,
+ "rf_loss": 0.0,
+ "total_loss": 0.6234610181385278,
+ "lyap1_mean": 0.0366065576672554,
+ "lyap1_max": 0.06848685443401337,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.46608947057959327,
+ "rf_loss": 0.0,
+ "total_loss": 0.46608947057959327,
+ "lyap1_mean": 0.025669516995549202,
+ "lyap1_max": 0.09928303956985474,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.5869025741800852,
+ "rf_loss": 0.0,
+ "total_loss": 0.5869025741800852,
+ "lyap1_mean": 0.029983770102262497,
+ "lyap1_max": 0.08236874639987946,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.40882362133126476,
+ "rf_loss": 0.0,
+ "total_loss": 0.40882362133126476,
+ "lyap1_mean": -0.00027567846700549126,
+ "lyap1_max": 0.04239349067211151,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.49937652575823954,
+ "rf_loss": 0.0,
+ "total_loss": 0.49937652575823954,
+ "lyap1_mean": 0.005898193456232548,
+ "lyap1_max": 0.060906827449798584,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 340,
+ "sup_loss": 0.5314536974698039,
+ "rf_loss": 0.0,
+ "total_loss": 0.5314536974698039,
+ "lyap1_mean": 0.019559301435947418,
+ "lyap1_max": 0.07842108607292175,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.7120971558985778,
+ "rf_loss": 0.0,
+ "total_loss": 0.7120971558985778,
+ "lyap1_mean": 0.031740035861730576,
+ "lyap1_max": 0.10248266160488129,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.582070237033688,
+ "rf_loss": 0.0,
+ "total_loss": 0.582070237033688,
+ "lyap1_mean": 0.022552765905857086,
+ "lyap1_max": 0.06539460271596909,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.4875007221033755,
+ "rf_loss": 0.0,
+ "total_loss": 0.4875007221033755,
+ "lyap1_mean": 0.015440987423062325,
+ "lyap1_max": 0.08541245758533478,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.47426570679043795,
+ "rf_loss": 0.0,
+ "total_loss": 0.47426570679043795,
+ "lyap1_mean": 0.014576490968465805,
+ "lyap1_max": 0.06280018389225006,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.5831115281796824,
+ "rf_loss": 0.0,
+ "total_loss": 0.5831115281796824,
+ "lyap1_mean": 0.05698378384113312,
+ "lyap1_max": 0.07907403260469437,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.5287274190911583,
+ "rf_loss": 0.0,
+ "total_loss": 0.5287274190911583,
+ "lyap1_mean": 0.016307849436998367,
+ "lyap1_max": 0.10226403921842575,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.5431864416247123,
+ "rf_loss": 0.0,
+ "total_loss": 0.5431864416247123,
+ "lyap1_mean": 0.025240737944841385,
+ "lyap1_max": 0.09867812693119049,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.5505603866485216,
+ "rf_loss": 0.0,
+ "total_loss": 0.5505603866485216,
+ "lyap1_mean": 0.009448254480957985,
+ "lyap1_max": 0.06868861615657806,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.5384491424287059,
+ "rf_loss": 0.0,
+ "total_loss": 0.5384491424287059,
+ "lyap1_mean": 0.006989791989326477,
+ "lyap1_max": 0.08345553278923035,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.7050961770177007,
+ "rf_loss": 0.0,
+ "total_loss": 0.7050961770177007,
+ "lyap1_mean": 0.04214823991060257,
+ "lyap1_max": 0.07865758240222931,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.5837782134366014,
+ "rf_loss": 0.0,
+ "total_loss": 0.5837782134366014,
+ "lyap1_mean": 0.019391998648643494,
+ "lyap1_max": 0.06336046755313873,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.5328732074393293,
+ "rf_loss": 0.0,
+ "total_loss": 0.5328732074393293,
+ "lyap1_mean": 0.006897750776261091,
+ "lyap1_max": 0.04865178093314171,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.5694440966068007,
+ "rf_loss": 0.0,
+ "total_loss": 0.5694440966068007,
+ "lyap1_mean": 0.029138237237930298,
+ "lyap1_max": 0.08008553832769394,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.6796682912466014,
+ "rf_loss": 0.0,
+ "total_loss": 0.6796682912466014,
+ "lyap1_mean": 0.028526516631245613,
+ "lyap1_max": 0.08683042228221893,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.6444829586963733,
+ "rf_loss": 0.0,
+ "total_loss": 0.6444829586963733,
+ "lyap1_mean": 0.02136845886707306,
+ "lyap1_max": 0.061836566776037216,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.7680743899811483,
+ "rf_loss": 0.0,
+ "total_loss": 0.7680743899811483,
+ "lyap1_mean": 0.03484548255801201,
+ "lyap1_max": 0.050506655126810074,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.6126174731538127,
+ "rf_loss": 0.0,
+ "total_loss": 0.6126174731538127,
+ "lyap1_mean": 0.0010076221078634262,
+ "lyap1_max": 0.06448522955179214,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.5876108077278459,
+ "rf_loss": 0.0,
+ "total_loss": 0.5876108077278459,
+ "lyap1_mean": 0.03483588993549347,
+ "lyap1_max": 0.0628463551402092,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.5101359481431859,
+ "rf_loss": 0.0,
+ "total_loss": 0.5101359481431859,
+ "lyap1_mean": 0.037032485008239746,
+ "lyap1_max": 0.09465216845273972,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.39085820489750905,
+ "rf_loss": 0.0,
+ "total_loss": 0.39085820489750905,
+ "lyap1_mean": 0.0035436293110251427,
+ "lyap1_max": 0.045202504843473434,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.5718218152346862,
+ "rf_loss": 0.0,
+ "total_loss": 0.5718218152346862,
+ "lyap1_mean": 0.022633425891399384,
+ "lyap1_max": 0.06713207811117172,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.6415408658142425,
+ "rf_loss": 0.0,
+ "total_loss": 0.6415408658142425,
+ "lyap1_mean": 0.0318794921040535,
+ "lyap1_max": 0.08972207456827164,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.6143483211466685,
+ "rf_loss": 0.0,
+ "total_loss": 0.6143483211466685,
+ "lyap1_mean": 0.009177597239613533,
+ "lyap1_max": 0.05241875350475311,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.5276491215423789,
+ "rf_loss": 0.0,
+ "total_loss": 0.5276491215423789,
+ "lyap1_mean": 0.005860697478055954,
+ "lyap1_max": 0.0414680577814579,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.4396465234586956,
+ "rf_loss": 0.0,
+ "total_loss": 0.4396465234586956,
+ "lyap1_mean": 0.008218017406761646,
+ "lyap1_max": 0.06031376123428345,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.39681009286008806,
+ "rf_loss": 0.0,
+ "total_loss": 0.39681009286008806,
+ "lyap1_mean": 0.013469144701957703,
+ "lyap1_max": 0.06394166499376297,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.5810828927224125,
+ "rf_loss": 0.0,
+ "total_loss": 0.5810828927224125,
+ "lyap1_mean": 0.03212461620569229,
+ "lyap1_max": 0.07284989953041077,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.7590236672437737,
+ "rf_loss": 0.0,
+ "total_loss": 0.7590236672437737,
+ "lyap1_mean": 0.03204817324876785,
+ "lyap1_max": 0.08819408714771271,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.44340601113706535,
+ "rf_loss": 0.0,
+ "total_loss": 0.44340601113706535,
+ "lyap1_mean": 0.010974746197462082,
+ "lyap1_max": 0.0870976448059082,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.5571721634751429,
+ "rf_loss": 0.0,
+ "total_loss": 0.5571721634751429,
+ "lyap1_mean": 0.026885172352194786,
+ "lyap1_max": 0.05718399956822395,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.49513612524791684,
+ "rf_loss": 0.0,
+ "total_loss": 0.49513612524791684,
+ "lyap1_mean": 0.028169438242912292,
+ "lyap1_max": 0.0816977396607399,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.6356506971538611,
+ "rf_loss": 0.0,
+ "total_loss": 0.6356506971538611,
+ "lyap1_mean": 0.03636651486158371,
+ "lyap1_max": 0.07202457636594772,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.3930154241674101,
+ "rf_loss": 0.0,
+ "total_loss": 0.3930154241674101,
+ "lyap1_mean": -0.007396509870886803,
+ "lyap1_max": 0.05436805263161659,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.5773669865356884,
+ "rf_loss": 0.0,
+ "total_loss": 0.5773669865356884,
+ "lyap1_mean": 0.04604419320821762,
+ "lyap1_max": 0.08359456062316895,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5271332605895249,
+ "rf_loss": 0.0,
+ "total_loss": 0.5271332605895249,
+ "lyap1_mean": 0.05102462321519852,
+ "lyap1_max": 0.11960373818874359,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.45787930816669875,
+ "rf_loss": 0.0,
+ "total_loss": 0.45787930816669875,
+ "lyap1_mean": 0.01484924927353859,
+ "lyap1_max": 0.09160584956407547,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.4502616483784219,
+ "rf_loss": 0.0,
+ "total_loss": 0.4502616483784219,
+ "lyap1_mean": 0.013707729987800121,
+ "lyap1_max": 0.08588045090436935,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.50247464008661,
+ "rf_loss": 0.0,
+ "total_loss": 0.50247464008661,
+ "lyap1_mean": 0.03280661255121231,
+ "lyap1_max": 0.09587888419628143,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.3834558632131871,
+ "rf_loss": 0.0,
+ "total_loss": 0.3834558632131871,
+ "lyap1_mean": 0.012909099459648132,
+ "lyap1_max": 0.0955575630068779,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.5334291962420491,
+ "rf_loss": 0.0,
+ "total_loss": 0.5334291962420491,
+ "lyap1_mean": 0.03926663100719452,
+ "lyap1_max": 0.10471072047948837,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.5009437666865199,
+ "rf_loss": 0.0,
+ "total_loss": 0.5009437666865199,
+ "lyap1_mean": 0.039766453206539154,
+ "lyap1_max": 0.11044413596391678,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.6446218254286067,
+ "rf_loss": 0.0,
+ "total_loss": 0.6446218254286067,
+ "lyap1_mean": 0.045606888830661774,
+ "lyap1_max": 0.08629948645830154,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.43072771345261973,
+ "rf_loss": 0.0,
+ "total_loss": 0.43072771345261973,
+ "lyap1_mean": 0.004619155544787645,
+ "lyap1_max": 0.062781922519207,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.5300480709331898,
+ "rf_loss": 0.0,
+ "total_loss": 0.5300480709331898,
+ "lyap1_mean": 0.03355778753757477,
+ "lyap1_max": 0.08337709307670593,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.576795114481925,
+ "rf_loss": 0.0,
+ "total_loss": 0.576795114481925,
+ "lyap1_mean": 0.023105911910533905,
+ "lyap1_max": 0.05811864137649536,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.39139490099089147,
+ "rf_loss": 0.0,
+ "total_loss": 0.39139490099089147,
+ "lyap1_mean": -0.00983713660389185,
+ "lyap1_max": 0.048171646893024445,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.5656309289742169,
+ "rf_loss": 0.0,
+ "total_loss": 0.5656309289742169,
+ "lyap1_mean": 0.03034842014312744,
+ "lyap1_max": 0.05206485092639923,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.6089816203078622,
+ "rf_loss": 0.0,
+ "total_loss": 0.6089816203078622,
+ "lyap1_mean": 0.01625002734363079,
+ "lyap1_max": 0.07612292468547821,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.47719325879073915,
+ "rf_loss": 0.0,
+ "total_loss": 0.47719325879073915,
+ "lyap1_mean": 0.027161482721567154,
+ "lyap1_max": 0.1002645194530487,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.5575036489786129,
+ "rf_loss": 0.0,
+ "total_loss": 0.5575036489786129,
+ "lyap1_mean": 0.024722304195165634,
+ "lyap1_max": 0.09649364650249481,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.45256094154742454,
+ "rf_loss": 0.0,
+ "total_loss": 0.45256094154742454,
+ "lyap1_mean": 0.01967509463429451,
+ "lyap1_max": 0.0861734077334404,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.6348217139349879,
+ "rf_loss": 0.0,
+ "total_loss": 0.6348217139349879,
+ "lyap1_mean": 0.03736381232738495,
+ "lyap1_max": 0.06787633895874023,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.6104478941099281,
+ "rf_loss": 0.0,
+ "total_loss": 0.6104478941099281,
+ "lyap1_mean": 0.04145735129714012,
+ "lyap1_max": 0.07912586629390717,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.6469618030376627,
+ "rf_loss": 0.0,
+ "total_loss": 0.6469618030376627,
+ "lyap1_mean": 0.04201480746269226,
+ "lyap1_max": 0.08615108579397202,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.5722282085136087,
+ "rf_loss": 0.0,
+ "total_loss": 0.5722282085136087,
+ "lyap1_mean": 0.026960894465446472,
+ "lyap1_max": 0.07861601561307907,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.43249795776265626,
+ "rf_loss": 0.0,
+ "total_loss": 0.43249795776265626,
+ "lyap1_mean": 0.01896803081035614,
+ "lyap1_max": 0.0629107877612114,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.43179336668530827,
+ "rf_loss": 0.0,
+ "total_loss": 0.43179336668530827,
+ "lyap1_mean": 0.005397760309278965,
+ "lyap1_max": 0.07067970186471939,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.5748681597119926,
+ "rf_loss": 0.0,
+ "total_loss": 0.5748681597119926,
+ "lyap1_mean": 0.04507956653833389,
+ "lyap1_max": 0.09470735490322113,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.45811058937060917,
+ "rf_loss": 0.0,
+ "total_loss": 0.45811058937060917,
+ "lyap1_mean": 0.027349067851901054,
+ "lyap1_max": 0.0725046694278717,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.5375085763713007,
+ "rf_loss": 0.0,
+ "total_loss": 0.5375085763713007,
+ "lyap1_mean": 0.022042907774448395,
+ "lyap1_max": 0.05924681946635246,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.574815343489304,
+ "rf_loss": 0.0,
+ "total_loss": 0.574815343489304,
+ "lyap1_mean": 0.04924895241856575,
+ "lyap1_max": 0.08181727677583694,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.5445172002672372,
+ "rf_loss": 0.0,
+ "total_loss": 0.5445172002672372,
+ "lyap1_mean": 0.03197856619954109,
+ "lyap1_max": 0.0560828298330307,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.5863091144684887,
+ "rf_loss": 0.0,
+ "total_loss": 0.5863091144684887,
+ "lyap1_mean": 0.036346014589071274,
+ "lyap1_max": 0.08658339828252792,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.38215231801998,
+ "rf_loss": 0.0,
+ "total_loss": 0.38215231801998,
+ "lyap1_mean": 0.005928383208811283,
+ "lyap1_max": 0.05842716991901398,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.6954453793225849,
+ "rf_loss": 0.0,
+ "total_loss": 0.6954453793225849,
+ "lyap1_mean": 0.04354211688041687,
+ "lyap1_max": 0.09471417963504791,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.6906062458598294,
+ "rf_loss": 0.0,
+ "total_loss": 0.6906062458598294,
+ "lyap1_mean": 0.02589038573205471,
+ "lyap1_max": 0.07985259592533112,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.5042931552410717,
+ "rf_loss": 0.0,
+ "total_loss": 0.5042931552410717,
+ "lyap1_mean": 0.001483615254983306,
+ "lyap1_max": 0.03620713949203491,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.5758672049051101,
+ "rf_loss": 0.0,
+ "total_loss": 0.5758672049051101,
+ "lyap1_mean": 0.03334135562181473,
+ "lyap1_max": 0.09929639846086502,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.6265134935604455,
+ "rf_loss": 0.0,
+ "total_loss": 0.6265134935604455,
+ "lyap1_mean": 0.05056120455265045,
+ "lyap1_max": 0.08735010027885437,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.5844411727321435,
+ "rf_loss": 0.0,
+ "total_loss": 0.5844411727321435,
+ "lyap1_mean": 0.03530247136950493,
+ "lyap1_max": 0.09571679681539536,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.5500799928407965,
+ "rf_loss": 0.0,
+ "total_loss": 0.5500799928407965,
+ "lyap1_mean": 0.033682405948638916,
+ "lyap1_max": 0.06253042072057724,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.6843445515801401,
+ "rf_loss": 0.0,
+ "total_loss": 0.6843445515801401,
+ "lyap1_mean": 0.05584537982940674,
+ "lyap1_max": 0.08272914588451385,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.5016331879842421,
+ "rf_loss": 0.0,
+ "total_loss": 0.5016331879842421,
+ "lyap1_mean": 0.012179827317595482,
+ "lyap1_max": 0.05223951116204262,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.6065851089394669,
+ "rf_loss": 0.0,
+ "total_loss": 0.6065851089394669,
+ "lyap1_mean": 0.049219973385334015,
+ "lyap1_max": 0.09971637278795242,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.5619589178559795,
+ "rf_loss": 0.0,
+ "total_loss": 0.5619589178559795,
+ "lyap1_mean": 0.017693763598799706,
+ "lyap1_max": 0.07648815959692001,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.5419166185955302,
+ "rf_loss": 0.0,
+ "total_loss": 0.5419166185955302,
+ "lyap1_mean": 0.008828738704323769,
+ "lyap1_max": 0.04953799024224281,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.6203671989101404,
+ "rf_loss": 0.0,
+ "total_loss": 0.6203671989101404,
+ "lyap1_mean": 0.04122345149517059,
+ "lyap1_max": 0.08621887862682343,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.5277655269607365,
+ "rf_loss": 0.0,
+ "total_loss": 0.5277655269607365,
+ "lyap1_mean": 0.02011248655617237,
+ "lyap1_max": 0.08549073338508606,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.5213000518458569,
+ "rf_loss": 0.0,
+ "total_loss": 0.5213000518458569,
+ "lyap1_mean": 0.04335661977529526,
+ "lyap1_max": 0.1355150043964386,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.5708779033542158,
+ "rf_loss": 0.0,
+ "total_loss": 0.5708779033542158,
+ "lyap1_mean": 0.05191665142774582,
+ "lyap1_max": 0.09945866465568542,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.5460163379337624,
+ "rf_loss": 0.0,
+ "total_loss": 0.5460163379337624,
+ "lyap1_mean": 0.038537971675395966,
+ "lyap1_max": 0.07888989895582199,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.5432761367938115,
+ "rf_loss": 0.0,
+ "total_loss": 0.5432761367938115,
+ "lyap1_mean": 0.02470063790678978,
+ "lyap1_max": 0.07823296636343002,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.4726446256751048,
+ "rf_loss": 0.0,
+ "total_loss": 0.4726446256751048,
+ "lyap1_mean": 0.03943968936800957,
+ "lyap1_max": 0.07621438056230545,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.5871546460676614,
+ "rf_loss": 0.0,
+ "total_loss": 0.5871546460676614,
+ "lyap1_mean": 0.03267146646976471,
+ "lyap1_max": 0.07767905294895172,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.45101254435863264,
+ "rf_loss": 0.0,
+ "total_loss": 0.45101254435863264,
+ "lyap1_mean": 0.037878379225730896,
+ "lyap1_max": 0.07996153086423874,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.5051569137913328,
+ "rf_loss": 0.0,
+ "total_loss": 0.5051569137913328,
+ "lyap1_mean": 0.021682294085621834,
+ "lyap1_max": 0.12261838465929031,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.5614780221055867,
+ "rf_loss": 0.0,
+ "total_loss": 0.5614780221055867,
+ "lyap1_mean": 0.027531977742910385,
+ "lyap1_max": 0.08474302291870117,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.508356683434109,
+ "rf_loss": 0.0,
+ "total_loss": 0.508356683434109,
+ "lyap1_mean": 0.02914789691567421,
+ "lyap1_max": 0.133143350481987,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.5990169256235623,
+ "rf_loss": 0.0,
+ "total_loss": 0.5990169256235623,
+ "lyap1_mean": 0.04624823480844498,
+ "lyap1_max": 0.09400959312915802,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.6193465599117893,
+ "rf_loss": 0.0,
+ "total_loss": 0.6193465599117893,
+ "lyap1_mean": 0.05157361179590225,
+ "lyap1_max": 0.0925573781132698,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.5222674627514095,
+ "rf_loss": 0.0,
+ "total_loss": 0.5222674627514095,
+ "lyap1_mean": 0.05117596685886383,
+ "lyap1_max": 0.08897056430578232,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.45760721643637303,
+ "rf_loss": 0.0,
+ "total_loss": 0.45760721643637303,
+ "lyap1_mean": 0.02840980514883995,
+ "lyap1_max": 0.08264193683862686,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.6485458734183934,
+ "rf_loss": 0.0,
+ "total_loss": 0.6485458734183934,
+ "lyap1_mean": 0.038000330328941345,
+ "lyap1_max": 0.1041145771741867,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.471237363348275,
+ "rf_loss": 0.0,
+ "total_loss": 0.471237363348275,
+ "lyap1_mean": 0.02450941875576973,
+ "lyap1_max": 0.07172321528196335,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.3994876731049927,
+ "rf_loss": 0.0,
+ "total_loss": 0.3994876731049927,
+ "lyap1_mean": 0.02854483760893345,
+ "lyap1_max": 0.06394794583320618,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.5175314669245648,
+ "rf_loss": 0.0,
+ "total_loss": 0.5175314669245648,
+ "lyap1_mean": 0.04463803023099899,
+ "lyap1_max": 0.11279100924730301,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.5582320456651211,
+ "rf_loss": 0.0,
+ "total_loss": 0.5582320456651211,
+ "lyap1_mean": 0.03486918285489082,
+ "lyap1_max": 0.09136387705802917,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.49483510167645817,
+ "rf_loss": 0.0,
+ "total_loss": 0.49483510167645817,
+ "lyap1_mean": 0.03479600325226784,
+ "lyap1_max": 0.07643730938434601,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.5179442573355276,
+ "rf_loss": 0.0,
+ "total_loss": 0.5179442573355276,
+ "lyap1_mean": 0.024407416582107544,
+ "lyap1_max": 0.07800208777189255,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.692932164872534,
+ "rf_loss": 0.0,
+ "total_loss": 0.692932164872534,
+ "lyap1_mean": 0.05431331694126129,
+ "lyap1_max": 0.09178892523050308,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.5146026158194024,
+ "rf_loss": 0.0,
+ "total_loss": 0.5146026158194024,
+ "lyap1_mean": 0.025615144520998,
+ "lyap1_max": 0.06234961748123169,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.5344983363059018,
+ "rf_loss": 0.0,
+ "total_loss": 0.5344983363059018,
+ "lyap1_mean": 0.046677835285663605,
+ "lyap1_max": 0.10383784025907516,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.6172708669188489,
+ "rf_loss": 0.0,
+ "total_loss": 0.6172708669188489,
+ "lyap1_mean": 0.05219142138957977,
+ "lyap1_max": 0.09701448678970337,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.6018884813945804,
+ "rf_loss": 0.0,
+ "total_loss": 0.6018884813945804,
+ "lyap1_mean": 0.04492045193910599,
+ "lyap1_max": 0.12032246589660645,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.6153104893695917,
+ "rf_loss": 0.0,
+ "total_loss": 0.6153104893695917,
+ "lyap1_mean": 0.06581448018550873,
+ "lyap1_max": 0.09841276705265045,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.6587485674134603,
+ "rf_loss": 0.0,
+ "total_loss": 0.6587485674134603,
+ "lyap1_mean": 0.06340529024600983,
+ "lyap1_max": 0.08678676933050156,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.44392314618271334,
+ "rf_loss": 0.0,
+ "total_loss": 0.44392314618271334,
+ "lyap1_mean": 0.03538917750120163,
+ "lyap1_max": 0.10196046531200409,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.6255736396958389,
+ "rf_loss": 0.0,
+ "total_loss": 0.6255736396958389,
+ "lyap1_mean": 0.0605640783905983,
+ "lyap1_max": 0.0993192195892334,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.6418206135861334,
+ "rf_loss": 0.0,
+ "total_loss": 0.6418206135861334,
+ "lyap1_mean": 0.06012623757123947,
+ "lyap1_max": 0.10405966639518738,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.5720204865057273,
+ "rf_loss": 0.0,
+ "total_loss": 0.5720204865057273,
+ "lyap1_mean": 0.027514249086380005,
+ "lyap1_max": 0.06575894355773926,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.5835917957607735,
+ "rf_loss": 0.0,
+ "total_loss": 0.5835917957607735,
+ "lyap1_mean": 0.03621320426464081,
+ "lyap1_max": 0.07182606309652328,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.5206714316942616,
+ "rf_loss": 0.0,
+ "total_loss": 0.5206714316942616,
+ "lyap1_mean": 0.017145657911896706,
+ "lyap1_max": 0.0852159932255745,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.470791065845726,
+ "rf_loss": 0.0,
+ "total_loss": 0.470791065845726,
+ "lyap1_mean": 0.01299198716878891,
+ "lyap1_max": 0.09247516095638275,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.5596360868549634,
+ "rf_loss": 0.0,
+ "total_loss": 0.5596360868549634,
+ "lyap1_mean": 0.04213014617562294,
+ "lyap1_max": 0.11398787051439285,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.48604932619025004,
+ "rf_loss": 0.0,
+ "total_loss": 0.48604932619025004,
+ "lyap1_mean": 0.04645029827952385,
+ "lyap1_max": 0.08616388589143753,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.481590494535874,
+ "rf_loss": 0.0,
+ "total_loss": 0.481590494535874,
+ "lyap1_mean": 0.04519820958375931,
+ "lyap1_max": 0.10370373725891113,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.5183503925556807,
+ "rf_loss": 0.0,
+ "total_loss": 0.5183503925556807,
+ "lyap1_mean": 0.0386589951813221,
+ "lyap1_max": 0.08782250434160233,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.46098890499196366,
+ "rf_loss": 0.0,
+ "total_loss": 0.46098890499196366,
+ "lyap1_mean": 0.024686872959136963,
+ "lyap1_max": 0.07123306393623352,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.5155861512221347,
+ "rf_loss": 0.0,
+ "total_loss": 0.5155861512221347,
+ "lyap1_mean": 0.0453227274119854,
+ "lyap1_max": 0.09130881726741791,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.5587493380050722,
+ "rf_loss": 0.0,
+ "total_loss": 0.5587493380050722,
+ "lyap1_mean": 0.04813162982463837,
+ "lyap1_max": 0.1163414791226387,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.5848373977538229,
+ "rf_loss": 0.0,
+ "total_loss": 0.5848373977538229,
+ "lyap1_mean": 0.030374757945537567,
+ "lyap1_max": 0.08340603113174438,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.620994633315246,
+ "rf_loss": 0.0,
+ "total_loss": 0.620994633315246,
+ "lyap1_mean": 0.03925999999046326,
+ "lyap1_max": 0.09105108678340912,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.7233280530165941,
+ "rf_loss": 0.0,
+ "total_loss": 0.7233280530165941,
+ "lyap1_mean": 0.04765455424785614,
+ "lyap1_max": 0.07505558431148529,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.6162674252288298,
+ "rf_loss": 0.0,
+ "total_loss": 0.6162674252288298,
+ "lyap1_mean": 0.03645852208137512,
+ "lyap1_max": 0.07604769617319107,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.6938882601163605,
+ "rf_loss": 0.0,
+ "total_loss": 0.6938882601163605,
+ "lyap1_mean": 0.04304089397192001,
+ "lyap1_max": 0.09823818504810333,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.4637623492426505,
+ "rf_loss": 0.0,
+ "total_loss": 0.4637623492426505,
+ "lyap1_mean": 0.018963800743222237,
+ "lyap1_max": 0.07071974873542786,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.4519258785712809,
+ "rf_loss": 0.0,
+ "total_loss": 0.4519258785712809,
+ "lyap1_mean": 0.029202178120613098,
+ "lyap1_max": 0.10991514474153519,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.7116843553753578,
+ "rf_loss": 0.0,
+ "total_loss": 0.7116843553753578,
+ "lyap1_mean": 0.04580025374889374,
+ "lyap1_max": 0.07452916353940964,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.590052850619705,
+ "rf_loss": 0.0,
+ "total_loss": 0.590052850619705,
+ "lyap1_mean": 0.05365467071533203,
+ "lyap1_max": 0.09255963563919067,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5581278091886916,
+ "rf_loss": 0.0,
+ "total_loss": 0.5581278091886916,
+ "lyap1_mean": 0.022861488163471222,
+ "lyap1_max": 0.10120051354169846,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.6458038010909397,
+ "rf_loss": 0.0,
+ "total_loss": 0.6458038010909397,
+ "lyap1_mean": 0.03461804240942001,
+ "lyap1_max": 0.06654281914234161,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.48179673398396733,
+ "rf_loss": 0.0,
+ "total_loss": 0.48179673398396733,
+ "lyap1_mean": 0.04111907631158829,
+ "lyap1_max": 0.07521601021289825,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.36593274268448744,
+ "rf_loss": 0.0,
+ "total_loss": 0.36593274268448744,
+ "lyap1_mean": 0.014090965501964092,
+ "lyap1_max": 0.13055916130542755,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.38323595517604936,
+ "rf_loss": 0.0,
+ "total_loss": 0.38323595517604936,
+ "lyap1_mean": 0.013077054172754288,
+ "lyap1_max": 0.08251828700304031,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.7005705762306187,
+ "rf_loss": 0.0,
+ "total_loss": 0.7005705762306187,
+ "lyap1_mean": 0.04151146113872528,
+ "lyap1_max": 0.08211380988359451,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.46343701115307884,
+ "rf_loss": 0.0,
+ "total_loss": 0.46343701115307884,
+ "lyap1_mean": 0.012686466798186302,
+ "lyap1_max": 0.08947349339723587,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.46363627760146214,
+ "rf_loss": 0.0,
+ "total_loss": 0.46363627760146214,
+ "lyap1_mean": 0.03144056722521782,
+ "lyap1_max": 0.0904821828007698,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.6402438966866427,
+ "rf_loss": 0.0,
+ "total_loss": 0.6402438966866427,
+ "lyap1_mean": 0.04783611744642258,
+ "lyap1_max": 0.09217850863933563,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.5821297133931203,
+ "rf_loss": 0.0,
+ "total_loss": 0.5821297133931203,
+ "lyap1_mean": 0.03496277704834938,
+ "lyap1_max": 0.08105356991291046,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.5589598553417354,
+ "rf_loss": 0.0,
+ "total_loss": 0.5589598553417354,
+ "lyap1_mean": 0.05701000243425369,
+ "lyap1_max": 0.10206573456525803,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.4804519097236598,
+ "rf_loss": 0.0,
+ "total_loss": 0.4804519097236598,
+ "lyap1_mean": 0.04030720144510269,
+ "lyap1_max": 0.06709079444408417,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.5993107037725722,
+ "rf_loss": 0.0,
+ "total_loss": 0.5993107037725722,
+ "lyap1_mean": 0.03834094852209091,
+ "lyap1_max": 0.07955848425626755,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.5453884527059368,
+ "rf_loss": 0.0,
+ "total_loss": 0.5453884527059368,
+ "lyap1_mean": 0.05096203833818436,
+ "lyap1_max": 0.07732327282428741,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.4785338542400422,
+ "rf_loss": 0.0,
+ "total_loss": 0.4785338542400422,
+ "lyap1_mean": 0.01072921883314848,
+ "lyap1_max": 0.05037381127476692,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.5797372007618162,
+ "rf_loss": 0.0,
+ "total_loss": 0.5797372007618162,
+ "lyap1_mean": 0.04015296697616577,
+ "lyap1_max": 0.08934956789016724,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.6235612628450546,
+ "rf_loss": 0.0,
+ "total_loss": 0.6235612628450546,
+ "lyap1_mean": 0.044313643127679825,
+ "lyap1_max": 0.08021756261587143,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.480289774556359,
+ "rf_loss": 0.0,
+ "total_loss": 0.480289774556359,
+ "lyap1_mean": 0.05144287645816803,
+ "lyap1_max": 0.09714805334806442,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.6479337484161158,
+ "rf_loss": 0.0,
+ "total_loss": 0.6479337484161158,
+ "lyap1_mean": 0.03083134815096855,
+ "lyap1_max": 0.08008577674627304,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.5557601056155405,
+ "rf_loss": 0.0,
+ "total_loss": 0.5557601056155405,
+ "lyap1_mean": 0.03060474805533886,
+ "lyap1_max": 0.09026273339986801,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.4982473816032616,
+ "rf_loss": 0.0,
+ "total_loss": 0.4982473816032616,
+ "lyap1_mean": 0.0376385860145092,
+ "lyap1_max": 0.07965685427188873,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.5236367193385049,
+ "rf_loss": 0.0,
+ "total_loss": 0.5236367193385049,
+ "lyap1_mean": 0.015348934568464756,
+ "lyap1_max": 0.07252299040555954,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.5931471200010648,
+ "rf_loss": 0.0,
+ "total_loss": 0.5931471200010648,
+ "lyap1_mean": 0.022510463371872902,
+ "lyap1_max": 0.0670311450958252,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.5326679828828749,
+ "rf_loss": 0.0,
+ "total_loss": 0.5326679828828749,
+ "lyap1_mean": 0.04659470170736313,
+ "lyap1_max": 0.10483724623918533,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.5006024810474172,
+ "rf_loss": 0.0,
+ "total_loss": 0.5006024810474172,
+ "lyap1_mean": 0.034477442502975464,
+ "lyap1_max": 0.08065829426050186,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.6378365172414525,
+ "rf_loss": 0.0,
+ "total_loss": 0.6378365172414525,
+ "lyap1_mean": 0.03286651521921158,
+ "lyap1_max": 0.06277958303689957,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.5140584205037552,
+ "rf_loss": 0.0,
+ "total_loss": 0.5140584205037552,
+ "lyap1_mean": 0.03690087050199509,
+ "lyap1_max": 0.10637159645557404,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.6105553216751335,
+ "rf_loss": 0.0,
+ "total_loss": 0.6105553216751335,
+ "lyap1_mean": 0.053883861750364304,
+ "lyap1_max": 0.08584079146385193,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.6094683093991892,
+ "rf_loss": 0.0,
+ "total_loss": 0.6094683093991892,
+ "lyap1_mean": 0.026246394962072372,
+ "lyap1_max": 0.07859107106924057,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.47517390232164575,
+ "rf_loss": 0.0,
+ "total_loss": 0.47517390232164575,
+ "lyap1_mean": 0.03310418128967285,
+ "lyap1_max": 0.10862650722265244,
+ "frac_above_star": 0.75
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.59765625,
+ "tok_acc": 0.8614245756172839
+ },
+ {
+ "step": 100,
+ "acc": 0.63671875,
+ "tok_acc": 0.8682725694444444
+ },
+ {
+ "step": 200,
+ "acc": 0.623046875,
+ "tok_acc": 0.8649209104938271
+ },
+ {
+ "step": 300,
+ "acc": 0.646484375,
+ "tok_acc": 0.8727575231481481
+ },
+ {
+ "step": 400,
+ "acc": 0.6640625,
+ "tok_acc": 0.8750723379629629
+ },
+ {
+ "step": 500,
+ "acc": 0.666015625,
+ "tok_acc": 0.8775318287037037
+ },
+ {
+ "step": 500,
+ "acc": 0.666015625,
+ "tok_acc": 0.8775318287037037
+ }
+ ],
+ "final_acc": 0.666015625,
+ "final_tok_acc": 0.8775318287037037
+} \ No newline at end of file