diff options
| author | YurenHao0426 <blackhao0426@gmail.com> | 2026-06-13 12:35:36 -0500 |
|---|---|---|
| committer | YurenHao0426 <blackhao0426@gmail.com> | 2026-06-13 12:35:36 -0500 |
| commit | 66e0d8b9fd4d0f7a2231d689c055e26fdf1cf04a (patch) | |
| tree | c29cba61124018755a19b02c9d33e3ad5f2e05cc /research/flossing/step5_D_trm_step_26041_alpha0_lstar0.json | |
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.json | 4562 |
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 |
