{"id":"W4416393741","doi":"10.1016/j.ifacol.2025.11.051","title":"On strict verification of neural Lyapunov functions","year":2025,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Lyapunov function; Artificial neural network; Lyapunov redesign; Control theory (sociology); Lyapunov equation; Equilibrium point; Lyapunov optimization; Feedforward neural network","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":[],"consensus_categories":[],"category_scores_codex":[0.0000513181,0.0001101832,0.0001358992,0.00008104201,0.00009001708,0.00001298175,0.00008831345,0.00003538372,0.0006171439],"category_scores_gemma":[0.000007398441,0.00009777914,0.0001013676,0.0002883,0.00003445957,0.0000572291,0.0000161325,0.0001529447,0.00002782654],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001401676,"about_ca_system_score_gemma":0.00002987285,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005010701,"about_ca_topic_score_gemma":0.000001821918,"domain_scores_codex":[0.9993511,0.00003433485,0.0001918346,0.0001930665,0.00009730207,0.0001323647],"domain_scores_gemma":[0.9995549,0.00006745837,0.00007324458,0.0002134089,0.0000512568,0.00003971293],"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.0007569587,0.001954481,0.01391172,0.00006886711,0.0004261277,0.000001777561,0.0003162801,0.060948,0.04504027,0.2013555,0.004671931,0.670548],"study_design_scores_gemma":[0.009369739,0.001305894,0.09112955,0.0004692958,0.000664128,0.000005081174,0.00344026,0.7753636,0.0453265,0.01199899,0.05886024,0.002066712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9410209,0.00008247298,0.02052603,0.002104876,0.001008816,0.0002532788,0.00009869099,0.00006997417,0.03483496],"genre_scores_gemma":[0.9909004,0.000005079252,0.001835851,0.0001551669,0.0002203883,0.00001358427,0.0001223487,0.000007847299,0.006739339],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7144156,"threshold_uncertainty_score":0.6757293,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009020462784273115,"score_gpt":0.2610716624589848,"score_spread":0.2520511996747117,"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."}}