{"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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002095161,0.0001492156,0.0001311265,0.0001528973,0.000362568,0.001505563,0.002034147,0.00003813516,0.00008523021],"category_scores_gemma":[0.000105799,0.0001120098,0.00006442086,0.001153377,0.001829208,0.001112386,0.001078861,0.0001809771,0.0003003137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007254182,"about_ca_system_score_gemma":0.0001524525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002582644,"about_ca_topic_score_gemma":1.358775e-7,"domain_scores_codex":[0.9978846,0.00009506576,0.0002228184,0.0008437345,0.0005252312,0.0004285307],"domain_scores_gemma":[0.9985776,0.0003261083,0.00001751971,0.0008073546,0.00008327371,0.0001881476],"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.000001145662,0.00002480448,0.00001465936,0.0000127642,0.00000164543,0.00002767499,0.0003033195,0.00006818907,0.001134684,0.9159249,0.0001071262,0.08237907],"study_design_scores_gemma":[0.00003282108,0.0000814501,0.0006490022,0.00003388136,0.000001677648,0.00003350337,0.000002313601,0.723429,0.001618969,0.2736622,0.0003250054,0.0001302172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04815766,0.0001211787,0.9428938,0.001708914,0.001608802,0.0001092765,0.000001515449,0.0009276821,0.004471142],"genre_scores_gemma":[0.9149469,0.000002176492,0.0844067,0.0003961574,0.0002225208,0.000005919666,8.880303e-7,0.000006453087,0.00001228122],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8667892,"threshold_uncertainty_score":0.999531,"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."}}