{"id":"W2952125519","doi":"10.48550/arxiv.math/0610033","title":"Automata over a binary alphabet generating free groups of even rank","year":2006,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Alphabet; Rank (graph theory); Automaton; Binary number; Combinatorics; Mathematics; Computer science; Arithmetic; Theoretical computer science","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.0005692497,0.0006708733,0.0003766063,0.0007924587,0.001024465,0.001551241,0.0007939609,0.0005879521,0.005065206],"category_scores_gemma":[0.002047847,0.0002876351,0.0008903196,0.0004851868,0.001612127,0.00226473,0.001892469,0.0007270194,0.001029926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007218788,"about_ca_system_score_gemma":0.0006715204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006391996,"about_ca_topic_score_gemma":0.0008780683,"domain_scores_codex":[0.999298,0.0001709105,0.00005779809,0.0001530184,0.0001651873,0.0001550477],"domain_scores_gemma":[0.9980247,0.0008495222,0.0002921993,0.0003635117,0.0001936598,0.0002763487],"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.0003350516,0.0001737698,0.002324961,0.0001668958,0.00002855039,0.0005270956,0.002050247,0.01306483,0.02221686,0.9249816,0.002717706,0.03141246],"study_design_scores_gemma":[0.0001480351,0.0002620743,0.0007430486,0.00006317431,0.00004710359,0.0003722764,0.0004187243,0.065675,0.03151373,0.8795026,0.02114971,0.0001044432],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6401134,0.0005031851,0.3105269,0.0007998112,0.0002963893,0.0001997023,0.0005763209,0.00213928,0.04484507],"genre_scores_gemma":[0.9300234,0.0001709338,0.05541165,0.0001304058,0.0001034169,0.0002323589,0.0005206693,0.0001401781,0.01326701],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005065206,"threshold_uncertainty_score":0.01694477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02410670235328271,"score_gpt":0.2498368270045698,"score_spread":0.2257301246512871,"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."}}