{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003814599,0.00009536805,0.0002126458,0.0001454597,0.00005270766,0.00003888019,0.000266498,0.00004707566,0.000011063],"category_scores_gemma":[0.0000746099,0.00007261464,0.00002505977,0.0004542338,0.0007006072,0.0002516862,0.0001829476,0.00007199929,0.000003670156],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000594936,"about_ca_system_score_gemma":0.00003606483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005635102,"about_ca_topic_score_gemma":8.690726e-7,"domain_scores_codex":[0.9991394,0.00003069755,0.0004405215,0.0001002792,0.0001409523,0.0001481814],"domain_scores_gemma":[0.998848,0.0006812983,0.0001409464,0.0002362604,0.00003630951,0.00005716017],"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.000001236268,0.00002178767,0.0001353397,0.0001549426,0.00000693285,2.246493e-7,0.001776022,0.00005259199,0.000179369,0.9750946,0.00001990639,0.02255705],"study_design_scores_gemma":[0.000164792,0.00004258448,0.001876986,0.00006388847,0.000004955039,0.000004405675,0.0006275109,0.3617711,0.00260219,0.632705,0.00005625005,0.00008033407],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8680056,0.0001797595,0.1279426,0.0008160282,0.00002974646,0.0008036778,0.00005692769,0.0001706513,0.001994969],"genre_scores_gemma":[0.9847494,0.00009100652,0.01493323,0.0001215625,0.000008100767,0.00008235574,0.000004609455,0.000003698165,0.000006013581],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3617185,"threshold_uncertainty_score":0.2961139,"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."}}