{"id":"W4366207691","doi":"10.48550/arxiv.2304.07215","title":"Towards Learning and Verifying Maximal Neural Lyapunov Functions","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Alliance de recherche numérique du Canada; Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Lyapunov function; Lyapunov redesign; Mathematics; Artificial neural network; Domain (mathematical analysis); Lyapunov equation; Nonlinear system; Function (biology); Modulo; Stability (learning theory); Applied mathematics; Control theory (sociology); Computer science; Mathematical analysis; Discrete mathematics; Artificial intelligence; Machine learning; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00007971839,0.0002508827,0.0002379706,0.0001325351,0.0003044288,0.00008397971,0.000166249,0.0001306255,0.0003473477],"category_scores_gemma":[0.000003991533,0.0002917492,0.0001758451,0.0002362859,0.00008497365,0.0001230463,0.0006109349,0.0009555447,0.00007688328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003836165,"about_ca_system_score_gemma":0.00005247614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003162456,"about_ca_topic_score_gemma":0.000005903275,"domain_scores_codex":[0.9987983,0.00007566007,0.000134533,0.0006518632,0.00005238428,0.0002873299],"domain_scores_gemma":[0.9994182,0.00003552155,0.0001241717,0.0002241448,0.00005284954,0.0001451046],"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.00009067493,0.00006552872,0.05354456,0.00005606292,0.0002534915,0.0000639053,0.0001623317,0.9027962,0.0000668356,0.02530805,0.001243549,0.01634883],"study_design_scores_gemma":[0.0007144079,0.00006334581,0.00468329,0.00009755529,0.0002314626,0.00000342154,0.001126521,0.9736964,0.00004736364,0.01283314,0.005750511,0.0007526222],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9239599,0.00003859976,0.06663414,0.0001313618,0.001170948,0.0001924991,0.00003005574,0.0002825522,0.007559942],"genre_scores_gemma":[0.9860968,0.00006047958,0.00004627433,0.00001337373,0.0004217563,0.000001678798,0.00008904044,0.00003401457,0.01323659],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07090018,"threshold_uncertainty_score":0.9999534,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0975582220121811,"score_gpt":0.2103002107473745,"score_spread":0.1127419887351934,"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."}}