{"id":"W4391021271","doi":"10.1109/cdc49753.2023.10384285","title":"Automated Lyapunov Analysis of Primal-Dual Optimization Algorithms: An Interpolation Approach","year":2023,"lang":"en","type":"article","venue":"","topic":"Sparse and Compressive Sensing Techniques","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"National Science Foundation","keywords":"Rate of convergence; Lyapunov function; Linear matrix inequality; Convex optimization; Convergence (economics); Mathematical optimization; Convex function; Interpolation (computer graphics); Mathematics; Algorithm; Computer science; Regular polygon","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.00008741579,0.00008595603,0.0001678134,0.0005159771,0.00001963733,0.00002039903,0.00006549775,0.00006350502,0.00003913751],"category_scores_gemma":[0.000007224486,0.00008284492,0.00005406464,0.00145207,0.00001413313,0.0001395364,0.00002145678,0.00004146011,0.00000290389],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001699215,"about_ca_system_score_gemma":0.000004532331,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003585969,"about_ca_topic_score_gemma":0.000002731631,"domain_scores_codex":[0.9994546,0.00002038276,0.0001885071,0.0001218616,0.0001083036,0.0001064066],"domain_scores_gemma":[0.9996725,0.00001565035,0.00003127403,0.0001911023,0.00006315907,0.00002627824],"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.000002109374,0.00001566654,0.000190912,0.000005176417,0.0002256353,6.68384e-7,0.0001778876,0.9915061,0.005850646,0.000127035,0.0006265772,0.001271594],"study_design_scores_gemma":[0.00005294982,0.00001714688,0.003869941,0.00000571385,0.0001360841,6.434676e-7,0.00009069008,0.9891621,0.006542206,0.00001778868,0.00001294721,0.00009171781],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09632197,0.00001049578,0.8893083,0.000005533715,0.00005071719,0.000101199,0.000007630185,0.007796394,0.006397722],"genre_scores_gemma":[0.8657062,0.00001167121,0.1338609,0.00000670314,0.00001553044,0.000005148586,0.0003432121,0.00001705056,0.0000335491],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7693843,"threshold_uncertainty_score":0.3378318,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.023035404596531,"score_gpt":0.2670710752564002,"score_spread":0.2440356706598692,"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."}}