{"id":"W2039591492","doi":"10.1090/s0894-0347-08-00614-0","title":"The structure of locally finite varieties with polynomially many models","year":2008,"lang":"en","type":"article","venue":"Journal of the American Mathematical Society","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Annotation; Algorithm; Type (biology); Semantics (computer science); Computer science; Mathematics; Artificial intelligence; Programming language; Biology","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.0002297443,0.0001334709,0.0003549042,0.00001169038,0.0002940377,0.00004012203,0.001399936,0.00002900694,0.000004456032],"category_scores_gemma":[0.00008153537,0.00005413309,0.000321733,0.0003491624,0.001048226,0.0002402551,0.0002113801,0.0003484424,0.00000102074],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003602738,"about_ca_system_score_gemma":0.0001743434,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002444499,"about_ca_topic_score_gemma":5.838015e-7,"domain_scores_codex":[0.9985995,0.00007874606,0.0004155196,0.0001059805,0.0005792759,0.0002209357],"domain_scores_gemma":[0.9978368,0.0005664967,0.0008968352,0.000440105,0.0001825586,0.00007726432],"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.0002851903,0.0004239936,0.000697999,0.0001195274,0.0008912184,0.0000443285,0.01850375,0.07553333,0.005203088,0.881584,0.006205044,0.01050856],"study_design_scores_gemma":[0.0004954346,0.0006459217,0.001897823,0.00007723072,0.00005299866,0.0007675883,0.0009846727,0.09363098,0.001382798,0.8995302,0.000311887,0.0002224209],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1297653,0.00009302266,0.867706,0.002082564,0.00006487775,0.00007080116,0.000001033962,0.00001130736,0.0002050877],"genre_scores_gemma":[0.8522438,0.00008759865,0.1468468,0.0006469835,0.00005399024,4.361887e-7,2.54023e-8,0.00000783715,0.0001125236],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7224785,"threshold_uncertainty_score":0.3862231,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01123961366260418,"score_gpt":0.2178755181081412,"score_spread":0.2066359044455371,"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."}}