{"id":"W4392577067","doi":"","title":"Supporting Assurance Case Development Using Generative AI","year":2023,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Critical Systems Labs; Canada Research Chairs; University of Toronto","funders":"","keywords":"Computer science; Generative grammar; Artificial intelligence; Software 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.003266426,0.0009549259,0.000494043,0.001481547,0.0009198919,0.00414747,0.002700927,0.001791099,0.01587381],"category_scores_gemma":[0.01783428,0.0009177138,0.001247089,0.0007436965,0.001659679,0.002275744,0.004467563,0.002136118,0.003059885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008118075,"about_ca_system_score_gemma":0.001173893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001799747,"about_ca_topic_score_gemma":0.001938108,"domain_scores_codex":[0.9970587,0.001173455,0.0001736168,0.0003324029,0.00106902,0.0001927325],"domain_scores_gemma":[0.9837383,0.01244441,0.0004206794,0.001854527,0.001149584,0.0003924874],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007006501,0.0009749546,0.007416788,0.001639113,0.0002045342,0.003591598,0.008429483,0.1943085,0.07610277,0.170917,0.01697731,0.5187374],"study_design_scores_gemma":[0.0001325737,0.0001457887,0.0007021937,0.0002665366,0.00007076339,0.0006959668,0.0007073714,0.8448603,0.0246675,0.07822833,0.04946201,0.00006066583],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02026564,0.00009880822,0.9455686,0.0004171347,0.00007476589,0.0003032495,0.0001172587,0.008658841,0.02449577],"genre_scores_gemma":[0.4095743,0.000244451,0.5785697,0.0002888454,0.00003811565,0.0003885607,0.0009410517,0.001325483,0.008629476],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01587381,"threshold_uncertainty_score":0.05310321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01620058350903595,"score_gpt":0.2404460957119491,"score_spread":0.2242455122029131,"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."}}