{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008726685,0.0005812371,0.000689793,0.001093906,0.002046622,0.003044886,0.001266558,0.0005815385,0.009261527],"category_scores_gemma":[0.002845801,0.0004739986,0.001116649,0.0008041046,0.003936688,0.007957349,0.002875772,0.002979806,0.00132637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002540415,"about_ca_system_score_gemma":0.0008397956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00253256,"about_ca_topic_score_gemma":0.001786424,"domain_scores_codex":[0.998861,0.0002411909,0.00004446474,0.000313951,0.0002649085,0.0002745907],"domain_scores_gemma":[0.9974841,0.001072281,0.0003154938,0.000363625,0.0003648077,0.000399673],"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.00008560162,0.00003128501,0.000833082,0.00005906802,0.00001321839,0.0001548754,0.0006877139,0.001703853,0.001593307,0.9901783,0.0008636112,0.003795974],"study_design_scores_gemma":[0.0000347787,0.00006565309,0.0008609644,0.00002130932,0.00003263553,0.0002039859,0.0003586534,0.008685173,0.002877528,0.982369,0.004461403,0.00002897553],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7451924,0.001184548,0.1704514,0.002645775,0.0001272831,0.000071126,0.0006474256,0.0009093334,0.07877062],"genre_scores_gemma":[0.9832423,0.0001900902,0.007071742,0.0001182188,0.00007511536,0.00002752735,0.0002772871,0.00005889466,0.008938824],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009261527,"threshold_uncertainty_score":0.03098285,"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."}}