{"id":"W2767608636","doi":"10.1109/softwaremining.2017.8100848","title":"Mining specifications using nested words","year":2017,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Generality; Scalability; Nested set model; Set (abstract data type); Theoretical computer science; Word (group theory); Constant (computer programming); Automaton; Class (philosophy); Programming language; Data mining; Artificial intelligence; Database; Mathematics","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.001587968,0.001249388,0.001075177,0.005398053,0.0008094014,0.002229631,0.002121145,0.001312724,0.002053146],"category_scores_gemma":[0.01943725,0.0008365414,0.002187595,0.003294672,0.0008749799,0.004205615,0.00206859,0.0008813303,0.001054187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000998166,"about_ca_system_score_gemma":0.00275707,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006706493,"about_ca_topic_score_gemma":0.009573803,"domain_scores_codex":[0.9959815,0.0007224359,0.0006731878,0.001007152,0.001397243,0.0002185675],"domain_scores_gemma":[0.9873857,0.006729318,0.00127952,0.002001278,0.00236118,0.0002428837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004719658,0.0003811455,0.04203322,0.001643695,0.0003704353,0.001992814,0.002709572,0.1529358,0.03153981,0.05591619,0.007186526,0.7028188],"study_design_scores_gemma":[0.00005697689,0.0001873003,0.002889912,0.0001502703,0.0001275486,0.0007731005,0.001041544,0.8466879,0.02284901,0.110391,0.01476947,0.00007589768],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0696921,0.0004374101,0.9196134,0.0002235812,0.00002798848,0.0003624875,0.00283328,0.005284232,0.00152546],"genre_scores_gemma":[0.3424062,0.0003990031,0.6407747,0.000132454,0.00003006953,0.0005122685,0.01348488,0.0006109921,0.001649437],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006706493,"threshold_uncertainty_score":0.01333493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1601463252538005,"score_gpt":0.3455042255566547,"score_spread":0.1853579003028542,"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."}}