{"id":"W4310514146","doi":"10.1145/3563822.3568018","title":"Formal Probabilistic Risk Assessment of a Nuclear Power Plant","year":2022,"lang":"en","type":"article","venue":"","topic":"Risk and Safety Analysis","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Dependability; Computer science; Probabilistic logic; Nuclear power plant; Formal specification; Scalability; Probabilistic risk assessment; Formal verification; Reliability engineering; Theoretical computer science; Software engineering; Artificial intelligence; Engineering","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.003352755,0.00006989821,0.000239095,0.0001794288,0.0003551524,0.00005011703,0.0005930733,0.00001754029,0.01985484],"category_scores_gemma":[0.0004487071,0.0000458547,0.0001932378,0.0006719796,0.00005109639,0.0001831995,0.0004126142,0.0001578921,0.00006755915],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004159701,"about_ca_system_score_gemma":0.00007089522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001349765,"about_ca_topic_score_gemma":0.00004408831,"domain_scores_codex":[0.9971868,0.0002856638,0.0005362626,0.0002564944,0.001559615,0.0001750974],"domain_scores_gemma":[0.9985992,0.0005000688,0.0002586583,0.0004744146,0.0001068626,0.00006084091],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003457828,0.001333955,0.1288825,0.000008901973,0.0003120443,0.00005122069,0.004550553,0.06367966,0.000301497,0.640882,0.09921427,0.06043763],"study_design_scores_gemma":[0.0007848042,0.0008832366,0.2273203,0.000002810354,0.0001080149,0.00002421823,0.014268,0.2980329,0.00001122518,0.1286945,0.3295429,0.0003270995],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7419996,0.0000346017,0.008466649,0.002100825,0.0002939039,0.0002711501,0.0003113885,0.00005181229,0.24647],"genre_scores_gemma":[0.9960807,0.0000134512,0.00245122,0.000130109,0.000006862626,0.000007763927,0.000003648708,0.00000455458,0.001301695],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5121875,"threshold_uncertainty_score":0.9810411,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04379775066783612,"score_gpt":0.3492612774684437,"score_spread":0.3054635268006075,"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."}}