{"id":"W4391020510","doi":"10.1109/cdc49753.2023.10383299","title":"Towards Learning and Verifying Maximal Neural Lyapunov Functions","year":2023,"lang":"en","type":"article","venue":"","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Alliance de recherche numérique du Canada","keywords":"Lyapunov function; Lyapunov redesign; Artificial neural network; Lyapunov equation; Domain (mathematical analysis); Mathematics; Nonlinear system; Function (biology); Stability (learning theory); Modulo; Applied mathematics; Computer science; Discrete mathematics; Mathematical analysis; Artificial intelligence; Machine learning; Physics","routes":{"ca_aff":true,"ca_fund":true,"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.00004645784,0.00007330879,0.00007119242,0.00004236833,0.0001967981,0.00004697747,0.00002735317,0.00001768653,0.001267164],"category_scores_gemma":[0.000001587734,0.00006385732,0.00003994243,0.0001754005,0.00002146935,0.00008749818,0.00004826957,0.0001589558,0.0001138697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003247594,"about_ca_system_score_gemma":0.000007653403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005248572,"about_ca_topic_score_gemma":6.374225e-7,"domain_scores_codex":[0.9995269,0.00001723179,0.0000799237,0.0001451923,0.00006303818,0.0001677313],"domain_scores_gemma":[0.9998432,0.00001502279,0.00001823076,0.0000487897,0.00001338203,0.00006136421],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003289699,0.00003775868,0.06347782,0.00001205301,0.00006631716,0.000004310107,0.0002815001,0.01226702,0.002241542,0.02054521,0.01760018,0.8834334],"study_design_scores_gemma":[0.001025313,0.0001331674,0.02862259,0.0000175756,0.00004364377,0.00001190408,0.003538835,0.7547283,0.0008856248,0.002722268,0.207684,0.0005867676],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9109378,0.00002347937,0.01138893,0.0007652895,0.0004657224,0.00007854733,0.000002749129,0.0002977449,0.07603977],"genre_scores_gemma":[0.9818354,0.00000625543,0.00009154567,0.00003094388,0.0003090588,0.000009264228,0.0000220172,0.00000978796,0.01768578],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8828466,"threshold_uncertainty_score":0.9996458,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02449962615208045,"score_gpt":0.269188457283578,"score_spread":0.2446888311314975,"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."}}