{"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":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.23456104,0.016353257,0.6732817,0.010327211,0.0013464502,0.00009126682,0.00056856294,0.0006844427,0.0627861],"genre_scores_gemma":[0.9147515,0.0033237983,0.07233539,0.001169702,0.0008979555,0.00013983373,0.0004389278,0.00022597,0.0067169056],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99283665,0.0030751287,0.0005174526,0.00096777204,0.0019795883,0.0006233957],"domain_scores_gemma":[0.99277264,0.0038737908,0.00084719487,0.0011589824,0.0008871484,0.0004602645],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0052170437,0.001049782,0.0014723879,0.0025373106,0.0033616293,0.005177168,0.0022793673,0.0016937089,0.0019015209],"category_scores_gemma":[0.010406733,0.00102695,0.002043184,0.0034188726,0.009207826,0.015293122,0.0056841527,0.0060326955,0.00038567182],"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.000028728982,0.000009355977,0.0004667786,0.00007784497,0.000012838132,0.000093347175,0.000471794,0.00082400435,0.000353993,0.993471,0.00042713145,0.003763104],"study_design_scores_gemma":[0.000010766238,0.000033046737,0.00021778194,0.000038847993,0.000022622306,0.00016180969,0.00013734405,0.0026740276,0.0005510876,0.99007905,0.006060924,0.000012758525],"about_ca_topic_score_codex":0.0012411872,"about_ca_topic_score_gemma":0.00091224944,"teacher_disagreement_score":0.0052170437,"about_ca_system_score_codex":0.004162519,"about_ca_system_score_gemma":0.001560456,"threshold_uncertainty_score":0.030201316},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7415501,0.0014508304,0.089772575,0.0032309128,0.00024837832,0.00005609472,0.00020958457,0.00021107434,0.16327044],"genre_scores_gemma":[0.98899674,0.00031555066,0.0052052555,0.0001500833,0.00010636969,0.000020240503,0.00008301432,0.00001678179,0.0051060105],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99965346,0.000048483565,0.000015576286,0.000064716274,0.000098858465,0.00011886662],"domain_scores_gemma":[0.99903286,0.00040714006,0.00011513455,0.000091843176,0.00015578848,0.00019727663],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005225395,0.00046360344,0.00041833144,0.0010887515,0.001674122,0.0017530541,0.0005659997,0.00066952145,0.0048398394],"category_scores_gemma":[0.0016987191,0.00026161975,0.00048584698,0.000608211,0.0033108692,0.005950623,0.0036951855,0.0014941599,0.00038422082],"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.000021677706,0.000015146385,0.0006932002,0.000050691015,0.000005882008,0.00012942665,0.00033905593,0.0002663863,0.0019153018,0.9934301,0.0004307385,0.0027024332],"study_design_scores_gemma":[0.000013228161,0.00003718636,0.0010357077,0.000023470307,0.0000120413,0.00018972869,0.0003665066,0.0018686437,0.00219357,0.9905628,0.0036847028,0.000012318295],"about_ca_topic_score_codex":0.00075865845,"about_ca_topic_score_gemma":0.0006043115,"teacher_disagreement_score":0.0048398394,"about_ca_system_score_codex":0.00068418274,"about_ca_system_score_gemma":0.00037006894,"threshold_uncertainty_score":0.016190886},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.736102,0.002603077,0.17654222,0.0062737693,0.0002978165,0.00012346834,0.0003510992,0.00023107592,0.07747546],"genre_scores_gemma":[0.9726176,0.00080457336,0.018002037,0.00031058525,0.0002341692,0.00010258545,0.00021384926,0.000032075783,0.0076825665],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99828535,0.0006816562,0.000104007086,0.00024141655,0.0004065779,0.0002810675],"domain_scores_gemma":[0.99732107,0.0017171159,0.00023671657,0.0002720813,0.00023869742,0.00021430966],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003235142,0.00057735963,0.0007596116,0.0015355013,0.0019416107,0.0037944359,0.00094302284,0.0014188633,0.004313203],"category_scores_gemma":[0.0047125886,0.00044553343,0.0011993033,0.0013192181,0.009394742,0.009903243,0.004074224,0.0034451312,0.00041218215],"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.000004536486,0.000009151333,0.00010671291,0.000011715153,0.0000030717188,0.000043174347,0.00016797957,0.0005464384,0.00013859537,0.99826235,0.00010817334,0.00059804035],"study_design_scores_gemma":[0.000014502266,0.000010247599,0.000077099256,0.000008729766,0.0000023812288,0.000040740004,0.000115356335,0.002766016,0.00016709679,0.99578345,0.0010097183,0.0000047653994],"about_ca_topic_score_codex":0.001512728,"about_ca_topic_score_gemma":0.0010823807,"teacher_disagreement_score":0.004313203,"about_ca_system_score_codex":0.0026031183,"about_ca_system_score_gemma":0.0013355414,"threshold_uncertainty_score":0.018886983},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.411473,0.0002650125,0.34227395,0.0020908639,0.0015081055,0.00034146805,0.00038727606,0.0020282564,0.23963206],"genre_scores_gemma":[0.8939512,0.00017312726,0.074660875,0.00059385534,0.0002801188,0.00019161614,0.00031506893,0.0005481127,0.029285932],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9994356,0.00010816041,0.000024579776,0.00016026087,0.00014433544,0.00012714692],"domain_scores_gemma":[0.9997253,0.000036620964,0.00003399389,0.000057711022,0.00005790795,0.00008850217],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00041296874,0.0006092846,0.00057235395,0.0010688927,0.0014617641,0.0019426146,0.00084126805,0.00084207044,0.012697254],"category_scores_gemma":[0.00079620816,0.00033203434,0.00068256597,0.00056953373,0.0028236022,0.0027125385,0.0021685264,0.0016792103,0.0027375657],"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.000056435754,0.00003783667,0.00013779089,0.000037056892,0.000006471419,0.00028075534,0.00031629842,0.0004512943,0.004730189,0.9827922,0.001923906,0.009229731],"study_design_scores_gemma":[0.00006841333,0.00008116175,0.00019029672,0.000015789103,0.0000126885225,0.0005026867,0.0003200854,0.004312276,0.008205325,0.9754108,0.010830281,0.000050287465],"about_ca_topic_score_codex":0.00030563757,"about_ca_topic_score_gemma":0.0003522562,"teacher_disagreement_score":0.012697254,"about_ca_system_score_codex":0.0005501736,"about_ca_system_score_gemma":0.0006063227,"threshold_uncertainty_score":0.042476535},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.086977944,0.00074487255,0.79350215,0.0011872539,0.00032194625,0.00010113326,0.00027935454,0.0010358519,0.115849584],"genre_scores_gemma":[0.85905784,0.00070286304,0.096040495,0.0003291155,0.00031183095,0.00029551986,0.00036692488,0.00035071367,0.042544637],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9972083,0.00057197467,0.00015465195,0.0008681963,0.0007518164,0.0004450467],"domain_scores_gemma":[0.9952088,0.0016763256,0.0003660789,0.0014130049,0.00075836317,0.0005773905],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0021826166,0.0011446691,0.0010143071,0.002045251,0.0026116003,0.004279842,0.0015620458,0.0013526505,0.008693548],"category_scores_gemma":[0.007889077,0.0006320878,0.0019327989,0.0012597175,0.0053010327,0.010045841,0.006518351,0.003884063,0.0020157872],"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.000027417309,0.000019162137,0.00040467308,0.00003432135,0.000008099898,0.00008543444,0.00022587508,0.0012835568,0.0007681364,0.99109674,0.0007966575,0.005250008],"study_design_scores_gemma":[0.000015300973,0.000064061605,0.00050994375,0.000030919902,0.000026400827,0.000411144,0.00016054939,0.029574124,0.0039619845,0.95250016,0.01271684,0.000028550021],"about_ca_topic_score_codex":0.0012330731,"about_ca_topic_score_gemma":0.0010745304,"teacher_disagreement_score":0.008693548,"about_ca_system_score_codex":0.0015195662,"about_ca_system_score_gemma":0.0010880636,"threshold_uncertainty_score":0.029082835},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7048042,0.0016690126,0.20108616,0.0029468646,0.0002571289,0.00007654509,0.00052164856,0.0003697473,0.088268794],"genre_scores_gemma":[0.9775398,0.0003726583,0.010644732,0.00017216899,0.0001655086,0.000045768844,0.00017634367,0.000024980982,0.010858171],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99950707,0.000107061096,0.000022823206,0.00009428774,0.00018288931,0.00008578932],"domain_scores_gemma":[0.9994217,0.00023067542,0.000093905044,0.000080667,0.000072112605,0.00010094334],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00076812087,0.000603769,0.0007477115,0.0015053835,0.0011203303,0.0029785947,0.0009085386,0.0008198914,0.0032240683],"category_scores_gemma":[0.0015001319,0.0003114972,0.00088463246,0.0008999171,0.0031061692,0.006179868,0.0018432365,0.0016330952,0.00033858942],"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.000009747978,0.0000075748676,0.00014934018,0.000013811268,0.0000036935376,0.000026730697,0.00011914866,0.00063134136,0.00033870593,0.9979285,0.00019224588,0.00057911745],"study_design_scores_gemma":[0.00001533576,0.000015276613,0.00017146097,0.0000081164735,0.0000052511855,0.0000708981,0.000068568,0.0047023566,0.00027305295,0.9935191,0.0011445502,0.000005886312],"about_ca_topic_score_codex":0.0013687446,"about_ca_topic_score_gemma":0.0009552808,"teacher_disagreement_score":0.0032240683,"about_ca_system_score_codex":0.002173464,"about_ca_system_score_gemma":0.0011969255,"threshold_uncertainty_score":0.01576972},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5792232,0.0004930261,0.35626101,0.0019256794,0.00009168657,0.000094118026,0.000386897,0.0010623385,0.06046198],"genre_scores_gemma":[0.97827965,0.00009672676,0.015919292,0.00016393382,0.00005878884,0.000050237784,0.00015537812,0.00014377733,0.0051322114],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99760395,0.00048463477,0.00016017263,0.00076474895,0.0006031133,0.00038340763],"domain_scores_gemma":[0.9884597,0.0057386304,0.00124625,0.0028249936,0.00094629946,0.00078411977],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0022307264,0.0006756484,0.0011597427,0.0009989638,0.0017061456,0.0030273527,0.0014873892,0.0012032539,0.0053201984],"category_scores_gemma":[0.0118501885,0.00072820135,0.0017210771,0.0006681561,0.0068679396,0.008858949,0.003834483,0.003518435,0.0007029655],"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.00008662396,0.000025311754,0.0016599117,0.000046710295,0.000022073556,0.00027420194,0.0011965221,0.0026534095,0.0012495568,0.9890627,0.00045305496,0.003269748],"study_design_scores_gemma":[0.000030812927,0.000038207854,0.0003629544,0.000017431881,0.00002808081,0.00021364987,0.0002893421,0.014270265,0.0016260019,0.98030937,0.0027925079,0.00002141816],"about_ca_topic_score_codex":0.0014856877,"about_ca_topic_score_gemma":0.0013624966,"teacher_disagreement_score":0.0053201984,"about_ca_system_score_codex":0.0014899443,"about_ca_system_score_gemma":0.0008596437,"threshold_uncertainty_score":0.017797828},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.61375654,0.0030283665,0.25878602,0.0028295692,0.0001652928,0.000050083017,0.0004539254,0.00043632518,0.120493956],"genre_scores_gemma":[0.98089176,0.00034116372,0.01242846,0.00013400667,0.00007576728,0.000038511524,0.00015458604,0.000039846404,0.005895863],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985837,0.00033751762,0.00008019116,0.0002950728,0.00043184144,0.00027161557],"domain_scores_gemma":[0.997491,0.0011881571,0.00039253896,0.00033800432,0.00027683357,0.00031348536],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0017383181,0.00041084638,0.0006397104,0.0018261558,0.0032363075,0.002064297,0.00075536605,0.00074537704,0.0039388575],"category_scores_gemma":[0.0039191996,0.0004520887,0.0012104523,0.0011350206,0.005144307,0.0059043537,0.0034403428,0.0015089593,0.00037316754],"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.000024819077,0.000010364282,0.0006179743,0.00002476928,0.000008142066,0.0000870624,0.00039676417,0.0008299824,0.00061636214,0.9944149,0.00033514862,0.0026336894],"study_design_scores_gemma":[0.000010102185,0.000015610143,0.00063751,0.000023699338,0.000013512081,0.00022748533,0.00020115064,0.004023374,0.0010879548,0.98796064,0.00578162,0.00001717309],"about_ca_topic_score_codex":0.0018573285,"about_ca_topic_score_gemma":0.0013058187,"teacher_disagreement_score":0.0039388575,"about_ca_system_score_codex":0.0029583164,"about_ca_system_score_gemma":0.0008799705,"threshold_uncertainty_score":0.021464169},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.840362,0.0007270254,0.12322898,0.003109855,0.00014722138,0.000049350198,0.00037915612,0.00016786372,0.03182846],"genre_scores_gemma":[0.9869615,0.00012430694,0.009917928,0.00021736238,0.00017048055,0.00007903246,0.00017614936,0.000020147387,0.0023330736],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.996209,0.00091954356,0.00026471337,0.0010429247,0.0009614949,0.0006023268],"domain_scores_gemma":[0.9887418,0.006681228,0.0011697438,0.0010462133,0.0008375124,0.0015235202],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0032879564,0.00056151865,0.0009507586,0.0019558214,0.0021947715,0.0037574142,0.0012944303,0.0012717661,0.006771223],"category_scores_gemma":[0.008369559,0.00059035444,0.0013484276,0.00093913195,0.0058729867,0.009312326,0.005067912,0.0030905865,0.0004394167],"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.00018734245,0.00008196406,0.0044680717,0.00009633984,0.0000329991,0.00018056143,0.0004298761,0.0010521329,0.0046053724,0.98265487,0.0009805429,0.0052300002],"study_design_scores_gemma":[0.000061425606,0.00017441498,0.0026513184,0.000046972847,0.000042203155,0.0007113766,0.00040106726,0.015628474,0.004856349,0.97250134,0.002884585,0.000040519895],"about_ca_topic_score_codex":0.00019051992,"about_ca_topic_score_gemma":0.00013790754,"teacher_disagreement_score":0.006771223,"about_ca_system_score_codex":0.0015408803,"about_ca_system_score_gemma":0.00054760353,"threshold_uncertainty_score":0.02265203},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5693242,0.0008635345,0.3623587,0.0018575197,0.00008995897,0.0000904765,0.0002268313,0.0004194209,0.06476943],"genre_scores_gemma":[0.94642484,0.00019415448,0.04514856,0.00020031109,0.0000621358,0.00008465349,0.0001266705,0.000068811845,0.0076897456],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99819344,0.0006142466,0.00013589287,0.00046449678,0.00035407793,0.00023781213],"domain_scores_gemma":[0.9936366,0.003471158,0.0007104414,0.0012806385,0.0005758083,0.00032540274],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0034481005,0.0004701418,0.0006886084,0.0012612969,0.001422321,0.0018591904,0.0011076982,0.0010177856,0.0039724545],"category_scores_gemma":[0.009499702,0.00057045626,0.0014030488,0.00058640196,0.005855246,0.007715445,0.0050234636,0.0025881715,0.0005560942],"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.000035995265,0.000017110253,0.0005362903,0.00004309586,0.000008488077,0.0001286866,0.00047783586,0.0026842086,0.0011964624,0.9911033,0.00017755025,0.0035910374],"study_design_scores_gemma":[0.000020406762,0.00006322591,0.00060519984,0.000043456275,0.000013928604,0.00018384295,0.00018465103,0.018777762,0.0018507566,0.97519433,0.0030302573,0.000032219396],"about_ca_topic_score_codex":0.00053166825,"about_ca_topic_score_gemma":0.000684501,"teacher_disagreement_score":0.0039724545,"about_ca_system_score_codex":0.001383383,"about_ca_system_score_gemma":0.0005748889,"threshold_uncertainty_score":0.018235505},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.67308325,0.00038417027,0.2758846,0.0011062443,0.00007630646,0.000084581,0.00027614465,0.0009374683,0.048167203],"genre_scores_gemma":[0.9626109,0.00014802876,0.029885437,0.00014502202,0.00006264216,0.00005473159,0.00014471737,0.00007994743,0.0068685864],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99873775,0.00028313827,0.00008107113,0.00032438998,0.00033903925,0.00023461819],"domain_scores_gemma":[0.9973579,0.0012951408,0.00030007074,0.000558177,0.00028909635,0.00019945737],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0012764868,0.00044158832,0.0005034001,0.0012696281,0.0012703236,0.0016667021,0.0007041724,0.00053061167,0.0030156388],"category_scores_gemma":[0.0031898967,0.00047507774,0.0010116675,0.00075151905,0.004095234,0.0059091025,0.003699942,0.0016616463,0.0003403565],"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.00010942576,0.000031564006,0.0009004699,0.000066703855,0.000016120812,0.0003496824,0.0014205694,0.0017152408,0.0077322056,0.97795725,0.00030370225,0.009397126],"study_design_scores_gemma":[0.000060390666,0.00024049725,0.0018225694,0.000050009978,0.00010584791,0.0006081045,0.00087059155,0.021867547,0.027935525,0.92806315,0.018319892,0.000055783406],"about_ca_topic_score_codex":0.0007135509,"about_ca_topic_score_gemma":0.00085399527,"teacher_disagreement_score":0.0030156388,"about_ca_system_score_codex":0.0014474094,"about_ca_system_score_gemma":0.0004911349,"threshold_uncertainty_score":0.010501742},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7253863,0.00080075796,0.15259229,0.004188883,0.0003071645,0.0001787549,0.0010430723,0.0006095288,0.114893295],"genre_scores_gemma":[0.97446334,0.00021509468,0.013432538,0.00034308824,0.0001196737,0.000088054556,0.00034709438,0.00005152828,0.010939568],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99823207,0.00027348878,0.00015569002,0.0004725555,0.00046350894,0.0004028111],"domain_scores_gemma":[0.99288636,0.002487736,0.00066500576,0.0010463408,0.0015571329,0.0013574937],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014378622,0.00047693212,0.0004982473,0.0013570194,0.0014315193,0.0022863636,0.0007227155,0.00078076246,0.006294082],"category_scores_gemma":[0.004569557,0.00042777698,0.0009318668,0.0008768143,0.0043423614,0.005953789,0.004095045,0.0014911565,0.00085028406],"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.0001579274,0.00005108873,0.004700443,0.00014555227,0.000028157965,0.000206906,0.0008455579,0.0014149562,0.008873967,0.97171175,0.0013918655,0.010471851],"study_design_scores_gemma":[0.000052377018,0.00016462897,0.005175526,0.000037866757,0.000040093455,0.00070699,0.0007647589,0.0031962197,0.0060258913,0.95302963,0.030746305,0.00005969152],"about_ca_topic_score_codex":0.0005121166,"about_ca_topic_score_gemma":0.0006780725,"teacher_disagreement_score":0.006294082,"about_ca_system_score_codex":0.0011958907,"about_ca_system_score_gemma":0.0006573297,"threshold_uncertainty_score":0.021055758},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7332863,0.00025417208,0.19826603,0.00028030146,0.00009446071,0.00007668952,0.00027247888,0.00066225283,0.06680714],"genre_scores_gemma":[0.9411079,0.00017566184,0.035882354,0.000120448734,0.0000700196,0.00004876669,0.00044167237,0.00024083834,0.021912219],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99928635,0.00007673273,0.000041619118,0.00019932397,0.0002361883,0.00015979364],"domain_scores_gemma":[0.99910235,0.0001338762,0.00012718565,0.00023002009,0.0002607757,0.00014568494],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00039586055,0.0004658192,0.00037075102,0.0013925651,0.0009707883,0.0019884147,0.0005950848,0.00036715125,0.0077115246],"category_scores_gemma":[0.0008507991,0.00032093556,0.0005537571,0.00073305157,0.00197557,0.005459262,0.0015015734,0.0010614208,0.001078],"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.000095691204,0.0000621203,0.0013439225,0.000056462606,0.000012537025,0.00028450228,0.00095706497,0.0020685934,0.015355318,0.96382713,0.00043483995,0.0155018065],"study_design_scores_gemma":[0.000034758876,0.00013871817,0.0017781021,0.00003990255,0.000037715257,0.0005302813,0.0010258789,0.019551333,0.014438866,0.9379825,0.024398757,0.000043197393],"about_ca_topic_score_codex":0.0012081423,"about_ca_topic_score_gemma":0.0018466735,"teacher_disagreement_score":0.0077115246,"about_ca_system_score_codex":0.0008277809,"about_ca_system_score_gemma":0.00039689307,"threshold_uncertainty_score":0.025797665},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7224291,0.0014242296,0.09960357,0.007168966,0.0007828229,0.00015348189,0.0010754202,0.000999418,0.16636308],"genre_scores_gemma":[0.98236644,0.0002059946,0.005704471,0.00019105551,0.00023992796,0.000042237425,0.00018963797,0.000064926855,0.010995147],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99696356,0.00049216894,0.00029042616,0.000879802,0.00067975617,0.0006941978],"domain_scores_gemma":[0.9933333,0.0028891494,0.00078813575,0.0012927538,0.00095945434,0.0007372084],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0023204696,0.0006905955,0.0010530504,0.001057558,0.0025631494,0.0042604716,0.0016145087,0.0010778824,0.012655669],"category_scores_gemma":[0.0063206144,0.00064311625,0.000899467,0.0007129992,0.0045426865,0.010488136,0.004520275,0.0029530665,0.0016189367],"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.0004485329,0.000089921916,0.0042584827,0.00024835058,0.00004312119,0.0004927369,0.0011057915,0.001035172,0.006302399,0.96199656,0.0017567775,0.022222072],"study_design_scores_gemma":[0.000045964403,0.00013761084,0.002109739,0.00004956958,0.00003940019,0.0014848427,0.0004105923,0.002367967,0.007351356,0.96130556,0.024620585,0.00007681361],"about_ca_topic_score_codex":0.000280635,"about_ca_topic_score_gemma":0.00039796584,"teacher_disagreement_score":0.012655669,"about_ca_system_score_codex":0.0016449819,"about_ca_system_score_gemma":0.0010985725,"threshold_uncertainty_score":0.042337477},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.55134475,0.0015202541,0.36580232,0.0025447924,0.00028983073,0.0001397583,0.0008682704,0.00062434224,0.076865606],"genre_scores_gemma":[0.9786249,0.00025613364,0.014470454,0.00017899847,0.00010517119,0.00006823163,0.00026443132,0.00005795274,0.005973667],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9979234,0.00043793282,0.00016436426,0.0005054406,0.00058604684,0.00038279925],"domain_scores_gemma":[0.9912684,0.0048030466,0.00070710114,0.0011500344,0.0011826925,0.0008885997],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013743221,0.00036062615,0.00041750734,0.0015671804,0.0011240216,0.0024140326,0.00070002634,0.00067588984,0.0062907008],"category_scores_gemma":[0.0062464224,0.000382697,0.00097022136,0.001027681,0.004172261,0.007533859,0.0033669712,0.0023649333,0.00058416335],"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.00006248851,0.000013162114,0.0016465931,0.000084334984,0.0000123065465,0.00006508419,0.0007994471,0.0017744369,0.0023942336,0.9865687,0.00050584273,0.006073463],"study_design_scores_gemma":[0.000022557135,0.00006653105,0.0020326395,0.000038951453,0.000026382879,0.0001988206,0.00050626614,0.00426317,0.0028641063,0.9777689,0.0121750645,0.000036518573],"about_ca_topic_score_codex":0.00057456683,"about_ca_topic_score_gemma":0.0008574578,"teacher_disagreement_score":0.0062907008,"about_ca_system_score_codex":0.0011562158,"about_ca_system_score_gemma":0.0005305535,"threshold_uncertainty_score":0.021044493},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.51521003,0.0012966583,0.32940418,0.0017623792,0.00023375501,0.00019142161,0.0006848769,0.00035968891,0.15085702],"genre_scores_gemma":[0.969724,0.00033283766,0.019919902,0.0002451625,0.00014253621,0.000113782175,0.00031481075,0.00004905443,0.009157882],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9986576,0.0002454595,0.00010088636,0.00031960753,0.00033717885,0.00033931283],"domain_scores_gemma":[0.9954015,0.0018101579,0.0006070146,0.00060584,0.000891824,0.00068352575],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014539805,0.0004645572,0.0005865471,0.0013327955,0.0020498752,0.0023970627,0.0008776309,0.00094532757,0.016273743],"category_scores_gemma":[0.005187311,0.00039755006,0.0010240376,0.0008601328,0.0032483388,0.008145832,0.004738703,0.0019454114,0.0012399843],"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.000028005652,0.000020918053,0.0008268443,0.000037123507,0.000006371741,0.00011258671,0.00021760972,0.0009244228,0.0012899456,0.9942095,0.00033124417,0.0019954627],"study_design_scores_gemma":[0.00002425224,0.00007943635,0.0007133118,0.0000342248,0.000019573925,0.0002749511,0.00037489797,0.01594308,0.004414446,0.9721254,0.005971214,0.000025215862],"about_ca_topic_score_codex":0.0010356042,"about_ca_topic_score_gemma":0.001071866,"teacher_disagreement_score":0.016273743,"about_ca_system_score_codex":0.001666303,"about_ca_system_score_gemma":0.00076306064,"threshold_uncertainty_score":0.054441094},"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":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.368459,0.0026011975,0.22628541,0.011197879,0.0006509918,0.00015523899,0.00087626465,0.0010961476,0.38867778],"genre_scores_gemma":[0.9730099,0.00045815055,0.012546778,0.0012594329,0.00040266718,0.000096651274,0.00046394294,0.000099991,0.011662534],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9973085,0.00051567383,0.0001378859,0.0008452599,0.00068680063,0.000505817],"domain_scores_gemma":[0.9977246,0.0011385327,0.00020326633,0.0002810913,0.00035067188,0.00030190707],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002304588,0.00050438236,0.0008374207,0.002232845,0.0034192333,0.0041052517,0.0008989791,0.0016472114,0.010734676],"category_scores_gemma":[0.004588738,0.00047999265,0.0012150314,0.0012752132,0.0061871377,0.011381151,0.0049098115,0.0039738417,0.0011266308],"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.000013859398,0.000007968762,0.00012741948,0.000019149915,0.000004478681,0.000036857517,0.0001878295,0.0000872878,0.000198407,0.9975591,0.00043506973,0.0013225474],"study_design_scores_gemma":[0.000014215712,0.000009750916,0.00020399329,0.0000146968605,0.000007960736,0.00007770288,0.00012365716,0.00091541087,0.0003690665,0.9935528,0.004702054,0.000008799228],"about_ca_topic_score_codex":0.000683292,"about_ca_topic_score_gemma":0.00050892483,"teacher_disagreement_score":0.010734676,"about_ca_system_score_codex":0.003504296,"about_ca_system_score_gemma":0.0006300387,"threshold_uncertainty_score":0.035911083},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7695916,0.0020946886,0.11925545,0.002547808,0.00022619292,0.00005496703,0.0003360032,0.00023896703,0.105654314],"genre_scores_gemma":[0.9796809,0.0003033782,0.010446436,0.00013452958,0.000105857645,0.00002326666,0.00016204538,0.000025974607,0.009117726],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9994247,0.00012901104,0.000037454767,0.0001446246,0.00016761059,0.000096641474],"domain_scores_gemma":[0.9988789,0.00034553246,0.00023169296,0.00012914916,0.00022183718,0.00019287062],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00082901906,0.0004268804,0.00034574643,0.0011392903,0.0006825715,0.0019874764,0.00038527956,0.00043289366,0.0034578522],"category_scores_gemma":[0.0019686318,0.00022844611,0.00041470097,0.000444727,0.0027902646,0.0047848946,0.0017756232,0.00093763706,0.0004246182],"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.000034389064,0.000012333902,0.00030939476,0.00003410209,0.00000551378,0.00009440453,0.00020176794,0.0003255374,0.0017491102,0.99381655,0.00025947846,0.0031573253],"study_design_scores_gemma":[0.00003275767,0.00005939556,0.00058479095,0.000029370927,0.000012058115,0.0003457396,0.00028982866,0.002742561,0.0027875996,0.9835962,0.009504481,0.000015031647],"about_ca_topic_score_codex":0.0003404063,"about_ca_topic_score_gemma":0.00019656104,"teacher_disagreement_score":0.0034578522,"about_ca_system_score_codex":0.0008960735,"about_ca_system_score_gemma":0.000451574,"threshold_uncertainty_score":0.011567652},"labels":[],"label_agreement":null}]}