{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":18,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":18,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"2768db9c4c78","filters":{"venue":"Journal of Mathematical Logic"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.06397650777725285,"gpt":0.4211088955092033,"spread":0.3571323877319505,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001826624,0.0001286955,0.0004313313,0.0000527282,0.0000725918,0.00002736346,0.0005523367,0.00009990407,0.001094814],"category_scores_gemma":[0.007073278,0.00006443844,0.0002927908,0.0001506839,0.0002486382,0.0001188042,0.00004579549,0.0005908899,0.00002707399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001779046,"about_ca_system_score_gemma":0.00007884442,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.266665e-7,"about_ca_topic_score_gemma":7.837962e-7,"domain_scores_codex":[0.9983018,0.00004913479,0.0007405714,0.00008955408,0.00056746,0.0002514768],"domain_scores_gemma":[0.9927373,0.005891478,0.0004231774,0.0003363162,0.0004921345,0.0001195977],"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.000117644,0.0004478835,0.0001699463,0.0003123783,0.0001345419,0.00001193571,0.0003792347,0.000003759086,0.01475357,0.9806546,0.002000117,0.001014407],"study_design_scores_gemma":[0.0006667406,0.00013285,0.00006752249,0.0000589866,0.00007659807,0.0003559267,0.0002862601,0.0002956294,0.005664447,0.991271,0.001040756,0.00008330697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6906864,0.0000826915,0.2971009,0.002690484,0.0004290277,0.001040005,0.00001376553,0.00002655706,0.007930161],"genre_scores_gemma":[0.7528177,0.00001420453,0.2465202,0.00007767744,0.0001916246,0.00002188486,1.545728e-7,0.00002962316,0.0003269135],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06213132,"threshold_uncertainty_score":0.9998183,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03421159640846577,"gpt":0.3329302607684784,"spread":0.2987186643600127,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008466277,0.0001478919,0.0005614723,0.0001574733,0.00003754492,0.000008948929,0.0002387875,0.0001872128,0.0008039502],"category_scores_gemma":[0.001111288,0.0001002895,0.0001347149,0.000105613,0.0002288284,0.00009274925,0.00004063665,0.0004439011,0.00002844027],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004745456,"about_ca_system_score_gemma":0.000034891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.100473e-7,"about_ca_topic_score_gemma":0.000004415569,"domain_scores_codex":[0.9983872,0.0001688355,0.0008594957,0.0001091441,0.000202312,0.0002729879],"domain_scores_gemma":[0.9978709,0.001458749,0.0003807793,0.0001593777,0.00007302813,0.00005719328],"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.00009926203,0.00026679,0.000306139,0.00006109881,0.00001588761,0.0003278155,0.0001023909,0.00004459993,0.0003818579,0.9972934,0.0009195374,0.0001812769],"study_design_scores_gemma":[0.0006242708,0.0001931716,0.001131698,0.0000373933,0.0000290511,0.00132246,0.0001276641,0.00005439573,0.0004477167,0.9957894,0.0001406979,0.0001020814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9180365,0.0003711662,0.05525984,0.0009823031,0.0002324334,0.0001618627,0.000002448137,0.00003005729,0.02492335],"genre_scores_gemma":[0.9179479,0.00000696058,0.0813885,0.0001406597,0.0001911814,0.000002167761,4.57015e-7,0.00001457283,0.0003075449],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02612866,"threshold_uncertainty_score":0.8802691,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.04136328073075039,"gpt":0.2622433661207339,"spread":0.2208800853899835,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001510102,0.000185439,0.0004201406,0.00003414023,0.0002786808,0.0001793198,0.0004518328,0.00009455924,0.0003395482],"category_scores_gemma":[0.001302432,0.00008465916,0.0002289771,0.0001196421,0.0002581302,0.0001827405,0.00005635728,0.0004396578,0.00008030381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005922444,"about_ca_system_score_gemma":0.00002649519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000182828,"about_ca_topic_score_gemma":0.00001692112,"domain_scores_codex":[0.9979647,0.000195968,0.0009234911,0.0001319223,0.0005172575,0.0002666934],"domain_scores_gemma":[0.9950711,0.003694046,0.0007334079,0.0003169561,0.0001317471,0.00005279917],"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.00001578407,0.0001661077,0.0001726424,0.00003853566,0.00004312536,0.00002069202,0.0002428509,0.000004105717,0.0009346099,0.9938181,0.003692807,0.0008506508],"study_design_scores_gemma":[0.0004151366,0.00008088812,0.0005440486,0.0001322063,0.0001339918,0.0003511976,0.001773679,0.0003062081,0.0003883901,0.994853,0.0009053403,0.0001159826],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8272859,0.0007346644,0.1279554,0.007824438,0.000494596,0.0004646404,0.000009965858,0.00006670929,0.03516366],"genre_scores_gemma":[0.965414,0.00001416798,0.03301686,0.0003530272,0.0009205749,0.000006004477,0.000003283257,0.0000241294,0.0002479754],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1381281,"threshold_uncertainty_score":0.3717815,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03787400244132558,"gpt":0.318535244344913,"spread":0.2806612419035874,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001124031,0.0001514116,0.0004423925,0.00006438379,0.0001246364,0.00002058266,0.0001540229,0.0001225728,0.001125593],"category_scores_gemma":[0.001882709,0.00009083598,0.0001132352,0.0001194256,0.0002027336,0.0001295863,0.00001488943,0.000448697,0.00005876239],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006445037,"about_ca_system_score_gemma":0.00008758136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.819121e-8,"about_ca_topic_score_gemma":6.550238e-7,"domain_scores_codex":[0.9986022,0.0001876714,0.0005488932,0.0001113874,0.0002874019,0.0002624769],"domain_scores_gemma":[0.9979542,0.001257518,0.0003474212,0.0001864428,0.0001084422,0.0001459254],"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.00007113098,0.0003412814,0.00009658346,0.00005616441,0.00007387391,0.00005618022,0.0001001783,0.000005861445,0.000266693,0.9946356,0.004206387,0.00009000253],"study_design_scores_gemma":[0.0006022605,0.0003747794,0.000007863539,0.0000753334,0.00009688565,0.001575383,0.0004320921,0.000008589956,0.0005747086,0.9918099,0.004318369,0.0001238098],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2614095,0.0006208889,0.6787618,0.001055983,0.0002898532,0.0002139847,0.000003917455,0.00005612722,0.05758791],"genre_scores_gemma":[0.893662,0.0000212677,0.1023038,0.0002725971,0.00009403667,0.000005414174,6.233487e-7,0.00003122289,0.003609057],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6322525,"threshold_uncertainty_score":0.9997875,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.07214245178070482,"gpt":0.3258903623101435,"spread":0.2537479105294387,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001917747,0.0003710389,0.001532726,0.000242121,0.00002329478,0.00003178148,0.001076613,0.0004617504,0.0001654273],"category_scores_gemma":[0.004593244,0.0002403873,0.0002549271,0.00009549184,0.0001865464,0.00008735074,0.000547278,0.001633728,0.000006038658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001009556,"about_ca_system_score_gemma":0.0001810279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.905983e-7,"about_ca_topic_score_gemma":0.000001176497,"domain_scores_codex":[0.9969225,0.0002221763,0.001681291,0.0002404201,0.0006492981,0.0002843093],"domain_scores_gemma":[0.9951975,0.001818578,0.001606489,0.0009416455,0.0003085797,0.0001272297],"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.0001385541,0.0004805142,0.00003378718,0.002068317,0.0001168867,0.00007966324,0.0006834946,0.002331779,0.00006893199,0.9935517,0.0001900125,0.0002563525],"study_design_scores_gemma":[0.0006278639,0.000236692,0.00003358684,0.001924157,0.0001513415,0.0001120398,0.00006009939,0.006015692,0.000259899,0.9903294,0.000004622416,0.0002446187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2887232,0.00007267224,0.7074209,0.0002613283,0.0001321331,0.0002709639,0.00001133204,0.00001620832,0.003091178],"genre_scores_gemma":[0.7148187,0.00002716614,0.2847004,0.0001024222,0.0001077448,0.00001105377,8.283105e-7,0.00004430812,0.0001874419],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4260954,"threshold_uncertainty_score":0.9802709,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.06067959421402735,"gpt":0.3381314757060715,"spread":0.2774518814920442,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001356204,0.0004018981,0.001400157,0.0001559498,0.0001096278,0.00008378401,0.0003970825,0.0005153428,0.0003609259],"category_scores_gemma":[0.003108804,0.0002929867,0.0004065962,0.00006772827,0.0003342398,0.0001426274,0.0008470085,0.001561647,0.000008564207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009116033,"about_ca_system_score_gemma":0.0001446614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.120925e-7,"about_ca_topic_score_gemma":0.000002529162,"domain_scores_codex":[0.9973592,0.0002550663,0.001320777,0.0003062123,0.0003927012,0.0003660895],"domain_scores_gemma":[0.9961392,0.001866563,0.001088857,0.0004660628,0.0002309661,0.0002083417],"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.0003162469,0.00117499,0.0001639418,0.00638519,0.0006934117,0.003663738,0.004875636,0.0000794582,0.0007798392,0.9708719,0.0008785393,0.01011708],"study_design_scores_gemma":[0.0004090149,0.0001749449,0.00007155802,0.001126044,0.0003043049,0.003013281,0.001858232,0.000408444,0.0004460981,0.9918193,0.00007496015,0.0002938539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6951528,0.002199976,0.293918,0.001111945,0.0006700936,0.0003897276,0.00001503023,0.00005535718,0.006487134],"genre_scores_gemma":[0.6996338,0.000514545,0.2987505,0.0002386831,0.0003380966,0.00001144541,0.000004234731,0.00006090915,0.0004476883],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02094733,"threshold_uncertainty_score":0.9999523,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.06899874187594827,"gpt":0.3360748217710604,"spread":0.2670760798951121,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009667469,0.0001184585,0.0005938522,0.0001231141,0.00003799342,0.000002183027,0.0002242732,0.0001506204,0.0005487414],"category_scores_gemma":[0.002638206,0.00007854081,0.0001655245,0.000120992,0.0003227438,0.00009355137,0.00003956123,0.0003546083,0.00001488222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000197754,"about_ca_system_score_gemma":0.00004414087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.28951e-7,"about_ca_topic_score_gemma":5.412138e-7,"domain_scores_codex":[0.9984927,0.0001675272,0.0008502203,0.00007617607,0.0002359248,0.0001774324],"domain_scores_gemma":[0.9972753,0.001935962,0.0004313948,0.0001883726,0.0001121192,0.00005684837],"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.0001241035,0.0003621382,0.0001955965,0.0001265407,0.00002973174,0.0001833507,0.001769156,0.00002130274,0.0001170769,0.9967456,0.0002302568,0.000095111],"study_design_scores_gemma":[0.0005203325,0.0002390147,0.0001487893,0.0001096319,0.00002424807,0.0006657479,0.0004903257,0.00004840062,0.001371265,0.9962816,0.00002303759,0.00007756409],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8600298,0.0003341001,0.1155405,0.0004525491,0.0001389626,0.0001249457,0.000001411409,0.00001496466,0.0233628],"genre_scores_gemma":[0.9515637,0.00006381499,0.047817,0.00008921264,0.00005519805,0.000001232192,1.058611e-7,0.00001007523,0.0003996419],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09153394,"threshold_uncertainty_score":0.6008334,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.1475141227128708,"gpt":0.3728136272401018,"spread":0.2252995045272309,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002736769,0.00009106549,0.0003240067,0.00008868423,0.0002235167,0.00001547537,0.0002573455,0.00003461195,0.0002645868],"category_scores_gemma":[0.001230925,0.0000513687,0.00007003309,0.0001202552,0.0001616908,0.00007488147,0.0001068171,0.0005576711,0.000002309806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003401811,"about_ca_system_score_gemma":0.00002499451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.536365e-7,"about_ca_topic_score_gemma":5.506587e-7,"domain_scores_codex":[0.9984995,0.0005206391,0.0004839731,0.00007464694,0.0002623565,0.0001589338],"domain_scores_gemma":[0.9967616,0.002725637,0.0002846346,0.0001535215,0.00003126313,0.00004333197],"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.00004510752,0.0003190805,0.00008495629,0.0000439979,0.00001318498,0.0002100312,0.002447501,0.0001090232,0.0001302091,0.9960807,0.0002286665,0.0002875498],"study_design_scores_gemma":[0.000347546,0.0001206883,0.0004817353,0.00004230115,0.00003012908,0.002663302,0.004689992,0.000525196,0.00001724988,0.9905983,0.0004203481,0.00006322061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9648861,0.0005415105,0.02551336,0.003931076,0.0001232457,0.0001885364,0.000002563464,0.00001362225,0.004799948],"genre_scores_gemma":[0.9793035,0.00001284108,0.02012568,0.0003978099,0.00004376137,0.000005318643,2.317943e-7,0.00000830537,0.0001025419],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01441738,"threshold_uncertainty_score":0.2897039,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.1340745167491291,"gpt":0.3405369963680814,"spread":0.2064624796189523,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001293417,0.0001110217,0.0004220604,0.00004175734,0.0003155039,0.00001666269,0.000391066,0.00003837655,0.001149805],"category_scores_gemma":[0.001211355,0.00006112085,0.0002402698,0.0001743066,0.0001099564,0.00004878297,0.0002528864,0.0002579005,0.00001324225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00012755,"about_ca_system_score_gemma":0.00003783468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001149111,"about_ca_topic_score_gemma":0.000001926538,"domain_scores_codex":[0.9977454,0.0001869422,0.001063874,0.00008817694,0.0007324596,0.0001831679],"domain_scores_gemma":[0.9964474,0.002077271,0.0009412171,0.0002818188,0.0001665531,0.00008566982],"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.0001676997,0.0007271486,0.0001240213,0.0001932146,0.0001181179,0.00001763821,0.0005585506,0.00006335363,0.001130485,0.9904902,0.003417854,0.002991726],"study_design_scores_gemma":[0.0003809489,0.0002995043,0.0001541433,0.00003045577,0.00006334112,0.0001726518,0.0004444436,0.002313212,0.0002188778,0.9944491,0.00139144,0.00008192338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7241953,0.0005147369,0.2555257,0.002781556,0.0004968683,0.0005660367,0.00006851455,0.00002958979,0.01582175],"genre_scores_gemma":[0.9844348,0.00001260289,0.01405189,0.00008389557,0.00006528546,0.00001209491,7.006899e-7,0.00001514538,0.00132353],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2602396,"threshold_uncertainty_score":0.9997633,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Mathematics; Isomorphism (crystallography); Categorical variable; Combinatorics; Discrete mathematics; Statistics","retraction":null,"screen_n_in":null,"score":{"opus":0.0987494393646112,"gpt":0.2881727031815359,"spread":0.1894232638169247,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002156532,0.0002114831,0.0006917345,0.0002211834,0.0001526354,0.00006641183,0.002103291,0.00006463486,0.000662645],"category_scores_gemma":[0.0004448075,0.0001606214,0.0003945692,0.0006221688,0.0001131385,0.0003287362,0.001260158,0.0006389163,0.00002435972],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002276738,"about_ca_system_score_gemma":0.0002253716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006617453,"about_ca_topic_score_gemma":8.54215e-7,"domain_scores_codex":[0.996581,0.0003156828,0.00113432,0.0002876601,0.001307935,0.0003733666],"domain_scores_gemma":[0.9971905,0.0008272098,0.0008219841,0.0006468762,0.0003203204,0.0001931353],"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.0002004573,0.007743465,0.003028455,0.0008522753,0.0005368752,0.001132725,0.007434234,0.006822183,0.001730592,0.8338526,0.01138421,0.1252819],"study_design_scores_gemma":[0.0007881201,0.00160445,0.004627822,0.00003795548,0.00006267662,0.001694879,0.0003218289,0.08725965,0.0007045043,0.9021146,0.000456003,0.0003274618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07428008,0.0003329564,0.9190397,0.001932208,0.0004712287,0.0002052749,0.000006637717,0.00004529226,0.003686626],"genre_scores_gemma":[0.8293878,0.000005728559,0.1701145,0.000274766,0.0001010759,0.000006156978,2.570682e-7,0.00001067626,0.00009902273],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7551078,"threshold_uncertainty_score":0.7255498,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.08096050138831734,"gpt":0.3796880900861431,"spread":0.2987275886978258,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.00248955,0.0003212723,0.001526546,0.0005942825,0.0000367108,0.00001589584,0.0006985599,0.0006154323,0.0006846389],"category_scores_gemma":[0.009764117,0.0002133216,0.0003896113,0.0002507828,0.000370959,0.00006892402,0.0004113079,0.001363093,0.00001913787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008869837,"about_ca_system_score_gemma":0.000118017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.947596e-7,"about_ca_topic_score_gemma":0.000001222717,"domain_scores_codex":[0.9968585,0.0003700505,0.001797783,0.0002257934,0.000437436,0.0003103719],"domain_scores_gemma":[0.9939587,0.003139425,0.002132534,0.0004277048,0.0002480177,0.00009367739],"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.0001695458,0.0004658691,0.0001793228,0.001670879,0.0002341971,0.0001449386,0.0007206471,0.0002498545,0.0001325609,0.9948298,0.0004030636,0.0007993046],"study_design_scores_gemma":[0.0003975421,0.0002356465,0.0001839456,0.0006019032,0.0001691939,0.0002103343,0.0002174785,0.0001915722,0.0007609383,0.9968224,0.00002040292,0.0001886453],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7846289,0.003476325,0.1861001,0.0007427387,0.001376985,0.0007404872,0.00002084944,0.0000625512,0.02285104],"genre_scores_gemma":[0.7555147,0.00008644713,0.2438384,0.00007777471,0.0003241846,0.000003490232,0.000001057468,0.00003100198,0.0001229859],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05773827,"threshold_uncertainty_score":0.9985771,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03277469884826001,"gpt":0.231591965860373,"spread":0.198817267012113,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001154953,0.0001410445,0.0005150879,0.00008889536,0.00003489111,0.00003282225,0.001115315,0.00008985452,0.00005141266],"category_scores_gemma":[0.0006405418,0.00006339829,0.0002323799,0.0002221707,0.0002999034,0.0003554276,0.0003883731,0.0001336546,0.00000263364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003067694,"about_ca_system_score_gemma":0.00007554396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001719141,"about_ca_topic_score_gemma":4.746099e-7,"domain_scores_codex":[0.9981018,0.0002079058,0.0007761241,0.0001741062,0.0005578692,0.00018218],"domain_scores_gemma":[0.997103,0.001292119,0.0006147256,0.0005880723,0.000306633,0.00009539435],"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.00004762009,0.0009048741,0.000358133,0.0005399793,0.0001723558,0.00001984619,0.002269389,0.0003468031,0.02426768,0.8815497,0.000873564,0.08865005],"study_design_scores_gemma":[0.000296656,0.0002059943,0.0009496918,0.0002690398,0.00002251264,0.0001950616,0.00002060492,0.009640574,0.01489734,0.9733735,0.00004323231,0.00008578505],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1671518,0.0002358961,0.8233799,0.008550362,0.00007090997,0.0001461332,0.000002889036,0.00001235657,0.000449805],"genre_scores_gemma":[0.8459701,0.00003529459,0.1537734,0.00012771,0.00003196123,0.000001224641,5.973729e-9,0.000006080198,0.00005428809],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6788183,"threshold_uncertainty_score":0.2585307,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.05948850429580416,"gpt":0.3428607301696931,"spread":0.2833722258738889,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001513279,0.0001387714,0.0005190923,0.0001449612,0.0002253384,0.00001577577,0.000458289,0.00007503451,0.004194413],"category_scores_gemma":[0.001140452,0.0001043229,0.0002340319,0.000151942,0.0001354039,0.00006437855,0.000195759,0.0006324927,0.00004008129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007384744,"about_ca_system_score_gemma":0.00007200112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.643484e-7,"about_ca_topic_score_gemma":3.18558e-7,"domain_scores_codex":[0.9980672,0.000341555,0.0008253079,0.0001146133,0.0003883858,0.0002629661],"domain_scores_gemma":[0.9975252,0.001537093,0.000530829,0.000218675,0.00008545367,0.0001028101],"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.00007055743,0.0006989916,0.0001096722,0.00006970086,0.00009957764,0.0004208934,0.0005546836,0.00003191518,0.0008359954,0.9912782,0.004596732,0.001233069],"study_design_scores_gemma":[0.0004106223,0.0005052266,0.00002770583,0.00002062437,0.00008208875,0.005831648,0.0006006493,0.0001449534,0.0003713819,0.9900442,0.001847972,0.0001128679],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9383711,0.0003973659,0.03881045,0.00612437,0.0008634752,0.0002034508,0.000004390104,0.00006385328,0.01516151],"genre_scores_gemma":[0.9267474,0.000008862379,0.07163437,0.0006468092,0.0002497932,0.00001171622,5.088991e-7,0.0000221901,0.0006783932],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03282392,"threshold_uncertainty_score":0.9967159,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.07588066086222772,"gpt":0.3851589531945514,"spread":0.3092782923323237,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00111945,0.0001543502,0.0005877097,0.0001321078,0.0001191244,0.00001575205,0.0002964038,0.0001532669,0.000130242],"category_scores_gemma":[0.003386558,0.0001056855,0.0003554415,0.0001103712,0.000141352,0.00008117862,0.00003482237,0.0001837402,0.000008066871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004641804,"about_ca_system_score_gemma":0.00006792731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.357822e-8,"about_ca_topic_score_gemma":1.385537e-7,"domain_scores_codex":[0.9987001,0.00005670914,0.0007272744,0.0001225989,0.0001311246,0.0002622358],"domain_scores_gemma":[0.995172,0.003913584,0.0003866929,0.000202229,0.0002507762,0.00007471616],"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.0002034024,0.0002790881,0.000003586331,0.00043213,0.0001136599,0.000008281288,0.00006795301,0.000009693426,0.0004665962,0.9901338,0.006941871,0.001339979],"study_design_scores_gemma":[0.001225336,0.0003009778,0.000005236587,0.0001205904,0.0002032466,0.00009347704,0.0001293197,0.0005126001,0.001599358,0.9907945,0.004910532,0.0001048582],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01197984,0.0003033075,0.9810328,0.00144868,0.0003262742,0.0005570374,0.00001107058,0.00002625078,0.004314667],"genre_scores_gemma":[0.1554143,0.00003274258,0.8378837,0.001143664,0.0003344415,0.0001306013,0.00000226169,0.00003549064,0.005022829],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1434345,"threshold_uncertainty_score":0.430973,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.05733799660791276,"gpt":0.3418844428577605,"spread":0.2845464462498477,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001151241,0.00009075802,0.0003343399,0.00008631667,0.00007834076,0.000005761372,0.0002367022,0.00008233329,0.00009164928],"category_scores_gemma":[0.003615561,0.00004655564,0.0001332609,0.0001913176,0.0002890838,0.00006943537,0.0001211719,0.0003424198,0.00001133177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001169118,"about_ca_system_score_gemma":0.00002803189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.083202e-7,"about_ca_topic_score_gemma":2.293895e-7,"domain_scores_codex":[0.9988981,0.0001424341,0.0005202035,0.00006901749,0.0002195811,0.0001506069],"domain_scores_gemma":[0.9972767,0.002020727,0.0004028391,0.0001807258,0.0000531342,0.00006588837],"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.00003048217,0.000109546,0.00008937953,0.0001804598,0.00005966148,0.00002470376,0.001829392,0.00002563546,0.001795778,0.9945498,0.0008149021,0.0004903365],"study_design_scores_gemma":[0.0002282287,0.00007760173,0.0002380906,0.000187344,0.00006123361,0.00022632,0.0009558249,0.0004136405,0.0004934073,0.9970142,0.0000564362,0.00004767047],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9431763,0.000141026,0.04917238,0.003740421,0.0002088039,0.0001751973,0.0000040167,0.00004001287,0.003341865],"genre_scores_gemma":[0.984263,0.00005263581,0.01511211,0.0001104493,0.00004661327,0.000002358283,1.122917e-7,0.00001169082,0.0004010005],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04108675,"threshold_uncertainty_score":0.4328426,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.02474686585441415,"gpt":0.3392575080594679,"spread":0.3145106422050537,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005251793,0.0001954332,0.0006384936,0.0001462107,0.00009408245,0.00001999421,0.0003143297,0.0002326823,0.0005625819],"category_scores_gemma":[0.0007536815,0.0001153473,0.0001501596,0.0002188423,0.0002076258,0.0001047865,0.00004978239,0.0005810822,0.000009422129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005725027,"about_ca_system_score_gemma":0.000107269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.372533e-7,"about_ca_topic_score_gemma":0.000009238046,"domain_scores_codex":[0.9985254,0.0001327603,0.0006693003,0.0001441168,0.0002705698,0.0002578025],"domain_scores_gemma":[0.997647,0.001374696,0.000398897,0.0003071351,0.0001746632,0.00009753536],"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.0003129022,0.0001843301,0.000175515,0.0002361733,0.0001801089,0.0002045269,0.0002936324,0.00004042303,0.000207583,0.9964399,0.001211792,0.0005131052],"study_design_scores_gemma":[0.0007560704,0.0003400518,0.0003170046,0.0001679959,0.0002461357,0.000335374,0.0003904012,0.0001544845,0.0004269306,0.9966705,0.00007299727,0.0001220383],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7191696,0.0001104658,0.1655862,0.002730459,0.0002791463,0.0003106303,0.000009179398,0.00007348776,0.1117309],"genre_scores_gemma":[0.9416095,0.00004127474,0.05606113,0.0002952603,0.0001139109,0.000001664469,9.615372e-7,0.00001504147,0.001861276],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.22244,"threshold_uncertainty_score":0.6159878,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Chain (unit); Mathematics; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.02674175561522363,"gpt":0.2802960600473623,"spread":0.2535543044321387,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003253007,0.00006689459,0.0001401244,0.00009416555,0.00003845549,0.0001193934,0.0002569311,0.00003131582,0.0003525673],"category_scores_gemma":[0.00005136975,0.00004218924,0.0001150851,0.0001534619,0.00003135508,0.0002717687,0.00006603731,0.0001484713,0.0003245732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002618862,"about_ca_system_score_gemma":0.00006029326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.437658e-7,"about_ca_topic_score_gemma":2.378164e-8,"domain_scores_codex":[0.9992076,0.00003498577,0.0003034386,0.00008750083,0.0002566766,0.0001098259],"domain_scores_gemma":[0.9993305,0.000371742,0.00007052945,0.00008750949,0.0000530227,0.00008669578],"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.000001338907,0.0000592425,8.148946e-7,0.00002441238,0.00001911783,0.0001272712,0.00007266999,0.0001051098,0.0005825774,0.9901613,0.00573611,0.003110047],"study_design_scores_gemma":[0.00009379731,0.00009418325,0.0002463816,0.000107792,0.00001013774,0.0004260549,0.000002818855,0.0442298,0.0001306526,0.9525752,0.002023044,0.00006010459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03459124,0.0007148893,0.9381348,0.01867499,0.001569953,0.0000714443,0.000002095983,0.0001132067,0.006127325],"genre_scores_gemma":[0.9639363,0.000002709492,0.03456282,0.0004961579,0.0002860349,0.000001250106,4.117298e-7,0.000004305953,0.0007100446],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.929345,"threshold_uncertainty_score":0.417184,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Mathematics; Corollary; Combinatorics; Pure mathematics; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.04522237817459328,"gpt":0.2756657799506974,"spread":0.2304434017761041,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001623548,0.0001489942,0.0005283403,0.0002156755,0.00005844715,0.00007532259,0.0008134798,0.00007870029,0.00004160429],"category_scores_gemma":[0.000755568,0.0000991358,0.0001510239,0.0006172329,0.0001397099,0.0002978269,0.0004327234,0.0002128611,0.00003736545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003473332,"about_ca_system_score_gemma":0.00006526725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004853928,"about_ca_topic_score_gemma":0.000002432827,"domain_scores_codex":[0.9981452,0.0001183334,0.0007240797,0.0001932401,0.0005428899,0.0002763134],"domain_scores_gemma":[0.9978274,0.001054222,0.0003794643,0.0003375043,0.0002422546,0.0001591158],"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.00005429503,0.001591254,0.005594209,0.001050545,0.0002242079,0.0005898688,0.003329342,0.008264795,0.003076208,0.8955284,0.003555211,0.07714161],"study_design_scores_gemma":[0.0004157002,0.0005840056,0.01813137,0.00006822583,0.00002806256,0.000503054,0.0001217611,0.2818123,0.0004677164,0.6976049,0.00009254696,0.0001703637],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3460062,0.0003925429,0.6493055,0.001702606,0.000278565,0.0001630673,0.000001780352,0.000105435,0.002044411],"genre_scores_gemma":[0.7841272,0.00005494607,0.2155677,0.00003657079,0.0000851096,0.000002004224,1.848284e-7,0.000008012352,0.0001182692],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4381211,"threshold_uncertainty_score":0.4042641,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}