{"meta":{"query_hash":"ba0f047b2bdd","filters":{"venue":"Applied Categorical Structures"},"cohort_total":52,"direct_labels_cover":1,"predictions_cover":52,"exported":52,"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/ba0f047b2bdd","api":"https://metacan.xera.ac/api/v1/cohort?venue=Applied+Categorical+Structures"},"results":[{"id":"W1483027366","doi":"10.1023/a:1015270120061","title":"Weak Factorization Systems and Topological Functors","year":2002,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":63,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Functor; Factorization; Pure mathematics; Homotopy category; Homotopy; Injective function; Functor category; Category theory; Adjoint functors; Theory of computation; Algorithm","score_opus":0.04161707765319333,"score_gpt":0.2676941165178878,"score_spread":0.2260770388646945,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1483027366","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8490112,0.000965845,0.07138627,0.00090153515,0.0018105534,0.0009084681,0.000006583068,0.0006433893,0.07436619],"genre_scores_gemma":[0.99872917,0.000036725076,0.00023545948,0.00011449696,0.00026609388,0.000042033644,0.0000062637405,0.000017582883,0.0005521913],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99877924,0.000071881725,0.0002884928,0.00035187247,0.00017535262,0.00033314544],"domain_scores_gemma":[0.9991572,0.0003660351,0.00009399665,0.00023195567,0.000022661117,0.00012818941],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00008442435,0.00021310651,0.00034005934,0.0000521354,0.0001747064,0.000038398994,0.00016543968,0.00037701047,0.001048897],"category_scores_gemma":[0.000118419804,0.00015473926,0.000039306193,0.0001341378,0.0002444262,0.000033499695,0.00007272234,0.00027668185,0.000037272872],"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.000009557624,0.000027013375,0.0006808468,0.000021164917,0.000030559735,0.000007771305,0.00019526832,0.0000028701993,0.0003821375,0.994844,0.001954141,0.0018446551],"study_design_scores_gemma":[0.00030764294,0.00007683251,0.002120391,4.0253357e-7,0.000036300717,0.000097478696,0.00024129602,0.00008410629,0.0002040641,0.99213916,0.0044818274,0.00021050092],"about_ca_topic_score_codex":0.000016748907,"about_ca_topic_score_gemma":0.0000030707859,"teacher_disagreement_score":0.14971799,"about_ca_system_score_codex":0.000038597304,"about_ca_system_score_gemma":0.0000052960736,"threshold_uncertainty_score":0.9998643},"labels":[],"label_agreement":null},{"id":"W1600216066","doi":"10.1023/a:1026106305210","title":"On Quantales and Spectra of C*-Algebras","year":2003,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":34,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada; Grantová Agentura České Republiky","keywords":"Mathematics; Functor; Noncommutative geometry; Unital; Pure mathematics; Commutative property; Invariant (physics); Generalization; Equivalence (formal languages); Equivalence of categories; Spectrum (functional analysis); Discrete mathematics; Algebra over a field; Mathematical analysis","score_opus":0.03312976923896764,"score_gpt":0.32310811248562565,"score_spread":0.289978343246658,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1600216066","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.96925795,0.00014732617,0.010486149,0.00004075962,0.000055874596,0.0003533415,0.0000029212536,0.00006303273,0.019592673],"genre_scores_gemma":[0.99438685,0.0000190794,0.005422727,0.000048468828,0.000028195347,0.000016616905,0.0000017730417,0.00003009801,0.000046208417],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99875575,0.000043932178,0.00024551703,0.0002985892,0.00036177214,0.0002944395],"domain_scores_gemma":[0.99893314,0.0005513957,0.00006704807,0.0002935611,0.000031211082,0.00012366085],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001300065,0.00018441457,0.00029999882,0.00007240397,0.00008439853,0.000020547308,0.00014834767,0.00010275516,0.0002692967],"category_scores_gemma":[0.00031968392,0.00013868335,0.00004032602,0.00020648322,0.00017781963,0.000029948522,0.00003889423,0.00025782367,0.000011217354],"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.000037730293,0.000039393755,0.00009289394,0.0000446529,0.00002183018,0.0000051493485,0.000098907694,0.000007669204,0.00921491,0.98915374,0.00026662016,0.001016473],"study_design_scores_gemma":[0.00036403717,0.00008316657,0.00067260175,9.2630376e-7,0.000010405952,0.000013789693,0.00013600248,0.0000043554055,0.072532594,0.9258725,0.00016869175,0.00014089982],"about_ca_topic_score_codex":0.0000039859556,"about_ca_topic_score_gemma":0.0000046463338,"teacher_disagreement_score":0.06331769,"about_ca_system_score_codex":0.00004219233,"about_ca_system_score_gemma":0.00002967146,"threshold_uncertainty_score":0.5655343},"labels":[],"label_agreement":null},{"id":"W1837209612","doi":"10.1007/s10485-016-9465-8","title":"Quantales, Generalised Premetrics and Free Locales","year":2016,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Fields Institute for Research in Mathematical Sciences; York University; University of Toronto","funders":"","keywords":"Functor; Surjective function; Mathematics; Morphism; Distributive property; Extension (predicate logic); Topological space; Metric space; Pure mathematics; Coproduct; Space (punctuation); Discrete mathematics; Combinatorics; Category of topological spaces; Topology (electrical circuits); Functional analysis; Computer science; Topological tensor product","score_opus":0.03713171781580595,"score_gpt":0.28903099861594717,"score_spread":0.25189928080014123,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1837209612","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.47307122,0.0008950968,0.5155725,0.00083540025,0.0003143381,0.00047199268,0.000025201003,0.00036386,0.00845037],"genre_scores_gemma":[0.9930638,0.00008713394,0.006179194,0.00018777119,0.00015597182,0.000020540128,0.0000035425833,0.000025596071,0.00027643063],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.998932,0.000040415278,0.00022769689,0.00032317155,0.00017401567,0.00030268924],"domain_scores_gemma":[0.99861896,0.0007534818,0.00008344481,0.00039519012,0.000025090845,0.00012383384],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000117211144,0.00019784602,0.00026719403,0.000072468734,0.00013333239,0.0000130547505,0.00026212572,0.00019753572,0.00016341748],"category_scores_gemma":[0.00033255672,0.00011518306,0.000041084102,0.00014666391,0.0003458953,0.000048888724,0.00014493192,0.00013498125,0.00001187989],"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.000056314297,0.00001627149,0.00017124007,0.000017700762,0.000025867015,0.0000067487654,0.000054701104,0.0000010202585,0.0056260442,0.9767291,0.0023112644,0.014983708],"study_design_scores_gemma":[0.0007510669,0.000029037274,0.0009505958,8.6659304e-7,0.000026707987,0.000023792009,0.00004719536,0.0000033335143,0.007019621,0.98874646,0.0022048394,0.00019649835],"about_ca_topic_score_codex":0.000004435421,"about_ca_topic_score_gemma":0.000011068581,"teacher_disagreement_score":0.5199926,"about_ca_system_score_codex":0.00004210569,"about_ca_system_score_gemma":0.000014702715,"threshold_uncertainty_score":0.46970287},"labels":[],"label_agreement":null},{"id":"W1953189605","doi":"10.1023/a:1025712521140","title":"Undecidability of the Free Adjoint Construction","year":2003,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Dalhousie University; Saint Mary's University","funders":"","keywords":"Undecidable problem; Abacus (architecture); Halting problem; Equivalence relation; Relation (database); Mathematics; Theory of computation; Equivalence (formal languages); Discrete mathematics; Combinatorics; Computer science; Decidability; Algorithm","score_opus":0.007395653299448827,"score_gpt":0.19286012096342933,"score_spread":0.1854644676639805,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1953189605","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.19491354,0.00011897308,0.77627015,0.00048787118,0.0012037917,0.0004325481,0.000003085038,0.00020051039,0.026369529],"genre_scores_gemma":[0.9915257,0.0000019325566,0.008242584,0.0001742446,0.000028554725,0.000010046888,4.7342394e-7,0.000005371043,0.000011071241],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988893,0.00007709727,0.00024424584,0.00029987964,0.00028938302,0.00020007935],"domain_scores_gemma":[0.99862343,0.00012975236,0.000121513236,0.0010321216,0.00003464719,0.000058514204],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00019461886,0.00012706856,0.0001715329,0.000026383135,0.00012272011,0.000041178748,0.0010062727,0.00008375021,0.00006794806],"category_scores_gemma":[0.000107693115,0.00007705168,0.00008661631,0.00039329514,0.00021625086,0.00006670656,0.00023346633,0.00016163276,0.000004262519],"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.0000024939086,0.000013092914,0.0002872505,0.0000063037182,0.00000797309,3.05649e-7,0.00006776239,0.000060479633,0.0035423147,0.9858996,0.00027406975,0.009838302],"study_design_scores_gemma":[0.00020199463,0.0000111427,0.013129895,3.8374608e-7,0.0000053996623,0.000020264715,0.000055494667,0.00011787158,0.04476125,0.9407144,0.0008867156,0.00009516151],"about_ca_topic_score_codex":0.000019077428,"about_ca_topic_score_gemma":0.0000032700657,"teacher_disagreement_score":0.7966122,"about_ca_system_score_codex":0.000048191734,"about_ca_system_score_gemma":0.00005831304,"threshold_uncertainty_score":0.3142076},"labels":[],"label_agreement":null},{"id":"W1974131495","doi":"10.1007/s10485-007-9111-6","title":"A Topologist’s View of Chu Spaces","year":2007,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":21,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics","score_opus":0.03039959187862704,"score_gpt":0.31617446501599134,"score_spread":0.28577487313736427,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1974131495","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.83365375,0.0005236417,0.063380264,0.00081495073,0.0006688601,0.0005477089,0.0000033227502,0.00025317047,0.1001543],"genre_scores_gemma":[0.9962515,0.000018190758,0.0030817254,0.0002637398,0.00016598876,0.000013708179,0.000004051926,0.000017494891,0.00018357194],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985768,0.00003930226,0.00045409205,0.00028931268,0.00020517559,0.00043527057],"domain_scores_gemma":[0.99868035,0.0006321411,0.00018733014,0.00035837304,0.000038541406,0.00010327409],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00038181362,0.0002039484,0.00046921667,0.00007827114,0.00008740018,0.000008548241,0.00034478467,0.0003247704,0.000749377],"category_scores_gemma":[0.0001558902,0.00015432839,0.00009326764,0.00022375185,0.000497158,0.00001946427,0.000095872834,0.00028752044,0.000019724113],"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.00005571628,0.00004618829,0.00033664826,0.000047344813,0.00004972634,0.000022030525,0.00026904035,6.3530587e-7,0.0021536478,0.98448235,0.00089929154,0.011637402],"study_design_scores_gemma":[0.000285347,0.0000763613,0.0027373233,6.56908e-7,0.000038058803,0.000059662052,0.00028793953,6.939273e-7,0.021777311,0.9702475,0.0043277284,0.0001614317],"about_ca_topic_score_codex":0.000044431963,"about_ca_topic_score_gemma":0.000051519844,"teacher_disagreement_score":0.16259775,"about_ca_system_score_codex":0.00003622851,"about_ca_system_score_gemma":0.00003076486,"threshold_uncertainty_score":0.8205153},"labels":[],"label_agreement":null},{"id":"W1978955535","doi":"10.1007/s10485-007-9069-4","title":"Perfect MV-algebras and their Logic","year":2007,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Theory of computation; Mathematics; Łukasiewicz logic; Algebra over a field; Pure mathematics; Discrete mathematics; Many-valued logic; Computer science; Algorithm; Theoretical computer science; Substructural logic","score_opus":0.010664704866595456,"score_gpt":0.23026695239363706,"score_spread":0.2196022475270416,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1978955535","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07382245,0.00045483792,0.9137276,0.00019623611,0.00015892673,0.00016326373,2.6672552e-7,0.00026782093,0.011208639],"genre_scores_gemma":[0.99266934,0.000018391172,0.005980218,0.0011150811,0.00016347245,0.000007305072,0.000002562424,0.000010739381,0.000032910524],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985991,0.000019752402,0.00020413798,0.000521607,0.00017424145,0.00048117],"domain_scores_gemma":[0.99913466,0.0002107133,0.000065652355,0.0003729281,0.000023155788,0.00019291847],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00019961703,0.00024079517,0.00023040127,0.000072410745,0.00021113864,0.00009359203,0.00056456524,0.00012546367,0.00003122144],"category_scores_gemma":[0.000020318577,0.00015488763,0.00005049383,0.0003510535,0.00011546684,0.00012101919,0.00026485216,0.00025728717,0.000022006672],"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.000007932076,0.000009210793,0.00009937061,0.000004465398,0.0000076751985,0.000012207197,0.0001853544,0.000017008788,0.0031275072,0.90285176,0.000107093736,0.093570404],"study_design_scores_gemma":[0.00021893313,0.00005789799,0.013442571,2.2596986e-7,0.0000032051776,0.00006232937,0.00007272103,0.00014343539,0.006855503,0.97634315,0.0025609205,0.00023908739],"about_ca_topic_score_codex":0.0000065985687,"about_ca_topic_score_gemma":0.0000047105245,"teacher_disagreement_score":0.91884685,"about_ca_system_score_codex":0.0000369315,"about_ca_system_score_gemma":0.000016420827,"threshold_uncertainty_score":0.63161343},"labels":[],"label_agreement":null},{"id":"W1987556478","doi":"10.1023/b:apcs.0000018144.87456.10","title":"One Setting for All: Metric, Topology, Uniformity, Approach Structure","year":2004,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":85,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Monad (category theory); Functor; Generalization; Algebraic structure; Topological space; Metric space; Pure mathematics; Category of topological spaces; Algebraic number; Lattice (music); Discrete mathematics; Topology (electrical circuits); Set (abstract data type); Algebra over a field; Combinatorics; Computer science; Topological tensor product","score_opus":0.0317298674077464,"score_gpt":0.30178916661174393,"score_spread":0.2700592992039975,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1987556478","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.36186102,0.00031710727,0.6068727,0.003841358,0.0010547834,0.0030499725,0.00007494408,0.0008624637,0.022065671],"genre_scores_gemma":[0.9257262,0.0000070913698,0.07245254,0.0009778755,0.00045802392,0.0001464929,0.00011334505,0.000058227346,0.000060246384],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9974972,0.000060418304,0.00056412374,0.00069869304,0.0003010497,0.0008784946],"domain_scores_gemma":[0.99834645,0.0005816345,0.00024714688,0.0005466025,0.00007503901,0.00020315705],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002774076,0.00041172616,0.0007280634,0.0001874854,0.00034006004,0.000042177744,0.00065795827,0.00077949796,0.00018236127],"category_scores_gemma":[0.00031711065,0.00035775895,0.0001724459,0.00039113814,0.00039611943,0.00006035751,0.0001980575,0.00066493434,0.000009681906],"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.00007392186,0.00010817884,0.000064748245,0.00009598195,0.00022292268,0.0000053023114,0.00039181052,0.00011801258,0.0011949135,0.9925752,0.0005413967,0.0046076034],"study_design_scores_gemma":[0.0015340142,0.00013048164,0.0006924801,6.875235e-7,0.00017361477,0.00012973738,0.00027682917,0.000014524396,0.008156603,0.98748463,0.0010007613,0.00040565993],"about_ca_topic_score_codex":0.000052632655,"about_ca_topic_score_gemma":0.00004107136,"teacher_disagreement_score":0.5638651,"about_ca_system_score_codex":0.00019176851,"about_ca_system_score_gemma":0.00011515564,"threshold_uncertainty_score":0.99988747},"labels":[],"label_agreement":null},{"id":"W1989749889","doi":"10.1007/s10485-010-9232-1","title":"Universality of Categories of Coalgebras","year":2010,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Subcategory; Mathematics; Functor; Universality (dynamical systems); Concrete category; Pure mathematics; Functor category; Cartesian closed category; Theory of computation; Adjoint functors; Category of sets; Discrete mathematics; Algorithm","score_opus":0.011201317275819231,"score_gpt":0.2270782724036542,"score_spread":0.21587695512783495,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1989749889","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.14091328,0.000096005584,0.8306946,0.00012740713,0.0012798953,0.00038330545,0.0000014006835,0.00020652107,0.026297553],"genre_scores_gemma":[0.99842334,0.0000025471247,0.0014192159,0.000023718407,0.00007708158,0.00000551971,0.0000042627767,0.0000068301692,0.000037466976],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988302,0.000026093536,0.0003080501,0.00029139346,0.00031366412,0.0002305987],"domain_scores_gemma":[0.998944,0.00008708771,0.00022027349,0.0005507265,0.00010289662,0.000095054536],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001723486,0.0001463298,0.00030684308,0.00006315003,0.000064337204,0.000033103646,0.0008623638,0.00015068712,0.000038344147],"category_scores_gemma":[0.000027066704,0.00010995446,0.00007568218,0.00036556472,0.0002449023,0.000089347675,0.00018908222,0.00022131194,0.0000064529895],"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.0000074420504,0.000024648853,0.0009849046,0.000032646807,0.000019879473,0.0000020680382,0.000408143,0.000005552283,0.015241246,0.9750903,0.00013264037,0.008050518],"study_design_scores_gemma":[0.00022989152,0.000047918027,0.007771991,7.100238e-8,0.000010252736,0.000008329172,0.00009544776,0.000049999246,0.051131718,0.93689793,0.003615434,0.000141005],"about_ca_topic_score_codex":0.0004174959,"about_ca_topic_score_gemma":0.000047393158,"teacher_disagreement_score":0.8575101,"about_ca_system_score_codex":0.000013541568,"about_ca_system_score_gemma":0.000074776646,"threshold_uncertainty_score":0.44838127},"labels":[],"label_agreement":null},{"id":"W1993757853","doi":"10.1007/s10485-008-9169-9","title":"Lawvere Completion and Separation Via Closure","year":2008,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":39,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Closure (psychology); Monad (category theory); Theory of computation; Completeness (order theory); Combinatorics; Separation (statistics); Set (abstract data type); Discrete mathematics; Pure mathematics; Algebra over a field; Functor; Algorithm; Mathematical analysis; Computer science","score_opus":0.03444970641738673,"score_gpt":0.30022624599226805,"score_spread":0.26577653957488134,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1993757853","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9530186,0.000079023936,0.03648811,0.00034525894,0.00016250793,0.0002573057,0.0000017612123,0.00014918075,0.00949824],"genre_scores_gemma":[0.9980082,0.0000195682,0.0013397923,0.00027813113,0.00017087317,0.000027074126,0.000020482785,0.000014331739,0.00012154468],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990955,0.000049397713,0.00021609195,0.00026453967,0.000150636,0.00022384776],"domain_scores_gemma":[0.9994595,0.00017363887,0.00007719327,0.00018641938,0.000025795884,0.00007745405],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000071829985,0.00015914929,0.00026241742,0.000037016147,0.0002684445,0.000009182988,0.00010825291,0.00024060304,0.0002641892],"category_scores_gemma":[0.000029269082,0.00013159994,0.000036610127,0.00009618274,0.00027206002,0.000032015472,0.00004832915,0.00022854665,0.0000267151],"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.000032935415,0.000021090427,0.0011829371,0.000014078679,0.000025564193,0.000017749253,0.0003165386,0.000002146095,0.0014202391,0.99331963,0.0024855065,0.0011615609],"study_design_scores_gemma":[0.00037949183,0.000052325628,0.01790422,2.082792e-7,0.00002435351,0.00045866903,0.00003294097,0.000027121296,0.0012452583,0.9778795,0.0018420846,0.00015378144],"about_ca_topic_score_codex":0.00001932776,"about_ca_topic_score_gemma":0.000016529271,"teacher_disagreement_score":0.04498959,"about_ca_system_score_codex":0.000026813768,"about_ca_system_score_gemma":0.000016240867,"threshold_uncertainty_score":0.536649},"labels":[],"label_agreement":null},{"id":"W2006569317","doi":"10.1023/b:apcs.0000049312.36783.0a","title":"Facets of Descent III: Monadic Descent for Rings and Algebras","year":2004,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":40,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Descent (aeronautics); Theory of computation; Mathematics; Pure mathematics; Algebra over a field; Computer science; Physics; Algorithm","score_opus":0.028291487027773687,"score_gpt":0.2667564826290049,"score_spread":0.23846499560123124,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2006569317","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.94911695,0.00025560465,0.049128693,0.00014461543,0.000108714674,0.0007139063,0.000005187189,0.00008506221,0.00044125592],"genre_scores_gemma":[0.9902702,0.00004371768,0.00929273,0.00012435926,0.00012993628,0.00006114014,0.00000857004,0.000042165706,0.000027202494],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99847746,0.000009126669,0.0004162947,0.00039970662,0.0002805681,0.0004168684],"domain_scores_gemma":[0.9991836,0.0001322299,0.00017547907,0.00027380284,0.00005181995,0.00018304618],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00011613992,0.00027397225,0.0004449796,0.000070082075,0.00013976738,0.000038158338,0.00022116724,0.00015712301,0.000025921225],"category_scores_gemma":[0.000063908046,0.00022193216,0.00009785395,0.00011848646,0.00015760564,0.00004574744,0.00008703297,0.00016958255,0.0000027427075],"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.00006426986,0.0000725142,0.00017418002,0.00019780341,0.0000539831,0.000001933142,0.00056718057,0.000035503133,0.009156589,0.9838089,0.0003561391,0.005511036],"study_design_scores_gemma":[0.0014959588,0.00006577437,0.0056661046,0.0000056805675,0.00006359497,0.000013361165,0.00014129475,0.000011333287,0.060146086,0.9316446,0.0004995889,0.00024661783],"about_ca_topic_score_codex":0.00008314495,"about_ca_topic_score_gemma":0.000022317547,"teacher_disagreement_score":0.052164264,"about_ca_system_score_codex":0.00010440346,"about_ca_system_score_gemma":0.000044890046,"threshold_uncertainty_score":0.9050131},"labels":[],"label_agreement":null},{"id":"W2008276841","doi":"10.1007/s10485-004-3884-7","title":"Configurations in Coproducts of Priestley Spaces","year":2005,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"Univerzita Karlova v Praze","keywords":"Coproduct; Mathematics; Combinatorics; Variety (cybernetics); Bounded function; Discrete mathematics; Context (archaeology); Type (biology); Partially ordered set; Order (exchange); Pure mathematics; Mathematical analysis","score_opus":0.010660538582705728,"score_gpt":0.23607148993089533,"score_spread":0.22541095134818961,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2008276841","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.24453835,0.00063510286,0.7272758,0.004001142,0.00031414436,0.00055654155,0.0000018162326,0.00024458958,0.022432512],"genre_scores_gemma":[0.9870361,0.000010338283,0.012603634,0.0002035972,0.00008737261,0.000013187569,0.0000029471526,0.000004458593,0.000038347578],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99910325,0.00001548568,0.00021488324,0.00028586667,0.00017606553,0.00020442711],"domain_scores_gemma":[0.99947065,0.000059467846,0.00007766064,0.00030676575,0.00003102044,0.000054420932],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000059075413,0.00011053288,0.00017238119,0.00006805486,0.00004793653,0.000032814878,0.0004290431,0.000057205234,0.000038666814],"category_scores_gemma":[0.000026444892,0.00008709912,0.000022869222,0.00041698723,0.00007528129,0.00014951744,0.000077323726,0.00012949239,0.0000146171315],"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.000003681156,0.000018637895,0.000069246154,0.0000043663226,0.0000028949748,0.0000015264231,0.00028405045,0.0014798519,0.0076609636,0.9636294,0.0001869165,0.026658444],"study_design_scores_gemma":[0.00036374276,0.0000356369,0.01793312,6.5129865e-7,0.0000032374207,0.000009525505,0.00006623483,0.00058002124,0.04554982,0.92679024,0.008459905,0.00020789393],"about_ca_topic_score_codex":0.000016801556,"about_ca_topic_score_gemma":0.000025528252,"teacher_disagreement_score":0.74249774,"about_ca_system_score_codex":0.000030831143,"about_ca_system_score_gemma":0.00003848697,"threshold_uncertainty_score":0.3551799},"labels":[],"label_agreement":null},{"id":"W2008302628","doi":"10.1007/s10485-014-9375-6","title":"Von Neumann Categories","year":2014,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Von Neumann architecture; Von Neumann algebra; Affiliated operator; Abelian von Neumann algebra; Von Neumann's theorem; Mathematics; Pure mathematics; Centralizer and normalizer; Algebra over a field; Category theory; Field (mathematics); Hilbert space; Jordan algebra; Algebra representation","score_opus":0.018924077797427198,"score_gpt":0.27477762372760556,"score_spread":0.25585354593017834,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2008302628","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.6598177,0.000117699834,0.13452895,0.0019540824,0.0019255487,0.00068427797,0.0000031306781,0.0010417365,0.19992687],"genre_scores_gemma":[0.996927,0.0000050814674,0.0012729828,0.00067696796,0.0004854788,0.00006290063,0.000013813845,0.000036956386,0.0005188014],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99835265,0.00009594606,0.00035719344,0.00043977937,0.00023380738,0.0005206251],"domain_scores_gemma":[0.99863476,0.00054579566,0.00012412402,0.0005081697,0.000037449834,0.00014969167],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00021677204,0.00028885037,0.0004444241,0.00007194095,0.00024413248,0.00003591343,0.00042995167,0.0003454346,0.00068024197],"category_scores_gemma":[0.00021286945,0.00022775479,0.0000905668,0.00018159342,0.0003337925,0.000038557242,0.000118893106,0.0004098082,0.00013993621],"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.000027057404,0.000027370306,0.00012404613,0.000022726384,0.000036585618,0.000006108609,0.0002595591,0.000003635059,0.00076483376,0.9865037,0.004286972,0.007937391],"study_design_scores_gemma":[0.0003478762,0.00007131376,0.0014188109,2.6767648e-7,0.00004162532,0.000056393576,0.00008555608,0.000018231563,0.0029458404,0.98011637,0.014632227,0.00026547915],"about_ca_topic_score_codex":0.000028213077,"about_ca_topic_score_gemma":0.000021476344,"teacher_disagreement_score":0.3371093,"about_ca_system_score_codex":0.00004221924,"about_ca_system_score_gemma":0.000027771941,"threshold_uncertainty_score":0.9287571},"labels":[],"label_agreement":null},{"id":"W2014469781","doi":"10.1007/s10485-010-9241-0","title":"Deep Inference and Probabilistic Coherence Spaces","year":2010,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Sequent calculus; Functor; Linear logic; Noncommutative geometry; Sequent; Tensor product; Category theory; Rule of inference; Algebra over a field; Inference; Pure mathematics; Discrete mathematics; Artificial intelligence; Computer science; Mathematical proof","score_opus":0.009786615218030535,"score_gpt":0.2348890658194487,"score_spread":0.22510245060141817,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2014469781","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.2468885,0.00033305763,0.69725746,0.00043426687,0.0011783798,0.0006647696,7.665294e-7,0.00061253033,0.052630264],"genre_scores_gemma":[0.99403775,0.000008106889,0.0055837985,0.0001226004,0.0001430735,0.000038828588,0.000002067103,0.000008092306,0.00005569257],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99865735,0.00002063367,0.00017376008,0.00055142347,0.00022855029,0.00036829265],"domain_scores_gemma":[0.9989436,0.00023785116,0.00008028116,0.00045662784,0.00006239329,0.00021924362],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00010986174,0.00021896126,0.00022101184,0.000045649595,0.00019809412,0.00034090973,0.00080242334,0.00015640617,0.000067209025],"category_scores_gemma":[0.00016122524,0.0001568997,0.000030935335,0.00027361207,0.00022853853,0.00013590162,0.00034619856,0.00041414966,0.00003880824],"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.0000033102701,0.000014664438,0.0007667917,0.000013038382,0.000005709969,0.0000043812433,0.00037884808,0.000020849706,0.0032448298,0.96311635,0.00010039982,0.032330837],"study_design_scores_gemma":[0.00021818148,0.00004548093,0.02288006,4.077647e-7,0.000008373217,0.000031257692,0.00002361739,0.0040430976,0.0010976123,0.96944624,0.0019181592,0.0002875088],"about_ca_topic_score_codex":0.000040997835,"about_ca_topic_score_gemma":0.000113168375,"teacher_disagreement_score":0.7471492,"about_ca_system_score_codex":0.000016943095,"about_ca_system_score_gemma":0.000059753056,"threshold_uncertainty_score":0.63981843},"labels":[],"label_agreement":null},{"id":"W2018783833","doi":"10.1007/s10485-007-9112-5","title":"Continuous Duality of Limits and Colimits of Topological Abelian Groups","year":2007,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Banach Space Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Mathematics; Abelian group; Direct limit; Limit (mathematics); Inverse limit; Pure mathematics; Duality (order theory); Topology (electrical circuits); Locally compact space; Topological group; Combinatorics; Mathematical analysis","score_opus":0.02984164688890277,"score_gpt":0.3137698149271434,"score_spread":0.2839281680382406,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2018783833","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9619021,0.00014333168,0.032178838,0.000055599627,0.00006901,0.00033521964,0.000006271831,0.000065992266,0.0052436735],"genre_scores_gemma":[0.9930433,0.000016959502,0.0067416513,0.00006311854,0.00006721941,0.0000060934944,0.0000034514082,0.00002036711,0.000037809572],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984812,0.000043005264,0.0005355475,0.0002871591,0.00030208938,0.00035097008],"domain_scores_gemma":[0.9981365,0.0010199808,0.00031870176,0.00030963848,0.00007775757,0.00013743067],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00047533348,0.00021332555,0.00060348347,0.00006880294,0.000055218596,0.0000058863197,0.00020115706,0.00022275203,0.000056656303],"category_scores_gemma":[0.00033948454,0.00016252448,0.00006574643,0.00021530964,0.0004811955,0.000030962517,0.00009951813,0.00022996127,0.0000012289581],"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.0001745025,0.000072409035,0.0009225935,0.00010029559,0.000036419646,0.0000068304053,0.00032670225,0.0000027938936,0.0225565,0.97088295,0.00010149587,0.004816488],"study_design_scores_gemma":[0.0005215777,0.00011166418,0.029513266,0.0000018296893,0.000043867858,0.000014346545,0.00060996047,0.0000015409048,0.059419144,0.9095099,0.000091641494,0.00016128569],"about_ca_topic_score_codex":0.000019112373,"about_ca_topic_score_gemma":0.000021338074,"teacher_disagreement_score":0.061373092,"about_ca_system_score_codex":0.000035533696,"about_ca_system_score_gemma":0.000014690602,"threshold_uncertainty_score":0.66275555},"labels":[],"label_agreement":null},{"id":"W2019798743","doi":"10.1007/s10485-005-9000-9","title":"Operads within Monoidal Pseudo Algebras","year":2005,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":12,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Monad (category theory); Symmetric monoidal category; Closed monoidal category; Mathematics; Algebra over a field; Pure mathematics; Algebraic number; Monoidal category; Theory of computation; Functor; Topology (electrical circuits); Combinatorics; Algorithm; Mathematical analysis","score_opus":0.027447312890566546,"score_gpt":0.3001061100854162,"score_spread":0.27265879719484964,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2019798743","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8154459,0.00019809998,0.12913293,0.0013511917,0.0007207244,0.0009271073,0.0000061296732,0.00092111813,0.05129683],"genre_scores_gemma":[0.9089491,0.0000071506533,0.088750705,0.0006231182,0.00094335194,0.000058358874,0.000009112297,0.000068640125,0.00059048686],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99794,0.000030840412,0.00052069733,0.0005307734,0.0004656332,0.00051206915],"domain_scores_gemma":[0.99873614,0.00023089978,0.0001597762,0.00061547605,0.000045756526,0.00021194387],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00014282296,0.00036544574,0.00041181486,0.000074723386,0.00019787028,0.000070939706,0.0005410002,0.0002478786,0.00060645875],"category_scores_gemma":[0.00014282898,0.00029665517,0.00009627971,0.00025071795,0.00013741087,0.00011649052,0.0001773603,0.00055728754,0.00015362802],"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.000023877365,0.000042697855,0.000035169276,0.000017681274,0.000037160455,0.00000658426,0.00038568542,0.00016456179,0.002725115,0.9839126,0.00260317,0.010045699],"study_design_scores_gemma":[0.00050530926,0.000025077388,0.00023854054,7.0290884e-7,0.000031912277,0.000034378474,0.0000905771,0.00015975031,0.015640328,0.97684085,0.0060547213,0.0003778487],"about_ca_topic_score_codex":0.000007101228,"about_ca_topic_score_gemma":0.000016480582,"teacher_disagreement_score":0.0935032,"about_ca_system_score_codex":0.0001769043,"about_ca_system_score_gemma":0.000043704713,"threshold_uncertainty_score":0.99994856},"labels":[],"label_agreement":null},{"id":"W2023735384","doi":"10.1007/s10485-009-9214-3","title":"Bifibrations and Weak Factorisation Systems","year":2009,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":15,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Model category; Mathematics; Theory of computation; Fibered knot; Factorization; Pure mathematics; Algebra over a field; Theoretical computer science; Discrete mathematics; Computer science; Algorithm; Homotopy category","score_opus":0.026452848677573176,"score_gpt":0.28748478866289257,"score_spread":0.2610319399853194,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2023735384","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.80096775,0.00042535388,0.13036816,0.0021737344,0.0009611488,0.0010017332,0.000006166699,0.00057733804,0.063518606],"genre_scores_gemma":[0.99885166,0.00001153941,0.0005853546,0.00014056136,0.00021029935,0.00002142255,0.000010870153,0.000008890973,0.00015942677],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9991415,0.000041109102,0.00023285643,0.0002397197,0.00012727975,0.00021753587],"domain_scores_gemma":[0.9994109,0.00020662679,0.00007922263,0.00019727876,0.000020752621,0.00008518507],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000078425415,0.00014770593,0.0002277965,0.00005376095,0.00016655953,0.00004188071,0.00011073492,0.00021779105,0.000081835045],"category_scores_gemma":[0.000058253274,0.00011692373,0.000026706968,0.00011178058,0.000089227746,0.000041695504,0.000020336764,0.0001843291,0.000011237144],"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.000009561747,0.000015873931,0.00008997109,0.0000083589675,0.000015308504,0.0000020557088,0.00020581836,0.0000052831024,0.001761841,0.9932095,0.001253112,0.0034233425],"study_design_scores_gemma":[0.00020150634,0.000059210095,0.005674922,3.2223394e-7,0.000025336545,0.000048364185,0.00019540651,0.000035860685,0.00057887373,0.99155265,0.0014937856,0.00013376951],"about_ca_topic_score_codex":0.000013664656,"about_ca_topic_score_gemma":0.0000034697418,"teacher_disagreement_score":0.19788387,"about_ca_system_score_codex":0.000030035997,"about_ca_system_score_gemma":0.000018256937,"threshold_uncertainty_score":0.47680113},"labels":[],"label_agreement":null},{"id":"W2031207925","doi":"10.1007/s10485-006-9037-4","title":"More on Configurations in Priestley Spaces, and Some New Problems","year":2006,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Distributive property; Coproduct; Class (philosophy); Mathematics; Theory of computation; Element (criminal law); Pure mathematics; Algebra over a field; Computer science; Law; Political science; Algorithm; Artificial intelligence","score_opus":0.009882696356753306,"score_gpt":0.22167352392592446,"score_spread":0.21179082756917114,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2031207925","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.16873516,0.001210994,0.79528916,0.009068019,0.00041173256,0.0012797777,0.000002894706,0.0005977247,0.023404526],"genre_scores_gemma":[0.9960275,0.000010183622,0.00318409,0.00048339795,0.0001269392,0.000020309417,0.000008109684,0.0000070275196,0.00013243889],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99901736,0.000011520646,0.00017050887,0.00037210766,0.00017502577,0.00025347032],"domain_scores_gemma":[0.99956256,0.000059342063,0.000053159456,0.00022893626,0.000010098105,0.00008592869],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000032875905,0.00015223517,0.00015690489,0.000068682384,0.00009019837,0.000117100935,0.00026648186,0.00007881754,0.000011827601],"category_scores_gemma":[0.0000075114726,0.00011618911,0.000017994018,0.00026370073,0.000063411026,0.00014954974,0.00006905011,0.0001779135,0.000008918904],"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.0000034246475,0.000013487402,0.000114243645,0.0000040422715,0.0000017467554,0.0000055687965,0.0001092146,0.002117601,0.0011796427,0.9880889,0.0006286814,0.007733464],"study_design_scores_gemma":[0.0003240499,0.000033276498,0.028589537,7.2680257e-7,0.0000017418316,0.000007580698,0.000015122202,0.00037116985,0.0009477905,0.9656261,0.003925503,0.00015739423],"about_ca_topic_score_codex":0.00014780833,"about_ca_topic_score_gemma":0.000044425728,"teacher_disagreement_score":0.8272923,"about_ca_system_score_codex":0.000035151523,"about_ca_system_score_gemma":0.00003743245,"threshold_uncertainty_score":0.47380546},"labels":[],"label_agreement":null},{"id":"W2038808199","doi":"10.1007/s10485-006-9019-6","title":"Universality of Coproducts in Categories of Lax Algebras","year":2006,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Coproduct; Mathematics; Functor; Concrete category; Pure mathematics; Universality (dynamical systems); Inverse; Category of topological spaces; Topological space; Topological tensor product","score_opus":0.006520437979729841,"score_gpt":0.20587926899741646,"score_spread":0.19935883101768662,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2038808199","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.68119425,0.00043780025,0.30411807,0.0003831059,0.00027511182,0.00035867371,0.0000037105788,0.00013681424,0.013092456],"genre_scores_gemma":[0.9960397,0.000006135691,0.0038250173,0.000043876873,0.00004586194,0.0000031246086,0.000007155445,0.0000052584396,0.000023898043],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987254,0.000030311297,0.00035941528,0.0003634646,0.00026503752,0.0002563811],"domain_scores_gemma":[0.9992237,0.00007305276,0.00017624711,0.00042612257,0.00005860532,0.000042283085],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000100440935,0.00015645003,0.00033038473,0.00010390813,0.00003483536,0.0000125469705,0.000612122,0.000089769244,0.000014430191],"category_scores_gemma":[0.000017429275,0.00012857416,0.00004642233,0.000751193,0.00015480278,0.00012706872,0.000121344856,0.00014155637,0.0000018921338],"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.000015124767,0.000042584586,0.00083004474,0.000018577137,0.000004290689,0.0000054404727,0.00012890407,0.0008475558,0.011360192,0.9837194,0.000102536585,0.0029253326],"study_design_scores_gemma":[0.000280609,0.00003825422,0.058821004,5.2639706e-7,0.0000037680625,0.0000028948018,0.000044234854,0.0000587601,0.057046898,0.88338935,0.0001855846,0.00012813481],"about_ca_topic_score_codex":0.0003121365,"about_ca_topic_score_gemma":0.0000318089,"teacher_disagreement_score":0.3148454,"about_ca_system_score_codex":0.000045490644,"about_ca_system_score_gemma":0.00005581259,"threshold_uncertainty_score":0.52431023},"labels":[],"label_agreement":null},{"id":"W2043248260","doi":"10.1023/a:1008673803010","title":"Extension by Continuity in Pointfree Topology","year":2000,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Fuzzy and Soft Set Theory","field":"Decision Sciences","cited_by":13,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Extension (predicate logic); Generalization; Pure mathematics; Topology (electrical circuits); Discrete mathematics; Calculus (dental); Computer science; Combinatorics; Mathematical analysis; Programming language","score_opus":0.02783796389801511,"score_gpt":0.3182758328582597,"score_spread":0.2904378689602446,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2043248260","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9067999,0.00022165604,0.000824405,0.0006543641,0.00023379219,0.00020006599,0.00000633014,0.00006786244,0.09099163],"genre_scores_gemma":[0.9968061,0.000019663097,0.00008696966,0.0014321815,0.00009366743,0.000012364315,0.000010864824,0.00001112101,0.0015270873],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99747705,0.00016912125,0.0005601556,0.0006651042,0.000702042,0.00042650427],"domain_scores_gemma":[0.99818,0.0009685094,0.00008173785,0.0005719949,0.00004347183,0.00015429381],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008869896,0.00019281909,0.00041607406,0.00011295002,0.000126181,0.0000904972,0.0007587057,0.00023864012,0.008709084],"category_scores_gemma":[0.00039025673,0.00013235176,0.000080960344,0.0005690484,0.00026713588,0.00008220707,0.00009432853,0.00034389284,0.00062609976],"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.0002261312,0.00004487914,0.000778525,0.000001273167,0.000005004426,0.000022682005,0.00028230893,0.00010306057,0.0034349165,0.7141923,0.033036094,0.24787287],"study_design_scores_gemma":[0.0004971699,0.000031448304,0.02784767,2.1233961e-7,0.0000031157783,0.000014072887,0.00017191595,0.00003428328,0.00097365107,0.93062454,0.03963476,0.00016715018],"about_ca_topic_score_codex":0.00012602968,"about_ca_topic_score_gemma":0.000059751106,"teacher_disagreement_score":0.24770573,"about_ca_system_score_codex":0.00004878227,"about_ca_system_score_gemma":0.000024862831,"threshold_uncertainty_score":0.9921971},"labels":[],"label_agreement":null},{"id":"W2054665920","doi":"10.1007/s10485-006-9012-0","title":"Bounded and Unitary Elements in Pro-C*-algebras","year":2006,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Bounded function; Direct limit; Bounded operator; Functor; Duality (order theory); Limit (mathematics); Commutative property; Categorical variable","score_opus":0.026534204734806995,"score_gpt":0.3132524555293827,"score_spread":0.2867182507945757,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2054665920","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.98944414,0.000118988886,0.0023868585,0.0001692964,0.00004465109,0.0006940917,0.0000028614886,0.000101147896,0.0070379805],"genre_scores_gemma":[0.99267083,0.000008512047,0.0068229963,0.00010341325,0.00011117355,0.00009237711,0.000020746245,0.000039751663,0.00013018881],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9982258,0.000044329514,0.00039635884,0.00040463833,0.00041740495,0.0005114766],"domain_scores_gemma":[0.99931943,0.00019996821,0.00006279352,0.0002761052,0.000036009445,0.00010570133],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00017678252,0.00023222624,0.00029340625,0.00012960848,0.00012745115,0.000066531684,0.00022115801,0.00013436232,0.00012895846],"category_scores_gemma":[0.00007388001,0.00019127963,0.000027072545,0.00039203535,0.00013499979,0.0000828045,0.00015413991,0.0003776228,0.000011739638],"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.000037260972,0.000054743767,0.0026627656,0.000045192588,0.000011667916,0.000022558328,0.0000782159,0.0000089209125,0.0021654204,0.99155533,0.0008388124,0.0025190974],"study_design_scores_gemma":[0.0008179943,0.000029783982,0.012956657,0.0000010247165,0.000008451108,0.00000995299,0.000124716,0.00004399957,0.003020023,0.98201805,0.0007502492,0.00021907878],"about_ca_topic_score_codex":0.00011152347,"about_ca_topic_score_gemma":0.00019760322,"teacher_disagreement_score":0.010293892,"about_ca_system_score_codex":0.00014109207,"about_ca_system_score_gemma":0.00004399836,"threshold_uncertainty_score":0.7800157},"labels":[],"label_agreement":null},{"id":"W2060727642","doi":"10.1007/s10485-007-9118-z","title":"A Priestley Sum of Finite Trees is Acyclic","year":2007,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Theory of computation; Mathematics; Mathematical economics; Algorithm","score_opus":0.013890421971026171,"score_gpt":0.25175465775570927,"score_spread":0.2378642357846831,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2060727642","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.042612422,0.00016391136,0.9486251,0.00020172275,0.00018021223,0.00014858351,0.0000011555207,0.00014240554,0.007924482],"genre_scores_gemma":[0.98859423,0.000011104965,0.010541267,0.0006660643,0.00009557391,0.000005992612,0.00000310306,0.000009473025,0.000073185365],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99857444,0.000011838992,0.00031040952,0.00038693007,0.00031760256,0.0003987838],"domain_scores_gemma":[0.9989801,0.000238975,0.0001311073,0.00047951486,0.000038128004,0.00013215978],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00012683931,0.00018347432,0.000250881,0.000088393805,0.00009317802,0.000035100828,0.0007904828,0.00011283686,0.00005360481],"category_scores_gemma":[0.000030324056,0.00013861776,0.0000745273,0.00053429557,0.00011392478,0.00011253447,0.0002080031,0.0001832927,0.000021029144],"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.000015359063,0.000020265687,0.0002807657,0.000007306829,0.000011918315,0.000008309808,0.0003566001,0.0000800567,0.004609288,0.94383186,0.00028599802,0.050492257],"study_design_scores_gemma":[0.0003024834,0.000059146056,0.025960583,5.350348e-7,0.0000070205047,0.000008665895,0.00004590509,0.0001691059,0.04042651,0.9266411,0.006155999,0.00022295592],"about_ca_topic_score_codex":0.000015383153,"about_ca_topic_score_gemma":0.000009468573,"teacher_disagreement_score":0.9459818,"about_ca_system_score_codex":0.000028742008,"about_ca_system_score_gemma":0.000026697788,"threshold_uncertainty_score":0.56526685},"labels":[],"label_agreement":null},{"id":"W2066549061","doi":"10.1007/s10485-014-9369-4","title":"On the Category of Props","year":2014,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":13,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Higher category theory; Closed monoidal category; Symmetric monoidal category; Product category; Monoidal category; Enriched category; Closed category; Tensor product; Product (mathematics)","score_opus":0.022114121391666394,"score_gpt":0.26745570323211565,"score_spread":0.24534158184044924,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2066549061","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.81984496,0.000027202625,0.024378156,0.002027638,0.00039692642,0.00060363027,0.0000016988914,0.00015306534,0.1525667],"genre_scores_gemma":[0.99870443,0.0000015061738,0.00025604494,0.00068995595,0.00012319649,0.000053518997,0.0000023119383,0.000018022238,0.00015100582],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99889684,0.00011990634,0.00027680772,0.00023485812,0.00020738269,0.0002642039],"domain_scores_gemma":[0.9978485,0.0014534377,0.00013708053,0.00047831144,0.000028621582,0.000054050808],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002839787,0.00016966763,0.00029587018,0.00003836702,0.00012505289,0.000008073162,0.00040583985,0.00019105764,0.00059917197],"category_scores_gemma":[0.000352823,0.00009330388,0.00007075953,0.00013092035,0.00035976747,0.000009483879,0.00006633448,0.00032903173,0.000042236356],"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.000034228393,0.000034894038,0.000028827595,0.000018119117,0.00003152827,0.0000013013207,0.00018372787,0.0000031531526,0.0010633476,0.99197036,0.0035324406,0.0030980527],"study_design_scores_gemma":[0.00019146806,0.00010098733,0.0007092784,4.1524834e-7,0.00002453193,0.000012622075,0.00006854039,0.000013060474,0.010425676,0.98731226,0.0010331806,0.00010795928],"about_ca_topic_score_codex":0.000014300517,"about_ca_topic_score_gemma":0.0000055133387,"teacher_disagreement_score":0.17885946,"about_ca_system_score_codex":0.000018728912,"about_ca_system_score_gemma":0.00002289389,"threshold_uncertainty_score":0.6560513},"labels":[],"label_agreement":null},{"id":"W2073275935","doi":"10.1007/s10485-007-9122-3","title":"Almost ff-universality Implies Q-universality","year":2008,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Universality (dynamical systems); Mathematics; Statistical physics; Physics; Quantum mechanics","score_opus":0.01977162236846663,"score_gpt":0.21600911740620693,"score_spread":0.1962374950377403,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2073275935","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.09373763,0.00012113303,0.87674195,0.00072379224,0.00038402906,0.000264342,0.0000033627234,0.0006762797,0.027347516],"genre_scores_gemma":[0.9923415,0.000035346184,0.006746308,0.00054125296,0.00012332009,0.0000073197593,0.00001008545,0.000011869811,0.00018295394],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99817264,0.000048577273,0.00023358752,0.000656555,0.00037926662,0.0005093941],"domain_scores_gemma":[0.9988113,0.000090858885,0.00010870318,0.0007057042,0.000055045508,0.00022840798],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008114439,0.00027406012,0.00030596944,0.000068723806,0.0005155667,0.000051881703,0.0011512535,0.00014485882,0.00009408951],"category_scores_gemma":[0.000018592378,0.00022734409,0.000102624384,0.0005274661,0.00026817588,0.0003134478,0.00041425898,0.00030708482,0.000071546456],"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.000014498272,0.000023499346,0.0002988198,0.000005307745,0.000017280903,0.00006563083,0.00039123083,0.00014093373,0.00083531236,0.9886884,0.0015104731,0.008008588],"study_design_scores_gemma":[0.00052231,0.00005096177,0.04571375,2.934924e-7,0.000010347368,0.00012351041,0.0001605142,0.00024277878,0.00214103,0.9357884,0.014766152,0.0004799596],"about_ca_topic_score_codex":0.00006997756,"about_ca_topic_score_gemma":0.000005868672,"teacher_disagreement_score":0.8986039,"about_ca_system_score_codex":0.00012402094,"about_ca_system_score_gemma":0.000077474826,"threshold_uncertainty_score":0.9270823},"labels":[],"label_agreement":null},{"id":"W2077204451","doi":"10.1007/s10485-011-9262-3","title":"Essential Completeness in Categories of Completely Regular Frames","year":2011,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":12,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Completeness (order theory); Mathematics; Theory of computation; Pure mathematics; Discrete mathematics; Algebra over a field; Algorithm; Mathematical analysis","score_opus":0.05060074585675606,"score_gpt":0.2675674770532661,"score_spread":0.21696673119651005,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2077204451","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9753618,0.00011424126,0.016946224,0.000037566657,0.0002448396,0.0003724742,0.000006560459,0.00011329615,0.006802987],"genre_scores_gemma":[0.99476355,0.000011072494,0.004907131,0.000054250788,0.00014154769,0.000032712607,0.000017381491,0.000044026678,0.000028353556],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99804014,0.00005035944,0.0006516116,0.00042063664,0.00038903323,0.00044819547],"domain_scores_gemma":[0.9989005,0.00019037134,0.0002488203,0.00048443535,0.00006912509,0.00010677382],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00016663456,0.00031099436,0.00068440253,0.00014117801,0.000090946036,0.000026088224,0.0004972752,0.00020017305,0.00033249368],"category_scores_gemma":[0.00007015298,0.00025787484,0.0001133994,0.00031616705,0.00035550172,0.000069705,0.00014442224,0.00029485914,0.000010592275],"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.00008800733,0.00010865868,0.0011917921,0.00013764188,0.000046307498,0.000014961368,0.0016049196,0.000006724178,0.0049323756,0.98987234,0.0003696664,0.0016265843],"study_design_scores_gemma":[0.00052617304,0.000039606777,0.025252054,0.0000030588978,0.00003556112,0.000011709051,0.0005147509,0.000019938578,0.038325746,0.93470395,0.00027932483,0.00028814503],"about_ca_topic_score_codex":0.00046498043,"about_ca_topic_score_gemma":0.00009023396,"teacher_disagreement_score":0.05516843,"about_ca_system_score_codex":0.00004368799,"about_ca_system_score_gemma":0.000040561525,"threshold_uncertainty_score":0.99998736},"labels":[],"label_agreement":null},{"id":"W2085010131","doi":"10.1007/s10485-011-9268-x","title":"Layer Lengths, Torsion Theories and the Finitistic Dimension","year":2011,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":9,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Bishop's University","funders":"","keywords":"Torsion (gastropod); Mathematics; Theory of computation; Dimension (graph theory); Combinatorics; Discrete mathematics; Pure mathematics; Algorithm","score_opus":0.03992261416942878,"score_gpt":0.2543480901436812,"score_spread":0.21442547597425243,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2085010131","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9447757,0.00061018247,0.0137509685,0.0002546413,0.0016477717,0.0010426273,0.0000034934212,0.00029359545,0.037621006],"genre_scores_gemma":[0.9987226,0.000034563047,0.00067835045,0.0002036137,0.0002191358,0.000039104725,0.0000028916747,0.000028481309,0.00007123902],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.998783,0.000073374715,0.0002723394,0.00030866946,0.00028039253,0.0002822333],"domain_scores_gemma":[0.9988596,0.00054024794,0.00011210477,0.00035651552,0.000037822356,0.00009371833],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00017851769,0.00024703937,0.00033453488,0.000028438028,0.00031857248,0.000046184145,0.00024840355,0.0001597024,0.00023402722],"category_scores_gemma":[0.00015240507,0.00013209124,0.00006857202,0.000108426706,0.00035720225,0.000041418418,0.00018310724,0.00027053696,0.0000069739376],"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.00024718145,0.000012240633,0.00002845946,0.000015710892,0.000033384495,0.000003182312,0.001306987,4.1052283e-7,0.00007642932,0.9962327,0.0005180412,0.0015252759],"study_design_scores_gemma":[0.0010574581,0.000034665125,0.0009148681,0.0000011442278,0.00007781683,0.00001870117,0.0002648637,0.000017947066,0.0013975082,0.99577516,0.0002497095,0.00019012809],"about_ca_topic_score_codex":0.000076055345,"about_ca_topic_score_gemma":0.0000035232076,"teacher_disagreement_score":0.053946905,"about_ca_system_score_codex":0.000023759549,"about_ca_system_score_gemma":0.00001662228,"threshold_uncertainty_score":0.5386524},"labels":[],"label_agreement":null},{"id":"W2092385955","doi":"10.1007/s10485-008-9147-2","title":"The Universal Covering of an Inverse Semigroup","year":2008,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"semigroups and automata theory","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Carleton University","funders":"Instituto Superior Técnico; Tobacco Settlement Endowment Trust","keywords":"Mathematics; Inverse semigroup; Morphism; Inverse; Decidability; Covering space; Semigroup; Unitary state; Pure mathematics; Inverse element; Group (periodic table); Topos theory; Discrete mathematics; Special classes of semigroups; Geometry","score_opus":0.010015702500567386,"score_gpt":0.20216501215902485,"score_spread":0.19214930965845747,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2092385955","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8098675,0.000111658854,0.18186839,0.00013168766,0.00035437586,0.0001738773,0.0000015031836,0.00026760658,0.0072233896],"genre_scores_gemma":[0.99739695,0.000031455304,0.0022899685,0.00015046619,0.00007050615,0.000004014689,0.000002695749,0.000008205086,0.000045745644],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99899507,0.00003384678,0.00017731223,0.00026627575,0.0002708156,0.00025667754],"domain_scores_gemma":[0.9990954,0.00015088209,0.00009035075,0.00053545815,0.000025099805,0.00010285047],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00011447539,0.00013130957,0.00015046755,0.00003480398,0.00032407325,0.00004340583,0.001062044,0.00006821665,0.000012295043],"category_scores_gemma":[0.000011872196,0.00008663711,0.000050744027,0.00028247086,0.00019970877,0.00018111293,0.00023348811,0.0001486479,0.00000795521],"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.000013075226,0.000011902692,0.000043485557,0.0000029416753,0.000012139057,0.000016484675,0.00046926038,0.00027079368,0.0054084607,0.9801366,0.0005031303,0.013111767],"study_design_scores_gemma":[0.0008805557,0.00014879314,0.013026314,0.0000011013218,0.000014866943,0.0001838123,0.0006002702,0.01995456,0.034953084,0.9166646,0.013069313,0.00050272024],"about_ca_topic_score_codex":0.000070571434,"about_ca_topic_score_gemma":0.000008457367,"teacher_disagreement_score":0.18752943,"about_ca_system_score_codex":0.000037496317,"about_ca_system_score_gemma":0.000044184988,"threshold_uncertainty_score":0.35329586},"labels":[],"label_agreement":null},{"id":"W2100133025","doi":"10.1007/s10485-014-9373-8","title":"Many for the Price of One Duality Principle for Affine Sets","year":2014,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"York University","keywords":"Distributivity; Mathematics; Distributive property; Affine transformation; Topological space; Duality (order theory); Concrete category; Category theory; Theory of computation; Pure mathematics; Category of topological spaces; Discrete mathematics; Functor; Functional analysis; Topological tensor product; Algorithm","score_opus":0.02495982421353832,"score_gpt":0.2807772088932054,"score_spread":0.2558173846796671,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2100133025","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0049172333,0.00005510325,0.9925299,0.0006740037,0.00016527926,0.00071966543,0.000004144672,0.000074286305,0.00086035416],"genre_scores_gemma":[0.9498934,0.0000034601721,0.049296144,0.0004012191,0.00016189188,0.00017662683,0.0000071220193,0.000009472342,0.000050673596],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99886703,0.000019552179,0.00025245422,0.0003521219,0.00020267749,0.00030616057],"domain_scores_gemma":[0.9983841,0.0008108102,0.00015208748,0.0005166495,0.00007035293,0.000066002336],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00028604866,0.00014388168,0.00024117196,0.000023054516,0.0001889114,0.0000354529,0.0008259435,0.00007519076,0.000010473551],"category_scores_gemma":[0.00010602358,0.00008913214,0.000087874534,0.0001839971,0.00006919648,0.00005872713,0.00017761334,0.00009612989,0.0000019846777],"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.000027974109,0.00002223446,0.000009735159,0.000035735335,0.000017271988,5.6547307e-8,0.000067995716,0.00042646646,0.001897662,0.9569314,0.00020502035,0.04035845],"study_design_scores_gemma":[0.00052184815,0.000095535666,0.0053134956,3.8451873e-7,0.000015696814,0.0000017356688,0.000009460742,0.0071327467,0.009356252,0.9532382,0.024173321,0.00014132584],"about_ca_topic_score_codex":0.000004837104,"about_ca_topic_score_gemma":0.00000264351,"teacher_disagreement_score":0.94497615,"about_ca_system_score_codex":0.000024696574,"about_ca_system_score_gemma":0.00002176729,"threshold_uncertainty_score":0.36347032},"labels":[],"label_agreement":null},{"id":"W2108070223","doi":"10.1007/s10485-013-9312-0","title":"Differential Structure, Tangent Structure, and SDG","year":2013,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":67,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary; Mount Allison University","funders":"","keywords":"Tangent bundle; Mathematics; Tangent vector; Differential geometry; Tangent; Differential (mechanical device); Tangent space; Infinitesimal; Tangent cone; Manifold (fluid mechanics); Pure mathematics; Algebraic structure; Geometry; Mathematical analysis; Physics","score_opus":0.01599492519704024,"score_gpt":0.258343951582344,"score_spread":0.24234902638530378,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2108070223","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9918927,0.000105727566,0.003999479,0.0003107485,0.00055712776,0.0006766609,0.000018245788,0.00019137481,0.0022479412],"genre_scores_gemma":[0.9969079,0.000012620233,0.0019072413,0.00043657102,0.00043468628,0.00006140051,0.000037111546,0.00005020431,0.00015229544],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9978622,0.00007843965,0.00045727746,0.00062938593,0.0003165067,0.0006561747],"domain_scores_gemma":[0.99872637,0.0002895043,0.00016292618,0.00048784792,0.000055137574,0.00027823643],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000036092668,0.00045502803,0.00058131164,0.00010388383,0.00025837935,0.00009615772,0.0003962387,0.0005106812,0.008599893],"category_scores_gemma":[0.00007628102,0.00033698417,0.00007820983,0.00017084715,0.0004327828,0.00007530386,0.00023498439,0.0005771079,0.000032273307],"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.000023120432,0.000023109887,0.00046678574,0.000038263668,0.00010714197,0.000008475071,0.00020859411,0.0000010393666,0.01625422,0.9689472,0.0029372014,0.010984855],"study_design_scores_gemma":[0.0005980427,0.00006065471,0.013486979,5.785784e-7,0.00007805915,0.00014191898,0.00007971232,0.000020902584,0.014706358,0.9699428,0.00050510233,0.00037890743],"about_ca_topic_score_codex":0.00008302343,"about_ca_topic_score_gemma":0.0000356707,"teacher_disagreement_score":0.013020192,"about_ca_system_score_codex":0.000054621232,"about_ca_system_score_gemma":0.000030323938,"threshold_uncertainty_score":0.9999082},"labels":[],"label_agreement":null},{"id":"W2137547347","doi":"10.1007/s10485-006-9013-z","title":"A General View of Approximation","year":2006,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Theory of computation; Mathematics; Category theory; Calculus (dental); Pure mathematics; Algorithm","score_opus":0.006711144074672512,"score_gpt":0.20955944418273773,"score_spread":0.2028483001080652,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2137547347","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.075353496,0.00022469445,0.91345733,0.00012671479,0.00012960056,0.00014417809,8.127527e-7,0.00016742211,0.010395728],"genre_scores_gemma":[0.9827549,0.000003569429,0.016925385,0.00012671549,0.0001241585,0.000014069152,0.000010207231,0.0000062654613,0.000034734294],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9991138,0.000018638882,0.00022879719,0.00023932013,0.00021673625,0.0001827327],"domain_scores_gemma":[0.9994969,0.00003704928,0.000093923314,0.00031432984,0.000022540418,0.000035283905],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000085025524,0.000113139504,0.00017098186,0.00004642336,0.000051694507,0.000046927053,0.00048174208,0.000062335006,0.000026761634],"category_scores_gemma":[0.0000033681083,0.00008632562,0.00004882758,0.00027962995,0.000043207292,0.00008506304,0.00010432514,0.00007286223,0.00001028564],"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.0000020847435,0.000015237154,0.000020574926,0.000012317421,0.000003895827,0.0000010709782,0.00003218108,0.00017577576,0.0135838725,0.94592583,0.0005883554,0.03963882],"study_design_scores_gemma":[0.00016449092,0.000012903361,0.005532591,3.785894e-7,0.00000408208,0.000008141764,0.000004885883,0.004922881,0.023245724,0.96436256,0.0016232645,0.000118099786],"about_ca_topic_score_codex":0.000058563273,"about_ca_topic_score_gemma":0.0000013390688,"teacher_disagreement_score":0.9074014,"about_ca_system_score_codex":0.000021912729,"about_ca_system_score_gemma":0.000016562726,"threshold_uncertainty_score":0.35202566},"labels":[],"label_agreement":null},{"id":"W2256586757","doi":"10.1007/s10485-016-9446-y","title":"The Fundamental Group as the Structure of a Dually Affine Space","year":2016,"lang":"en","type":"preprint","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Affine transformation; Mathematics; Dual (grammatical number); Pure mathematics; Fundamental group; Affine space; Closure (psychology); Algebraic structure; Topological space; Space (punctuation); Operator (biology); Algebra over a field; Affine group; Group (periodic table); Topology (electrical circuits); Algebraic number; Affine hull; Combinatorics; Computer science; Mathematical analysis; Physics","score_opus":0.015849588308637814,"score_gpt":0.28394956893398954,"score_spread":0.26809998062535173,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2256586757","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9341716,0.0015091259,0.0077620246,0.015857626,0.004689142,0.0035892122,0.0001878893,0.0003812563,0.031852096],"genre_scores_gemma":[0.9975964,0.00008068406,0.0004115667,0.00034246972,0.0008042675,0.000078180994,0.000031887725,0.00006562763,0.00058892614],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99702615,0.0002557465,0.0007502333,0.0006999532,0.0005925889,0.00067535567],"domain_scores_gemma":[0.99555403,0.002081114,0.000717496,0.001446883,0.000077384866,0.0001230864],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00030965335,0.00062447693,0.0008100495,0.00005972112,0.00050427887,0.000081686136,0.0017842196,0.001000007,0.0009300368],"category_scores_gemma":[0.00027543088,0.00027948275,0.00029035006,0.00014872616,0.0014216128,0.0000194801,0.0014940004,0.0015765339,0.000020780859],"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.00017340269,0.000032387543,0.000043801116,0.00007643921,0.0003831326,0.000012127734,0.0005791918,0.000004017644,0.0054446277,0.9855339,0.0035088751,0.0042081154],"study_design_scores_gemma":[0.0004566773,0.00009009456,0.0005791478,0.0000047895796,0.00017547996,0.00010994931,0.0003158411,0.000002173517,0.005763074,0.98591226,0.0062558376,0.00033465514],"about_ca_topic_score_codex":0.00006917151,"about_ca_topic_score_gemma":0.00015335165,"teacher_disagreement_score":0.06342476,"about_ca_system_score_codex":0.00013394725,"about_ca_system_score_gemma":0.00017477896,"threshold_uncertainty_score":0.99998325},"labels":[],"label_agreement":null},{"id":"W2496759324","doi":"10.1007/s10485-017-9484-0","title":"Hedetniemi’s Conjecture and Adjoint Functors in Thin Categories","year":2017,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Topological and Geometric Data Analysis","field":"Computer Science","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":"Royal Military College of Canada","funders":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung","keywords":"Functor; Theory of computation; Conjecture; Adjoint functors; Mathematics; Functor category; Pure mathematics; Natural transformation; Algebra over a field; Algorithm","score_opus":0.014872896160963265,"score_gpt":0.24014549081076492,"score_spread":0.22527259464980165,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2496759324","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.62774444,0.0024934874,0.32539687,0.011331022,0.0013924554,0.00084109226,0.000027091077,0.0005907406,0.030182825],"genre_scores_gemma":[0.9981145,0.000057267778,0.0012858899,0.00030522663,0.000096767144,0.000017798797,0.000010257213,0.0000067516644,0.00010551922],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99828374,0.000030213501,0.0002827406,0.0006735111,0.00030791276,0.0004218648],"domain_scores_gemma":[0.9985321,0.00013040939,0.0001656885,0.0009603244,0.000024572293,0.00018686257],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00019254924,0.000253505,0.0004085894,0.00017621809,0.00045246308,0.00061884476,0.0014508945,0.00018910225,0.00008117719],"category_scores_gemma":[0.00017324343,0.00016830336,0.00006358763,0.00040552983,0.0002713095,0.00028286816,0.00067436247,0.00034576177,0.000018523886],"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.000008532995,0.000015415586,0.0034432828,0.0000064520596,0.000019351051,0.000026786713,0.00014384043,0.000027962926,0.00017021425,0.96475923,0.00045726507,0.030921653],"study_design_scores_gemma":[0.00037796563,0.000043340042,0.20045756,4.6894823e-7,0.000013773477,0.00001745753,0.00006537668,0.00020050234,0.0006648423,0.79144764,0.0064273556,0.0002837378],"about_ca_topic_score_codex":0.0009219858,"about_ca_topic_score_gemma":0.00020002152,"teacher_disagreement_score":0.3703701,"about_ca_system_score_codex":0.00004151484,"about_ca_system_score_gemma":0.000029452363,"threshold_uncertainty_score":0.6863212},"labels":[],"label_agreement":null},{"id":"W2625463412","doi":"10.1007/s10485-018-9531-5","title":"Commutativity in Double Interchange Semigroups","year":2018,"lang":"en","type":"preprint","venue":"Applied Categorical Structures","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Saskatchewan","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Quotient; Morphism; Commutative property; Mathematics; Associative property; Pure mathematics; Monomial; Automorphism; Realization (probability); Distributive property; Square-free integer; Algebra over a field; Discrete mathematics","score_opus":0.09092924875748534,"score_gpt":0.36400989943334133,"score_spread":0.27308065067585596,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2625463412","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8042516,0.00025679072,0.14245544,0.0004421966,0.0021158329,0.0025787344,0.00003731797,0.0006887092,0.047173344],"genre_scores_gemma":[0.98218954,0.00002329874,0.016287835,0.00016045969,0.0006949467,0.0003096558,0.00008452723,0.00009714932,0.00015257117],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99730194,0.00008628913,0.000663817,0.0008694604,0.00047510135,0.00060339976],"domain_scores_gemma":[0.99769783,0.00052959216,0.00036368248,0.0011925644,0.0000705329,0.00014577096],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00032974745,0.0006031448,0.000910721,0.00018780767,0.00009586453,0.00008632198,0.0010453879,0.00081891747,0.0003476367],"category_scores_gemma":[0.00013095293,0.00053782447,0.00014711963,0.00024818006,0.00028613582,0.000047160924,0.0021766657,0.002166342,0.000044649605],"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.000096690004,0.00007544781,0.00013957587,0.00031125773,0.00005431356,0.000021661977,0.001331254,0.00002516361,0.00010982666,0.99353975,0.0018983484,0.0023967188],"study_design_scores_gemma":[0.0007149703,0.000025389563,0.0006332893,0.000012574057,0.00003685638,0.000009073585,0.00011019288,0.000040221737,0.0023312126,0.9945216,0.0010231826,0.0005414111],"about_ca_topic_score_codex":0.00013066658,"about_ca_topic_score_gemma":0.00036382928,"teacher_disagreement_score":0.17793792,"about_ca_system_score_codex":0.000518009,"about_ca_system_score_gemma":0.00006826168,"threshold_uncertainty_score":0.99970734},"labels":[],"label_agreement":null},{"id":"W2734783803","doi":"10.1007/s10485-017-9499-6","title":"On the Maps of Pointfree Topology Which Preserve the Rings of Integervalued Continuous Functions","year":2017,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Homomorphism; Isomorphism (crystallography); Bounded function; Mathematical proof; Pure mathematics; Continuous function (set theory); Algebra over a field; Function (biology); Topology (electrical circuits); Discrete mathematics; Combinatorics; Mathematical analysis; Geometry","score_opus":0.03285108026472911,"score_gpt":0.2753068940854049,"score_spread":0.24245581382067577,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2734783803","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9596178,0.00004743654,0.0023498028,0.0025379928,0.00036728094,0.0005673778,0.000017597626,0.000035537556,0.03445917],"genre_scores_gemma":[0.99913806,0.000006313874,0.00015018397,0.0001058975,0.00015702524,0.00004571398,0.0000050788176,0.000022522474,0.00036918634],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9986873,0.0000659981,0.00040800625,0.0002576776,0.0003134167,0.00026756217],"domain_scores_gemma":[0.9969838,0.001028793,0.0005048185,0.0013033114,0.00013046106,0.000048806512],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00035701474,0.00020028542,0.00041102804,0.000035731933,0.00043369512,0.000052477673,0.0011066726,0.0001440457,0.00031796997],"category_scores_gemma":[0.001177319,0.00010014205,0.0001271391,0.00008844132,0.0005346788,0.000037707563,0.00027365272,0.0003987184,0.000012004353],"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.000073679555,0.000046081714,0.00027865465,0.00003406594,0.000094366165,7.2088005e-7,0.0003924671,0.000011273336,0.001524316,0.98670703,0.009606662,0.0012306828],"study_design_scores_gemma":[0.0003315543,0.0000812618,0.008817863,0.0000036462945,0.00006632003,0.000005735326,0.00048400852,0.000017561712,0.011675682,0.97757095,0.0008358463,0.000109562374],"about_ca_topic_score_codex":0.0003504602,"about_ca_topic_score_gemma":0.00014285375,"teacher_disagreement_score":0.039520275,"about_ca_system_score_codex":0.000023035276,"about_ca_system_score_gemma":0.00003124669,"threshold_uncertainty_score":0.40836743},"labels":[],"label_agreement":null},{"id":"W2793011238","doi":"10.1007/s10485-018-9514-6","title":"Remarks Concerning Certain Function Rings in Pointfree Topology","year":2018,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Embedding; Ring (chemistry); Pure mathematics; Image (mathematics); Characterization (materials science); Function (biology); Frame (networking); Basis (linear algebra); Discrete mathematics; Combinatorics; Topology (electrical circuits); Algebra over a field; Physics; Geometry; Computer science; Artificial intelligence","score_opus":0.02536947821014148,"score_gpt":0.2738487190554882,"score_spread":0.2484792408453467,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2793011238","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9352049,0.00006890113,0.02435825,0.00035750688,0.00062945246,0.00034102812,0.0000010250344,0.00021326928,0.03882566],"genre_scores_gemma":[0.99702144,0.0000052027817,0.0014243457,0.00040828803,0.000866123,0.000028226454,0.000008185633,0.000035507626,0.00020266027],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984299,0.00004633027,0.0003851735,0.0004473895,0.00022683838,0.0004643755],"domain_scores_gemma":[0.9991544,0.00023038618,0.00013992532,0.00033208894,0.000045059558,0.000098163226],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022268252,0.00023539191,0.00035278528,0.00010747608,0.0001507076,0.00004137588,0.00025382603,0.00023807472,0.00069095107],"category_scores_gemma":[0.00016866116,0.00019881982,0.000060098853,0.0002268354,0.00024135582,0.00005900107,0.000109742105,0.00036595573,0.00005791172],"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.000098755845,0.000020896974,0.0007738481,0.000026900476,0.00002205979,0.0000067897618,0.00049512077,0.000005959017,0.003024436,0.98282653,0.002596236,0.010102486],"study_design_scores_gemma":[0.00060487643,0.00009048929,0.012657371,0.0000022869947,0.00002211611,0.000016161772,0.00030732472,0.00006656279,0.0037267017,0.97830373,0.003958668,0.00024369515],"about_ca_topic_score_codex":0.0002528571,"about_ca_topic_score_gemma":0.00025318834,"teacher_disagreement_score":0.061816555,"about_ca_system_score_codex":0.00012082209,"about_ca_system_score_gemma":0.000029278792,"threshold_uncertainty_score":0.8107637},"labels":[],"label_agreement":null},{"id":"W2804355992","doi":"10.1007/s10485-018-9529-z","title":"On Fibrations Between Internal Groupoids and Their Normalizations","year":2018,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Mathematics; Functor; Lemma (botany); Exact functor; Pure mathematics; Homotopy; Homotopy category; Sequence (biology); Generalization; Normalization (sociology); Natural transformation; Mathematical analysis; Botany","score_opus":0.02354664999872629,"score_gpt":0.2901222539146447,"score_spread":0.2665756039159184,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2804355992","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.73544866,0.000016269998,0.23314042,0.00059804006,0.00024504203,0.00024539809,0.0000113814385,0.00016491019,0.03012986],"genre_scores_gemma":[0.99813867,0.0000025256104,0.00074688916,0.00041851992,0.0005018588,0.00002605906,0.000020110785,0.000017529086,0.00012786643],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99913573,0.00004541505,0.00022673885,0.00025907473,0.00009000846,0.00024300894],"domain_scores_gemma":[0.99902254,0.000538062,0.000069212445,0.00023319252,0.000039712275,0.00009729789],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007903816,0.00017362209,0.0002262799,0.00006724532,0.00029319417,0.0000304043,0.00019376044,0.00019055018,0.00052342296],"category_scores_gemma":[0.00011331736,0.00012390659,0.000032143387,0.00016511396,0.00040804813,0.00003310647,0.00008912075,0.00022305026,0.000034422013],"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.0000147037235,0.000015378158,0.0005548631,0.000005520241,0.00004565649,0.0000011940451,0.0006210129,6.5312355e-7,0.00025872196,0.993887,0.0015265511,0.0030687286],"study_design_scores_gemma":[0.0002287207,0.0001518951,0.0050999946,6.3695717e-7,0.000022572,0.000022849774,0.0000972532,0.00002334315,0.0034725997,0.98982316,0.00092236226,0.00013458669],"about_ca_topic_score_codex":0.000015790258,"about_ca_topic_score_gemma":0.00002755227,"teacher_disagreement_score":0.26268998,"about_ca_system_score_codex":0.000022822946,"about_ca_system_score_gemma":0.000019929055,"threshold_uncertainty_score":0.5731115},"labels":[],"label_agreement":null},{"id":"W2901954086","doi":"10.1007/s10485-020-09601-1","title":"The DG-Category of Secondary Cohomology Operations","year":2020,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Regina","funders":"Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft","keywords":"Cohomology; Theory of computation; Steenrod algebra; Algebra over a field; Functor; Type (biology); Group cohomology; Derived category","score_opus":0.02932109520025417,"score_gpt":0.2821569527698296,"score_spread":0.25283585756957544,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2901954086","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.798912,0.0011908653,0.07093084,0.026068969,0.0013865901,0.0017687101,0.000025100559,0.0005472768,0.09916965],"genre_scores_gemma":[0.997504,0.00002553504,0.00075168343,0.0013046014,0.00021247675,0.00006269731,0.000012321658,0.000022497017,0.00010420201],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985706,0.00012182459,0.0004785063,0.00031197886,0.00017090904,0.00034614513],"domain_scores_gemma":[0.9985634,0.0007894338,0.000111284164,0.00034723605,0.0000552419,0.00013340975],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00015871413,0.00019907365,0.00039207406,0.000025994752,0.0003309765,0.000019332647,0.00054427923,0.0002606011,0.0006559684],"category_scores_gemma":[0.00026760815,0.00013050278,0.00009399613,0.00019832382,0.00066621247,0.000026696043,0.00015379512,0.0005125698,0.00004034317],"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.00005689673,0.000019733454,0.00005902906,0.00002246685,0.000088126224,0.000009390687,0.00056903483,0.000016090798,0.00267765,0.9879194,0.004409787,0.0041523995],"study_design_scores_gemma":[0.000384887,0.00010938991,0.00078648585,1.6782597e-7,0.000049359147,0.000044950444,0.00040576927,0.00004197099,0.005839892,0.9871884,0.0050002616,0.00014845209],"about_ca_topic_score_codex":0.000018264896,"about_ca_topic_score_gemma":0.000045932808,"teacher_disagreement_score":0.19859198,"about_ca_system_score_codex":0.000021152571,"about_ca_system_score_gemma":0.00011761683,"threshold_uncertainty_score":0.71823937},"labels":[],"label_agreement":null},{"id":"W2957746327","doi":"10.1007/s10485-019-09583-9","title":"The Universal Property of Infinite Direct Sums in $$\\hbox {C}^*$$-Categories and $$\\hbox {W}^*$$-Categories","year":2019,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Perimeter Institute","funders":"","keywords":"Unitary state; Property (philosophy); Equivalence (formal languages); Universal algebra; Hilbert space; Theory of computation","score_opus":0.018324247364634977,"score_gpt":0.275715308632437,"score_spread":0.257391061267802,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2957746327","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.96753556,0.0007063006,0.00074918865,0.0004401912,0.0003132671,0.0018924114,0.000012299332,0.00017203648,0.028178766],"genre_scores_gemma":[0.99787676,0.00020322153,0.0006408344,0.00004034345,0.00007985077,0.00007536064,0.000011056713,0.000071302085,0.0010012423],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99700934,0.00015097263,0.00067268085,0.00064140675,0.0007357408,0.00078985404],"domain_scores_gemma":[0.99714214,0.0015467011,0.00021357117,0.00075046025,0.00016802253,0.00017913754],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005194565,0.0004494259,0.000738394,0.00017795285,0.00027374766,0.00013514947,0.0006831296,0.00025748395,0.00012722105],"category_scores_gemma":[0.0003629206,0.00024832724,0.00008923604,0.0008067803,0.00071414304,0.00022144882,0.00044948366,0.00071164954,0.000025870704],"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.00034885504,0.000048756418,0.0056304275,0.0001669812,0.000074299416,0.000010134271,0.0010165616,0.0000677576,0.004922275,0.98172134,0.0003245572,0.0056680306],"study_design_scores_gemma":[0.0014568235,0.00019084034,0.0073623457,0.000006975308,0.000037350612,0.000014981053,0.0029439745,0.00015719692,0.012742252,0.9674328,0.0071116677,0.000542816],"about_ca_topic_score_codex":0.0002369078,"about_ca_topic_score_gemma":0.00024193065,"teacher_disagreement_score":0.030341249,"about_ca_system_score_codex":0.00016334775,"about_ca_system_score_gemma":0.00017274295,"threshold_uncertainty_score":0.9999969},"labels":[],"label_agreement":null},{"id":"W2963301340","doi":"10.1007/s10485-015-9422-y","title":"Quasicategories of Frames of Cofibration Categories","year":2016,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":15,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Computer science","score_opus":0.02217582015227187,"score_gpt":0.28268803856194835,"score_spread":0.2605122184096765,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2963301340","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8371061,0.0001648021,0.1501782,0.0010084093,0.00042992207,0.00044272756,0.000016537531,0.0001596601,0.010493606],"genre_scores_gemma":[0.9977582,0.000024552313,0.0018726783,0.000039812614,0.00010114257,0.00003533657,0.000005741758,0.000022435825,0.00014006508],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984633,0.00006999105,0.0006183883,0.0002903477,0.00026590747,0.00029209218],"domain_scores_gemma":[0.99803483,0.0009746302,0.00038245384,0.00042891913,0.000108645145,0.00007050368],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00016239315,0.0002210866,0.0005802073,0.00009573304,0.000068308174,0.0000060277266,0.00033731895,0.0003135479,0.0005172962],"category_scores_gemma":[0.00029516846,0.00013451843,0.00010216754,0.00021704541,0.0008995791,0.00006524079,0.000087896566,0.00012944054,0.000009283416],"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.00009306028,0.000050159502,0.0009140611,0.00006560936,0.00007825085,0.000001865262,0.00049957586,5.92911e-7,0.0406843,0.9499664,0.0005741645,0.0070719607],"study_design_scores_gemma":[0.00034470818,0.00010332568,0.0017521699,0.0000013740122,0.000041545853,0.000010948479,0.00022439487,6.5767983e-7,0.21542111,0.78168046,0.0002900514,0.0001292642],"about_ca_topic_score_codex":0.000032106494,"about_ca_topic_score_gemma":0.000013321641,"teacher_disagreement_score":0.17473681,"about_ca_system_score_codex":0.000028803935,"about_ca_system_score_gemma":0.000071716975,"threshold_uncertainty_score":0.5664031},"labels":[],"label_agreement":null},{"id":"W3120033270","doi":"10.1007/s10485-021-09671-9","title":"Kan Extensions are Partial Colimits","year":2022,"lang":"en","type":"preprint","venue":"Applied Categorical Structures","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":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"Air Force Office of Scientific Research; Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; Fields Institute for Research in Mathematical Sciences; Massachusetts Institute of Technology","keywords":"Morphism; Mathematics; Monad (category theory); Extensionality; Distributive property; Pure mathematics; Algebra over a field; Functor; Discrete mathematics","score_opus":0.052937922804737844,"score_gpt":0.3226796264998915,"score_spread":0.26974170369515366,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3120033270","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8829102,0.0009813161,0.018926721,0.0065606586,0.01123237,0.004289275,0.00023564033,0.002102618,0.072761185],"genre_scores_gemma":[0.9954013,0.000035378263,0.0012122401,0.00090722204,0.00079622015,0.00076327956,0.00014745459,0.00008767513,0.0006491829],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9967027,0.0002470004,0.00069263345,0.0010844603,0.0005235304,0.00074973196],"domain_scores_gemma":[0.9972818,0.00065853103,0.0005304968,0.0012148595,0.00006135818,0.00025295094],"candidate_categories":["metaepi_narrow","research_integrity","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002479158,0.00061281596,0.0010787188,0.00013770434,0.00052341644,0.000053775835,0.0010331012,0.0010514554,0.0058175363],"category_scores_gemma":[0.0002786737,0.00055063365,0.00029361137,0.00020368853,0.0003643282,0.000015934262,0.002212416,0.0026810744,0.000053391796],"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.00007262393,0.00010564226,0.00015742176,0.00009548595,0.00019103424,0.00017930583,0.00034296224,0.00012591691,0.000103510225,0.9769943,0.020634381,0.0009974306],"study_design_scores_gemma":[0.0003601387,0.0000471167,0.0020516766,0.0000017479925,0.00022416865,0.00008192036,0.00033895706,0.000022648992,0.0003523977,0.9811326,0.014820397,0.00056622166],"about_ca_topic_score_codex":0.000042883108,"about_ca_topic_score_gemma":0.000039302457,"teacher_disagreement_score":0.11249113,"about_ca_system_score_codex":0.00020421813,"about_ca_system_score_gemma":0.00019547279,"threshold_uncertainty_score":0.9996945},"labels":[],"label_agreement":null},{"id":"W3185694118","doi":"10.1007/s10485-023-09720-5","title":"Inner Automorphisms of Presheaves of Groups","year":2023,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Brandon University","funders":"","keywords":"Automorphism; Mathematics; Functor; Morphism; Pure mathematics; Group (periodic table); Outer automorphism group; Automorphisms of the symmetric and alternating groups; Inner automorphism; Automorphism group; Physics","score_opus":0.0363705419649982,"score_gpt":0.2883473891418996,"score_spread":0.2519768471769014,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3185694118","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9930874,0.000059607366,0.0022246805,0.00008325949,0.00057500514,0.0003632083,0.000007723844,0.00022127651,0.003377839],"genre_scores_gemma":[0.99900913,0.000010962954,0.00064474536,0.000023568182,0.00015686062,0.000027156239,0.000013145606,0.000035824665,0.00007860951],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9983506,0.000029044979,0.00053290196,0.00028464466,0.0004907715,0.0003120071],"domain_scores_gemma":[0.99879676,0.00035380025,0.0002584689,0.0004311576,0.00007205931,0.00008773172],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00013814554,0.00021875167,0.0005291289,0.00012539171,0.000060004706,0.000010870406,0.00038833215,0.00020224054,0.00018711403],"category_scores_gemma":[0.00010512962,0.00016582348,0.00013123102,0.00060707575,0.00016889985,0.00003389607,0.00017220233,0.00018198631,0.000006506783],"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.00004174733,0.000023259272,0.00009427831,0.00011402923,0.00006514301,0.0000022184804,0.00038304573,0.00007157354,0.0049840873,0.989456,0.0032586367,0.0015060017],"study_design_scores_gemma":[0.00044580828,0.000056730532,0.0033199955,0.0000019536985,0.00004418538,0.0000029771581,0.00011362392,0.00006356021,0.020702094,0.9748799,0.00021655235,0.00015259863],"about_ca_topic_score_codex":0.00003229348,"about_ca_topic_score_gemma":0.0000016848123,"teacher_disagreement_score":0.015718007,"about_ca_system_score_codex":0.000025040972,"about_ca_system_score_gemma":0.000037773705,"threshold_uncertainty_score":0.67620856},"labels":[],"label_agreement":null},{"id":"W42117920","doi":"10.1023/a:1012095313842","title":"Boundedness and Complete Distributivity","year":2001,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Dalhousie University; Mount Allison University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Distributivity; Mathematics; Bounded function; Infimum and supremum; Corollary; Constructive; Simple (philosophy); Idempotence; Pure mathematics; Discrete mathematics; Combinatorics; Distributive property; Process (computing); Computer science; Philosophy; Epistemology","score_opus":0.016454157454467464,"score_gpt":0.22975770313879032,"score_spread":0.21330354568432286,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W42117920","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.071036056,0.00011050918,0.92418146,0.0003825699,0.00014582642,0.00011322006,0.0000016240057,0.00018212423,0.003846581],"genre_scores_gemma":[0.996987,0.000019653824,0.0024826515,0.00037661017,0.00008180821,0.000012158444,0.0000071883205,0.0000057493667,0.000027209258],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9989105,0.000020854564,0.00013437228,0.0004147356,0.00018797797,0.0003315474],"domain_scores_gemma":[0.9993866,0.000082956285,0.000048951908,0.0003159931,0.000019397086,0.00014609477],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000059437687,0.00016153326,0.00018796904,0.000027520196,0.00023526126,0.00013049848,0.00044122772,0.000068124944,0.000022224536],"category_scores_gemma":[0.000012281666,0.00012359791,0.00002903482,0.0002914861,0.00011917654,0.00013715903,0.00026014543,0.00016422167,0.000015091162],"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.0000061669853,0.000009898231,0.000314627,0.0000030156832,0.0000050614854,0.000016754533,0.00003978237,0.000017831908,0.0009054271,0.95737505,0.0000953558,0.041211],"study_design_scores_gemma":[0.0002272061,0.000021934966,0.038019184,1.5336556e-7,0.0000035562725,0.00007452578,0.000013443287,0.00046500293,0.00022127734,0.9464405,0.014325106,0.00018808045],"about_ca_topic_score_codex":0.000013470952,"about_ca_topic_score_gemma":0.0000049690384,"teacher_disagreement_score":0.9259509,"about_ca_system_score_codex":0.000035372297,"about_ca_system_score_gemma":0.000014693599,"threshold_uncertainty_score":0.50401765},"labels":[],"label_agreement":null},{"id":"W4242173396","doi":"10.1023/a:1008663927335","title":"Representation of Relations by Partial Maps","year":2000,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Functor; Morphism; Theory of computation; Adjoint functors; Pure mathematics; Class (philosophy); Graph; Finitely-generated abelian group; Combinatorics; Discrete mathematics; Computer science","score_opus":0.019901326557852327,"score_gpt":0.29325177782936546,"score_spread":0.27335045127151314,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4242173396","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8712327,0.00009198811,0.016114658,0.0009032298,0.00021413584,0.0004775482,0.000019783056,0.00018819551,0.110757746],"genre_scores_gemma":[0.9974426,0.000010224661,0.0011003854,0.00009379395,0.00008455367,0.000036440233,0.000049189686,0.000013160308,0.0011696635],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99900377,0.00006239869,0.00033855345,0.00023123038,0.00015916262,0.00020486349],"domain_scores_gemma":[0.9992599,0.00029888802,0.000094123905,0.00026822556,0.000018639637,0.000060214785],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00006915265,0.00011949566,0.000261856,0.000030114743,0.00009339889,0.000006865795,0.00016222418,0.00020394464,0.005498676],"category_scores_gemma":[0.000058993395,0.00010243477,0.000062860934,0.00020752367,0.00018983147,0.000029324601,0.000020695286,0.00018319502,0.00006814513],"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.00004574034,0.00004216036,0.00022380763,0.0000062755603,0.000037113237,0.0000023282496,0.00020899545,0.000015682275,0.002112866,0.9651412,0.020260673,0.0119031845],"study_design_scores_gemma":[0.00031735175,0.000032198608,0.0006938822,2.289169e-7,0.00004053314,0.000014979977,0.000057903777,0.000010790436,0.015072693,0.97919226,0.004464973,0.00010222213],"about_ca_topic_score_codex":0.000036385958,"about_ca_topic_score_gemma":0.000004229351,"teacher_disagreement_score":0.12620987,"about_ca_system_score_codex":0.00002090966,"about_ca_system_score_gemma":0.000017564644,"threshold_uncertainty_score":0.99541044},"labels":[],"label_agreement":null},{"id":"W4245853846","doi":"10.1007/s10485-013-9342-7","title":"Foreword","year":2013,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Computer science","score_opus":0.02276687629609288,"score_gpt":0.27817270805220334,"score_spread":0.2554058317561105,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4245853846","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.86464125,0.00006552158,0.041908976,0.0016644855,0.0005722312,0.00083986047,0.0000021832261,0.00048317426,0.089822315],"genre_scores_gemma":[0.9952733,0.0000024514873,0.0028260455,0.00072588417,0.00021923859,0.00016823875,0.000005255452,0.000022849412,0.0007567468],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988758,0.000031721615,0.00025340065,0.00028186708,0.00015252063,0.00040471475],"domain_scores_gemma":[0.9991494,0.0002922316,0.00007152597,0.00033323353,0.000030563966,0.00012307103],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00006482256,0.0001861291,0.0002739668,0.000045025157,0.000121762634,0.000019850675,0.00030412176,0.00025501024,0.0046890746],"category_scores_gemma":[0.0000768536,0.00013834798,0.00006604685,0.00013182979,0.00018271976,0.00003977702,0.0000857799,0.00029033722,0.00046936574],"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.0000062511076,0.000019541267,0.000121437966,0.000009528547,0.00002900589,0.000004755443,0.00010472249,4.903147e-7,0.00072354183,0.9703718,0.016599728,0.012009234],"study_design_scores_gemma":[0.00022702891,0.000030010626,0.0032460557,1.4273118e-7,0.000017891394,0.000042804626,0.000087800145,0.000011694337,0.0016154071,0.99250853,0.002044056,0.00016855591],"about_ca_topic_score_codex":0.000040367973,"about_ca_topic_score_gemma":0.000007453251,"teacher_disagreement_score":0.13063204,"about_ca_system_score_codex":0.00003112925,"about_ca_system_score_gemma":0.000018789615,"threshold_uncertainty_score":0.99622077},"labels":[],"label_agreement":null},{"id":"W4386966712","doi":"10.1007/s10485-023-09735-y","title":"Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities","year":2023,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Brandon University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Diagrammatic reasoning; Subcategory; Mathematics; Algebraic number; Adjunction; Algebra over a field; Category theory; Variety (cybernetics); Pure mathematics; Computer science; Programming language","score_opus":0.02431928899392258,"score_gpt":0.25864604130165436,"score_spread":0.23432675230773178,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4386966712","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0038568634,0.00018948401,0.9941679,0.00008666356,0.00015103209,0.00041669418,2.7610415e-7,0.000112292946,0.0010187626],"genre_scores_gemma":[0.9993772,0.00002353472,0.00023371016,0.000015099734,0.000044006658,0.00015151709,0.000016400423,0.000008440782,0.00013011642],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9989824,0.000023896666,0.00030964802,0.00023388684,0.0002243917,0.00022577563],"domain_scores_gemma":[0.9990877,0.00038219694,0.00014666446,0.00024891482,0.000074906486,0.00005961441],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00016301368,0.00012394895,0.00027838265,0.000111162975,0.000089811125,0.000054819408,0.0003489349,0.00008373042,0.000003614366],"category_scores_gemma":[0.00005205268,0.00009617399,0.00005954626,0.0004242402,0.0001505038,0.0000735672,0.00013482725,0.00006487592,0.0000014090228],"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.000007934415,0.000013618204,0.0004939033,0.00019314967,0.00003383611,7.297164e-7,0.00149187,0.000051926087,0.0013493752,0.99003196,0.0006291836,0.0057025338],"study_design_scores_gemma":[0.00025266907,0.000056987847,0.0073326873,1.1701961e-8,0.000015870944,0.0000026539294,0.0004852388,0.001121607,0.0021500958,0.9879388,0.0005418013,0.000101533675],"about_ca_topic_score_codex":0.0001434119,"about_ca_topic_score_gemma":0.000009032385,"teacher_disagreement_score":0.9955203,"about_ca_system_score_codex":0.000006727287,"about_ca_system_score_gemma":0.00003778115,"threshold_uncertainty_score":0.39218616},"labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"empirical","about_ca_system":false,"about_ca_topic":false,"confidence":"low"},{"model":"gpt","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high"}],"label_agreement":"agree"},{"id":"W4387098057","doi":"10.1007/s10485-023-09746-9","title":"Nonexistence of Colimits in Naive Discrete Homotopy Theory","year":2023,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Homotopy; Mathematics; Homotopy category; Class (philosophy); Simple (philosophy); Homotopy hypothesis; Theory of computation; Pure mathematics; Cofibration; n-connected; Model category; Homotopy lifting property; Whitehead theorem; Discrete mathematics; Computer science; Artificial intelligence; Algorithm; Epistemology; Philosophy","score_opus":0.0313268045336884,"score_gpt":0.3135791921182064,"score_spread":0.282252387584518,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4387098057","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.96676224,0.00005595641,0.0034623554,0.0002881203,0.00029205458,0.00053725706,0.000009164075,0.00020965817,0.028383201],"genre_scores_gemma":[0.9988641,0.000021310057,0.0005189883,0.000110035755,0.00006774541,0.00009416386,0.000012278757,0.000024114313,0.00028724392],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984189,0.00012653554,0.00043746544,0.00035007228,0.00022109675,0.0004459292],"domain_scores_gemma":[0.9983062,0.0010697345,0.00014289159,0.00037638436,0.000026113836,0.00007864782],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00036881442,0.0002056668,0.0004744872,0.00016436575,0.00007317405,0.000007735606,0.0004135903,0.00027526164,0.00024680825],"category_scores_gemma":[0.00025407647,0.00016627081,0.00008112328,0.00063589396,0.00041269397,0.000024068575,0.0001622095,0.00033827327,0.000053690997],"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.000094734096,0.000027699942,0.0006519379,0.000050210292,0.00003486476,0.000050066195,0.0010191199,0.000012920459,0.0017176825,0.99400085,0.00038034286,0.0019595507],"study_design_scores_gemma":[0.00043587727,0.000059050166,0.012211375,0.0000019046345,0.000022777458,0.000020431899,0.00063918537,0.000020296764,0.004980137,0.98130023,0.00013571506,0.00017300335],"about_ca_topic_score_codex":0.000027597634,"about_ca_topic_score_gemma":0.000026581147,"teacher_disagreement_score":0.032101884,"about_ca_system_score_codex":0.000040592633,"about_ca_system_score_gemma":0.000044657078,"threshold_uncertainty_score":0.6780327},"labels":[],"label_agreement":null},{"id":"W4387776395","doi":"10.1007/s10485-023-09751-y","title":"Compact Hausdorff Locales in Presheaf Toposes","year":2023,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Topos theory; Mathematics; Hausdorff space; Functor; Pure mathematics; Discrete mathematics; Combinatorics","score_opus":0.042046958033697825,"score_gpt":0.32343509177771207,"score_spread":0.2813881337440142,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4387776395","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.96978885,0.00009221127,0.0017013556,0.0014051998,0.00044190531,0.0005114673,0.0000046004143,0.00060761353,0.02544678],"genre_scores_gemma":[0.99883384,0.000019508127,0.00019232022,0.00025041873,0.00016374324,0.000043248074,0.00002216286,0.000029105135,0.0004456317],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9983395,0.0000806591,0.00038631752,0.00039589778,0.00022010949,0.00057757134],"domain_scores_gemma":[0.9986582,0.00076309114,0.000076482414,0.00037150818,0.00001730724,0.00011340648],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002122137,0.0002417015,0.00045091717,0.0001750819,0.0001126114,0.000023396127,0.0003735986,0.00030352524,0.00055982],"category_scores_gemma":[0.00015943064,0.00019563829,0.000073889416,0.00055025064,0.00026557362,0.000033933706,0.00010235599,0.0004109135,0.00018839819],"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.00004864914,0.000040162136,0.0014689761,0.000034590917,0.00003137322,0.00008668662,0.00037949646,0.000059745034,0.0007130947,0.98220706,0.011944799,0.0029853836],"study_design_scores_gemma":[0.00048237486,0.00004169499,0.019718716,0.0000010661793,0.000016538233,0.000033107615,0.00025639386,0.00005466696,0.0026064848,0.9738954,0.0026760653,0.00021754572],"about_ca_topic_score_codex":0.00007524801,"about_ca_topic_score_gemma":0.000106167,"teacher_disagreement_score":0.029044995,"about_ca_system_score_codex":0.00006328252,"about_ca_system_score_gemma":0.000041446827,"threshold_uncertainty_score":0.7977898},"labels":[],"label_agreement":null},{"id":"W4401694164","doi":"10.1007/s10485-024-09771-2","title":"The Differential Bundles of the Geometric Tangent Category of an Operad","year":2024,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Mathematics; Differential (mechanical device); Tangent; Tangent bundle; Pure mathematics; Geometry; Tangent space; Physics","score_opus":0.02008391456800611,"score_gpt":0.2860525885182401,"score_spread":0.265968673950234,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4401694164","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9904234,0.0010886969,0.0036925352,0.0004149749,0.0010826297,0.00039365038,0.000009124494,0.00006824458,0.0028267815],"genre_scores_gemma":[0.99938613,0.00004274447,0.00011140845,0.00003591618,0.0001772511,0.000039732695,0.0000043849905,0.000022893935,0.00017956446],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99855494,0.00012238929,0.0004398229,0.00027168242,0.00031832317,0.00029284402],"domain_scores_gemma":[0.99842566,0.0007943437,0.00012223642,0.00055803295,0.00003899795,0.000060728475],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00020131428,0.00019088096,0.00032530545,0.00008541559,0.00019977777,0.000031671418,0.0007545669,0.00020673261,0.00025013834],"category_scores_gemma":[0.0001110815,0.00009108503,0.00014799388,0.00051847805,0.00061557913,0.000024923786,0.00019078796,0.00036442012,0.000004838491],"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.00002811323,0.000049422157,0.000048014033,0.00006817372,0.00012725698,0.0000033361073,0.00034455632,0.0000040908294,0.0042584813,0.9788212,0.0005440933,0.015703259],"study_design_scores_gemma":[0.00015187517,0.00007674283,0.004332792,0.0000014471015,0.00011210206,0.00003280547,0.00023816261,0.00004415786,0.02962392,0.9642002,0.0010742042,0.00011161872],"about_ca_topic_score_codex":0.000070715076,"about_ca_topic_score_gemma":0.000047409063,"teacher_disagreement_score":0.025365438,"about_ca_system_score_codex":0.000038214337,"about_ca_system_score_gemma":0.00007631014,"threshold_uncertainty_score":0.37143397},"labels":[],"label_agreement":null},{"id":"W4405277727","doi":"10.1007/s10485-024-09796-7","title":"A Tangent Category Perspective on Connections in Algebraic Geometry","year":2024,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University; Mount Allison University","funders":"Australian Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Connection (principal bundle); Mathematics; Tangent; Tangent cone; Sheaf; Affine connection; Pure mathematics; Tangent space; Tangent vector; Affine transformation; Perspective (graphical); Algebra over a field; Geometry","score_opus":0.023613782639653934,"score_gpt":0.30299159007094295,"score_spread":0.27937780743128904,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4405277727","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8123476,0.002241919,0.015093865,0.003205376,0.0020172107,0.0013651663,0.000022512528,0.0012646817,0.16244167],"genre_scores_gemma":[0.998382,0.000019969439,0.00015887742,0.00038916233,0.00037191654,0.00011954096,0.00001166423,0.00005963571,0.00048727758],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9980069,0.00006703968,0.00036566373,0.00067618024,0.00038517307,0.00049908046],"domain_scores_gemma":[0.99828905,0.0010751166,0.00005438267,0.0003868685,0.000038881473,0.00015572434],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00030259215,0.0003475148,0.00038636674,0.0005120912,0.00014599117,0.000094984716,0.00027866015,0.00024991305,0.0012531377],"category_scores_gemma":[0.00022111202,0.0002807866,0.00014941808,0.0013667792,0.00013518633,0.00006899158,0.00008533365,0.0007888583,0.00027747505],"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.000062035426,0.000094424366,0.000019674022,0.000069748174,0.000102983206,0.000075737385,0.0016295222,0.00003072075,0.00042078277,0.9922505,0.0030557544,0.0021881214],"study_design_scores_gemma":[0.0003117618,0.00007358823,0.0008615761,0.0000055148917,0.000049213435,0.000049026476,0.0026971623,0.00003462878,0.0018699248,0.99026555,0.0034473566,0.0003347133],"about_ca_topic_score_codex":0.00010045535,"about_ca_topic_score_gemma":0.000023237246,"teacher_disagreement_score":0.18603437,"about_ca_system_score_codex":0.00055956875,"about_ca_system_score_gemma":0.00007485175,"threshold_uncertainty_score":0.9999644},"labels":[],"label_agreement":null},{"id":"W50318231","doi":"10.1023/a:1011225712426","title":"Realcompactness and the Cozero Part of a Frame","year":2001,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":66,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"University of Cape Town; Natural Sciences and Engineering Research Council of Canada; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; McMaster University","keywords":"Frame (networking); Mathematics; Basis (linear algebra); Reflection (computer programming); Pure mathematics; Filter (signal processing); Cauchy distribution; Computer science; Mathematical analysis; Geometry; Computer vision; Telecommunications","score_opus":0.03396681801987627,"score_gpt":0.3044421357360404,"score_spread":0.2704753177161641,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W50318231","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8097147,0.0005052117,0.122251354,0.001409137,0.00040175644,0.0011345872,0.0000055775,0.00021870683,0.06435899],"genre_scores_gemma":[0.9969386,0.00006168405,0.0025161738,0.00016411202,0.00015529289,0.000027852446,0.0000021809526,0.00001889191,0.0001152257],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99901474,0.00003550876,0.00029071898,0.00020067095,0.00024188666,0.00021645609],"domain_scores_gemma":[0.9985621,0.000809184,0.0001502197,0.00038007164,0.000032350195,0.00006608729],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00014947171,0.00015457577,0.00034745442,0.000025218687,0.00009410711,0.000019210605,0.00023025044,0.000102768114,0.000119073746],"category_scores_gemma":[0.00018101191,0.00008983506,0.000048884805,0.00012946775,0.00040824132,0.000025652636,0.00009658341,0.00023934938,0.0000025379875],"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.00009834312,0.000014165867,0.00010444089,0.000021950667,0.00002980691,0.0000022366025,0.00028351494,0.0000055624528,0.00017492066,0.99548507,0.0006014635,0.0031785371],"study_design_scores_gemma":[0.00086514343,0.000011486336,0.0007374127,0.0000010522554,0.000034310167,0.000026681744,0.0001312751,0.000017314134,0.0008284433,0.99339616,0.0038441543,0.0001065612],"about_ca_topic_score_codex":0.000016971751,"about_ca_topic_score_gemma":0.0000064280257,"teacher_disagreement_score":0.1872239,"about_ca_system_score_codex":0.00002038357,"about_ca_system_score_gemma":0.000011800665,"threshold_uncertainty_score":0.36633676},"labels":[],"label_agreement":null},{"id":"W52944341","doi":"10.1023/a:1011284016682","title":"The Axiom of Countable Choice and Pointfree Topology","year":2001,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Countable set; Mathematics; Axiom of choice; Axiom; Natural number; Property (philosophy); Quotient; Mathematical proof; Set (abstract data type); Discrete mathematics; Theory of computation; Representation (politics); Pure mathematics; Topology (electrical circuits); Combinatorics; Set theory; Computer science; Algorithm; Geometry","score_opus":0.022613354180948113,"score_gpt":0.274287867246325,"score_spread":0.25167451306537686,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W52944341","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9755823,0.00054739777,0.0034122907,0.0005129147,0.00020187741,0.00025124018,0.0000018869744,0.000066558285,0.019423557],"genre_scores_gemma":[0.9987366,0.00015185586,0.00041831058,0.00014177783,0.00020084974,0.000014430577,0.0000022027261,0.000017648013,0.00031628995],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99900895,0.000021125541,0.00026434154,0.00021700426,0.00019270711,0.0002958803],"domain_scores_gemma":[0.9988257,0.00064166455,0.00011678581,0.00031031432,0.000034902518,0.00007060327],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00014192011,0.00014934955,0.00025443314,0.000026637808,0.00020516086,0.00003628151,0.00024714222,0.000108361884,0.00009916698],"category_scores_gemma":[0.00012391944,0.00009276884,0.000039012393,0.00012385233,0.0002636913,0.000030435134,0.00009133139,0.00016950209,0.000004862269],"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.000021028334,0.00001502385,0.00074786233,0.000020681753,0.00002905593,0.0000016132858,0.000116613046,0.0000023331415,0.001218666,0.98857677,0.0025164657,0.006733885],"study_design_scores_gemma":[0.00031836875,0.000028538963,0.00923654,5.744064e-7,0.000026037858,0.00003176148,0.00017360694,0.000018527242,0.0018765093,0.9688081,0.019367456,0.00011395603],"about_ca_topic_score_codex":0.00019659384,"about_ca_topic_score_gemma":0.000117443655,"teacher_disagreement_score":0.023154357,"about_ca_system_score_codex":0.00002452668,"about_ca_system_score_gemma":0.00001802711,"threshold_uncertainty_score":0.37830034},"labels":[],"label_agreement":null},{"id":"W54369028","doi":"10.1023/a:1008682930706","title":"What is a Quotient Map with Respect to a Closure Operator?","year":2001,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":18,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"Centro de Matemática, Universidade de Coimbra; Natural Sciences and Engineering Research Council of Canada","keywords":"Quotient; Mathematics; Closure (psychology); Class (philosophy); Operator (biology); Pure mathematics; Closure operator; Analogy; Equivalence class (music); Topological space; Discrete mathematics; Combinatorics; Closed set; Computer science; Artificial intelligence","score_opus":0.020942770572532694,"score_gpt":0.29812535024539083,"score_spread":0.27718257967285814,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W54369028","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9160444,0.0005554941,0.06445287,0.004344696,0.0007910022,0.0013490143,0.0000065979975,0.00042671067,0.01202921],"genre_scores_gemma":[0.99143714,0.000032382566,0.004112096,0.0026667872,0.00022906331,0.00008013674,0.000005931179,0.000044469594,0.0013919948],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984617,0.000042874508,0.00025114088,0.00048696715,0.00029485472,0.0004624531],"domain_scores_gemma":[0.9989847,0.00018466996,0.00006834436,0.00049328274,0.000052848,0.00021614265],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00011408175,0.00029036004,0.00036426494,0.00007293038,0.00020562958,0.00007623311,0.00030113827,0.0001865279,0.00078452943],"category_scores_gemma":[0.000028532748,0.00019670601,0.000058880734,0.00029514343,0.0001210071,0.000107426065,0.00009505591,0.00032950885,0.00014124019],"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.00052734354,0.000044742632,0.00014837037,0.000017364928,0.000059550104,0.000069124566,0.00243872,0.000051727744,0.0003501682,0.9878248,0.006196292,0.002271822],"study_design_scores_gemma":[0.0005588192,0.000165522,0.00024371255,0.0000033865454,0.000036229434,0.000077334524,0.0015398994,0.0000027356134,0.0027609046,0.95597947,0.03832325,0.0003087695],"about_ca_topic_score_codex":0.000007189333,"about_ca_topic_score_gemma":0.000027110866,"teacher_disagreement_score":0.07539273,"about_ca_system_score_codex":0.00011049963,"about_ca_system_score_gemma":0.00003446898,"threshold_uncertainty_score":0.85900474},"labels":[],"label_agreement":null},{"id":"W99643797","doi":"10.1023/a:1008750131418","title":"Openness with Respect to a Closure Operator","year":2000,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":23,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Morphism; Closure (psychology); Pullback; Pure mathematics; Theory of computation; Closure operator; Operator (biology); Closed set; Algorithm","score_opus":0.022259984355286023,"score_gpt":0.29586877307744075,"score_spread":0.2736087887221547,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W99643797","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9231284,0.000038284208,0.016774643,0.0005166651,0.00010194513,0.0009464066,0.000006034658,0.00031004212,0.05817755],"genre_scores_gemma":[0.96967554,0.00000391912,0.027575968,0.0006580806,0.00030198708,0.00012278813,0.00000552885,0.000065565146,0.0015906224],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99832755,0.000027008733,0.00027602652,0.0005237344,0.0004027395,0.00044292904],"domain_scores_gemma":[0.9989061,0.0001596414,0.000047058926,0.00060565537,0.00004669782,0.00023484677],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00008745061,0.00029681376,0.0003704652,0.000051634037,0.00017251157,0.0000817065,0.00048818288,0.00013214479,0.0025751083],"category_scores_gemma":[0.00005272361,0.00020625346,0.00004471232,0.0004357279,0.00007027599,0.00006166815,0.000078861,0.00032343046,0.00020408967],"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.00019497961,0.000030136482,0.00005053172,0.000017368186,0.00003430598,0.00003061982,0.0004291926,0.00009280518,0.0005078257,0.98491484,0.002744117,0.010953274],"study_design_scores_gemma":[0.0005825725,0.000098096534,0.0007356119,0.0000019569422,0.000026470803,0.000039395265,0.0000999427,0.0000023451398,0.004823405,0.95976967,0.0334558,0.00036475313],"about_ca_topic_score_codex":0.000012179721,"about_ca_topic_score_gemma":0.000026055275,"teacher_disagreement_score":0.05658693,"about_ca_system_score_codex":0.00013136568,"about_ca_system_score_gemma":0.00004238659,"threshold_uncertainty_score":0.9983367},"labels":[],"label_agreement":null}]}