{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008406671,0.001015801,0.001093665,0.0006881265,0.0009080436,0.001663677,0.001912643,0.001804872,0.004148083],"category_scores_gemma":[0.06561051,0.0006738353,0.001147105,0.0003685995,0.004003136,0.003769156,0.003354941,0.004191045,0.0006656068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001521868,"about_ca_system_score_gemma":0.002484789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002776412,"about_ca_topic_score_gemma":0.002051662,"domain_scores_codex":[0.9957401,0.001385464,0.0003829013,0.0007392558,0.001245584,0.0005068287],"domain_scores_gemma":[0.9650303,0.02387829,0.00263555,0.003963854,0.004049324,0.0004426979],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003225723,0.00008421508,0.002237182,0.0003525223,0.00007485203,0.0007949207,0.0004474699,0.3802846,0.0187795,0.5603968,0.00149232,0.034733],"study_design_scores_gemma":[0.00003740133,0.0001136123,0.000399171,0.00006619458,0.000007923735,0.00006341707,0.00003051348,0.8392925,0.005638156,0.1537197,0.0006074667,0.00002396541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08437849,0.0004018438,0.9003845,0.001286721,0.0002000812,0.0001123533,0.0001263104,0.0006208136,0.01248885],"genre_scores_gemma":[0.9451928,0.0002736732,0.05135505,0.0003172459,0.00005785621,0.0001811038,0.0001452822,0.0001301458,0.002346831],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008406671,"threshold_uncertainty_score":0.04445922,"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."}}