{"id":"W3080919791","doi":"10.1007/978-3-030-54549-9_3","title":"Just Enough Formality in Assurance Argument Structures","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Formality; Computer science; Argument (complex analysis); Guard (computer science); Software deployment; Risk analysis (engineering); Software engineering; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003331263,0.0005332284,0.0005912863,0.0004045036,0.00004969325,0.0001201285,0.001034313,0.0003056295,0.00002621355],"category_scores_gemma":[0.00004808703,0.000546463,0.00009029875,0.0003639331,0.0001730228,0.0002316183,0.0002315733,0.0009599018,0.00003122781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006979049,"about_ca_system_score_gemma":0.0001514366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001901548,"about_ca_topic_score_gemma":0.00006926951,"domain_scores_codex":[0.99758,0.00001182708,0.0005986009,0.0007215301,0.0005399899,0.0005480497],"domain_scores_gemma":[0.998897,0.0001993834,0.00008654857,0.0006468411,0.00004443522,0.0001258531],"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.000002446469,0.000003005263,0.00006307923,0.0002772923,0.00001240409,0.00005045994,0.0005331388,0.954567,0.0001487857,0.00256605,0.00002136046,0.04175494],"study_design_scores_gemma":[0.0004385947,0.00006053819,0.002548902,0.0008709414,0.00001064504,0.00005816049,5.251363e-7,0.9624372,0.003012735,0.01411491,0.01518518,0.001261672],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003410747,0.001030214,0.9885629,0.0002225088,0.0029997,0.0004853682,0.00001711765,0.0003835863,0.005957486],"genre_scores_gemma":[0.9399472,0.00004185614,0.05908495,0.0002254169,0.000552287,0.00001752037,0.00000862629,0.00007848708,0.00004366849],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9396061,"threshold_uncertainty_score":0.9996987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01448829300531915,"score_gpt":0.2165777043148529,"score_spread":0.2020894113095338,"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."}}