{"id":"W4401033946","doi":"10.1007/978-3-031-66159-4_6","title":"Universal Rewriting Rules for the Parikh Matrix Injectivity Problem","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Rewriting; Computer science; Matrix (chemical analysis); Programming language; Theoretical computer science; Algorithm","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.001875271,0.0006038023,0.0009197351,0.001078814,0.001434405,0.003499125,0.001479323,0.001470295,0.008184434],"category_scores_gemma":[0.005530429,0.0006604154,0.001371647,0.001317953,0.00308441,0.007298697,0.002464349,0.005028211,0.001958019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001363053,"about_ca_system_score_gemma":0.0006940346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004992349,"about_ca_topic_score_gemma":0.0004828765,"domain_scores_codex":[0.9983371,0.0004566115,0.0001369553,0.0003665257,0.0004783411,0.0002244168],"domain_scores_gemma":[0.9962938,0.002612036,0.0001272797,0.0005215491,0.0003231115,0.0001220144],"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.0000173765,0.00002068716,0.00005473406,0.00004454093,0.000006535337,0.00005263573,0.0001968078,0.0008907049,0.0007783932,0.9867018,0.001423512,0.00981229],"study_design_scores_gemma":[0.000006288598,0.000004000895,0.00002248263,0.000008406051,0.000005170497,0.00003057504,0.00002103272,0.003006828,0.0006813273,0.9938914,0.002316333,0.000006164596],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05552943,0.002270227,0.7806963,0.003495141,0.0008084931,0.0001365924,0.0004468552,0.001032701,0.1555843],"genre_scores_gemma":[0.8104798,0.001585318,0.1490691,0.001143896,0.00118894,0.000363682,0.0008103788,0.0008361404,0.03452282],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008184434,"threshold_uncertainty_score":0.02737963,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01327607138326478,"score_gpt":0.2481718462409226,"score_spread":0.2348957748576579,"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."}}