{"id":"W3212362464","doi":"10.1007/s10703-021-00382-4","title":"Preface of the special issue on the conference on formal methods in computer aided design 2018","year":2021,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Management science; Software engineering; 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.00468874,0.002427717,0.00300533,0.005627999,0.002235458,0.007907101,0.002280452,0.00407932,0.1670171],"category_scores_gemma":[0.01452838,0.0006349319,0.001527887,0.002448631,0.001008984,0.004867782,0.0031424,0.006578544,0.08792822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002713731,"about_ca_system_score_gemma":0.003416018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001663339,"about_ca_topic_score_gemma":0.00250073,"domain_scores_codex":[0.9968155,0.0004724863,0.0002707388,0.0004225411,0.001745868,0.0002729236],"domain_scores_gemma":[0.9806291,0.003260799,0.0007599398,0.0008575073,0.01108111,0.00341158],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004160662,0.00003274888,0.00005883168,0.0001662212,0.000007062586,0.00002498547,0.00001675293,0.0000703417,0.0001749443,0.0008334973,0.9761137,0.02245916],"study_design_scores_gemma":[0.0000265739,0.00007267587,0.000562354,0.0003750036,0.00001637452,0.0000944753,0.00003982017,0.0004597757,0.0002522015,0.002569869,0.9955096,0.00002112658],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0003651361,0.01607008,0.003877587,0.02816833,0.9217626,0.0001704758,0.0006226309,0.0003118689,0.02865141],"genre_scores_gemma":[0.004114672,0.02022525,0.002529495,0.009249703,0.6607837,0.0003198696,0.002689638,0.001323531,0.2987641],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.1670171,"threshold_uncertainty_score":0.558728,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1077431145994936,"score_gpt":0.362366771002201,"score_spread":0.2546236564027074,"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."}}