{"id":"W2913376930","doi":"10.1016/j.tcs.2009.05.010","title":"Predictable semiautomata","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.001552411,0.0002026934,0.0002123394,0.0001899025,0.0004464963,0.0007042208,0.004275396,0.00004516981,0.00006276896],"category_scores_gemma":[0.00006806454,0.0001616471,0.00006777565,0.001420918,0.001343241,0.001373081,0.0008187506,0.0001948916,0.0001981877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005534383,"about_ca_system_score_gemma":0.000126285,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001003829,"about_ca_topic_score_gemma":4.126983e-8,"domain_scores_codex":[0.9972818,0.0000714684,0.0002716521,0.0008107696,0.000789406,0.0007748714],"domain_scores_gemma":[0.9979598,0.0001462542,0.00005982532,0.001363769,0.0001171482,0.0003532069],"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.000002208078,0.0000522731,0.00001017666,0.000001649181,0.000001290803,0.00001998312,0.0001368609,0.0000447062,0.001196008,0.905984,0.0003468205,0.09220399],"study_design_scores_gemma":[0.0001367036,0.0001940097,0.001107501,0.00001936361,0.000001905507,0.00009103437,0.000002079132,0.5551643,0.005420573,0.4374047,0.0002734224,0.0001843984],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0216761,0.00004875044,0.9585672,0.002417421,0.0005349795,0.0001255004,0.000001197366,0.001005971,0.01562289],"genre_scores_gemma":[0.8316801,0.000003514428,0.1656951,0.002456113,0.0001379001,0.000002199578,5.893592e-7,0.000004630725,0.00001986833],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.810004,"threshold_uncertainty_score":0.794482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005467650429001623,"score_gpt":0.2282123256084742,"score_spread":0.2227446751794726,"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."}}