{"id":"W4401282669","doi":"10.1007/978-3-031-66997-2_17","title":"A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Computer science; Probabilistic logic; Automated theorem proving; Formal verification; Theoretical computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005647601,0.001614988,0.001262513,0.002686793,0.001243946,0.004302608,0.00385085,0.001545645,0.008595346],"category_scores_gemma":[0.01013722,0.001186122,0.002759948,0.001891425,0.004583407,0.006341824,0.003423005,0.004774676,0.002318865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001665958,"about_ca_system_score_gemma":0.001644446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001527498,"about_ca_topic_score_gemma":0.001331227,"domain_scores_codex":[0.9964566,0.00124265,0.0002765093,0.0004604361,0.001321958,0.0002418515],"domain_scores_gemma":[0.9930868,0.004430634,0.0003412653,0.001338564,0.0006611961,0.0001415596],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001470938,0.00002698718,0.00009928612,0.0001203237,0.00002539538,0.00009494598,0.0001005693,0.01849934,0.0008009938,0.9461734,0.001906072,0.03213799],"study_design_scores_gemma":[0.000009750488,0.00001448235,0.00004206139,0.00005237072,0.0000194659,0.00007844565,0.00001841712,0.06080667,0.0008194503,0.9280769,0.0100442,0.00001773179],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003081132,0.0001210155,0.9964336,0.0001165523,0.00003001054,0.00001779823,0.00002999761,0.0002419721,0.002700846],"genre_scores_gemma":[0.07771298,0.0006672043,0.9149134,0.0002528622,0.0003062333,0.000218901,0.0002027208,0.00035735,0.005368344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008595346,"threshold_uncertainty_score":0.02986771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03149742351460235,"score_gpt":0.3305850709995267,"score_spread":0.2990876474849244,"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."}}