{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002434233,0.0008168548,0.0008587472,0.0007397869,0.0005465364,0.0009439214,0.001107362,0.0009692241,0.001532607],"category_scores_gemma":[0.01313092,0.0006326121,0.0006043429,0.0003999382,0.001947432,0.001735657,0.002206686,0.001416933,0.000191708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001243229,"about_ca_system_score_gemma":0.001656952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002303052,"about_ca_topic_score_gemma":0.002333076,"domain_scores_codex":[0.999311,0.0002686511,0.00004188418,0.0001198357,0.0001874485,0.0000711258],"domain_scores_gemma":[0.9954665,0.003358382,0.000391288,0.0002619325,0.0004253186,0.00009666192],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003805896,0.00001982272,0.000846648,0.0000794491,0.00002350543,0.00008761156,0.00009783623,0.8853651,0.003041288,0.09359428,0.0003152367,0.01649113],"study_design_scores_gemma":[0.000002612194,0.000008934797,0.00003051188,0.000005080554,0.000001238494,0.000005401361,0.00000960632,0.9660698,0.0007675195,0.03300438,0.00009271438,0.000002287951],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06354138,0.00008070859,0.9338018,0.0002097474,0.00001260322,0.00003267353,0.00003578411,0.0002360116,0.002049338],"genre_scores_gemma":[0.8522781,0.0001016545,0.1461673,0.00008616485,0.0000145506,0.0001138025,0.0001016506,0.0001052043,0.001031753],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002434233,"threshold_uncertainty_score":0.01287365,"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."}}