{"id":"W3005704136","doi":"10.5802/jtnb.1135","title":"The upper density of an automatic set is rational","year":2020,"lang":"fr","type":"preprint","venue":"Journal de Théorie des Nombres de Bordeaux","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Natural density; Natural number; Upper and lower bounds; Rational number; Mathematics; Set (abstract data type); Combinatorics; BETA (programming language); Alpha (finance); Discrete mathematics; Natural (archaeology); Computer science; Statistics; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001733357,0.000856189,0.001112746,0.003880523,0.002061549,0.005631178,0.001334732,0.001072359,0.01243009],"category_scores_gemma":[0.01430816,0.0007643758,0.001719331,0.002064697,0.005993329,0.00781725,0.003330345,0.002526899,0.002208785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003001682,"about_ca_system_score_gemma":0.001299876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003761891,"about_ca_topic_score_gemma":0.003018148,"domain_scores_codex":[0.9964139,0.0004644233,0.0001854656,0.0008410007,0.001498378,0.0005968729],"domain_scores_gemma":[0.9905564,0.006475749,0.0004475608,0.00102498,0.001044768,0.0004505913],"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.00006263907,0.00002107226,0.0009118526,0.00006014527,0.0000125032,0.00009019149,0.000343071,0.002974976,0.001766043,0.9798789,0.001830781,0.01204791],"study_design_scores_gemma":[0.00001711826,0.00003678724,0.001406651,0.00005645675,0.00002877543,0.0002730592,0.000220027,0.03427652,0.004452373,0.951243,0.007927149,0.00006211605],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.344904,0.000714923,0.5083274,0.002251799,0.0002064075,0.00009712396,0.001157133,0.003405349,0.1389359],"genre_scores_gemma":[0.9326426,0.0004028472,0.05083733,0.0003211572,0.0002144759,0.0002003078,0.000906943,0.0004132149,0.01406128],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01243009,"threshold_uncertainty_score":0.04158282,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02840239506345656,"score_gpt":0.2867220647542983,"score_spread":0.2583196696908417,"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."}}