{"id":"W4313649963","doi":"10.1016/j.apal.2023.103244","title":"Applying generic coding with help to uniformizations","year":2023,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Fields Institute for Research in Mathematical Sciences; National Science Foundation","keywords":"Mathematics; Ultrafilter; Disjoint sets; Class (philosophy); Discrete mathematics; Consistency (knowledge bases); Combinatorics; Statement (logic); Countable set; Regular cardinal; Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003665963,0.0008596072,0.001339282,0.002412054,0.002083645,0.003380124,0.002118745,0.001960118,0.01002022],"category_scores_gemma":[0.01570543,0.0008491749,0.002171451,0.002893312,0.007133961,0.01051706,0.00987888,0.004757886,0.001414188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002057361,"about_ca_system_score_gemma":0.001179896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001500939,"about_ca_topic_score_gemma":0.001055617,"domain_scores_codex":[0.9968022,0.001250719,0.0002240286,0.0006268031,0.000619923,0.000476307],"domain_scores_gemma":[0.9926813,0.002741901,0.0002364558,0.003307511,0.0007528969,0.0002800014],"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.00001301195,0.000005072598,0.00003717514,0.00001262367,0.000003130241,0.0000156721,0.0000781066,0.000572761,0.000210363,0.99319,0.0005415576,0.005320496],"study_design_scores_gemma":[0.000007106068,0.000005818029,0.00002411867,0.000007225679,0.000008524298,0.00002541422,0.00003237682,0.005151393,0.0005512699,0.9910419,0.003136897,0.000007987616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0213422,0.0002829763,0.9190298,0.001923828,0.0004722067,0.00005635881,0.0001713708,0.001133806,0.05558754],"genre_scores_gemma":[0.6842364,0.0007103633,0.2824709,0.001445448,0.0005155907,0.0002092974,0.0004027029,0.001217573,0.0287916],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01002022,"threshold_uncertainty_score":0.033521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1223317392880923,"score_gpt":0.3519858308043756,"score_spread":0.2296540915162833,"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."}}