{"id":"W4399828396","doi":"10.32920/26052670.v1","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":"Interpretation (philosophy); Categorical variable; Mathematics; Polynomial; Algebra over a field; Computer science; Artificial intelligence; Mathematical economics; Pure mathematics; Programming language; Statistics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00114001,0.000405487,0.0003885483,0.0008393879,0.0009251865,0.002490928,0.001081316,0.0005831571,0.00581641],"category_scores_gemma":[0.002761304,0.0003630421,0.001057192,0.001388283,0.002971485,0.004709217,0.001945996,0.003090055,0.0006869982],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002933222,"about_ca_system_score_gemma":0.001228092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004336465,"about_ca_topic_score_gemma":0.003335361,"domain_scores_codex":[0.9986869,0.0003602323,0.00008327597,0.0003069194,0.0003910715,0.0001717367],"domain_scores_gemma":[0.9984123,0.0008946146,0.0001346905,0.0002400348,0.0002303508,0.00008809897],"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.00001608734,0.00001021708,0.0001351832,0.00003035358,0.000004608721,0.00003245881,0.0001666229,0.002704721,0.0005674723,0.9909143,0.0005846357,0.004833357],"study_design_scores_gemma":[0.00001333132,0.00001412339,0.0001372111,0.00001231871,0.000006748101,0.00003078273,0.00006410754,0.01372862,0.0006048215,0.9788294,0.006550319,0.000008273522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1052556,0.001005072,0.8151355,0.003569131,0.0001522518,0.00009008599,0.0009021672,0.001148643,0.07274152],"genre_scores_gemma":[0.8579115,0.0007752546,0.1224505,0.0006013697,0.0001780654,0.0001353654,0.0009605901,0.0001535301,0.01683391],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00581641,"threshold_uncertainty_score":0.02128208,"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."}}