{"id":"W3126750858","doi":"10.1142/s0129054121410033","title":"Zero-Avoiding Transducers, Length Separable Relations, and the Rational Asymmetric Partition Problem","year":2021,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Separable space; Mathematics; Partition (number theory); Zero (linguistics); Embedding; Word (group theory); Constructive; Rational number; Combinatorics; Discrete mathematics; Computer science; 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.001781375,0.0007960409,0.0008168918,0.0008460174,0.001872598,0.0022467,0.001792294,0.001516653,0.004911983],"category_scores_gemma":[0.005250871,0.0008073474,0.001294163,0.0009526908,0.005486493,0.008507513,0.004679923,0.002961609,0.001161631],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001603561,"about_ca_system_score_gemma":0.001242291,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001513951,"about_ca_topic_score_gemma":0.002080475,"domain_scores_codex":[0.99799,0.0004160592,0.0001547283,0.0005969368,0.0004604332,0.0003818411],"domain_scores_gemma":[0.9958274,0.002363809,0.0002934176,0.0008628541,0.0003429693,0.0003095212],"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.00009635627,0.00003052362,0.0003764755,0.00009138938,0.00001118429,0.000205006,0.0008336765,0.006422508,0.006750334,0.9641677,0.0006215648,0.02039316],"study_design_scores_gemma":[0.00002276079,0.00004049965,0.0001274363,0.00002480103,0.00002956903,0.000151417,0.0003672407,0.02397591,0.008206284,0.9620378,0.004986281,0.00002997101],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1562109,0.0003414027,0.8259807,0.0009936616,0.0001066745,0.000088204,0.0001286777,0.0007202851,0.01542941],"genre_scores_gemma":[0.7585519,0.0003324457,0.2255953,0.0003202511,0.0001264215,0.0002114183,0.000406439,0.0004429757,0.01401277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004911983,"threshold_uncertainty_score":0.01643223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01175604375767022,"score_gpt":0.2654196652324249,"score_spread":0.2536636214747547,"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."}}