{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001858407,0.00009098446,0.0001765257,0.00008954143,0.0001262165,0.000006036933,0.00007429088,0.00005609339,0.00002467235],"category_scores_gemma":[0.00003652298,0.00006845784,0.0000186274,0.0003484729,0.0000612384,0.00003031014,0.00004918116,0.00006619488,0.00002191149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001760174,"about_ca_system_score_gemma":0.0000089537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.304477e-7,"about_ca_topic_score_gemma":0.000004879016,"domain_scores_codex":[0.9994571,0.00001221151,0.0001310367,0.0001402327,0.0000732894,0.0001861794],"domain_scores_gemma":[0.9995731,0.0001517779,0.00005929436,0.0001297576,0.00003280939,0.0000532972],"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.00003441831,0.00002084571,0.00005865085,0.00005228823,0.00002414116,0.000004409098,0.000384584,0.0006959581,0.00179218,0.9911166,0.001763726,0.004052148],"study_design_scores_gemma":[0.0001876726,0.00008776122,0.0001416856,0.00002365122,0.0000187386,0.000006481487,0.001684628,0.00006727485,0.006665123,0.9881185,0.002847191,0.0001513101],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7990574,0.0001904249,0.1544565,0.003159513,0.00007314224,0.001461351,0.0000337977,0.00044523,0.04112261],"genre_scores_gemma":[0.9907688,0.00009575622,0.007394228,0.001016838,0.00004006946,0.0001331097,0.00001144741,0.00001420511,0.0005255094],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1917114,"threshold_uncertainty_score":0.279163,"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."}}