{"id":"W174591770","doi":"10.1007/978-3-642-28525-7_7","title":"A Logical Approach to Data-Aware Automated Sequence Generation","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Sequence (biology); Satisfiability; Set (abstract data type); Domain (mathematical analysis); Sequence diagram; Variety (cybernetics); Theoretical computer science; Programming language; Artificial intelligence; Unified Modeling Language; Software","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.002670142,0.000555665,0.0005169182,0.0006959447,0.000295662,0.0006978703,0.007996045,0.0004462355,0.00002130435],"category_scores_gemma":[0.0002744289,0.0004909541,0.00006866703,0.001013424,0.0004663221,0.001846826,0.003624112,0.0007565373,0.0001531478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003104127,"about_ca_system_score_gemma":0.0004712591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001672743,"about_ca_topic_score_gemma":0.000009241829,"domain_scores_codex":[0.994823,0.0001241726,0.0006509955,0.002303023,0.001279606,0.0008191832],"domain_scores_gemma":[0.9949201,0.000175258,0.0003113734,0.003960408,0.000299049,0.0003337651],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005017664,0.00008146241,0.00001297965,0.00004946826,0.00001203438,0.00001766066,0.0008909687,0.04304055,0.001415574,0.07102634,0.0004530438,0.8829949],"study_design_scores_gemma":[0.00008637374,0.00008112257,0.00006091421,0.00007036508,0.000007826331,0.0001096613,1.335563e-7,0.9907382,0.0009101761,0.005760409,0.001575957,0.0005988639],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002145546,0.0002135632,0.9930441,0.0002739452,0.001829653,0.0006800508,0.00002447235,0.0007318346,0.003180894],"genre_scores_gemma":[0.04359869,0.00001724701,0.9539235,0.001463211,0.0007695485,0.00002426143,0.00009179989,0.00003044167,0.00008130934],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9476976,"threshold_uncertainty_score":0.9997542,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1721325510304666,"score_gpt":0.3455552282790685,"score_spread":0.1734226772486019,"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."}}