{"id":"W7009968315","doi":"","title":"Formal Probabilistic Risk Assessment using Theorem Proving with Applications in Power Systems","year":2021,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Power System Reliability and Maintenance","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Probabilistic logic; Reliability (semiconductor); Fault tree analysis; Electric power system; Block (permutation group theory); Probabilistic risk assessment; Power transmission; Block diagram; Event (particle physics); Formal verification","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008955403,0.0003745156,0.0005588312,0.0008584392,0.0005160319,0.0002618774,0.0005674207,0.000350766,0.00001006379],"category_scores_gemma":[0.00005180122,0.000374934,0.000132937,0.001436719,0.0001556898,0.0004875684,0.00009555754,0.001648882,0.00000410593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002808764,"about_ca_system_score_gemma":0.001415545,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00762414,"about_ca_topic_score_gemma":0.01745499,"domain_scores_codex":[0.9966965,0.0005574905,0.0004142821,0.0007029596,0.0007004556,0.0009283599],"domain_scores_gemma":[0.9981399,0.0002627899,0.0001725191,0.0008068501,0.0004024422,0.0002154801],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00213678,0.001939582,0.3921011,0.03444961,0.00341793,0.008902602,0.01177025,0.2655562,0.02521098,0.2529545,0.0005793174,0.0009809816],"study_design_scores_gemma":[0.007545081,0.002434004,0.4844548,0.01770022,0.001288593,0.0005932649,0.2077751,0.1870382,0.01211814,0.002568249,0.06828202,0.008202329],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8458004,0.000532745,0.005266981,0.000007810991,0.0008100214,0.002396106,0.00003541759,0.0002186339,0.1449319],"genre_scores_gemma":[0.9942098,0.00008768363,0.00009475723,3.839392e-7,0.00007838326,0.00006323644,0.00009577891,0.00007846697,0.005291466],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2503863,"threshold_uncertainty_score":0.9998702,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01225972809130744,"score_gpt":0.2519738798363971,"score_spread":0.2397141517450897,"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."}}