{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.01252925,0.0003793789,0.0006585517,0.0002265595,0.0001358649,0.0001281841,0.002159777,0.0002431656,0.00002332931],"category_scores_gemma":[0.0001956142,0.0002485093,0.0001634158,0.001006191,0.00009087798,0.0005557871,0.0007290047,0.0006410896,0.00001281977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002986559,"about_ca_system_score_gemma":0.0002407268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000237698,"about_ca_topic_score_gemma":0.000002895094,"domain_scores_codex":[0.9892043,0.008067126,0.0009320991,0.0005897863,0.0005418492,0.0006648735],"domain_scores_gemma":[0.9950132,0.002791564,0.0003343289,0.001618488,0.0001653875,0.00007700396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001391096,0.0001594135,0.0000534535,0.0002421895,0.00004753203,0.00004372659,0.004065628,0.1169209,0.004301871,0.4659179,0.001705328,0.4064029],"study_design_scores_gemma":[0.0004044818,0.0003942044,0.0005038469,0.0009159581,0.000009053773,0.00004909327,0.00004605397,0.740484,0.2512761,0.002770915,0.002814522,0.0003317567],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001402193,0.00004101789,0.9956262,0.00019822,0.001500961,0.001255556,0.00000346814,0.0002188802,0.001015545],"genre_scores_gemma":[0.00903217,0.000006932322,0.9901278,0.000149458,0.0003667097,0.0001949421,4.581999e-7,0.00002890333,0.00009259769],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6235631,"threshold_uncertainty_score":0.9999967,"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."}}