{"id":"W2066363949","doi":"10.4271/2015-01-0265","title":"From Natural Language to Semi-Formal Notation Requirements for Automotive Safety","year":2015,"lang":"en","type":"article","venue":"SAE technical papers on CD-ROM/SAE technical paper series","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Computer science; Notation; Automotive industry; Natural language; Formal methods; Programming language; Natural language processing; Engineering; Linguistics","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.0007129409,0.0007999202,0.0008520785,0.0002491026,0.0001724495,0.0001001568,0.0009116421,0.0005578671,0.00009155073],"category_scores_gemma":[0.001180675,0.0007732215,0.0003412232,0.0006132656,0.0001807575,0.0007823705,0.000281669,0.0008495909,0.0002419506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001216792,"about_ca_system_score_gemma":0.00009727917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006115805,"about_ca_topic_score_gemma":0.007922642,"domain_scores_codex":[0.9959682,0.00006738589,0.001135351,0.0008983908,0.0008406913,0.001090036],"domain_scores_gemma":[0.9974058,0.0004398413,0.0001251501,0.001170142,0.0001904988,0.0006685568],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.0004814384,0.00008673406,0.0000432676,0.00009394559,0.0001202323,0.00002936892,0.0004619122,0.007760045,0.9751878,0.001891012,0.008404462,0.005439809],"study_design_scores_gemma":[0.001780102,0.0006899779,0.8757398,0.00047286,0.0001001255,0.00002574423,0.0005079055,0.00004041464,0.0007268048,0.0004697882,0.1181537,0.001292732],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.880906,0.00250749,0.0009734287,0.006653055,0.007499914,0.009081898,0.001512161,0.02841921,0.06244687],"genre_scores_gemma":[0.982245,0.00002198769,0.01463443,0.0008162314,0.0005518668,0.0007364596,0.0003137864,0.0002285626,0.0004516962],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.974461,"threshold_uncertainty_score":0.9994719,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01372068644531268,"score_gpt":0.2536265607060303,"score_spread":0.2399058742607176,"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."}}