{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0024941,0.0002025469,0.0002009221,0.0001757261,0.0002588528,0.0001248766,0.000283986,0.00008630325,0.00003611575],"category_scores_gemma":[0.0003916948,0.0002381865,0.00006055678,0.0006522349,0.00004069469,0.0001717846,0.0001257051,0.0002014918,0.0001138921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001833881,"about_ca_system_score_gemma":0.0001108742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001009632,"about_ca_topic_score_gemma":0.0002760235,"domain_scores_codex":[0.9981486,0.0005169149,0.0004465737,0.0002863129,0.0001987403,0.0004028751],"domain_scores_gemma":[0.9982209,0.0005296795,0.00009149934,0.000621964,0.000419488,0.0001164847],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006718918,0.0002344441,0.009253886,0.001314335,0.000617268,0.0012661,0.08133705,0.6131555,0.1698308,0.02412205,0.009639484,0.08922245],"study_design_scores_gemma":[0.0002471585,7.496745e-8,0.001234403,0.000450869,0.000009597211,0.0002393027,0.00017738,0.821279,0.1474642,0.00004952224,0.02848364,0.0003648573],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4060254,0.0002435732,0.5829622,0.0005734505,0.0003294927,0.0002373481,0.00001109651,0.001375812,0.008241665],"genre_scores_gemma":[0.9343362,0.00001905451,0.06339249,0.00002653838,0.00002394944,0.00004466251,0.0000537267,0.00006040015,0.002042955],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5283108,"threshold_uncertainty_score":0.9712965,"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."}}