{"id":"W2409667482","doi":"","title":"FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006Proceedings (Lecture Notes in Computer Science)","year":2006,"lang":"en","type":"article","venue":"Formal Methods","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Formal methods; Computer science; Library science; Software engineering","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01061349,0.003331849,0.002896891,0.002730336,0.003197183,0.01062896,0.003466331,0.002119874,0.072488],"category_scores_gemma":[0.008211032,0.00182783,0.00144167,0.003430812,0.003105874,0.005224797,0.00261738,0.005576413,0.02353005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01543738,"about_ca_system_score_gemma":0.02706503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.3072557,"about_ca_topic_score_gemma":0.3894174,"domain_scores_codex":[0.996216,0.0007012333,0.0002169024,0.0006566928,0.001692504,0.0005167163],"domain_scores_gemma":[0.9920645,0.001508102,0.0001760763,0.0008677595,0.004109007,0.00127441],"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.0002937476,0.0001978937,0.0008512465,0.0004594382,0.00005330494,0.00009561868,0.0007567288,0.002363063,0.002864033,0.02962212,0.6321143,0.3303286],"study_design_scores_gemma":[0.0001003742,0.00008236506,0.001749116,0.0005915746,0.00006969444,0.0002399182,0.0003521204,0.01333945,0.005564746,0.02013045,0.9577023,0.00007795291],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01122006,0.08394828,0.6780514,0.02947382,0.03181756,0.0007589478,0.006246978,0.01653725,0.1419457],"genre_scores_gemma":[0.03457497,0.03983145,0.1975933,0.001734955,0.003742102,0.0003704665,0.01219563,0.006693041,0.7032641],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3072557,"threshold_uncertainty_score":0.6109345,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01388108810630404,"score_gpt":0.3051471351972607,"score_spread":0.2912660470909567,"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."}}