{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008220454,0.00008192266,0.0001099773,0.0001304973,0.0000218122,0.00005943142,0.000172275,0.00005519322,0.0001424025],"category_scores_gemma":[0.0001139086,0.00006895988,0.00002799899,0.0001637189,0.00004784063,0.00004817155,0.00009191516,0.00009605833,0.00004170468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001479634,"about_ca_system_score_gemma":0.00007553628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002599355,"about_ca_topic_score_gemma":0.000003684011,"domain_scores_codex":[0.9992068,0.0001149369,0.0002067315,0.0002537257,0.00010073,0.0001170816],"domain_scores_gemma":[0.9994198,0.000290744,0.00003369943,0.0001892256,0.00001718487,0.00004932711],"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.00002196275,0.000006368235,0.00001786379,0.00001548896,0.000004884943,0.000006959697,0.001202979,0.003337385,0.00004492706,0.9145727,0.003822546,0.07694598],"study_design_scores_gemma":[0.0007329597,0.00006335277,0.002267652,0.000144859,0.000009484536,0.00005046522,0.0001803891,0.1856265,0.0001862572,0.7996445,0.01085075,0.0002428076],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002568227,0.0008191699,0.9571494,0.006843386,0.0001552588,0.0001313989,0.000007069577,0.0001510702,0.03217503],"genre_scores_gemma":[0.9593489,0.000195797,0.03608451,0.0006027699,0.00002996784,0.000004161463,0.000002809344,0.00000653217,0.003724552],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9567807,"threshold_uncertainty_score":0.2812102,"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."}}