{"id":"W4390338595","doi":"10.1016/j.tcs.2023.114363","title":"Proving properties of some greedily-defined integer recurrences via automata theory","year":2023,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; Simple (philosophy); Conjecture; Automaton; Integer (computer science); Property (philosophy); Sequence (biology); Integer sequence; Discrete mathematics; Mathematics; Automata theory; Computer science; Combinatorics; Integer programming; Algorithm; Theoretical computer science; Generating function; Programming language","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.004758463,0.0002820634,0.0003803001,0.0004996562,0.0003975953,0.0003693113,0.004575885,0.00007541631,0.00002326053],"category_scores_gemma":[0.000338051,0.0001984961,0.0001152358,0.002534784,0.004531316,0.00161776,0.002683005,0.0002454089,0.0002177955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004268608,"about_ca_system_score_gemma":0.0002243222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006349661,"about_ca_topic_score_gemma":2.811694e-7,"domain_scores_codex":[0.9964058,0.0002707084,0.0005280762,0.0009142642,0.001056526,0.0008246377],"domain_scores_gemma":[0.9976588,0.0004633383,0.000171068,0.001257369,0.0002230411,0.0002263982],"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.00001332401,0.00005589965,0.00003595776,0.00004219951,0.000006808978,0.00001037663,0.00112356,0.00004470755,0.01107091,0.9132575,0.0000596364,0.07427905],"study_design_scores_gemma":[0.0001526363,0.0001865228,0.0004023238,0.0001565954,0.000005182351,0.00002529696,0.00003346437,0.4992695,0.02229257,0.4771883,0.00003939015,0.0002482244],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2379868,0.0001350577,0.7560678,0.001265573,0.001870379,0.0003061307,0.000003754473,0.00134753,0.001017046],"genre_scores_gemma":[0.9817321,0.00001487309,0.01771481,0.0002962071,0.000179775,0.00001862181,0.000001240021,0.00001432033,0.00002809449],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7437453,"threshold_uncertainty_score":0.9981778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01861407997515179,"score_gpt":0.2358628531487552,"score_spread":0.2172487731736034,"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."}}