{"id":"W2990587881","doi":"10.1090/tran/8046","title":"D-FINITENESS, RATIONALITY, and HEIGHT","year":2020,"lang":"en","type":"article","venue":"Scuola Normale Superiore di Pisa","topic":"Advanced Combinatorial Mathematics","field":"Mathematics","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Power series; Series (stratigraphy); Univariate; Formal power series; Rational function; Function (biology); Discrete mathematics; Pure mathematics; Multivariate statistics; Statistics; Mathematical analysis","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.0001944657,0.0002595157,0.0003953802,0.00003807913,0.0001756865,0.00008813712,0.0002567944,0.0001116779,0.0002413129],"category_scores_gemma":[0.0009239799,0.0002381876,0.00008755631,0.0002459996,0.0001386924,0.0004135074,0.0002313211,0.0002193075,0.00008670489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002999853,"about_ca_system_score_gemma":0.0000664915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004338155,"about_ca_topic_score_gemma":0.000005914494,"domain_scores_codex":[0.9984756,0.00007051919,0.0004297098,0.0003393031,0.0003741473,0.0003107905],"domain_scores_gemma":[0.9988399,0.0003597788,0.0001000363,0.0003343281,0.0001289006,0.0002371306],"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.00006769204,0.0001739123,0.01095324,0.0008288036,0.00007802496,0.00005008823,0.00556705,0.000008808911,0.00321248,0.9762053,0.001562886,0.001291647],"study_design_scores_gemma":[0.0020663,0.000245599,0.002151031,0.0001186361,0.000109734,0.00007229183,0.001165976,0.001614839,0.007122917,0.9650429,0.01935511,0.000934692],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9752437,0.0003717412,0.013629,0.002720084,0.0004721605,0.0006106289,0.0000505111,0.0003980301,0.006504137],"genre_scores_gemma":[0.9838562,0.00003786416,0.01485764,0.0005424429,0.0003864719,0.0000396245,0.00001690212,0.00006231068,0.0002005285],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01779223,"threshold_uncertainty_score":0.9713008,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07809662081832477,"score_gpt":0.3049328418890766,"score_spread":0.2268362210707518,"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."}}