{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004168585,0.001250468,0.0009215939,0.001173628,0.000580429,0.001591369,0.001438329,0.0009428028,0.005473665],"category_scores_gemma":[0.01493219,0.0005066313,0.0008915421,0.0007145045,0.001765578,0.001834573,0.001991024,0.00320204,0.001028154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001356229,"about_ca_system_score_gemma":0.002006391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009989176,"about_ca_topic_score_gemma":0.0007356794,"domain_scores_codex":[0.9982686,0.0006838308,0.00008151484,0.0001848113,0.0006523131,0.0001289754],"domain_scores_gemma":[0.9936195,0.003953048,0.000554856,0.0007040026,0.001041671,0.0001269324],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007143283,0.00005647332,0.0003914018,0.0001425202,0.00003598527,0.0001050095,0.0001355275,0.6693761,0.004071359,0.2789435,0.001476066,0.04519467],"study_design_scores_gemma":[0.000003280207,0.00001763273,0.00002362957,0.00001130732,0.000001848645,0.00001156561,0.000005793767,0.9743245,0.0007554085,0.02418899,0.000651037,0.000005072926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001845235,0.00008370858,0.996132,0.00009873228,0.00001932954,0.00002007339,0.0000132112,0.0001159238,0.001671736],"genre_scores_gemma":[0.5612566,0.0007692889,0.4294524,0.0001941685,0.0002246622,0.0003898494,0.0001805127,0.0004537119,0.007078784],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005473665,"threshold_uncertainty_score":0.02204585,"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."}}