{"id":"W4402161717","doi":"10.1016/j.tcs.2024.114782","title":"Binary distinguishability operation","year":2024,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Computer science; Mathematics; Algorithm; Programming language","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.001580867,0.0007222287,0.0008732374,0.001990774,0.003509275,0.004941956,0.001111239,0.001730856,0.02890045],"category_scores_gemma":[0.003752391,0.0005412166,0.00102537,0.001577041,0.004765762,0.01090613,0.004587908,0.006583429,0.007656996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001131899,"about_ca_system_score_gemma":0.001167508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003005135,"about_ca_topic_score_gemma":0.0002446778,"domain_scores_codex":[0.9975539,0.000423279,0.0001880072,0.0008214556,0.000574715,0.0004386558],"domain_scores_gemma":[0.9969976,0.00137275,0.0001402261,0.0006919587,0.0004790135,0.0003185393],"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.00003469121,0.00001873563,0.00006131492,0.0000237259,0.000003114289,0.0000284227,0.0001158513,0.00004631256,0.001470107,0.9870936,0.001978321,0.009125737],"study_design_scores_gemma":[0.00001734236,0.0000311062,0.0001926934,0.00002257543,0.00001515921,0.0003122689,0.0001145736,0.000881983,0.008278975,0.9409839,0.04911933,0.00003003999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06760219,0.001772056,0.4911112,0.008260556,0.005013699,0.0002160275,0.001740324,0.002274272,0.4220097],"genre_scores_gemma":[0.7473212,0.00114635,0.07933542,0.002269468,0.001921528,0.0004287701,0.001541423,0.0009878862,0.165048],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02890045,"threshold_uncertainty_score":0.09668159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008019538985371126,"score_gpt":0.2567818053675138,"score_spread":0.2487622663821427,"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."}}