{"meta":{"query_hash":"2768db9c4c78","filters":{"venue":"Journal of Mathematical Logic"},"cohort_total":18,"direct_labels_cover":0,"predictions_cover":18,"exported":18,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/2768db9c4c78","api":"https://metacan.xera.ac/api/v1/cohort?venue=Journal+of+Mathematical+Logic"},"results":[{"id":"W1499331102","doi":"10.1142/s021906131850006x","title":"Omitting types in logic of metric structures","year":2018,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Countable set; Mathematics; Set (abstract data type); Set theory; Type (biology); Metric (unit); Discrete mathematics; Infinite set; Computer science","score_opus":0.08096050138831734,"score_gpt":0.3796880900861431,"score_spread":0.2987275886978258,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1499331102","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7846289,0.0034763252,0.18610008,0.00074273866,0.0013769852,0.0007404872,0.000020849438,0.0000625512,0.022851037],"genre_scores_gemma":[0.7555147,0.00008644713,0.24383835,0.00007777471,0.00032418463,0.0000034902316,0.0000010574678,0.000031001975,0.00012298586],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99685854,0.00037005055,0.0017977827,0.00022579342,0.00043743604,0.0003103719],"domain_scores_gemma":[0.99395865,0.0031394253,0.0021325336,0.00042770477,0.00024801766,0.00009367739],"candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.0024895496,0.00032127227,0.0015265455,0.00059428246,0.000036710797,0.000015895837,0.0006985599,0.0006154323,0.00068463886],"category_scores_gemma":[0.009764117,0.00021332162,0.0003896113,0.0002507828,0.00037095902,0.00006892402,0.00041130793,0.0013630929,0.000019137871],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00016954583,0.0004658691,0.00017932283,0.0016708786,0.0002341971,0.0001449386,0.0007206471,0.00024985446,0.00013256088,0.99482983,0.00040306358,0.00079930463],"study_design_scores_gemma":[0.00039754205,0.00023564645,0.00018394564,0.00060190324,0.00016919385,0.00021033433,0.00021747846,0.00019157218,0.00076093833,0.9968224,0.00002040292,0.00018864527],"about_ca_topic_score_codex":6.9475965e-7,"about_ca_topic_score_gemma":0.0000012227172,"teacher_disagreement_score":0.05773827,"about_ca_system_score_codex":0.00008869837,"about_ca_system_score_gemma":0.00011801696,"threshold_uncertainty_score":0.99857706},"labels":[],"label_agreement":null},{"id":"W1970133246","doi":"10.1142/s0219061306000566","title":"SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES","year":2006,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":29,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Sheaf cohomology; Mathematics; Sheaf; Cohomology; Pure mathematics; Čech cohomology; De Rham cohomology; Discrete mathematics; Group cohomology; Equivariant cohomology","score_opus":0.034211596408465765,"score_gpt":0.3329302607684784,"score_spread":0.29871866436001265,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1970133246","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9180365,0.0003711662,0.055259842,0.000982303,0.00023243336,0.00016186267,0.0000024481367,0.000030057288,0.02492335],"genre_scores_gemma":[0.91794795,0.0000069605803,0.081388496,0.00014065967,0.00019118139,0.0000021677608,4.57015e-7,0.000014572834,0.00030754492],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9983872,0.00016883548,0.0008594957,0.00010914411,0.00020231196,0.00027298788],"domain_scores_gemma":[0.99787086,0.001458749,0.00038077927,0.00015937773,0.00007302813,0.000057193283],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008466277,0.0001478919,0.00056147226,0.0001574733,0.000037544924,0.0000089489295,0.00023878751,0.00018721283,0.00080395024],"category_scores_gemma":[0.0011112879,0.000100289515,0.00013471486,0.000105613,0.00022882836,0.00009274925,0.000040636653,0.00044390114,0.000028440269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00009926203,0.00026678998,0.00030613903,0.000061098806,0.000015887606,0.00032781553,0.000102390906,0.00004459993,0.0003818579,0.99729335,0.0009195374,0.00018127693],"study_design_scores_gemma":[0.00062427076,0.00019317157,0.0011316976,0.0000373933,0.0000290511,0.0013224595,0.00012766411,0.00005439573,0.00044771674,0.9957894,0.00014069786,0.000102081416],"about_ca_topic_score_codex":8.100473e-7,"about_ca_topic_score_gemma":0.0000044155695,"teacher_disagreement_score":0.026128655,"about_ca_system_score_codex":0.000047454556,"about_ca_system_score_gemma":0.000034891003,"threshold_uncertainty_score":0.8802691},"labels":[],"label_agreement":null},{"id":"W2032706742","doi":"10.1142/s0219061308000695","title":"GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS","year":2008,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Israel Science Foundation","keywords":"Mathematics; Algebraically closed field; Pure mathematics; Valuation ring; Valuation (finance); Algebraic number; Class (philosophy); Model theory; Algebra over a field; Field (mathematics); Ordered field; Point (geometry); Differential (mechanical device); Discrete mathematics; Mathematical analysis; Computer science; Artificial intelligence","score_opus":0.06899874187594827,"score_gpt":0.3360748217710604,"score_spread":0.2670760798951121,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2032706742","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.86002976,0.0003341001,0.11554048,0.0004525491,0.00013896264,0.00012494568,0.0000014114094,0.000014964661,0.023362799],"genre_scores_gemma":[0.9515637,0.00006381499,0.047816996,0.00008921264,0.00005519805,0.0000012321921,1.0586107e-7,0.000010075232,0.00039964193],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984927,0.00016752722,0.0008502203,0.00007617607,0.00023592485,0.00017743243],"domain_scores_gemma":[0.9972753,0.0019359624,0.00043139476,0.0001883726,0.00011211915,0.000056848367],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00096674694,0.00011845846,0.0005938522,0.00012311408,0.00003799342,0.000002183027,0.00022427324,0.00015062036,0.0005487414],"category_scores_gemma":[0.0026382061,0.00007854081,0.00016552447,0.00012099203,0.00032274378,0.000093551374,0.000039561226,0.00035460826,0.000014882217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00012410355,0.00036213818,0.00019559653,0.00012654069,0.00002973174,0.00018335067,0.0017691562,0.00002130274,0.00011707694,0.99674565,0.0002302568,0.000095111],"study_design_scores_gemma":[0.0005203325,0.00023901471,0.00014878927,0.00010963193,0.000024248075,0.0006657479,0.00049032574,0.00004840062,0.0013712648,0.9962816,0.000023037588,0.000077564095],"about_ca_topic_score_codex":2.2895101e-7,"about_ca_topic_score_gemma":5.4121375e-7,"teacher_disagreement_score":0.09153394,"about_ca_system_score_codex":0.000019775396,"about_ca_system_score_gemma":0.000044140867,"threshold_uncertainty_score":0.60083336},"labels":[],"label_agreement":null},{"id":"W2090427535","doi":"10.1142/s0219061306000530","title":"CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION","year":2006,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":14,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of British Columbia","funders":"Korea Science and Engineering Foundation; National Science Foundation","keywords":"Group (periodic table); Mathematics; Combinatorics; Pure mathematics; Algebra over a field; Chemistry","score_opus":0.041363280730750386,"score_gpt":0.2622433661207339,"score_spread":0.22088008538998352,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2090427535","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8272859,0.0007346644,0.12795542,0.007824438,0.00049459597,0.00046464038,0.000009965858,0.00006670929,0.035163663],"genre_scores_gemma":[0.965414,0.000014167983,0.033016857,0.00035302722,0.0009205749,0.000006004477,0.0000032832572,0.000024129402,0.0002479754],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9979647,0.00019596796,0.0009234911,0.00013192232,0.0005172575,0.00026669342],"domain_scores_gemma":[0.99507105,0.0036940456,0.00073340785,0.00031695605,0.00013174706,0.00005279917],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015101018,0.00018543898,0.00042014063,0.000034140234,0.00027868082,0.00017931977,0.00045183278,0.00009455924,0.00033954822],"category_scores_gemma":[0.0013024322,0.00008465916,0.00022897708,0.000119642085,0.00025813023,0.0001827405,0.000056357283,0.00043965783,0.000080303806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000015784066,0.00016610765,0.00017264235,0.000038535658,0.000043125357,0.000020692018,0.00024285086,0.0000041057174,0.00093460985,0.9938181,0.0036928067,0.0008506508],"study_design_scores_gemma":[0.00041513663,0.00008088812,0.0005440486,0.00013220632,0.00013399177,0.00035119758,0.0017736793,0.00030620807,0.0003883901,0.99485296,0.0009053403,0.00011598264],"about_ca_topic_score_codex":0.000018282799,"about_ca_topic_score_gemma":0.000016921122,"teacher_disagreement_score":0.13812809,"about_ca_system_score_codex":0.000059224436,"about_ca_system_score_gemma":0.000026495185,"threshold_uncertainty_score":0.3717815},"labels":[],"label_agreement":null},{"id":"W2145771949","doi":"10.1142/s021906130300025x","title":"BOUNDING BY CANONICAL FUNCTIONS, WITH CH","year":2003,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Institut d'Estudis Catalans; Israel Science Foundation","keywords":"Mathematics; Countable set; Bounding overwatch; Bounded function; Class (philosophy); Function (biology); Discrete mathematics; Property (philosophy); Combinatorics; Pure mathematics; Artificial intelligence; Computer science; Mathematical analysis","score_opus":0.037874002441325584,"score_gpt":0.31853524434491304,"score_spread":0.28066124190358743,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2145771949","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.26140952,0.0006208889,0.67876184,0.0010559827,0.00028985317,0.00021398475,0.0000039174547,0.000056127225,0.05758791],"genre_scores_gemma":[0.893662,0.000021267702,0.102303796,0.00027259707,0.00009403667,0.000005414174,6.2334874e-7,0.000031222895,0.0036090573],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99860215,0.0001876714,0.00054889324,0.0001113874,0.00028740193,0.0002624769],"domain_scores_gemma":[0.99795425,0.0012575177,0.00034742118,0.00018644282,0.00010844219,0.0001459254],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0011240306,0.0001514116,0.0004423925,0.00006438379,0.00012463643,0.000020582664,0.00015402293,0.00012257276,0.0011255932],"category_scores_gemma":[0.0018827087,0.00009083598,0.00011323523,0.0001194256,0.00020273359,0.00012958627,0.000014889428,0.000448697,0.000058762394],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00007113098,0.00034128138,0.00009658346,0.00005616441,0.00007387391,0.00005618022,0.00010017827,0.0000058614446,0.00026669298,0.99463564,0.004206387,0.000090002526],"study_design_scores_gemma":[0.0006022605,0.00037477937,0.000007863539,0.0000753334,0.00009688565,0.0015753834,0.00043209209,0.000008589956,0.0005747086,0.9918099,0.004318369,0.00012380979],"about_ca_topic_score_codex":9.819121e-8,"about_ca_topic_score_gemma":6.5502377e-7,"teacher_disagreement_score":0.63225245,"about_ca_system_score_codex":0.00006445037,"about_ca_system_score_gemma":0.000087581364,"threshold_uncertainty_score":0.9997875},"labels":[],"label_agreement":null},{"id":"W2166267762","doi":"10.1142/s0219061314500093","title":"Model theory of fields with free operators in characteristic zero","year":2014,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Zero (linguistics); Mathematics; Simple (philosophy); Free field; Field (mathematics); Differential (mechanical device); Differential algebra; Finite field; Pure mathematics; Discrete mathematics; Algebra over a field; Physics; Quantum mechanics","score_opus":0.07214245178070482,"score_gpt":0.3258903623101435,"score_spread":0.2537479105294387,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2166267762","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.28872323,0.000072672236,0.70742095,0.00026132827,0.00013213308,0.00027096388,0.000011332037,0.000016208322,0.003091178],"genre_scores_gemma":[0.71481866,0.000027166137,0.28470036,0.000102422164,0.00010774485,0.000011053775,8.2831053e-7,0.000044308115,0.00018744191],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9969225,0.00022217631,0.0016812913,0.00024042012,0.00064929813,0.00028430932],"domain_scores_gemma":[0.9951975,0.0018185785,0.0016064888,0.00094164547,0.00030857968,0.00012722968],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001917747,0.0003710389,0.0015327261,0.00024212098,0.000023294784,0.000031781485,0.0010766126,0.00046175043,0.00016542728],"category_scores_gemma":[0.0045932443,0.0002403873,0.00025492714,0.00009549184,0.00018654639,0.00008735074,0.00054727803,0.0016337284,0.000006038658],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00013855407,0.00048051417,0.000033787175,0.0020683175,0.00011688671,0.00007966324,0.0006834946,0.0023317793,0.000068931986,0.99355173,0.00019001255,0.0002563525],"study_design_scores_gemma":[0.0006278639,0.000236692,0.00003358684,0.0019241567,0.00015134146,0.00011203984,0.00006009939,0.006015692,0.000259899,0.9903294,0.0000046224163,0.00024461866],"about_ca_topic_score_codex":2.9059825e-7,"about_ca_topic_score_gemma":0.0000011764971,"teacher_disagreement_score":0.42609543,"about_ca_system_score_codex":0.00010095562,"about_ca_system_score_gemma":0.00018102789,"threshold_uncertainty_score":0.9802709},"labels":[],"label_agreement":null},{"id":"W2511027643","doi":"10.1142/s0219061316500070","title":"Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular","year":2016,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"National Science Foundation","keywords":"Transitive relation; Mathematics; Extension (predicate logic); Core model; Core (optical fiber); Combinatorics; Discrete mathematics; Computer science; Programming language","score_opus":0.03277469884826001,"score_gpt":0.23159196586037303,"score_spread":0.19881726701211302,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2511027643","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.16715176,0.0002358961,0.8233799,0.008550362,0.00007090997,0.00014613324,0.0000028890356,0.000012356571,0.000449805],"genre_scores_gemma":[0.8459701,0.000035294594,0.15377337,0.00012770997,0.00003196123,0.0000012246412,5.9737286e-9,0.000006080198,0.00005428809],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99810183,0.00020790577,0.00077612407,0.00017410624,0.0005578692,0.00018218001],"domain_scores_gemma":[0.99710304,0.0012921189,0.00061472564,0.0005880723,0.00030663295,0.000095394345],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011549529,0.00014104448,0.0005150879,0.00008889536,0.000034891105,0.000032822252,0.0011153148,0.00008985452,0.000051412662],"category_scores_gemma":[0.00064054184,0.00006339829,0.00023237993,0.00022217073,0.00029990345,0.00035542762,0.00038837313,0.0001336546,0.0000026336397],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000047620088,0.00090487406,0.00035813297,0.0005399793,0.00017235577,0.00001984619,0.0022693893,0.00034680314,0.024267681,0.8815497,0.00087356404,0.08865005],"study_design_scores_gemma":[0.00029665604,0.00020599434,0.0009496918,0.0002690398,0.000022512642,0.00019506156,0.000020604917,0.0096405735,0.014897336,0.97337353,0.00004323231,0.00008578505],"about_ca_topic_score_codex":0.0000017191414,"about_ca_topic_score_gemma":4.7460986e-7,"teacher_disagreement_score":0.6788183,"about_ca_system_score_codex":0.000030676936,"about_ca_system_score_gemma":0.00007554396,"threshold_uncertainty_score":0.25853074},"labels":[],"label_agreement":null},{"id":"W2895339537","doi":"10.1142/s0219061321500264","title":"Maximal almost disjoint families, determinacy, and forcing","year":2021,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"Danmarks Frie Forskningsfond","keywords":"Determinacy; Mathematics; Disjoint sets; Ideal (ethics); Iterated function; Combinatorics; Discrete mathematics; Pure mathematics; Mathematical analysis","score_opus":0.06067959421402735,"score_gpt":0.33813147570607155,"score_spread":0.2774518814920442,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2895339537","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.69515276,0.0021999762,0.29391798,0.0011119446,0.0006700936,0.00038972756,0.000015030226,0.000055357184,0.0064871344],"genre_scores_gemma":[0.69963384,0.000514545,0.29875055,0.00023868306,0.00033809658,0.000011445409,0.000004234731,0.00006090915,0.00044768828],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99735916,0.00025506632,0.0013207775,0.00030621229,0.0003927012,0.00036608946],"domain_scores_gemma":[0.9961392,0.0018665633,0.0010888566,0.0004660628,0.00023096609,0.00020834173],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0013562039,0.0004018981,0.0014001571,0.00015594978,0.000109627785,0.000083784005,0.00039708253,0.0005153428,0.00036092594],"category_scores_gemma":[0.0031088036,0.00029298666,0.00040659617,0.000067728266,0.00033423983,0.00014262738,0.00084700854,0.0015616467,0.000008564207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00031624688,0.0011749896,0.00016394178,0.00638519,0.0006934117,0.003663738,0.0048756357,0.0000794582,0.0007798392,0.9708719,0.0008785393,0.010117076],"study_design_scores_gemma":[0.00040901487,0.00017494491,0.000071558025,0.0011260436,0.0003043049,0.0030132807,0.0018582323,0.00040844397,0.00044609813,0.99181926,0.000074960146,0.00029385387],"about_ca_topic_score_codex":6.1209255e-7,"about_ca_topic_score_gemma":0.0000025291622,"teacher_disagreement_score":0.020947332,"about_ca_system_score_codex":0.00009116033,"about_ca_system_score_gemma":0.00014466136,"threshold_uncertainty_score":0.99995226},"labels":[],"label_agreement":null},{"id":"W2964076955","doi":"10.1142/s0219061310000936","title":"A DICHOTOMY FOR THE NUMBER OF ULTRAPOWERS","year":2010,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":54,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Cardinal number (linguistics); Cardinality (data modeling); Mathematics; Metric (unit); Property (philosophy); Combinatorics; Discrete mathematics; Computer science; Epistemology; Philosophy; Linguistics","score_opus":0.06397650777725285,"score_gpt":0.42110889550920333,"score_spread":0.3571323877319505,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2964076955","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.6906864,0.0000826915,0.2971009,0.0026904843,0.0004290277,0.0010400052,0.000013765533,0.000026557056,0.007930161],"genre_scores_gemma":[0.75281775,0.000014204532,0.24652019,0.00007767744,0.00019162463,0.000021884862,1.5457276e-7,0.000029623165,0.00032691346],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9983018,0.00004913479,0.00074057135,0.00008955408,0.00056746,0.00025147683],"domain_scores_gemma":[0.9927373,0.0058914777,0.0004231774,0.00033631615,0.0004921345,0.000119597746],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0018266242,0.00012869552,0.0004313313,0.000052728203,0.0000725918,0.00002736346,0.0005523367,0.00009990407,0.001094814],"category_scores_gemma":[0.0070732776,0.00006443844,0.00029279085,0.00015068392,0.00024863824,0.00011880424,0.000045795492,0.0005908899,0.000027073986],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000117644035,0.0004478835,0.0001699463,0.00031237828,0.00013454192,0.000011935715,0.00037923473,0.0000037590858,0.014753569,0.9806546,0.002000117,0.0010144069],"study_design_scores_gemma":[0.00066674064,0.00013284996,0.000067522495,0.000058986603,0.000076598066,0.00035592666,0.0002862601,0.0002956294,0.005664447,0.99127096,0.0010407564,0.00008330697],"about_ca_topic_score_codex":2.2666654e-7,"about_ca_topic_score_gemma":7.8379617e-7,"teacher_disagreement_score":0.062131323,"about_ca_system_score_codex":0.000017790457,"about_ca_system_score_gemma":0.00007884442,"threshold_uncertainty_score":0.9998183},"labels":[],"label_agreement":null},{"id":"W3158893841","doi":"10.1142/s0219061322500246","title":"Compactness and guessing principles in the Radin extensions","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"Israel Science Foundation","keywords":"Compact space; Mathematics; Extension (predicate logic); Forcing (mathematics); Measure (data warehouse); Diagonal; Sequence (biology); Pure mathematics; Discrete mathematics; Combinatorics; Mathematical analysis; Computer science; Geometry","score_opus":0.14751412271287082,"score_gpt":0.37281362724010175,"score_spread":0.22529950452723094,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3158893841","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9648861,0.00054151047,0.025513364,0.003931076,0.00012324566,0.00018853642,0.0000025634645,0.000013622254,0.0047999476],"genre_scores_gemma":[0.97930354,0.000012841077,0.020125678,0.00039780987,0.00004376137,0.000005318643,2.3179427e-7,0.00000830537,0.00010254186],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99849945,0.00052063906,0.00048397313,0.00007464694,0.00026235645,0.00015893384],"domain_scores_gemma":[0.9967616,0.0027256366,0.00028463465,0.00015352153,0.00003126313,0.00004333197],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002736769,0.000091065485,0.0003240067,0.00008868423,0.00022351669,0.000015475365,0.0002573455,0.000034611945,0.00026458676],"category_scores_gemma":[0.0012309245,0.0000513687,0.000070033086,0.00012025524,0.00016169078,0.00007488147,0.00010681707,0.0005576711,0.0000023098064],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004510752,0.00031908054,0.00008495629,0.000043997898,0.0000131849765,0.00021003121,0.0024475006,0.00010902318,0.00013020911,0.9960807,0.00022866647,0.0002875498],"study_design_scores_gemma":[0.00034754595,0.000120688324,0.00048173533,0.00004230115,0.00003012908,0.0026633025,0.0046899924,0.000525196,0.000017249884,0.99059826,0.00042034808,0.00006322061],"about_ca_topic_score_codex":1.5363655e-7,"about_ca_topic_score_gemma":5.5065874e-7,"teacher_disagreement_score":0.014417378,"about_ca_system_score_codex":0.000034018107,"about_ca_system_score_gemma":0.00002499451,"threshold_uncertainty_score":0.28970394},"labels":[],"label_agreement":null},{"id":"W4221147696","doi":"10.1142/s0219061324500119","title":"Enriching a predicate and tame expansions of the integers","year":2023,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo; Fields Institute for Research in Mathematical Sciences","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Unary operation; Countable set; NIP; Combinatorics; Predicate (mathematical logic); Omega; Closure (psychology); Discrete mathematics; Simple (philosophy); Physics","score_opus":0.05733799660791276,"score_gpt":0.3418844428577605,"score_spread":0.2845464462498477,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4221147696","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.94317627,0.00014102603,0.049172383,0.0037404206,0.00020880387,0.00017519727,0.0000040167,0.00004001287,0.0033418655],"genre_scores_gemma":[0.984263,0.000052635805,0.015112113,0.00011044934,0.00004661327,0.0000023582832,1.12291715e-7,0.000011690816,0.00040100052],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99889815,0.00014243407,0.0005202035,0.00006901749,0.00021958111,0.0001506069],"domain_scores_gemma":[0.99727666,0.002020727,0.0004028391,0.00018072581,0.000053134198,0.000065888365],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011512411,0.00009075802,0.0003343399,0.00008631667,0.00007834076,0.0000057613724,0.00023670221,0.00008233329,0.00009164928],"category_scores_gemma":[0.003615561,0.00004655564,0.00013326088,0.00019131761,0.00028908384,0.000069435366,0.000121171885,0.00034241984,0.000011331767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000030482166,0.00010954605,0.00008937953,0.00018045984,0.00005966148,0.000024703757,0.0018293917,0.000025635458,0.001795778,0.99454975,0.0008149021,0.0004903365],"study_design_scores_gemma":[0.00022822867,0.00007760173,0.00023809064,0.000187344,0.00006123361,0.00022632003,0.0009558249,0.00041364046,0.0004934073,0.9970142,0.0000564362,0.000047670474],"about_ca_topic_score_codex":1.08320236e-7,"about_ca_topic_score_gemma":2.2938951e-7,"teacher_disagreement_score":0.041086752,"about_ca_system_score_codex":0.000011691181,"about_ca_system_score_gemma":0.000028031895,"threshold_uncertainty_score":0.43284255},"labels":[],"label_agreement":null},{"id":"W4283015706","doi":"10.1142/s0219061322500222","title":"Every Δ20 degree is a strong degree of categoricity","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Mathematics; Isomorphism (crystallography); Categorical variable; Combinatorics; Discrete mathematics; Statistics","score_opus":0.0987494393646112,"score_gpt":0.28817270318153587,"score_spread":0.18942326381692468,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4283015706","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07428008,0.00033295638,0.91903967,0.0019322081,0.00047122873,0.00020527493,0.000006637717,0.000045292258,0.003686626],"genre_scores_gemma":[0.82938784,0.0000057285592,0.17011446,0.00027476597,0.00010107591,0.0000061569776,2.5706817e-7,0.000010676261,0.00009902273],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.996581,0.00031568285,0.0011343203,0.0002876601,0.0013079351,0.00037336664],"domain_scores_gemma":[0.9971905,0.00082720985,0.0008219841,0.0006468762,0.00032032037,0.00019313529],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002156532,0.00021148309,0.0006917345,0.0002211834,0.00015263545,0.000066411834,0.0021032905,0.00006463486,0.000662645],"category_scores_gemma":[0.00044480755,0.00016062136,0.00039456924,0.0006221688,0.00011313849,0.00032873623,0.0012601576,0.00063891633,0.00002435972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00020045726,0.0077434652,0.003028455,0.00085227535,0.00053687516,0.0011327252,0.007434234,0.0068221833,0.0017305915,0.83385265,0.01138421,0.12528186],"study_design_scores_gemma":[0.00078812015,0.0016044497,0.0046278215,0.000037955484,0.00006267662,0.0016948791,0.00032182893,0.08725965,0.00070450426,0.9021146,0.000456003,0.00032746178],"about_ca_topic_score_codex":0.0000066174525,"about_ca_topic_score_gemma":8.5421505e-7,"teacher_disagreement_score":0.75510776,"about_ca_system_score_codex":0.00022767378,"about_ca_system_score_gemma":0.00022537162,"threshold_uncertainty_score":0.72554976},"labels":[],"label_agreement":null},{"id":"W4283028983","doi":"10.1142/s0219061322500179","title":"Decomposing Aronszajn lines","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Indecomposable module; Combinatorics; Order (exchange); Axiom; Line (geometry); Class (philosophy); Artificial intelligence; Geometry; Computer science","score_opus":0.05948850429580416,"score_gpt":0.3428607301696931,"score_spread":0.28337222587388894,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4283028983","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9383711,0.00039736586,0.038810447,0.00612437,0.0008634752,0.0002034508,0.000004390104,0.00006385328,0.015161507],"genre_scores_gemma":[0.9267474,0.000008862379,0.071634375,0.0006468092,0.0002497932,0.000011716223,5.0889906e-7,0.000022190101,0.0006783932],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9980672,0.00034155502,0.0008253079,0.00011461333,0.0003883858,0.00026296612],"domain_scores_gemma":[0.99752516,0.0015370926,0.00053082895,0.00021867504,0.00008545367,0.00010281012],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001513279,0.0001387714,0.00051909225,0.00014496117,0.00022533837,0.000015775768,0.00045828897,0.000075034506,0.004194413],"category_scores_gemma":[0.0011404515,0.00010432295,0.00023403189,0.00015194197,0.00013540394,0.00006437855,0.00019575898,0.0006324927,0.000040081293],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000070557435,0.0006989916,0.00010967221,0.00006970086,0.000099577635,0.00042089337,0.00055468356,0.00003191518,0.00083599536,0.99127823,0.0045967316,0.0012330688],"study_design_scores_gemma":[0.00041062234,0.0005052266,0.000027705826,0.000020624375,0.00008208875,0.0058316477,0.00060064933,0.00014495339,0.00037138193,0.99004424,0.0018479719,0.00011286791],"about_ca_topic_score_codex":2.6434836e-7,"about_ca_topic_score_gemma":3.1855802e-7,"teacher_disagreement_score":0.032823924,"about_ca_system_score_codex":0.00007384744,"about_ca_system_score_gemma":0.000072001116,"threshold_uncertainty_score":0.9967159},"labels":[],"label_agreement":null},{"id":"W4308731563","doi":"10.1142/s0219061322500313","title":"The degree of nonminimality is at most 2","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Differential Equations and Dynamical Systems","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Extension (predicate logic); Rank (graph theory); Zero (linguistics); Degree (music); Field (mathematics); Combinatorics; Type (biology); Discrete mathematics; Pure mathematics; Physics; Computer science","score_opus":0.13407451674912912,"score_gpt":0.3405369963680814,"score_spread":0.20646247961895225,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4308731563","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7241953,0.00051473686,0.25552568,0.0027815565,0.00049686834,0.0005660367,0.00006851455,0.00002958979,0.015821751],"genre_scores_gemma":[0.98443484,0.000012602892,0.014051885,0.00008389557,0.00006528546,0.00001209491,7.006899e-7,0.000015145376,0.0013235301],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9977454,0.00018694215,0.0010638735,0.00008817694,0.0007324596,0.00018316793],"domain_scores_gemma":[0.99644744,0.0020772712,0.0009412171,0.00028181876,0.00016655315,0.000085669824],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0012934173,0.00011102166,0.0004220604,0.000041757336,0.00031550386,0.000016662692,0.000391066,0.00003837655,0.0011498046],"category_scores_gemma":[0.0012113551,0.00006112085,0.00024026982,0.00017430658,0.00010995642,0.00004878297,0.0002528864,0.00025790045,0.000013242251],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00016769969,0.0007271486,0.00012402133,0.00019321458,0.00011811793,0.000017638207,0.0005585506,0.00006335363,0.0011304854,0.9904902,0.003417854,0.0029917264],"study_design_scores_gemma":[0.00038094886,0.00029950426,0.00015414334,0.000030455774,0.00006334112,0.00017265178,0.00044444363,0.002313212,0.00021887777,0.9944491,0.0013914402,0.00008192338],"about_ca_topic_score_codex":0.0000011491111,"about_ca_topic_score_gemma":0.0000019265383,"teacher_disagreement_score":0.26023957,"about_ca_system_score_codex":0.00012754998,"about_ca_system_score_gemma":0.000037834678,"threshold_uncertainty_score":0.99976325},"labels":[],"label_agreement":null},{"id":"W4383875884","doi":"10.1142/s0219061324500028","title":"Degrees of categoricity and treeable degrees","year":2023,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Mathematics; Corollary; Combinatorics; Pure mathematics; Physics","score_opus":0.04522237817459328,"score_gpt":0.2756657799506974,"score_spread":0.23044340177610412,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4383875884","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.34600616,0.0003925429,0.64930546,0.0017026064,0.00027856504,0.0001630673,0.0000017803516,0.00010543498,0.0020444111],"genre_scores_gemma":[0.78412724,0.000054946075,0.21556766,0.000036570793,0.0000851096,0.000002004224,1.8482837e-7,0.000008012352,0.000118269236],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99814516,0.00011833339,0.00072407967,0.00019324009,0.0005428899,0.00027631343],"domain_scores_gemma":[0.9978274,0.0010542222,0.00037946433,0.00033750432,0.00024225455,0.00015911579],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0016235483,0.00014899422,0.00052834034,0.0002156755,0.00005844715,0.00007532259,0.0008134798,0.000078700294,0.00004160429],"category_scores_gemma":[0.00075556803,0.000099135796,0.0001510239,0.0006172329,0.00013970991,0.00029782695,0.0004327234,0.00021286105,0.000037365447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000054295026,0.0015912539,0.0055942093,0.0010505453,0.00022420786,0.00058986875,0.0033293418,0.008264795,0.0030762076,0.89552844,0.003555211,0.07714161],"study_design_scores_gemma":[0.00041570023,0.00058400555,0.01813137,0.000068225825,0.000028062565,0.000503054,0.00012176115,0.2818123,0.00046771637,0.6976049,0.00009254696,0.00017036374],"about_ca_topic_score_codex":0.000004853928,"about_ca_topic_score_gemma":0.0000024328274,"teacher_disagreement_score":0.43812108,"about_ca_system_score_codex":0.000034733315,"about_ca_system_score_gemma":0.00006526725,"threshold_uncertainty_score":0.40426406},"labels":[],"label_agreement":null},{"id":"W4403714180","doi":"10.1142/s0219061324500326","title":"Higher dimensional chain conditions","year":2024,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Chain (unit); Mathematics; Physics","score_opus":0.026741755615223628,"score_gpt":0.28029606004736235,"score_spread":0.2535543044321387,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4403714180","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.03459124,0.00071488926,0.93813485,0.018674986,0.0015699533,0.0000714443,0.0000020959826,0.00011320668,0.006127325],"genre_scores_gemma":[0.96393627,0.0000027094925,0.034562822,0.00049615785,0.00028603495,0.000001250106,4.117298e-7,0.0000043059526,0.0007100446],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99920756,0.000034985773,0.00030343857,0.00008750083,0.00025667663,0.00010982589],"domain_scores_gemma":[0.9993305,0.000371742,0.00007052945,0.00008750949,0.000053022697,0.00008669578],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00032530073,0.00006689459,0.00014012442,0.00009416555,0.00003845549,0.00011939336,0.00025693112,0.00003131582,0.0003525673],"category_scores_gemma":[0.000051369752,0.000042189244,0.000115085146,0.00015346194,0.000031355077,0.00027176875,0.00006603731,0.00014847127,0.00032457316],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000013389074,0.0000592425,8.1489463e-7,0.000024412377,0.000019117826,0.0001272712,0.00007266999,0.00010510976,0.00058257737,0.9901613,0.00573611,0.003110047],"study_design_scores_gemma":[0.00009379731,0.000094183255,0.00024638156,0.00010779198,0.000010137739,0.0004260549,0.0000028188551,0.044229798,0.0001306526,0.9525752,0.0020230443,0.000060104594],"about_ca_topic_score_codex":1.4376585e-7,"about_ca_topic_score_gemma":2.3781636e-8,"teacher_disagreement_score":0.929345,"about_ca_system_score_codex":0.000026188616,"about_ca_system_score_gemma":0.000060293263,"threshold_uncertainty_score":0.41718397},"labels":[],"label_agreement":null},{"id":"W4416529092","doi":"10.1142/s0219061325500254","title":"Generic dichotomy for homomorphisms for E0ℕ","year":2025,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Concordia University","funders":"","keywords":"Homomorphism; Equivalence relation; Equivalence (formal languages); Borel equivalence relation; Prime (order theory); Projection (relational algebra); Relation (database)","score_opus":0.07588066086222772,"score_gpt":0.3851589531945514,"score_spread":0.3092782923323237,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4416529092","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.011979844,0.00030330752,0.98103285,0.0014486803,0.00032627417,0.00055703736,0.000011070577,0.000026250784,0.0043146666],"genre_scores_gemma":[0.15541434,0.000032742584,0.83788365,0.0011436644,0.00033444146,0.00013060126,0.0000022616898,0.000035490644,0.0050228294],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987001,0.00005670914,0.0007272744,0.00012259887,0.00013112457,0.0002622358],"domain_scores_gemma":[0.995172,0.0039135837,0.00038669287,0.00020222904,0.00025077624,0.00007471616],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011194504,0.0001543502,0.0005877097,0.00013210777,0.00011912437,0.000015752052,0.00029640383,0.00015326688,0.00013024196],"category_scores_gemma":[0.0033865578,0.00010568551,0.00035544153,0.00011037121,0.00014135196,0.00008117862,0.000034822366,0.00018374022,0.0000080668715],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00020340244,0.00027908807,0.0000035863309,0.00043213,0.000113659924,0.000008281288,0.000067953006,0.000009693426,0.00046659625,0.99013376,0.0069418713,0.0013399785],"study_design_scores_gemma":[0.0012253361,0.00030097782,0.0000052365867,0.000120590405,0.00020324664,0.00009347704,0.00012931971,0.00051260006,0.0015993576,0.9907945,0.004910532,0.00010485821],"about_ca_topic_score_codex":2.3578217e-8,"about_ca_topic_score_gemma":1.3855369e-7,"teacher_disagreement_score":0.1434345,"about_ca_system_score_codex":0.000046418038,"about_ca_system_score_gemma":0.000067927314,"threshold_uncertainty_score":0.430973},"labels":[],"label_agreement":null},{"id":"W4417070239","doi":"10.1142/s0219061325500266","title":"Almost real closed fields with real analytic structure","year":2025,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Real line; Real number; Residue field; Regular polygon; Ordered field; Global analytic function; Real analysis; Field (mathematics)","score_opus":0.024746865854414147,"score_gpt":0.33925750805946786,"score_spread":0.3145106422050537,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4417070239","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.71916956,0.00011046584,0.16558625,0.0027304587,0.0002791463,0.0003106303,0.000009179398,0.00007348776,0.11173086],"genre_scores_gemma":[0.9416095,0.000041274736,0.05606113,0.00029526025,0.0001139109,0.0000016644686,9.615372e-7,0.000015041472,0.001861276],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99852544,0.00013276028,0.00066930027,0.0001441168,0.00027056976,0.00025780252],"domain_scores_gemma":[0.99764705,0.0013746957,0.00039889698,0.0003071351,0.00017466318,0.00009753536],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00052517926,0.00019543318,0.0006384936,0.00014621069,0.00009408245,0.000019994208,0.00031432966,0.00023268235,0.00056258193],"category_scores_gemma":[0.00075368147,0.00011534732,0.00015015961,0.00021884231,0.00020762582,0.00010478653,0.000049782393,0.00058108225,0.000009422129],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00031290218,0.00018433011,0.00017551499,0.0002361733,0.00018010891,0.00020452689,0.0002936324,0.00004042303,0.00020758301,0.99643993,0.0012117916,0.0005131052],"study_design_scores_gemma":[0.0007560704,0.00034005177,0.00031700463,0.00016799588,0.0002461357,0.00033537397,0.00039040123,0.00015448447,0.00042693064,0.99667054,0.000072997274,0.000122038306],"about_ca_topic_score_codex":9.3725333e-7,"about_ca_topic_score_gemma":0.000009238046,"teacher_disagreement_score":0.22243996,"about_ca_system_score_codex":0.00005725027,"about_ca_system_score_gemma":0.000107269014,"threshold_uncertainty_score":0.6159878},"labels":[],"label_agreement":null}]}