{"id":"W4366547923","doi":"10.1007/978-3-031-30829-1_12","title":"Unboundedness Problems for Machines with Reversal-Bounded Counters","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Algorithm; Computer science; Artificial intelligence; Bounded function; Mathematics; Mathematical analysis","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.004708963,0.0007984218,0.001149486,0.0008750736,0.001556631,0.004827525,0.002050722,0.002214725,0.004968106],"category_scores_gemma":[0.02286296,0.0008387067,0.002412702,0.0007832801,0.004588832,0.009766941,0.003401122,0.004365345,0.0006453032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002575059,"about_ca_system_score_gemma":0.002530226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001979182,"about_ca_topic_score_gemma":0.001200861,"domain_scores_codex":[0.9912018,0.00281503,0.0007460496,0.002178535,0.001654955,0.00140369],"domain_scores_gemma":[0.9627295,0.0297605,0.002313247,0.002095771,0.001927349,0.001173564],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001373007,0.0004268342,0.003652979,0.0005872111,0.000129262,0.0007957091,0.001138405,0.08440138,0.02051867,0.8399184,0.00467308,0.04238494],"study_design_scores_gemma":[0.0001586388,0.0001396193,0.0003919292,0.00005603041,0.00005560668,0.0002289635,0.0002817139,0.2140648,0.01880377,0.761625,0.004114537,0.00007933017],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4499259,0.0006123504,0.5276358,0.005559492,0.0002652715,0.0003920633,0.001064049,0.002626484,0.01191862],"genre_scores_gemma":[0.8904929,0.0001948011,0.1021742,0.000796522,0.0001477206,0.0002657141,0.00112656,0.0002484033,0.004553096],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004968106,"threshold_uncertainty_score":0.02490366,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01778124528257208,"score_gpt":0.2382678001310108,"score_spread":0.2204865548484388,"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."}}