{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001557308,0.0007429995,0.0009827155,0.0005949484,0.0004366486,0.0006759591,0.001300475,0.0008279293,0.001606467],"category_scores_gemma":[0.004355958,0.0004938377,0.0006192889,0.0004028657,0.001267269,0.001582193,0.001581621,0.00148822,0.0003271567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008091716,"about_ca_system_score_gemma":0.001383865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002712183,"about_ca_topic_score_gemma":0.002474946,"domain_scores_codex":[0.9996935,0.0001057787,0.00001994226,0.00007265346,0.00006379929,0.00004445302],"domain_scores_gemma":[0.9989096,0.0006591394,0.0001256709,0.0001046672,0.0001485804,0.00005238113],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007171499,0.00003734003,0.0006647151,0.0001114038,0.00003848633,0.00006455164,0.0001174428,0.845759,0.00496908,0.08041579,0.0007869342,0.06696357],"study_design_scores_gemma":[0.000002642074,0.00001941668,0.00004208261,0.000006092586,0.000001969698,0.000006058292,0.000005234736,0.9869937,0.0006674193,0.0120555,0.000195702,0.000004285019],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0178062,0.00009293612,0.980949,0.00007843901,0.00001157333,0.0000236163,0.00001796562,0.0001297008,0.0008904628],"genre_scores_gemma":[0.7232697,0.0002622237,0.27223,0.0001106012,0.00003873599,0.0002654807,0.0001537354,0.0001060633,0.003563493],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002712183,"threshold_uncertainty_score":0.008235931,"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."}}