{"id":"W4401911926","doi":"10.1007/978-3-031-69042-6_1","title":"Formal Analysis of Vehicular Crash Severity Using KeYmaera X","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Autonomous Vehicle Technology and Safety","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University; Concordia University","funders":"","keywords":"Computer science; Crash; Computer security; 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.0003320479,0.0002862409,0.0005378093,0.001154382,0.00007745202,0.0000399487,0.0006173999,0.0004468937,0.00004679291],"category_scores_gemma":[0.000009244616,0.0002772131,0.0001994744,0.000908134,0.0004559894,0.0001610879,0.0003259368,0.0007854337,0.000009021294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002196929,"about_ca_system_score_gemma":0.0000860459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001189627,"about_ca_topic_score_gemma":0.00006985747,"domain_scores_codex":[0.9985254,0.000004445761,0.0003668692,0.0004569297,0.0002856285,0.0003607256],"domain_scores_gemma":[0.9992401,0.00007318064,0.00006643344,0.0005155865,0.00005831437,0.00004635813],"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.000001331431,0.000003963029,0.0001447724,0.00006910187,0.0002239263,0.00003925265,0.0001579085,0.9081905,0.0003151877,0.002372771,0.00000105525,0.08848015],"study_design_scores_gemma":[0.0000424236,0.00001783258,0.000511385,0.00009937556,0.0002458375,0.00001352395,1.122242e-7,0.9805598,0.001696516,0.01633932,0.0001977061,0.000276129],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02031951,0.0007092718,0.9757627,0.00003691036,0.0005436884,0.0001112964,0.00001923637,0.0002810979,0.002216351],"genre_scores_gemma":[0.9707791,0.00003545678,0.0289597,0.00005936969,0.00007695545,0.00000128219,0.000006536347,0.000028164,0.00005342013],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9504596,"threshold_uncertainty_score":0.999968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009913959001156842,"score_gpt":0.2217956489295187,"score_spread":0.2118816899283618,"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."}}