{"id":"W4413413869","doi":"10.1007/978-3-032-01241-8_2","title":"Principled Safety Assurance Arguments","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Safety assurance; Programming language; Software engineering; Artificial intelligence; Risk analysis (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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00413894,0.0007753692,0.000715808,0.001158541,0.002070791,0.003857963,0.001517514,0.005117185,0.02029333],"category_scores_gemma":[0.00996938,0.0007102106,0.001066389,0.0006012382,0.00960073,0.006394677,0.003424935,0.01060231,0.005379641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00229294,"about_ca_system_score_gemma":0.001271352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003023357,"about_ca_topic_score_gemma":0.0003099889,"domain_scores_codex":[0.9961532,0.001188995,0.0001057906,0.0005155013,0.001706447,0.0003300447],"domain_scores_gemma":[0.9956043,0.00276891,0.0001677259,0.0008439909,0.0005065227,0.0001085615],"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.000004298296,0.000004377616,0.00000722138,0.00001364441,0.000001818018,0.000007341658,0.00004145097,0.0001247723,0.00005585002,0.9941847,0.003128722,0.002425745],"study_design_scores_gemma":[0.000004204042,0.000003162387,0.00001461778,0.00002178007,0.000002342094,0.00001621179,0.00001205576,0.0002209079,0.0001269795,0.9817954,0.01778018,0.000002159662],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.003306051,0.002145373,0.09425284,0.01993789,0.001496824,0.00004428784,0.0001069031,0.0001639189,0.8785459],"genre_scores_gemma":[0.6511759,0.003566288,0.04959254,0.02330052,0.003487581,0.0006181779,0.0003034014,0.0004240222,0.2675315],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02029333,"threshold_uncertainty_score":0.06788796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007333396276792827,"score_gpt":0.2081875801073441,"score_spread":0.2008541838305512,"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."}}