{"id":"W2044908638","doi":"10.1109/ccece.2008.4564709","title":"Harnessing overgeneralization in the synthesis of state machines from scenarios","year":2008,"lang":"en","type":"article","venue":"Conference proceedings - Canadian Conference on Electrical and Computer Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Spurious relationship; Generalization; Computer science; Set (abstract data type); Syntax; Finite-state machine; State (computer science); Programming language; Artificial intelligence; Machine learning; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":true,"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.006732702,0.0009382693,0.0009282411,0.001181571,0.0006426251,0.00176382,0.001242567,0.001018303,0.001152529],"category_scores_gemma":[0.01924518,0.0009326756,0.001846086,0.0006367387,0.00342877,0.004935636,0.003661236,0.002106394,0.0003188818],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006939489,"about_ca_system_score_gemma":0.001794564,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006830876,"about_ca_topic_score_gemma":0.001139232,"domain_scores_codex":[0.9938211,0.002736654,0.0007575058,0.0006800957,0.001599563,0.0004050099],"domain_scores_gemma":[0.9794179,0.01142494,0.00217219,0.005263051,0.001468395,0.0002534889],"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.0002403464,0.0001586548,0.005966412,0.0007988603,0.0002098902,0.002020383,0.003247783,0.2545758,0.1172323,0.4678255,0.001010947,0.1467131],"study_design_scores_gemma":[0.00006142236,0.0003242789,0.001158956,0.0002570963,0.0001809717,0.001122385,0.0004418381,0.4640284,0.09910337,0.4214057,0.01177411,0.0001415322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04051004,0.00005093088,0.9565148,0.0002105536,0.00001164541,0.0001322436,0.00003439583,0.001145927,0.001389367],"genre_scores_gemma":[0.4658935,0.0002306422,0.5318647,0.0002486044,0.00002735064,0.0002693174,0.0001962543,0.0004837466,0.0007858579],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006732702,"threshold_uncertainty_score":0.03560638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448213156951579,"score_gpt":0.2186512201645152,"score_spread":0.1941690885949994,"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."}}