{"id":"W4402264227","doi":"10.23919/acc60939.2024.10644273","title":"Zubov-Koopman Learning of Maximal Lyapunov Functions","year":2024,"lang":"en","type":"article","venue":"","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Lyapunov function; Computer science; Applied mathematics; Physics; Nonlinear system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00004046102,0.00006194873,0.00007178079,0.0000422864,0.00005346566,0.00002797074,0.00003594446,0.0000164711,0.006334405],"category_scores_gemma":[6.162448e-7,0.00005043624,0.00008337002,0.0001357823,0.00002116308,0.00007628077,0.0000191952,0.0001541155,0.0001681901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004015264,"about_ca_system_score_gemma":0.00001662872,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004867298,"about_ca_topic_score_gemma":4.600114e-7,"domain_scores_codex":[0.9995875,0.0000132936,0.0001105696,0.0001234308,0.00006290485,0.0001022646],"domain_scores_gemma":[0.9998438,0.0000203456,0.00001561544,0.00006732932,0.00001729743,0.00003557752],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002177485,0.0001168209,0.008796694,0.00004125227,0.0001881103,0.000002379047,0.0002573009,0.01349682,0.006476484,0.5455604,0.05046163,0.3745803],"study_design_scores_gemma":[0.0003708191,0.0001625804,0.001360726,0.000092414,0.00008637256,0.000007208854,0.001286257,0.3193976,0.008386793,0.007179835,0.661249,0.0004204235],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.261927,0.0001753347,0.2857969,0.0005421671,0.001020796,0.0001058953,0.000007087034,0.0002247058,0.4502001],"genre_scores_gemma":[0.9489151,0.000002370222,0.0001596918,0.00001075759,0.0003324037,0.000005299358,0.00001408736,0.000008956804,0.05055131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6869881,"threshold_uncertainty_score":0.994574,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01335612952088017,"score_gpt":0.2476392124566121,"score_spread":0.2342830829357319,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}