{"id":"W4404287396","doi":"10.1007/978-3-031-75775-4_4","title":"A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Storm; Probabilistic logic; Operations research; Artificial intelligence; Meteorology; Mathematics; Geography","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001988818,0.0004741455,0.0006728315,0.001522021,0.0002357601,0.0004443135,0.003143488,0.0002205241,0.00001251395],"category_scores_gemma":[0.0001736479,0.0002951832,0.0002075863,0.00380696,0.001361325,0.0003801717,0.0009811709,0.0008167895,0.00001293815],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002926773,"about_ca_system_score_gemma":0.0005318701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001170646,"about_ca_topic_score_gemma":0.0009433208,"domain_scores_codex":[0.9962872,0.00007813453,0.0006535379,0.001424951,0.001070754,0.0004854806],"domain_scores_gemma":[0.9957572,0.0007823267,0.0004331762,0.002521372,0.000388182,0.000117734],"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.00001881309,0.00004314767,0.00005129374,0.0001839537,0.0003375378,0.0007994513,0.004602897,0.3568048,0.0000520903,0.354465,0.000008312385,0.2826326],"study_design_scores_gemma":[0.00008972174,0.0002131796,0.0001303095,0.0001805483,0.0002712854,0.0005586115,9.884301e-7,0.9390269,0.0002843729,0.05830919,0.000515309,0.0004195631],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009297924,0.0003309195,0.9955106,0.0003257028,0.0008346894,0.0005649377,0.00001796609,0.0001332171,0.001352177],"genre_scores_gemma":[0.3872702,0.00001361156,0.6118295,0.0003776216,0.0001459448,0.00002960232,0.000004661319,0.00003641998,0.0002924911],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5822221,"threshold_uncertainty_score":0.9999501,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02519218635810072,"score_gpt":0.278831299248363,"score_spread":0.2536391128902623,"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."}}