{"id":"W4361994958","doi":"10.1051/ita/2022011","title":"Automatic sequences in negative bases and proofs of some conjectures of shevelev","year":2023,"lang":"en","type":"article","venue":"RAIRO. Theoretical informatics and applications","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; University of Waterloo","keywords":"Mathematical proof; Simple (philosophy); Base (topology); Binary number; Automated theorem proving; Mathematics; Discrete mathematics; Computer science; Gas meter prover; Algorithm; Arithmetic; Epistemology; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"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.004627863,0.0006000767,0.0008240066,0.001773487,0.001986002,0.002572792,0.001429431,0.001375182,0.007207187],"category_scores_gemma":[0.01850409,0.0006719406,0.001464083,0.001537725,0.006749365,0.008736473,0.004813794,0.005757248,0.001133902],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001832347,"about_ca_system_score_gemma":0.001210059,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001202062,"about_ca_topic_score_gemma":0.000861235,"domain_scores_codex":[0.997542,0.000926609,0.0001189442,0.0004216499,0.0007197709,0.000270988],"domain_scores_gemma":[0.9862403,0.01045189,0.0005101082,0.0009600852,0.001378138,0.0004593858],"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.00003077073,0.00002204967,0.0002782011,0.00006554781,0.000008372025,0.0001130282,0.0004234851,0.001052474,0.0005153642,0.9906673,0.001656549,0.00516684],"study_design_scores_gemma":[0.00001251775,0.00001406643,0.0000992061,0.00003219501,0.000007057448,0.00005625173,0.00008590249,0.003228679,0.0007652821,0.9902351,0.005451044,0.00001272032],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.165307,0.006128835,0.6787044,0.03128541,0.001855361,0.0001003345,0.0003809619,0.001399444,0.1148383],"genre_scores_gemma":[0.8957362,0.00232216,0.07867082,0.003105324,0.000813513,0.0001891929,0.0003396977,0.0003932299,0.0184298],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007207187,"threshold_uncertainty_score":0.0244748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008010339314147076,"score_gpt":0.2471181397254336,"score_spread":0.2391078004112865,"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."}}