{"id":"W2977816479","doi":"10.1109/qrs.2019.00053","title":"Learning and Adaptive Testing of Nondeterministic State Machines","year":2019,"lang":"en","type":"article","venue":"","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Nondeterministic algorithm; Computer science; TRACE (psycholinguistics); Equivalence (formal languages); Set (abstract data type); Theoretical computer science; Conformance testing; Sequence (biology); Artificial intelligence; Algorithm; Mathematics; Programming language; Discrete mathematics; Standardization","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.005205253,0.0008199957,0.00103035,0.0009038424,0.0005811404,0.001666781,0.002577305,0.001489004,0.001441747],"category_scores_gemma":[0.03247353,0.0006196512,0.001453585,0.0007033696,0.003968657,0.004727831,0.00263784,0.002825337,0.0001498121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001504806,"about_ca_system_score_gemma":0.001232148,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001863494,"about_ca_topic_score_gemma":0.001893253,"domain_scores_codex":[0.9933229,0.003031868,0.0003810423,0.001825516,0.0009727961,0.0004658859],"domain_scores_gemma":[0.9633959,0.03058541,0.001553266,0.00301307,0.001072408,0.0003798826],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006169124,0.0003110498,0.008098274,0.0002633342,0.0001803216,0.0003701748,0.000746961,0.631372,0.006506387,0.22754,0.0009598115,0.1230349],"study_design_scores_gemma":[0.000028781,0.00006211974,0.000263469,0.00001171443,0.00001475023,0.00003739269,0.00003221767,0.8339506,0.002856467,0.1624645,0.0002655184,0.00001248343],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1117765,0.0001587196,0.885509,0.000564402,0.00002889537,0.00009053114,0.0001021704,0.0006618859,0.001107899],"genre_scores_gemma":[0.8714772,0.00009020919,0.1267936,0.0001324704,0.00004885309,0.000185312,0.0002196573,0.00007752068,0.0009752353],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005205253,"threshold_uncertainty_score":0.02752835,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01072844650804535,"score_gpt":0.2445321763372586,"score_spread":0.2338037298292132,"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."}}