{"id":"W4291972664","doi":"10.1145/3555315","title":"Formally Verified Scalable Look Ahead Planning For Cloud Resource Management","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Autonomous and Adaptive Systems","topic":"Cloud Computing and Resource Management","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Cloud computing; Scalability; Distributed computing; Liveness; Service-level agreement; Service level; Elasticity (physics); Computation; Flexibility (engineering); Operating system","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0005845495,0.0002157277,0.0002478696,0.0002165217,0.001441013,0.0001914546,0.0008238522,0.00003847721,0.000007434458],"category_scores_gemma":[0.000002575116,0.0002132911,0.0001164954,0.000285152,0.00003551201,0.00003304789,0.0001460322,0.0002305447,0.000007271304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001794954,"about_ca_system_score_gemma":0.0000292555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006173622,"about_ca_topic_score_gemma":0.00000153015,"domain_scores_codex":[0.9982362,0.0001159113,0.0003296486,0.0005857432,0.000313225,0.000419317],"domain_scores_gemma":[0.9988887,0.0001507662,0.0001285053,0.000696881,0.00002953282,0.0001056671],"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.0001090904,0.000199721,0.000006845912,0.0001073909,0.0002158284,0.00003130384,0.001673883,0.8618871,0.00001762127,0.03290797,0.001414921,0.1014283],"study_design_scores_gemma":[0.00141633,0.001019881,0.0001070507,0.0001024758,0.00005358012,0.00005704256,0.005879316,0.6098661,0.00004976217,0.0005826394,0.3804204,0.000445498],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01192685,0.0004066722,0.9783248,0.000623574,0.000916912,0.001047195,0.00002398112,0.0003405731,0.006389439],"genre_scores_gemma":[0.9725016,0.000003570102,0.01438074,0.0003407154,0.00009756681,0.0005379522,0.000003809102,0.00002822115,0.01210586],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9639441,"threshold_uncertainty_score":0.999859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02443914660231798,"score_gpt":0.2348818769208154,"score_spread":0.2104427303184975,"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."}}