{"id":"W4386469568","doi":"10.32388/695w2l","title":"Review of: \"Formal Verification of a Change Control Process in Project Management\"","year":2023,"lang":"en","type":"peer-review","venue":"","topic":"Economic and Technological Systems Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Process management; Process (computing); Control (management); Computer science; Software engineering; Business; Programming language; Artificial intelligence","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.001300261,0.0002560711,0.001339592,0.0006562635,0.00002379072,0.00002050789,0.0005334876,0.0001752501,0.000458969],"category_scores_gemma":[0.0001443964,0.0001951509,0.0002817491,0.001677364,0.00003893804,0.0004173935,0.0001598977,0.0001655505,0.0001633121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003356737,"about_ca_system_score_gemma":0.00001745612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001945356,"about_ca_topic_score_gemma":0.0002751701,"domain_scores_codex":[0.997896,0.00001352168,0.001216265,0.0003842179,0.0002378656,0.0002521714],"domain_scores_gemma":[0.9978111,0.0000208435,0.001467244,0.0004385762,0.0002573593,0.000004824812],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"systematic_review","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006561063,0.00007711585,0.0005754172,0.5866974,0.0001933921,0.000003574138,0.000003218315,5.34157e-7,2.377989e-7,0.006185745,0.3816075,0.02464928],"study_design_scores_gemma":[0.0003102026,0.000007969213,0.0003788309,0.09009279,0.0006373912,2.701008e-7,0.00005286498,0.0002885594,4.432964e-7,0.0001895113,0.9077982,0.0002429291],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0003531101,0.6453001,0.0003399923,0.04675514,0.001366558,0.01864689,0.0002560911,0.0007545747,0.2862276],"genre_scores_gemma":[0.03161035,0.8520264,0.0001092813,0.02452081,0.001401022,0.006686253,0.003124868,0.0001557153,0.08036529],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.5261907,"threshold_uncertainty_score":0.7958021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0978462180534877,"score_gpt":0.3091462068649133,"score_spread":0.2112999888114256,"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."}}