{"id":"W4399828414","doi":"10.32920/26052670","title":"Polynomial Interpretation Logic on ω-Categorical Structures","year":2024,"lang":"en","type":"preprint","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; University of Toronto","funders":"","keywords":"Categorical variable; Interpretation (philosophy); Mathematics; Polynomial; Algebra over a field; Computer science; Pure mathematics; Calculus (dental); Statistics; Programming language; Medicine; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":false,"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.00008872503,0.0002871419,0.0002477801,0.0001819456,0.00004786669,0.0003380191,0.001106286,0.0002530245,0.00007462191],"category_scores_gemma":[0.00003472411,0.0002024245,0.0001609291,0.0001526723,0.000036822,0.00008002367,0.002246711,0.0009213947,0.0004373401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001121987,"about_ca_system_score_gemma":0.00009930191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001277525,"about_ca_topic_score_gemma":0.000003549575,"domain_scores_codex":[0.998344,0.00006079567,0.0002519448,0.0008451016,0.0002560548,0.0002420931],"domain_scores_gemma":[0.9990572,0.00008662331,0.00008024622,0.0006593395,0.00003461613,0.00008199919],"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.00001271932,0.00001960393,0.000002074606,0.00004484912,0.00002384829,0.00005089516,0.0002410353,0.004838087,0.00005125107,0.924562,0.00801183,0.06214176],"study_design_scores_gemma":[0.00005755278,0.00009010869,0.0001264503,0.00001778357,0.00000851193,0.00001269078,0.000007871056,0.07420483,0.0004045873,0.9238508,0.0009586049,0.0002602338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002759062,0.000369059,0.9488516,0.002407234,0.005011438,0.0002374712,0.000003059387,0.0008125919,0.03954851],"genre_scores_gemma":[0.9734443,0.00001275418,0.02375172,0.001374883,0.0003694051,0.00002408324,0.00001194212,0.00001362826,0.0009973241],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9706852,"threshold_uncertainty_score":0.8254634,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0211832950050737,"score_gpt":0.2893442629487802,"score_spread":0.2681609679437065,"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."}}