{"id":"W4408555454","doi":"10.1017/bsl.2024.4","title":"New Results in Model Theory and Set Theory","year":2024,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Set (abstract data type); Computer science; Mathematical economics; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.004470546,0.0006937714,0.001605962,0.003987814,0.00240521,0.006908617,0.001844712,0.001979606,0.01037148],"category_scores_gemma":[0.007435221,0.00050482,0.002207031,0.004008543,0.01038161,0.01554157,0.004315061,0.006535264,0.0008361437],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005337785,"about_ca_system_score_gemma":0.001132758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000931561,"about_ca_topic_score_gemma":0.00090706,"domain_scores_codex":[0.9961152,0.001299541,0.0002495141,0.0006021676,0.001423443,0.0003101964],"domain_scores_gemma":[0.9872219,0.009595219,0.000622809,0.001169502,0.0008694642,0.000521097],"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.000004864812,0.000006646175,0.00009119177,0.00003871584,0.000005976156,0.00002647475,0.00009983816,0.000371801,0.0000628054,0.9969223,0.0008732293,0.001496054],"study_design_scores_gemma":[0.000003485385,0.000004958604,0.0000685055,0.00002290989,0.000003600155,0.00004506621,0.00005396945,0.001700871,0.00006287071,0.9908647,0.007165348,0.000003620093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1097922,0.04450401,0.4796785,0.0449282,0.003571233,0.0001126437,0.00128648,0.0005076992,0.315619],"genre_scores_gemma":[0.8900424,0.01446926,0.0562481,0.003370144,0.004420497,0.0002628446,0.0007748319,0.0001511709,0.03026075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01037148,"threshold_uncertainty_score":0.03872854,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01630175529355547,"score_gpt":0.2509629693685614,"score_spread":0.234661214075006,"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."}}