{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":52,"total_is_capped":false,"direct_labels_cover":1,"predictions_cover":52,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"ba0f047b2bdd","filters":{"venue":"Applied Categorical Structures"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.0317298674077464,"gpt":0.3017891666117439,"spread":0.2700592992039975,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002774076,0.0004117262,0.0007280634,0.0001874854,0.00034006,0.00004217774,0.0006579583,0.000779498,0.0001823613],"category_scores_gemma":[0.0003171107,0.000357759,0.0001724459,0.0003911381,0.0003961194,0.00006035751,0.0001980575,0.0006649343,0.000009681906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001917685,"about_ca_system_score_gemma":0.0001151556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005263265,"about_ca_topic_score_gemma":0.00004107136,"domain_scores_codex":[0.9974972,0.0000604183,0.0005641237,0.000698693,0.0003010497,0.0008784946],"domain_scores_gemma":[0.9983464,0.0005816345,0.0002471469,0.0005466025,0.00007503901,0.000203157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007392186,0.0001081788,0.00006474824,0.00009598195,0.0002229227,0.000005302311,0.0003918105,0.0001180126,0.001194914,0.9925752,0.0005413967,0.004607603],"study_design_scores_gemma":[0.001534014,0.0001304816,0.0006924801,6.875235e-7,0.0001736148,0.0001297374,0.0002768292,0.0000145244,0.008156603,0.9874846,0.001000761,0.0004056599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.361861,0.0003171073,0.6068727,0.003841358,0.001054783,0.003049972,0.00007494408,0.0008624637,0.02206567],"genre_scores_gemma":[0.9257262,0.00000709137,0.07245254,0.0009778755,0.0004580239,0.0001464929,0.000113345,0.00005822735,0.00006024638],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5638651,"threshold_uncertainty_score":0.9998875,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01599492519704024,"gpt":0.258343951582344,"spread":0.2423490263853038,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00003609267,0.000455028,0.0005813116,0.0001038838,0.0002583794,0.00009615772,0.0003962387,0.0005106812,0.008599893],"category_scores_gemma":[0.00007628102,0.0003369842,0.00007820983,0.0001708472,0.0004327828,0.00007530386,0.0002349844,0.0005771079,0.00003227331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005462123,"about_ca_system_score_gemma":0.00003032394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008302343,"about_ca_topic_score_gemma":0.0000356707,"domain_scores_codex":[0.9978622,0.00007843965,0.0004572775,0.0006293859,0.0003165067,0.0006561747],"domain_scores_gemma":[0.9987264,0.0002895043,0.0001629262,0.0004878479,0.00005513757,0.0002782364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002312043,0.00002310989,0.0004667857,0.00003826367,0.000107142,0.000008475071,0.0002085941,0.000001039367,0.01625422,0.9689472,0.002937201,0.01098485],"study_design_scores_gemma":[0.0005980427,0.00006065471,0.01348698,5.785784e-7,0.00007805915,0.000141919,0.00007971232,0.00002090258,0.01470636,0.9699428,0.0005051023,0.0003789074],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9918927,0.0001057276,0.003999479,0.0003107485,0.0005571278,0.0006766609,0.00001824579,0.0001913748,0.002247941],"genre_scores_gemma":[0.9969079,0.00001262023,0.001907241,0.000436571,0.0004346863,0.00006140051,0.00003711155,0.00005020431,0.0001522954],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01302019,"threshold_uncertainty_score":0.9999082,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03396681801987627,"gpt":0.3044421357360404,"spread":0.2704753177161641,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001494717,0.0001545758,0.0003474544,0.00002521869,0.00009410711,0.00001921061,0.0002302504,0.0001027681,0.0001190737],"category_scores_gemma":[0.0001810119,0.00008983506,0.00004888481,0.0001294677,0.0004082413,0.00002565264,0.00009658341,0.0002393494,0.000002537987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002038357,"about_ca_system_score_gemma":0.00001180066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001697175,"about_ca_topic_score_gemma":0.000006428026,"domain_scores_codex":[0.9990147,0.00003550876,0.000290719,0.000200671,0.0002418867,0.0002164561],"domain_scores_gemma":[0.9985621,0.000809184,0.0001502197,0.0003800716,0.0000323502,0.00006608729],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009834312,0.00001416587,0.0001044409,0.00002195067,0.00002980691,0.000002236603,0.0002835149,0.000005562453,0.0001749207,0.9954851,0.0006014635,0.003178537],"study_design_scores_gemma":[0.0008651434,0.00001148634,0.0007374127,0.000001052255,0.00003431017,0.00002668174,0.0001312751,0.00001731413,0.0008284433,0.9933962,0.003844154,0.0001065612],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8097147,0.0005052117,0.1222514,0.001409137,0.0004017564,0.001134587,0.0000055775,0.0002187068,0.06435899],"genre_scores_gemma":[0.9969386,0.00006168405,0.002516174,0.000164112,0.0001552929,0.00002785245,0.000002180953,0.00001889191,0.0001152257],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1872239,"threshold_uncertainty_score":0.3663368,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.04161707765319333,"gpt":0.2676941165178878,"spread":0.2260770388646945,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00008442435,0.0002131065,0.0003400593,0.0000521354,0.0001747064,0.00003839899,0.0001654397,0.0003770105,0.001048897],"category_scores_gemma":[0.0001184198,0.0001547393,0.00003930619,0.0001341378,0.0002444262,0.00003349969,0.00007272234,0.0002766819,0.00003727287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000385973,"about_ca_system_score_gemma":0.000005296074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001674891,"about_ca_topic_score_gemma":0.000003070786,"domain_scores_codex":[0.9987792,0.00007188172,0.0002884928,0.0003518725,0.0001753526,0.0003331454],"domain_scores_gemma":[0.9991572,0.0003660351,0.00009399665,0.0002319557,0.00002266112,0.0001281894],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009557624,0.00002701338,0.0006808468,0.00002116492,0.00003055974,0.000007771305,0.0001952683,0.000002870199,0.0003821375,0.994844,0.001954141,0.001844655],"study_design_scores_gemma":[0.0003076429,0.00007683251,0.002120391,4.025336e-7,0.00003630072,0.0000974787,0.000241296,0.00008410629,0.0002040641,0.9921392,0.004481827,0.0002105009],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8490112,0.000965845,0.07138627,0.0009015352,0.001810553,0.0009084681,0.000006583068,0.0006433893,0.07436619],"genre_scores_gemma":[0.9987292,0.00003672508,0.0002354595,0.000114497,0.0002660939,0.00004203364,0.00000626374,0.00001758288,0.0005521913],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.149718,"threshold_uncertainty_score":0.9998643,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02829148702777369,"gpt":0.2667564826290049,"spread":0.2384649956012312,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001161399,0.0002739723,0.0004449796,0.00007008207,0.0001397674,0.00003815834,0.0002211672,0.000157123,0.00002592122],"category_scores_gemma":[0.00006390805,0.0002219322,0.00009785395,0.0001184865,0.0001576056,0.00004574744,0.00008703297,0.0001695825,0.000002742707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001044035,"about_ca_system_score_gemma":0.00004489005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008314495,"about_ca_topic_score_gemma":0.00002231755,"domain_scores_codex":[0.9984775,0.000009126669,0.0004162947,0.0003997066,0.0002805681,0.0004168684],"domain_scores_gemma":[0.9991836,0.0001322299,0.0001754791,0.0002738028,0.00005181995,0.0001830462],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006426986,0.0000725142,0.00017418,0.0001978034,0.0000539831,0.000001933142,0.0005671806,0.00003550313,0.009156589,0.9838089,0.0003561391,0.005511036],"study_design_scores_gemma":[0.001495959,0.00006577437,0.005666105,0.000005680567,0.00006359497,0.00001336116,0.0001412947,0.00001133329,0.06014609,0.9316446,0.0004995889,0.0002466178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9491169,0.0002556047,0.04912869,0.0001446154,0.0001087147,0.0007139063,0.000005187189,0.00008506221,0.0004412559],"genre_scores_gemma":[0.9902702,0.00004371768,0.00929273,0.0001243593,0.0001299363,0.00006114014,0.00000857004,0.00004216571,0.00002720249],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05216426,"threshold_uncertainty_score":0.9050131,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03444970641738673,"gpt":0.300226245992268,"spread":0.2657765395748813,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007182999,0.0001591493,0.0002624174,0.00003701615,0.0002684445,0.000009182988,0.0001082529,0.000240603,0.0002641892],"category_scores_gemma":[0.00002926908,0.0001315999,0.00003661013,0.00009618274,0.00027206,0.00003201547,0.00004832915,0.0002285466,0.0000267151],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002681377,"about_ca_system_score_gemma":0.00001624087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001932776,"about_ca_topic_score_gemma":0.00001652927,"domain_scores_codex":[0.9990955,0.00004939771,0.000216092,0.0002645397,0.000150636,0.0002238478],"domain_scores_gemma":[0.9994595,0.0001736389,0.00007719327,0.0001864194,0.00002579588,0.00007745405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003293542,0.00002109043,0.001182937,0.00001407868,0.00002556419,0.00001774925,0.0003165386,0.000002146095,0.001420239,0.9933196,0.002485506,0.001161561],"study_design_scores_gemma":[0.0003794918,0.00005232563,0.01790422,2.082792e-7,0.00002435351,0.000458669,0.00003294097,0.0000271213,0.001245258,0.9778795,0.001842085,0.0001537814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9530186,0.00007902394,0.03648811,0.0003452589,0.0001625079,0.0002573057,0.000001761212,0.0001491807,0.00949824],"genre_scores_gemma":[0.9980082,0.0000195682,0.001339792,0.0002781311,0.0001708732,0.00002707413,0.00002048278,0.00001433174,0.0001215447],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04498959,"threshold_uncertainty_score":0.536649,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03312976923896764,"gpt":0.3231081124856257,"spread":0.289978343246658,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001300065,0.0001844146,0.0002999988,0.00007240397,0.00008439853,0.00002054731,0.0001483477,0.0001027552,0.0002692967],"category_scores_gemma":[0.0003196839,0.0001386833,0.00004032602,0.0002064832,0.0001778196,0.00002994852,0.00003889423,0.0002578237,0.00001121735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004219233,"about_ca_system_score_gemma":0.00002967146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003985956,"about_ca_topic_score_gemma":0.000004646334,"domain_scores_codex":[0.9987558,0.00004393218,0.000245517,0.0002985892,0.0003617721,0.0002944395],"domain_scores_gemma":[0.9989331,0.0005513957,0.00006704807,0.0002935611,0.00003121108,0.0001236609],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003773029,0.00003939376,0.00009289394,0.0000446529,0.00002183018,0.000005149348,0.00009890769,0.000007669204,0.00921491,0.9891537,0.0002666202,0.001016473],"study_design_scores_gemma":[0.0003640372,0.00008316657,0.0006726017,9.263038e-7,0.00001040595,0.00001378969,0.0001360025,0.000004355406,0.07253259,0.9258725,0.0001686918,0.0001408998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.969258,0.0001473262,0.01048615,0.00004075962,0.0000558746,0.0003533415,0.000002921254,0.00006303273,0.01959267],"genre_scores_gemma":[0.9943869,0.0000190794,0.005422727,0.00004846883,0.00002819535,0.0000166169,0.000001773042,0.00003009801,0.00004620842],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06331769,"threshold_uncertainty_score":0.5655343,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01001570250056739,"gpt":0.2021650121590249,"spread":0.1921493096584575,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001144754,0.0001313096,0.0001504675,0.00003480398,0.0003240732,0.00004340583,0.001062044,0.00006821665,0.00001229504],"category_scores_gemma":[0.0000118722,0.00008663711,0.00005074403,0.0002824709,0.0001997088,0.0001811129,0.0002334881,0.0001486479,0.00000795521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003749632,"about_ca_system_score_gemma":0.00004418499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007057143,"about_ca_topic_score_gemma":0.000008457367,"domain_scores_codex":[0.9989951,0.00003384678,0.0001773122,0.0002662757,0.0002708156,0.0002566775],"domain_scores_gemma":[0.9990954,0.0001508821,0.00009035075,0.0005354582,0.00002509981,0.0001028505],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001307523,0.00001190269,0.00004348556,0.000002941675,0.00001213906,0.00001648468,0.0004692604,0.0002707937,0.005408461,0.9801366,0.0005031303,0.01311177],"study_design_scores_gemma":[0.0008805557,0.0001487931,0.01302631,0.000001101322,0.00001486694,0.0001838123,0.0006002702,0.01995456,0.03495308,0.9166646,0.01306931,0.0005027202],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8098675,0.0001116589,0.1818684,0.0001316877,0.0003543759,0.0001738773,0.000001503184,0.0002676066,0.00722339],"genre_scores_gemma":[0.9973969,0.0000314553,0.002289969,0.0001504662,0.00007050615,0.000004014689,0.000002695749,0.000008205086,0.00004574564],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1875294,"threshold_uncertainty_score":0.3532959,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02225998435528602,"gpt":0.2958687730774407,"spread":0.2736087887221547,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00008745061,0.0002968138,0.0003704652,0.00005163404,0.0001725116,0.0000817065,0.0004881829,0.0001321448,0.002575108],"category_scores_gemma":[0.00005272361,0.0002062535,0.00004471232,0.0004357279,0.00007027599,0.00006166815,0.000078861,0.0003234305,0.0002040897],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001313657,"about_ca_system_score_gemma":0.00004238659,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001217972,"about_ca_topic_score_gemma":0.00002605528,"domain_scores_codex":[0.9983276,0.00002700873,0.0002760265,0.0005237344,0.0004027395,0.000442929],"domain_scores_gemma":[0.9989061,0.0001596414,0.00004705893,0.0006056554,0.00004669782,0.0002348468],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001949796,0.00003013648,0.00005053172,0.00001736819,0.00003430598,0.00003061982,0.0004291926,0.00009280518,0.0005078257,0.9849148,0.002744117,0.01095327],"study_design_scores_gemma":[0.0005825725,0.00009809653,0.0007356119,0.000001956942,0.0000264708,0.00003939527,0.0000999427,0.00000234514,0.004823405,0.9597697,0.0334558,0.0003647531],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9231284,0.00003828421,0.01677464,0.0005166651,0.0001019451,0.0009464066,0.000006034658,0.0003100421,0.05817755],"genre_scores_gemma":[0.9696755,0.00000391912,0.02757597,0.0006580806,0.0003019871,0.0001227881,0.00000552885,0.00006556515,0.001590622],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05658693,"threshold_uncertainty_score":0.9983367,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.03039959187862704,"gpt":0.3161744650159913,"spread":0.2857748731373643,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003818136,0.0002039484,0.0004692167,0.00007827114,0.00008740018,0.000008548241,0.0003447847,0.0003247704,0.000749377],"category_scores_gemma":[0.0001558902,0.0001543284,0.00009326764,0.0002237518,0.000497158,0.00001946427,0.00009587283,0.0002875204,0.00001972411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003622851,"about_ca_system_score_gemma":0.00003076486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004443196,"about_ca_topic_score_gemma":0.00005151984,"domain_scores_codex":[0.9985768,0.00003930226,0.000454092,0.0002893127,0.0002051756,0.0004352706],"domain_scores_gemma":[0.9986804,0.0006321411,0.0001873301,0.000358373,0.00003854141,0.0001032741],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005571628,0.00004618829,0.0003366483,0.00004734481,0.00004972634,0.00002203052,0.0002690403,6.353059e-7,0.002153648,0.9844823,0.0008992915,0.0116374],"study_design_scores_gemma":[0.000285347,0.0000763613,0.002737323,6.56908e-7,0.0000380588,0.00005966205,0.0002879395,6.939273e-7,0.02177731,0.9702475,0.004327728,0.0001614317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8336537,0.0005236417,0.06338026,0.0008149507,0.0006688601,0.0005477089,0.00000332275,0.0002531705,0.1001543],"genre_scores_gemma":[0.9962515,0.00001819076,0.003081725,0.0002637398,0.0001659888,0.00001370818,0.000004051926,0.00001749489,0.0001835719],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1625977,"threshold_uncertainty_score":0.8205153,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01066470486659546,"gpt":0.2302669523936371,"spread":0.2196022475270416,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000199617,0.0002407952,0.0002304013,0.00007241074,0.0002111386,0.00009359203,0.0005645652,0.0001254637,0.00003122144],"category_scores_gemma":[0.00002031858,0.0001548876,0.00005049383,0.0003510535,0.0001154668,0.0001210192,0.0002648522,0.0002572872,0.00002200667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000369315,"about_ca_system_score_gemma":0.00001642083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006598569,"about_ca_topic_score_gemma":0.000004710525,"domain_scores_codex":[0.9985991,0.0000197524,0.000204138,0.000521607,0.0001742414,0.00048117],"domain_scores_gemma":[0.9991347,0.0002107133,0.00006565236,0.0003729281,0.00002315579,0.0001929185],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007932076,0.000009210793,0.00009937061,0.000004465398,0.000007675199,0.0000122072,0.0001853544,0.00001700879,0.003127507,0.9028518,0.0001070937,0.0935704],"study_design_scores_gemma":[0.0002189331,0.00005789799,0.01344257,2.259699e-7,0.000003205178,0.00006232937,0.00007272103,0.0001434354,0.006855503,0.9763432,0.002560921,0.0002390874],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07382245,0.0004548379,0.9137276,0.0001962361,0.0001589267,0.0001632637,2.667255e-7,0.0002678209,0.01120864],"genre_scores_gemma":[0.9926693,0.00001839117,0.005980218,0.001115081,0.0001634724,0.000007305072,0.000002562424,0.00001073938,0.00003291052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9188468,"threshold_uncertainty_score":0.6316134,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02094277057253269,"gpt":0.2981253502453908,"spread":0.2771825796728581,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001140817,0.00029036,0.0003642649,0.00007293038,0.0002056296,0.00007623311,0.0003011383,0.0001865279,0.0007845294],"category_scores_gemma":[0.00002853275,0.000196706,0.00005888073,0.0002951434,0.0001210071,0.0001074261,0.00009505591,0.0003295089,0.0001412402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001104996,"about_ca_system_score_gemma":0.00003446898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007189333,"about_ca_topic_score_gemma":0.00002711087,"domain_scores_codex":[0.9984617,0.00004287451,0.0002511409,0.0004869672,0.0002948547,0.0004624531],"domain_scores_gemma":[0.9989847,0.00018467,0.00006834436,0.0004932827,0.000052848,0.0002161427],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005273435,0.00004474263,0.0001483704,0.00001736493,0.0000595501,0.00006912457,0.00243872,0.00005172774,0.0003501682,0.9878248,0.006196292,0.002271822],"study_design_scores_gemma":[0.0005588192,0.000165522,0.0002437126,0.000003386545,0.00003622943,0.00007733452,0.001539899,0.000002735613,0.002760905,0.9559795,0.03832325,0.0003087695],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9160444,0.0005554941,0.06445287,0.004344696,0.0007910022,0.001349014,0.000006597998,0.0004267107,0.01202921],"genre_scores_gemma":[0.9914371,0.00003238257,0.004112096,0.002666787,0.0002290633,0.00008013674,0.000005931179,0.00004446959,0.001391995],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07539273,"threshold_uncertainty_score":0.8590047,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Computer science","retraction":null,"screen_n_in":null,"score":{"opus":0.02217582015227187,"gpt":0.2826880385619484,"spread":0.2605122184096765,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001623931,0.0002210866,0.0005802073,0.00009573304,0.00006830817,0.000006027727,0.000337319,0.0003135479,0.0005172962],"category_scores_gemma":[0.0002951685,0.0001345184,0.0001021675,0.0002170454,0.0008995791,0.00006524079,0.00008789657,0.0001294405,0.000009283416],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002880394,"about_ca_system_score_gemma":0.00007171698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003210649,"about_ca_topic_score_gemma":0.00001332164,"domain_scores_codex":[0.9984633,0.00006999105,0.0006183883,0.0002903477,0.0002659075,0.0002920922],"domain_scores_gemma":[0.9980348,0.0009746302,0.0003824538,0.0004289191,0.0001086451,0.00007050368],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009306028,0.0000501595,0.0009140611,0.00006560936,0.00007825085,0.000001865262,0.0004995759,5.92911e-7,0.0406843,0.9499664,0.0005741645,0.007071961],"study_design_scores_gemma":[0.0003447082,0.0001033257,0.00175217,0.000001374012,0.00004154585,0.00001094848,0.0002243949,6.576798e-7,0.2154211,0.7816805,0.0002900514,0.0001292642],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8371061,0.0001648021,0.1501782,0.001008409,0.0004299221,0.0004427276,0.00001653753,0.0001596601,0.01049361],"genre_scores_gemma":[0.9977582,0.00002455231,0.001872678,0.00003981261,0.0001011426,0.00003533657,0.000005741758,0.00002243582,0.0001400651],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1747368,"threshold_uncertainty_score":0.5664031,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02645284867757318,"gpt":0.2874847886628926,"spread":0.2610319399853194,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007842542,0.0001477059,0.0002277965,0.00005376095,0.0001665595,0.00004188071,0.0001107349,0.0002177911,0.00008183505],"category_scores_gemma":[0.00005825327,0.0001169237,0.00002670697,0.0001117806,0.00008922775,0.0000416955,0.00002033676,0.0001843291,0.00001123714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000030036,"about_ca_system_score_gemma":0.00001825694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001366466,"about_ca_topic_score_gemma":0.000003469742,"domain_scores_codex":[0.9991415,0.0000411091,0.0002328564,0.0002397197,0.0001272798,0.0002175359],"domain_scores_gemma":[0.9994109,0.0002066268,0.00007922263,0.0001972788,0.00002075262,0.00008518507],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009561747,0.00001587393,0.00008997109,0.000008358968,0.0000153085,0.000002055709,0.0002058184,0.000005283102,0.001761841,0.9932095,0.001253112,0.003423342],"study_design_scores_gemma":[0.0002015063,0.0000592101,0.005674922,3.222339e-7,0.00002533655,0.00004836419,0.0001954065,0.00003586068,0.0005788737,0.9915527,0.001493786,0.0001337695],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8009678,0.0004253539,0.1303682,0.002173734,0.0009611488,0.001001733,0.000006166699,0.000577338,0.06351861],"genre_scores_gemma":[0.9988517,0.00001153941,0.0005853546,0.0001405614,0.0002102993,0.00002142255,0.00001087015,0.000008890973,0.0001594268],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1978839,"threshold_uncertainty_score":0.4768011,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.009786615218030535,"gpt":0.2348890658194487,"spread":0.2251024506014182,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001098617,0.0002189613,0.0002210118,0.00004564959,0.0001980941,0.0003409097,0.0008024233,0.0001564062,0.00006720902],"category_scores_gemma":[0.0001612252,0.0001568997,0.00003093533,0.0002736121,0.0002285385,0.0001359016,0.0003461986,0.0004141497,0.00003880824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000169431,"about_ca_system_score_gemma":0.00005975306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004099783,"about_ca_topic_score_gemma":0.0001131684,"domain_scores_codex":[0.9986573,0.00002063367,0.0001737601,0.0005514235,0.0002285503,0.0003682926],"domain_scores_gemma":[0.9989436,0.0002378512,0.00008028116,0.0004566278,0.00006239329,0.0002192436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000331027,0.00001466444,0.0007667917,0.00001303838,0.000005709969,0.000004381243,0.0003788481,0.00002084971,0.00324483,0.9631163,0.0001003998,0.03233084],"study_design_scores_gemma":[0.0002181815,0.00004548093,0.02288006,4.077647e-7,0.000008373217,0.00003125769,0.00002361739,0.004043098,0.001097612,0.9694462,0.001918159,0.0002875088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2468885,0.0003330576,0.6972575,0.0004342669,0.00117838,0.0006647696,7.665294e-7,0.0006125303,0.05263026],"genre_scores_gemma":[0.9940377,0.000008106889,0.005583799,0.0001226004,0.0001430735,0.00003882859,0.000002067103,0.000008092306,0.00005569257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7471492,"threshold_uncertainty_score":0.6398184,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.02211412139166639,"gpt":0.2674557032321156,"spread":0.2453415818404492,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002839787,0.0001696676,0.0002958702,0.00003836702,0.0001250529,0.000008073162,0.0004058398,0.0001910576,0.000599172],"category_scores_gemma":[0.000352823,0.00009330388,0.00007075953,0.0001309204,0.0003597675,0.000009483879,0.00006633448,0.0003290317,0.00004223636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001872891,"about_ca_system_score_gemma":0.00002289389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001430052,"about_ca_topic_score_gemma":0.000005513339,"domain_scores_codex":[0.9988968,0.0001199063,0.0002768077,0.0002348581,0.0002073827,0.0002642039],"domain_scores_gemma":[0.9978485,0.001453438,0.0001370805,0.0004783114,0.00002862158,0.00005405081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003422839,0.00003489404,0.0000288276,0.00001811912,0.00003152827,0.000001301321,0.0001837279,0.000003153153,0.001063348,0.9919704,0.003532441,0.003098053],"study_design_scores_gemma":[0.0001914681,0.0001009873,0.0007092784,4.152483e-7,0.00002453193,0.00001262207,0.00006854039,0.00001306047,0.01042568,0.9873123,0.001033181,0.0001079593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.819845,0.00002720262,0.02437816,0.002027638,0.0003969264,0.0006036303,0.000001698891,0.0001530653,0.1525667],"genre_scores_gemma":[0.9987044,0.000001506174,0.0002560449,0.000689956,0.0001231965,0.000053519,0.000002311938,0.00001802224,0.0001510058],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1788595,"threshold_uncertainty_score":0.6560513,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02783796389801511,"gpt":0.3182758328582597,"spread":0.2904378689602446,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008869896,0.0001928191,0.0004160741,0.00011295,0.000126181,0.0000904972,0.0007587057,0.0002386401,0.008709084],"category_scores_gemma":[0.0003902567,0.0001323518,0.00008096034,0.0005690484,0.0002671359,0.00008220707,0.00009432853,0.0003438928,0.0006260998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004878227,"about_ca_system_score_gemma":0.00002486283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001260297,"about_ca_topic_score_gemma":0.00005975111,"domain_scores_codex":[0.9974771,0.0001691213,0.0005601556,0.0006651042,0.000702042,0.0004265043],"domain_scores_gemma":[0.99818,0.0009685094,0.00008173785,0.0005719949,0.00004347183,0.0001542938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002261312,0.00004487914,0.000778525,0.000001273167,0.000005004426,0.000022682,0.0002823089,0.0001030606,0.003434916,0.7141923,0.03303609,0.2478729],"study_design_scores_gemma":[0.0004971699,0.0000314483,0.02784767,2.123396e-7,0.000003115778,0.00001407289,0.0001719159,0.00003428328,0.0009736511,0.9306245,0.03963476,0.0001671502],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9067999,0.000221656,0.000824405,0.0006543641,0.0002337922,0.000200066,0.00000633014,0.00006786244,0.09099163],"genre_scores_gemma":[0.9968061,0.0000196631,0.00008696966,0.001432181,0.00009366743,0.00001236431,0.00001086482,0.00001112101,0.001527087],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2477057,"threshold_uncertainty_score":0.9921971,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.006520437979729841,"gpt":0.2058792689974165,"spread":0.1993588310176866,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001004409,0.00015645,0.0003303847,0.0001039081,0.00003483536,0.00001254697,0.000612122,0.00008976924,0.00001443019],"category_scores_gemma":[0.00001742927,0.0001285742,0.00004642233,0.000751193,0.0001548028,0.0001270687,0.0001213449,0.0001415564,0.000001892134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004549064,"about_ca_system_score_gemma":0.00005581259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003121365,"about_ca_topic_score_gemma":0.0000318089,"domain_scores_codex":[0.9987254,0.0000303113,0.0003594153,0.0003634646,0.0002650375,0.0002563811],"domain_scores_gemma":[0.9992237,0.00007305276,0.0001762471,0.0004261226,0.00005860532,0.00004228309],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001512477,0.00004258459,0.0008300447,0.00001857714,0.000004290689,0.000005440473,0.0001289041,0.0008475558,0.01136019,0.9837194,0.0001025366,0.002925333],"study_design_scores_gemma":[0.000280609,0.00003825422,0.058821,5.263971e-7,0.000003768062,0.000002894802,0.00004423485,0.0000587601,0.0570469,0.8833894,0.0001855846,0.0001281348],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6811942,0.0004378002,0.3041181,0.0003831059,0.0002751118,0.0003586737,0.000003710579,0.0001368142,0.01309246],"genre_scores_gemma":[0.9960397,0.000006135691,0.003825017,0.00004387687,0.00004586194,0.000003124609,0.000007155445,0.00000525844,0.00002389804],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3148454,"threshold_uncertainty_score":0.5243102,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02744731289056655,"gpt":0.3001061100854162,"spread":0.2726587971948496,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000142823,0.0003654457,0.0004118149,0.00007472339,0.0001978703,0.00007093971,0.0005410002,0.0002478786,0.0006064588],"category_scores_gemma":[0.000142829,0.0002966552,0.00009627971,0.0002507179,0.0001374109,0.0001164905,0.0001773603,0.0005572875,0.000153628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001769043,"about_ca_system_score_gemma":0.00004370471,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007101228,"about_ca_topic_score_gemma":0.00001648058,"domain_scores_codex":[0.99794,0.00003084041,0.0005206973,0.0005307734,0.0004656332,0.0005120691],"domain_scores_gemma":[0.9987361,0.0002308998,0.0001597762,0.000615476,0.00004575653,0.0002119439],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002387736,0.00004269785,0.00003516928,0.00001768127,0.00003716045,0.00000658426,0.0003856854,0.0001645618,0.002725115,0.9839126,0.00260317,0.0100457],"study_design_scores_gemma":[0.0005053093,0.00002507739,0.0002385405,7.029088e-7,0.00003191228,0.00003437847,0.0000905771,0.0001597503,0.01564033,0.9768409,0.006054721,0.0003778487],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8154459,0.0001981,0.1291329,0.001351192,0.0007207244,0.0009271073,0.000006129673,0.0009211181,0.05129683],"genre_scores_gemma":[0.9089491,0.000007150653,0.08875071,0.0006231182,0.0009433519,0.00005835887,0.000009112297,0.00006864013,0.0005904869],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0935032,"threshold_uncertainty_score":0.9999486,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.05060074585675606,"gpt":0.2675674770532661,"spread":0.2169667311965101,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001666346,0.0003109944,0.0006844025,0.000141178,0.00009094604,0.00002608822,0.0004972752,0.000200173,0.0003324937],"category_scores_gemma":[0.00007015298,0.0002578748,0.0001133994,0.000316167,0.0003555017,0.000069705,0.0001444222,0.0002948591,0.00001059228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004368799,"about_ca_system_score_gemma":0.00004056152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004649804,"about_ca_topic_score_gemma":0.00009023396,"domain_scores_codex":[0.9980401,0.00005035944,0.0006516116,0.0004206366,0.0003890332,0.0004481955],"domain_scores_gemma":[0.9989005,0.0001903713,0.0002488203,0.0004844354,0.00006912509,0.0001067738],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008800733,0.0001086587,0.001191792,0.0001376419,0.0000463075,0.00001496137,0.00160492,0.000006724178,0.004932376,0.9898723,0.0003696664,0.001626584],"study_design_scores_gemma":[0.000526173,0.00003960678,0.02525205,0.000003058898,0.00003556112,0.00001170905,0.0005147509,0.00001993858,0.03832575,0.9347039,0.0002793248,0.000288145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9753618,0.0001142413,0.01694622,0.00003756666,0.0002448396,0.0003724742,0.000006560459,0.0001132961,0.006802987],"genre_scores_gemma":[0.9947636,0.00001107249,0.004907131,0.00005425079,0.0001415477,0.00003271261,0.00001738149,0.00004402668,0.00002835356],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05516843,"threshold_uncertainty_score":0.9999874,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02261335418094811,"gpt":0.274287867246325,"spread":0.2516745130653769,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001419201,0.0001493496,0.0002544331,0.00002663781,0.0002051609,0.00003628151,0.0002471422,0.0001083619,0.00009916698],"category_scores_gemma":[0.0001239194,0.00009276884,0.00003901239,0.0001238523,0.0002636913,0.00003043513,0.00009133139,0.0001695021,0.000004862269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002452668,"about_ca_system_score_gemma":0.00001802711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001965938,"about_ca_topic_score_gemma":0.0001174437,"domain_scores_codex":[0.999009,0.00002112554,0.0002643415,0.0002170043,0.0001927071,0.0002958803],"domain_scores_gemma":[0.9988257,0.0006416645,0.0001167858,0.0003103143,0.00003490252,0.00007060327],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002102833,0.00001502385,0.0007478623,0.00002068175,0.00002905593,0.000001613286,0.000116613,0.000002333142,0.001218666,0.9885768,0.002516466,0.006733885],"study_design_scores_gemma":[0.0003183688,0.00002853896,0.00923654,5.744064e-7,0.00002603786,0.00003176148,0.0001736069,0.00001852724,0.001876509,0.9688081,0.01936746,0.000113956],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9755823,0.0005473978,0.003412291,0.0005129147,0.0002018774,0.0002512402,0.000001886974,0.00006655828,0.01942356],"genre_scores_gemma":[0.9987366,0.0001518559,0.0004183106,0.0001417778,0.0002008497,0.00001443058,0.000002202726,0.00001764801,0.00031629],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02315436,"threshold_uncertainty_score":0.3783003,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01066053858270573,"gpt":0.2360714899308953,"spread":0.2254109513481896,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005907541,0.0001105329,0.0001723812,0.00006805486,0.00004793653,0.00003281488,0.0004290431,0.00005720523,0.00003866681],"category_scores_gemma":[0.00002644489,0.00008709912,0.00002286922,0.0004169872,0.00007528129,0.0001495174,0.00007732373,0.0001294924,0.00001461713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003083114,"about_ca_system_score_gemma":0.00003848697,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001680156,"about_ca_topic_score_gemma":0.00002552825,"domain_scores_codex":[0.9991032,0.00001548568,0.0002148832,0.0002858667,0.0001760655,0.0002044271],"domain_scores_gemma":[0.9994707,0.00005946785,0.00007766064,0.0003067658,0.00003102044,0.00005442093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003681156,0.00001863789,0.00006924615,0.000004366323,0.000002894975,0.000001526423,0.0002840504,0.001479852,0.007660964,0.9636294,0.0001869165,0.02665844],"study_design_scores_gemma":[0.0003637428,0.0000356369,0.01793312,6.512986e-7,0.000003237421,0.000009525505,0.00006623483,0.0005800212,0.04554982,0.9267902,0.008459905,0.0002078939],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2445384,0.0006351029,0.7272758,0.004001142,0.0003141444,0.0005565415,0.000001816233,0.0002445896,0.02243251],"genre_scores_gemma":[0.9870361,0.00001033828,0.01260363,0.0002035972,0.00008737261,0.00001318757,0.000002947153,0.000004458593,0.00003834758],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7424977,"threshold_uncertainty_score":0.3551799,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03992261416942878,"gpt":0.2543480901436812,"spread":0.2144254759742524,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001785177,0.0002470394,0.0003345349,0.00002843803,0.0003185725,0.00004618414,0.0002484036,0.0001597024,0.0002340272],"category_scores_gemma":[0.0001524051,0.0001320912,0.00006857202,0.0001084267,0.0003572023,0.00004141842,0.0001831072,0.000270537,0.000006973938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002375955,"about_ca_system_score_gemma":0.00001662228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007605534,"about_ca_topic_score_gemma":0.000003523208,"domain_scores_codex":[0.998783,0.00007337471,0.0002723394,0.0003086695,0.0002803925,0.0002822333],"domain_scores_gemma":[0.9988596,0.0005402479,0.0001121048,0.0003565155,0.00003782236,0.00009371833],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002471815,0.00001224063,0.00002845946,0.00001571089,0.00003338449,0.000003182312,0.001306987,4.105228e-7,0.00007642932,0.9962327,0.0005180412,0.001525276],"study_design_scores_gemma":[0.001057458,0.00003466512,0.0009148681,0.000001144228,0.00007781683,0.00001870117,0.0002648637,0.00001794707,0.001397508,0.9957752,0.0002497095,0.0001901281],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9447757,0.0006101825,0.01375097,0.0002546413,0.001647772,0.001042627,0.000003493421,0.0002935955,0.03762101],"genre_scores_gemma":[0.9987226,0.00003456305,0.0006783505,0.0002036137,0.0002191358,0.00003910473,0.000002891675,0.00002848131,0.00007123902],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0539469,"threshold_uncertainty_score":0.5386524,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01487289616096327,"gpt":0.2401454908107649,"spread":0.2252725946498016,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001925492,0.000253505,0.0004085894,0.0001762181,0.0004524631,0.0006188448,0.001450895,0.0001891023,0.00008117719],"category_scores_gemma":[0.0001732434,0.0001683034,0.00006358763,0.0004055298,0.0002713095,0.0002828682,0.0006743625,0.0003457618,0.00001852389],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004151484,"about_ca_system_score_gemma":0.00002945236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009219858,"about_ca_topic_score_gemma":0.0002000215,"domain_scores_codex":[0.9982837,0.0000302135,0.0002827406,0.0006735111,0.0003079128,0.0004218648],"domain_scores_gemma":[0.9985321,0.0001304094,0.0001656885,0.0009603244,0.00002457229,0.0001868626],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008532995,0.00001541559,0.003443283,0.00000645206,0.00001935105,0.00002678671,0.0001438404,0.00002796293,0.0001702142,0.9647592,0.0004572651,0.03092165],"study_design_scores_gemma":[0.0003779656,0.00004334004,0.2004576,4.689482e-7,0.00001377348,0.00001745753,0.00006537668,0.0002005023,0.0006648423,0.7914476,0.006427356,0.0002837378],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6277444,0.002493487,0.3253969,0.01133102,0.001392455,0.0008410923,0.00002709108,0.0005907406,0.03018283],"genre_scores_gemma":[0.9981145,0.00005726778,0.00128589,0.0003052266,0.00009676714,0.0000177988,0.00001025721,0.000006751664,0.0001055192],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3703701,"threshold_uncertainty_score":0.6863212,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02354664999872629,"gpt":0.2901222539146447,"spread":0.2665756039159184,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007903816,0.0001736221,0.0002262799,0.00006724532,0.0002931942,0.0000304043,0.0001937604,0.0001905502,0.000523423],"category_scores_gemma":[0.0001133174,0.0001239066,0.00003214339,0.000165114,0.0004080481,0.00003310647,0.00008912075,0.0002230503,0.00003442201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002282295,"about_ca_system_score_gemma":0.00001992906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001579026,"about_ca_topic_score_gemma":0.00002755227,"domain_scores_codex":[0.9991357,0.00004541505,0.0002267388,0.0002590747,0.00009000846,0.0002430089],"domain_scores_gemma":[0.9990225,0.000538062,0.00006921244,0.0002331925,0.00003971227,0.00009729789],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001470372,0.00001537816,0.0005548631,0.000005520241,0.00004565649,0.000001194045,0.0006210129,6.531235e-7,0.000258722,0.993887,0.001526551,0.003068729],"study_design_scores_gemma":[0.0002287207,0.0001518951,0.005099995,6.369572e-7,0.000022572,0.00002284977,0.0000972532,0.00002334315,0.0034726,0.9898232,0.0009223623,0.0001345867],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7354487,0.00001627,0.2331404,0.0005980401,0.000245042,0.0002453981,0.00001138144,0.0001649102,0.03012986],"genre_scores_gemma":[0.9981387,0.00000252561,0.0007468892,0.0004185199,0.0005018588,0.00002605906,0.00002011079,0.00001752909,0.0001278664],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.26269,"threshold_uncertainty_score":0.5731115,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Universality (dynamical systems); Mathematics; Statistical physics; Physics; Quantum mechanics","retraction":null,"screen_n_in":null,"score":{"opus":0.01977162236846663,"gpt":0.2160091174062069,"spread":0.1962374950377403,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008114439,0.0002740601,0.0003059694,0.00006872381,0.0005155667,0.0000518817,0.001151253,0.0001448588,0.00009408951],"category_scores_gemma":[0.00001859238,0.0002273441,0.0001026244,0.0005274661,0.0002681759,0.0003134478,0.000414259,0.0003070848,0.00007154646],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001240209,"about_ca_system_score_gemma":0.00007747483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006997756,"about_ca_topic_score_gemma":0.000005868672,"domain_scores_codex":[0.9981726,0.00004857727,0.0002335875,0.000656555,0.0003792666,0.0005093941],"domain_scores_gemma":[0.9988113,0.00009085888,0.0001087032,0.0007057042,0.00005504551,0.000228408],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001449827,0.00002349935,0.0002988198,0.000005307745,0.0000172809,0.00006563083,0.0003912308,0.0001409337,0.0008353124,0.9886884,0.001510473,0.008008588],"study_design_scores_gemma":[0.00052231,0.00005096177,0.04571375,2.934924e-7,0.00001034737,0.0001235104,0.0001605142,0.0002427788,0.00214103,0.9357884,0.01476615,0.0004799596],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09373763,0.000121133,0.8767419,0.0007237922,0.0003840291,0.000264342,0.000003362723,0.0006762797,0.02734752],"genre_scores_gemma":[0.9923415,0.00003534618,0.006746308,0.000541253,0.0001233201,0.000007319759,0.00001008545,0.00001186981,0.0001829539],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8986039,"threshold_uncertainty_score":0.9270823,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01645415745446746,"gpt":0.2297577031387903,"spread":0.2133035456843229,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005943769,0.0001615333,0.000187969,0.0000275202,0.0002352613,0.0001304985,0.0004412277,0.00006812494,0.00002222454],"category_scores_gemma":[0.00001228167,0.0001235979,0.00002903482,0.0002914861,0.0001191765,0.000137159,0.0002601454,0.0001642217,0.00001509116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000353723,"about_ca_system_score_gemma":0.0000146936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001347095,"about_ca_topic_score_gemma":0.000004969038,"domain_scores_codex":[0.9989105,0.00002085456,0.0001343723,0.0004147356,0.000187978,0.0003315474],"domain_scores_gemma":[0.9993866,0.00008295629,0.00004895191,0.0003159931,0.00001939709,0.0001460948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006166985,0.000009898231,0.000314627,0.000003015683,0.000005061485,0.00001675453,0.00003978237,0.00001783191,0.0009054271,0.957375,0.0000953558,0.041211],"study_design_scores_gemma":[0.0002272061,0.00002193497,0.03801918,1.533656e-7,0.000003556273,0.00007452578,0.00001344329,0.0004650029,0.0002212773,0.9464405,0.01432511,0.0001880804],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07103606,0.0001105092,0.9241815,0.0003825699,0.0001458264,0.0001132201,0.000001624006,0.0001821242,0.003846581],"genre_scores_gemma":[0.996987,0.00001965382,0.002482652,0.0003766102,0.00008180821,0.00001215844,0.000007188321,0.000005749367,0.00002720926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9259509,"threshold_uncertainty_score":0.5040177,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.026534204734807,"gpt":0.3132524555293827,"spread":0.2867182507945757,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001767825,0.0002322262,0.0002934063,0.0001296085,0.0001274511,0.00006653168,0.000221158,0.0001343623,0.0001289585],"category_scores_gemma":[0.00007388001,0.0001912796,0.00002707254,0.0003920353,0.0001349998,0.0000828045,0.0001541399,0.0003776228,0.00001173964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001410921,"about_ca_system_score_gemma":0.00004399836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001115235,"about_ca_topic_score_gemma":0.0001976032,"domain_scores_codex":[0.9982258,0.00004432951,0.0003963588,0.0004046383,0.000417405,0.0005114766],"domain_scores_gemma":[0.9993194,0.0001999682,0.00006279352,0.0002761052,0.00003600945,0.0001057013],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003726097,0.00005474377,0.002662766,0.00004519259,0.00001166792,0.00002255833,0.0000782159,0.000008920912,0.00216542,0.9915553,0.0008388124,0.002519097],"study_design_scores_gemma":[0.0008179943,0.00002978398,0.01295666,0.000001024717,0.000008451108,0.00000995299,0.000124716,0.00004399957,0.003020023,0.9820181,0.0007502492,0.0002190788],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9894441,0.0001189889,0.002386858,0.0001692964,0.00004465109,0.0006940917,0.000002861489,0.0001011479,0.00703798],"genre_scores_gemma":[0.9926708,0.000008512047,0.006822996,0.0001034133,0.0001111735,0.00009237711,0.00002074625,0.00003975166,0.0001301888],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01029389,"threshold_uncertainty_score":0.7800157,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02984164688890277,"gpt":0.3137698149271434,"spread":0.2839281680382406,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004753335,0.0002133255,0.0006034835,0.00006880294,0.0000552186,0.00000588632,0.0002011571,0.000222752,0.0000566563],"category_scores_gemma":[0.0003394845,0.0001625245,0.00006574643,0.0002153096,0.0004811955,0.00003096252,0.00009951813,0.0002299613,0.000001228958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000355337,"about_ca_system_score_gemma":0.0000146906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001911237,"about_ca_topic_score_gemma":0.00002133807,"domain_scores_codex":[0.9984812,0.00004300526,0.0005355475,0.0002871591,0.0003020894,0.0003509701],"domain_scores_gemma":[0.9981365,0.001019981,0.0003187018,0.0003096385,0.00007775757,0.0001374307],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001745025,0.00007240904,0.0009225935,0.0001002956,0.00003641965,0.000006830405,0.0003267023,0.000002793894,0.0225565,0.970883,0.0001014959,0.004816488],"study_design_scores_gemma":[0.0005215777,0.0001116642,0.02951327,0.000001829689,0.00004386786,0.00001434654,0.0006099605,0.000001540905,0.05941914,0.9095099,0.00009164149,0.0001612857],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9619021,0.0001433317,0.03217884,0.00005559963,0.00006901,0.0003352196,0.000006271831,0.00006599227,0.005243673],"genre_scores_gemma":[0.9930433,0.0000169595,0.006741651,0.00006311854,0.00006721941,0.000006093494,0.000003451408,0.00002036711,0.00003780957],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06137309,"threshold_uncertainty_score":0.6627555,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.007395653299448827,"gpt":0.1928601209634293,"spread":0.1854644676639805,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001946189,0.0001270686,0.0001715329,0.00002638314,0.0001227201,0.00004117875,0.001006273,0.00008375021,0.00006794806],"category_scores_gemma":[0.0001076931,0.00007705168,0.00008661631,0.0003932951,0.0002162509,0.00006670656,0.0002334663,0.0001616328,0.000004262519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004819173,"about_ca_system_score_gemma":0.00005831304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001907743,"about_ca_topic_score_gemma":0.000003270066,"domain_scores_codex":[0.9988893,0.00007709727,0.0002442458,0.0002998796,0.000289383,0.0002000793],"domain_scores_gemma":[0.9986234,0.0001297524,0.0001215132,0.001032122,0.00003464719,0.0000585142],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002493909,0.00001309291,0.0002872505,0.000006303718,0.00000797309,3.05649e-7,0.00006776239,0.00006047963,0.003542315,0.9858996,0.0002740698,0.009838302],"study_design_scores_gemma":[0.0002019946,0.0000111427,0.01312989,3.837461e-7,0.000005399662,0.00002026472,0.00005549467,0.0001178716,0.04476125,0.9407144,0.0008867156,0.00009516151],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1949135,0.0001189731,0.7762702,0.0004878712,0.001203792,0.0004325481,0.000003085038,0.0002005104,0.02636953],"genre_scores_gemma":[0.9915257,0.000001932557,0.008242584,0.0001742446,0.00002855472,0.00001004689,4.734239e-7,0.000005371043,0.00001107124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7966122,"threshold_uncertainty_score":0.3142076,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02431928899392258,"gpt":0.2586460413016544,"spread":0.2343267523077318,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001630137,0.000123949,0.0002783826,0.000111163,0.00008981112,0.00005481941,0.0003489349,0.00008373042,0.000003614366],"category_scores_gemma":[0.00005205268,0.00009617399,0.00005954626,0.0004242402,0.0001505038,0.0000735672,0.0001348272,0.00006487592,0.000001409023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006727287,"about_ca_system_score_gemma":0.00003778115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001434119,"about_ca_topic_score_gemma":0.000009032385,"domain_scores_codex":[0.9989824,0.00002389667,0.000309648,0.0002338868,0.0002243917,0.0002257756],"domain_scores_gemma":[0.9990877,0.0003821969,0.0001466645,0.0002489148,0.00007490649,0.00005961441],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007934415,0.0000136182,0.0004939033,0.0001931497,0.00003383611,7.297164e-7,0.00149187,0.00005192609,0.001349375,0.990032,0.0006291836,0.005702534],"study_design_scores_gemma":[0.0002526691,0.00005698785,0.007332687,1.170196e-8,0.00001587094,0.000002653929,0.0004852388,0.001121607,0.002150096,0.9879388,0.0005418013,0.0001015337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003856863,0.000189484,0.9941679,0.00008666356,0.0001510321,0.0004166942,2.761041e-7,0.0001122929,0.001018763],"genre_scores_gemma":[0.9993772,0.00002353472,0.0002337102,0.00001509973,0.00004400666,0.0001515171,0.00001640042,0.000008440782,0.0001301164],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9955203,"threshold_uncertainty_score":0.3921862,"prediction_status":"machine_predicted_unvalidated"},"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":"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03285108026472911,"gpt":0.2753068940854049,"spread":0.2424558138206758,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003570147,0.0002002854,0.000411028,0.00003573193,0.0004336951,0.00005247767,0.001106673,0.0001440457,0.00031797],"category_scores_gemma":[0.001177319,0.0001001421,0.0001271391,0.00008844132,0.0005346788,0.00003770756,0.0002736527,0.0003987184,0.00001200435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002303528,"about_ca_system_score_gemma":0.00003124669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003504602,"about_ca_topic_score_gemma":0.0001428538,"domain_scores_codex":[0.9986873,0.0000659981,0.0004080062,0.0002576776,0.0003134167,0.0002675622],"domain_scores_gemma":[0.9969838,0.001028793,0.0005048185,0.001303311,0.0001304611,0.00004880651],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007367956,0.00004608171,0.0002786547,0.00003406594,0.00009436617,7.208801e-7,0.0003924671,0.00001127334,0.001524316,0.986707,0.009606662,0.001230683],"study_design_scores_gemma":[0.0003315543,0.0000812618,0.008817863,0.000003646295,0.00006632003,0.000005735326,0.0004840085,0.00001756171,0.01167568,0.977571,0.0008358463,0.0001095624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9596178,0.00004743654,0.002349803,0.002537993,0.0003672809,0.0005673778,0.00001759763,0.00003553756,0.03445917],"genre_scores_gemma":[0.9991381,0.000006313874,0.000150184,0.0001058975,0.0001570252,0.00004571398,0.000005078818,0.00002252247,0.0003691863],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03952027,"threshold_uncertainty_score":0.4083674,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.0363705419649982,"gpt":0.2883473891418996,"spread":0.2519768471769014,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001381455,0.0002187517,0.0005291289,0.0001253917,0.00006000471,0.00001087041,0.0003883321,0.0002022405,0.000187114],"category_scores_gemma":[0.0001051296,0.0001658235,0.000131231,0.0006070758,0.0001688998,0.00003389607,0.0001722023,0.0001819863,0.000006506783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002504097,"about_ca_system_score_gemma":0.00003777371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003229348,"about_ca_topic_score_gemma":0.000001684812,"domain_scores_codex":[0.9983506,0.00002904498,0.000532902,0.0002846447,0.0004907715,0.0003120071],"domain_scores_gemma":[0.9987968,0.0003538002,0.0002584689,0.0004311576,0.00007205931,0.00008773172],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004174733,0.00002325927,0.00009427831,0.0001140292,0.00006514301,0.00000221848,0.0003830457,0.00007157354,0.004984087,0.989456,0.003258637,0.001506002],"study_design_scores_gemma":[0.0004458083,0.00005673053,0.003319995,0.000001953699,0.00004418538,0.000002977158,0.0001136239,0.00006356021,0.02070209,0.9748799,0.0002165523,0.0001525986],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9930874,0.00005960737,0.002224681,0.00008325949,0.0005750051,0.0003632083,0.000007723844,0.0002212765,0.003377839],"genre_scores_gemma":[0.9990091,0.00001096295,0.0006447454,0.00002356818,0.0001568606,0.00002715624,0.00001314561,0.00003582467,0.00007860951],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01571801,"threshold_uncertainty_score":0.6762086,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03713171781580595,"gpt":0.2890309986159472,"spread":0.2518992808001412,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001172111,0.000197846,0.000267194,0.00007246873,0.0001333324,0.00001305475,0.0002621257,0.0001975357,0.0001634175],"category_scores_gemma":[0.0003325567,0.0001151831,0.0000410841,0.0001466639,0.0003458953,0.00004888872,0.0001449319,0.0001349813,0.00001187989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004210569,"about_ca_system_score_gemma":0.00001470271,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004435421,"about_ca_topic_score_gemma":0.00001106858,"domain_scores_codex":[0.998932,0.00004041528,0.0002276969,0.0003231716,0.0001740157,0.0003026892],"domain_scores_gemma":[0.998619,0.0007534818,0.00008344481,0.0003951901,0.00002509085,0.0001238338],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000563143,0.00001627149,0.0001712401,0.00001770076,0.00002586702,0.000006748765,0.0000547011,0.000001020259,0.005626044,0.9767291,0.002311264,0.01498371],"study_design_scores_gemma":[0.0007510669,0.00002903727,0.0009505958,8.66593e-7,0.00002670799,0.00002379201,0.00004719536,0.000003333514,0.007019621,0.9887465,0.002204839,0.0001964984],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4730712,0.0008950968,0.5155725,0.0008354002,0.0003143381,0.0004719927,0.000025201,0.00036386,0.00845037],"genre_scores_gemma":[0.9930638,0.00008713394,0.006179194,0.0001877712,0.0001559718,0.00002054013,0.000003542583,0.00002559607,0.0002764306],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5199926,"threshold_uncertainty_score":0.4697029,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.0189240777974272,"gpt":0.2747776237276056,"spread":0.2558535459301783,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000216772,0.0002888504,0.0004444241,0.00007194095,0.0002441325,0.00003591343,0.0004299517,0.0003454346,0.000680242],"category_scores_gemma":[0.0002128694,0.0002277548,0.0000905668,0.0001815934,0.0003337925,0.00003855724,0.0001188931,0.0004098082,0.0001399362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004221924,"about_ca_system_score_gemma":0.00002777194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002821308,"about_ca_topic_score_gemma":0.00002147634,"domain_scores_codex":[0.9983526,0.00009594606,0.0003571934,0.0004397794,0.0002338074,0.0005206251],"domain_scores_gemma":[0.9986348,0.0005457957,0.000124124,0.0005081697,0.00003744983,0.0001496917],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000270574,0.00002737031,0.0001240461,0.00002272638,0.00003658562,0.000006108609,0.0002595591,0.000003635059,0.0007648338,0.9865037,0.004286972,0.007937391],"study_design_scores_gemma":[0.0003478762,0.00007131376,0.001418811,2.676765e-7,0.00004162532,0.00005639358,0.00008555608,0.00001823156,0.00294584,0.9801164,0.01463223,0.0002654791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6598177,0.0001176998,0.1345289,0.001954082,0.001925549,0.000684278,0.000003130678,0.001041736,0.1999269],"genre_scores_gemma":[0.996927,0.000005081467,0.001272983,0.000676968,0.0004854788,0.00006290063,0.00001381384,0.00003695639,0.0005188014],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3371093,"threshold_uncertainty_score":0.9287571,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Theory of computation; Mathematics; Category theory; Calculus (dental); Pure mathematics; Algorithm","retraction":null,"screen_n_in":null,"score":{"opus":0.006711144074672512,"gpt":0.2095594441827377,"spread":0.2028483001080652,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008502552,0.0001131395,0.0001709819,0.00004642336,0.00005169451,0.00004692705,0.0004817421,0.00006233501,0.00002676163],"category_scores_gemma":[0.000003368108,0.00008632562,0.00004882758,0.00027963,0.00004320729,0.00008506304,0.0001043251,0.00007286223,0.00001028564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002191273,"about_ca_system_score_gemma":0.00001656273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005856327,"about_ca_topic_score_gemma":0.000001339069,"domain_scores_codex":[0.9991138,0.00001863888,0.0002287972,0.0002393201,0.0002167363,0.0001827327],"domain_scores_gemma":[0.9994969,0.00003704928,0.00009392331,0.0003143298,0.00002254042,0.00003528391],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002084744,0.00001523715,0.00002057493,0.00001231742,0.000003895827,0.000001070978,0.00003218108,0.0001757758,0.01358387,0.9459258,0.0005883554,0.03963882],"study_design_scores_gemma":[0.0001644909,0.00001290336,0.005532591,3.785894e-7,0.00000408208,0.000008141764,0.000004885883,0.004922881,0.02324572,0.9643626,0.001623265,0.0001180998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0753535,0.0002246944,0.9134573,0.0001267148,0.0001296006,0.0001441781,8.127527e-7,0.0001674221,0.01039573],"genre_scores_gemma":[0.9827549,0.000003569429,0.01692539,0.0001267155,0.0001241585,0.00001406915,0.00001020723,0.000006265461,0.00003473429],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9074014,"threshold_uncertainty_score":0.3520257,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University","funders":"","keywords":"Mathematics; Differential (mechanical device); Tangent; Tangent bundle; Pure mathematics; Geometry; Tangent space; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.02008391456800611,"gpt":0.2860525885182401,"spread":0.265968673950234,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002013143,0.000190881,0.0003253054,0.00008541559,0.0001997778,0.00003167142,0.0007545669,0.0002067326,0.0002501383],"category_scores_gemma":[0.0001110815,0.00009108503,0.0001479939,0.000518478,0.0006155791,0.00002492379,0.000190788,0.0003644201,0.000004838491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003821434,"about_ca_system_score_gemma":0.00007631014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007071508,"about_ca_topic_score_gemma":0.00004740906,"domain_scores_codex":[0.9985549,0.0001223893,0.0004398229,0.0002716824,0.0003183232,0.000292844],"domain_scores_gemma":[0.9984257,0.0007943437,0.0001222364,0.0005580329,0.00003899795,0.00006072847],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002811323,0.00004942216,0.00004801403,0.00006817372,0.000127257,0.000003336107,0.0003445563,0.000004090829,0.004258481,0.9788212,0.0005440933,0.01570326],"study_design_scores_gemma":[0.0001518752,0.00007674283,0.004332792,0.000001447101,0.0001121021,0.00003280547,0.0002381626,0.00004415786,0.02962392,0.9642002,0.001074204,0.0001116187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9904234,0.001088697,0.003692535,0.0004149749,0.00108263,0.0003936504,0.000009124494,0.00006824458,0.002826781],"genre_scores_gemma":[0.9993861,0.00004274447,0.0001114085,0.00003591618,0.0001772511,0.00003973269,0.00000438499,0.00002289394,0.0001795645],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02536544,"threshold_uncertainty_score":0.371434,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02536947821014148,"gpt":0.2738487190554882,"spread":0.2484792408453467,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002226825,0.0002353919,0.0003527853,0.0001074761,0.0001507076,0.00004137588,0.000253826,0.0002380747,0.0006909511],"category_scores_gemma":[0.0001686612,0.0001988198,0.00006009885,0.0002268354,0.0002413558,0.00005900107,0.0001097421,0.0003659557,0.00005791172],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001208221,"about_ca_system_score_gemma":0.00002927879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002528571,"about_ca_topic_score_gemma":0.0002531883,"domain_scores_codex":[0.9984299,0.00004633027,0.0003851735,0.0004473895,0.0002268384,0.0004643755],"domain_scores_gemma":[0.9991544,0.0002303862,0.0001399253,0.0003320889,0.00004505956,0.00009816323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009875585,0.00002089697,0.0007738481,0.00002690048,0.00002205979,0.000006789762,0.0004951208,0.000005959017,0.003024436,0.9828265,0.002596236,0.01010249],"study_design_scores_gemma":[0.0006048764,0.00009048929,0.01265737,0.000002286995,0.00002211611,0.00001616177,0.0003073247,0.00006656279,0.003726702,0.9783037,0.003958668,0.0002436951],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9352049,0.00006890113,0.02435825,0.0003575069,0.0006294525,0.0003410281,0.000001025034,0.0002132693,0.03882566],"genre_scores_gemma":[0.9970214,0.000005202782,0.001424346,0.000408288,0.000866123,0.00002822645,0.000008185633,0.00003550763,0.0002026603],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06181655,"threshold_uncertainty_score":0.8107637,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.009882696356753306,"gpt":0.2216735239259245,"spread":0.2117908275691711,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00003287591,0.0001522352,0.0001569049,0.00006868238,0.00009019837,0.0001171009,0.0002664819,0.00007881754,0.0000118276],"category_scores_gemma":[0.000007511473,0.0001161891,0.00001799402,0.0002637007,0.00006341103,0.0001495497,0.00006905011,0.0001779135,0.000008918904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003515152,"about_ca_system_score_gemma":0.00003743245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001478083,"about_ca_topic_score_gemma":0.00004442573,"domain_scores_codex":[0.9990174,0.00001152065,0.0001705089,0.0003721077,0.0001750258,0.0002534703],"domain_scores_gemma":[0.9995626,0.00005934206,0.00005315946,0.0002289363,0.00001009811,0.00008592869],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003424648,0.0000134874,0.0001142436,0.000004042271,0.000001746755,0.000005568796,0.0001092146,0.002117601,0.001179643,0.9880889,0.0006286814,0.007733464],"study_design_scores_gemma":[0.0003240499,0.0000332765,0.02858954,7.268026e-7,0.000001741832,0.000007580698,0.0000151222,0.0003711699,0.0009477905,0.9656261,0.003925503,0.0001573942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1687352,0.001210994,0.7952892,0.009068019,0.0004117326,0.001279778,0.000002894706,0.0005977247,0.02340453],"genre_scores_gemma":[0.9960275,0.00001018362,0.00318409,0.0004833979,0.0001269392,0.00002030942,0.000008109684,0.00000702752,0.0001324389],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8272923,"threshold_uncertainty_score":0.4738055,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.05293792280473784,"gpt":0.3226796264998915,"spread":0.2697417036951537,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","research_integrity","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002479158,0.000612816,0.001078719,0.0001377043,0.0005234164,0.00005377584,0.001033101,0.001051455,0.005817536],"category_scores_gemma":[0.0002786737,0.0005506336,0.0002936114,0.0002036885,0.0003643282,0.00001593426,0.002212416,0.002681074,0.0000533918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002042181,"about_ca_system_score_gemma":0.0001954728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004288311,"about_ca_topic_score_gemma":0.00003930246,"domain_scores_codex":[0.9967027,0.0002470004,0.0006926334,0.00108446,0.0005235304,0.000749732],"domain_scores_gemma":[0.9972818,0.000658531,0.0005304968,0.00121486,0.00006135818,0.0002529509],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007262393,0.0001056423,0.0001574218,0.00009548595,0.0001910342,0.0001793058,0.0003429622,0.0001259169,0.0001035102,0.9769943,0.02063438,0.0009974306],"study_design_scores_gemma":[0.0003601387,0.0000471167,0.002051677,0.000001747993,0.0002241686,0.00008192036,0.0003389571,0.00002264899,0.0003523977,0.9811326,0.0148204,0.0005662217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8829102,0.0009813161,0.01892672,0.006560659,0.01123237,0.004289275,0.0002356403,0.002102618,0.07276119],"genre_scores_gemma":[0.9954013,0.00003537826,0.00121224,0.000907222,0.0007962201,0.0007632796,0.0001474546,0.00008767513,0.0006491829],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1124911,"threshold_uncertainty_score":0.9996945,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Perimeter Institute","funders":"","keywords":"Unitary state; Property (philosophy); Equivalence (formal languages); Universal algebra; Hilbert space; Theory of computation","retraction":null,"screen_n_in":null,"score":{"opus":0.01832424736463498,"gpt":0.275715308632437,"spread":0.257391061267802,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005194565,0.0004494259,0.000738394,0.0001779529,0.0002737477,0.0001351495,0.0006831296,0.0002574839,0.0001272211],"category_scores_gemma":[0.0003629206,0.0002483272,0.00008923604,0.0008067803,0.000714143,0.0002214488,0.0004494837,0.0007116495,0.0000258707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001633478,"about_ca_system_score_gemma":0.0001727429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002369078,"about_ca_topic_score_gemma":0.0002419307,"domain_scores_codex":[0.9970093,0.0001509726,0.0006726808,0.0006414067,0.0007357408,0.000789854],"domain_scores_gemma":[0.9971421,0.001546701,0.0002135712,0.0007504603,0.0001680225,0.0001791375],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000348855,0.00004875642,0.005630428,0.0001669812,0.00007429942,0.00001013427,0.001016562,0.0000677576,0.004922275,0.9817213,0.0003245572,0.005668031],"study_design_scores_gemma":[0.001456824,0.0001908403,0.007362346,0.000006975308,0.00003735061,0.00001498105,0.002943974,0.0001571969,0.01274225,0.9674328,0.007111668,0.000542816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9675356,0.0007063006,0.0007491886,0.0004401912,0.0003132671,0.001892411,0.00001229933,0.0001720365,0.02817877],"genre_scores_gemma":[0.9978768,0.0002032215,0.0006408344,0.00004034345,0.00007985077,0.00007536064,0.00001105671,0.00007130209,0.001001242],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03034125,"threshold_uncertainty_score":0.9999969,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.0313268045336884,"gpt":0.3135791921182064,"spread":0.282252387584518,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003688144,0.0002056668,0.0004744872,0.0001643657,0.00007317405,0.000007735606,0.0004135903,0.0002752616,0.0002468083],"category_scores_gemma":[0.0002540765,0.0001662708,0.00008112328,0.000635894,0.000412694,0.00002406857,0.0001622095,0.0003382733,0.000053691],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004059263,"about_ca_system_score_gemma":0.00004465708,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002759763,"about_ca_topic_score_gemma":0.00002658115,"domain_scores_codex":[0.9984189,0.0001265355,0.0004374654,0.0003500723,0.0002210968,0.0004459292],"domain_scores_gemma":[0.9983062,0.001069734,0.0001428916,0.0003763844,0.00002611384,0.00007864782],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000947341,0.00002769994,0.0006519379,0.00005021029,0.00003486476,0.0000500662,0.00101912,0.00001292046,0.001717682,0.9940009,0.0003803429,0.001959551],"study_design_scores_gemma":[0.0004358773,0.00005905017,0.01221137,0.000001904634,0.00002277746,0.0000204319,0.0006391854,0.00002029676,0.004980137,0.9813002,0.0001357151,0.0001730034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9667622,0.00005595641,0.003462355,0.0002881203,0.0002920546,0.0005372571,0.000009164075,0.0002096582,0.0283832],"genre_scores_gemma":[0.9988641,0.00002131006,0.0005189883,0.0001100358,0.00006774541,0.00009416386,0.00001227876,0.00002411431,0.0002872439],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03210188,"threshold_uncertainty_score":0.6780327,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02361378263965393,"gpt":0.302991590070943,"spread":0.279377807431289,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003025921,0.0003475148,0.0003863667,0.0005120912,0.0001459912,0.00009498472,0.0002786602,0.000249913,0.001253138],"category_scores_gemma":[0.000221112,0.0002807866,0.0001494181,0.001366779,0.0001351863,0.00006899158,0.00008533365,0.0007888583,0.000277475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005595688,"about_ca_system_score_gemma":0.00007485175,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001004553,"about_ca_topic_score_gemma":0.00002323725,"domain_scores_codex":[0.9980069,0.00006703968,0.0003656637,0.0006761802,0.0003851731,0.0004990805],"domain_scores_gemma":[0.998289,0.001075117,0.00005438267,0.0003868685,0.00003888147,0.0001557243],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006203543,0.00009442437,0.00001967402,0.00006974817,0.0001029832,0.00007573739,0.001629522,0.00003072075,0.0004207828,0.9922505,0.003055754,0.002188121],"study_design_scores_gemma":[0.0003117618,0.00007358823,0.0008615761,0.000005514892,0.00004921343,0.00004902648,0.002697162,0.00003462878,0.001869925,0.9902655,0.003447357,0.0003347133],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8123476,0.002241919,0.01509386,0.003205376,0.002017211,0.001365166,0.00002251253,0.001264682,0.1624417],"genre_scores_gemma":[0.998382,0.00001996944,0.0001588774,0.0003891623,0.0003719165,0.000119541,0.00001166423,0.00005963571,0.0004872776],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1860344,"threshold_uncertainty_score":0.9999644,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01990132655785233,"gpt":0.2932517778293655,"spread":0.2733504512715131,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00006915265,0.0001194957,0.000261856,0.00003011474,0.00009339889,0.000006865795,0.0001622242,0.0002039446,0.005498676],"category_scores_gemma":[0.0000589934,0.0001024348,0.00006286093,0.0002075237,0.0001898315,0.0000293246,0.00002069529,0.000183195,0.00006814513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002090966,"about_ca_system_score_gemma":0.00001756464,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003638596,"about_ca_topic_score_gemma":0.000004229351,"domain_scores_codex":[0.9990038,0.00006239869,0.0003385535,0.0002312304,0.0001591626,0.0002048635],"domain_scores_gemma":[0.9992599,0.000298888,0.00009412391,0.0002682256,0.00001863964,0.00006021478],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004574034,0.00004216036,0.0002238076,0.00000627556,0.00003711324,0.00000232825,0.0002089955,0.00001568228,0.002112866,0.9651412,0.02026067,0.01190318],"study_design_scores_gemma":[0.0003173517,0.00003219861,0.0006938822,2.289169e-7,0.00004053314,0.00001497998,0.00005790378,0.00001079044,0.01507269,0.9791923,0.004464973,0.0001022221],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8712327,0.00009198811,0.01611466,0.0009032298,0.0002141358,0.0004775482,0.00001978306,0.0001881955,0.1107577],"genre_scores_gemma":[0.9974426,0.00001022466,0.001100385,0.00009379395,0.00008455367,0.00003644023,0.00004918969,0.00001316031,0.001169664],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1262099,"threshold_uncertainty_score":0.9954104,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02495982421353832,"gpt":0.2807772088932054,"spread":0.2558173846796671,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002860487,0.0001438817,0.000241172,0.00002305452,0.0001889114,0.0000354529,0.0008259435,0.00007519076,0.00001047355],"category_scores_gemma":[0.0001060236,0.00008913214,0.00008787453,0.0001839971,0.00006919648,0.00005872713,0.0001776133,0.00009612989,0.000001984678],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002469657,"about_ca_system_score_gemma":0.00002176729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004837104,"about_ca_topic_score_gemma":0.00000264351,"domain_scores_codex":[0.998867,0.00001955218,0.0002524542,0.0003521219,0.0002026775,0.0003061606],"domain_scores_gemma":[0.9983841,0.0008108102,0.0001520875,0.0005166495,0.00007035293,0.00006600234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002797411,0.00002223446,0.000009735159,0.00003573533,0.00001727199,5.654731e-8,0.00006799572,0.0004264665,0.001897662,0.9569314,0.0002050203,0.04035845],"study_design_scores_gemma":[0.0005218482,0.00009553567,0.005313496,3.845187e-7,0.00001569681,0.000001735669,0.000009460742,0.007132747,0.009356252,0.9532382,0.02417332,0.0001413258],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004917233,0.00005510325,0.9925299,0.0006740037,0.0001652793,0.0007196654,0.000004144672,0.0000742863,0.0008603542],"genre_scores_gemma":[0.9498934,0.000003460172,0.04929614,0.0004012191,0.0001618919,0.0001766268,0.000007122019,0.000009472342,0.0000506736],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9449762,"threshold_uncertainty_score":0.3634703,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Theory of computation; Mathematics; Mathematical economics; Algorithm","retraction":null,"screen_n_in":null,"score":{"opus":0.01389042197102617,"gpt":0.2517546577557093,"spread":0.2378642357846831,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001268393,0.0001834743,0.000250881,0.0000883938,0.00009317802,0.00003510083,0.0007904828,0.0001128369,0.00005360481],"category_scores_gemma":[0.00003032406,0.0001386178,0.0000745273,0.0005342956,0.0001139248,0.0001125345,0.0002080031,0.0001832927,0.00002102914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002874201,"about_ca_system_score_gemma":0.00002669779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001538315,"about_ca_topic_score_gemma":0.000009468573,"domain_scores_codex":[0.9985744,0.00001183899,0.0003104095,0.0003869301,0.0003176026,0.0003987838],"domain_scores_gemma":[0.9989801,0.000238975,0.0001311073,0.0004795149,0.000038128,0.0001321598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001535906,0.00002026569,0.0002807657,0.000007306829,0.00001191832,0.000008309808,0.0003566001,0.0000800567,0.004609288,0.9438319,0.000285998,0.05049226],"study_design_scores_gemma":[0.0003024834,0.00005914606,0.02596058,5.350348e-7,0.000007020505,0.000008665895,0.00004590509,0.0001691059,0.04042651,0.9266411,0.006155999,0.0002229559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04261242,0.0001639114,0.9486251,0.0002017228,0.0001802122,0.0001485835,0.000001155521,0.0001424055,0.007924482],"genre_scores_gemma":[0.9885942,0.00001110496,0.01054127,0.0006660643,0.00009557391,0.000005992612,0.00000310306,0.000009473025,0.00007318537],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9459818,"threshold_uncertainty_score":0.5652668,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01584958830863781,"gpt":0.2839495689339895,"spread":0.2680999806253517,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003096533,0.0006244769,0.0008100495,0.00005972112,0.0005042789,0.00008168614,0.00178422,0.001000007,0.0009300368],"category_scores_gemma":[0.0002754309,0.0002794827,0.0002903501,0.0001487262,0.001421613,0.0000194801,0.001494,0.001576534,0.00002078086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001339473,"about_ca_system_score_gemma":0.000174779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006917151,"about_ca_topic_score_gemma":0.0001533516,"domain_scores_codex":[0.9970261,0.0002557465,0.0007502333,0.0006999532,0.0005925889,0.0006753557],"domain_scores_gemma":[0.995554,0.002081114,0.000717496,0.001446883,0.00007738487,0.0001230864],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001734027,0.00003238754,0.00004380112,0.00007643921,0.0003831326,0.00001212773,0.0005791918,0.000004017644,0.005444628,0.9855339,0.003508875,0.004208115],"study_design_scores_gemma":[0.0004566773,0.00009009456,0.0005791478,0.00000478958,0.00017548,0.0001099493,0.0003158411,0.000002173517,0.005763074,0.9859123,0.006255838,0.0003346551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9341716,0.001509126,0.007762025,0.01585763,0.004689142,0.003589212,0.0001878893,0.0003812563,0.0318521],"genre_scores_gemma":[0.9975964,0.00008068406,0.0004115667,0.0003424697,0.0008042675,0.00007818099,0.00003188772,0.00006562763,0.0005889261],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06342476,"threshold_uncertainty_score":0.9999833,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01120131727581923,"gpt":0.2270782724036542,"spread":0.2158769551278349,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001723486,0.0001463298,0.0003068431,0.00006315003,0.0000643372,0.00003310365,0.0008623638,0.0001506871,0.00003834415],"category_scores_gemma":[0.0000270667,0.0001099545,0.00007568218,0.0003655647,0.0002449023,0.00008934768,0.0001890822,0.0002213119,0.00000645299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001354157,"about_ca_system_score_gemma":0.00007477665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004174959,"about_ca_topic_score_gemma":0.00004739316,"domain_scores_codex":[0.9988302,0.00002609354,0.0003080501,0.0002913935,0.0003136641,0.0002305987],"domain_scores_gemma":[0.998944,0.00008708771,0.0002202735,0.0005507265,0.0001028966,0.00009505454],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000744205,0.00002464885,0.0009849046,0.00003264681,0.00001987947,0.000002068038,0.000408143,0.000005552283,0.01524125,0.9750903,0.0001326404,0.008050518],"study_design_scores_gemma":[0.0002298915,0.00004791803,0.007771991,7.100238e-8,0.00001025274,0.000008329172,0.00009544776,0.00004999925,0.05113172,0.9368979,0.003615434,0.000141005],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1409133,0.00009600558,0.8306946,0.0001274071,0.001279895,0.0003833055,0.000001400683,0.0002065211,0.02629755],"genre_scores_gemma":[0.9984233,0.000002547125,0.001419216,0.00002371841,0.00007708158,0.00000551971,0.000004262777,0.000006830169,0.00003746698],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8575101,"threshold_uncertainty_score":0.4483813,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.09092924875748534,"gpt":0.3640098994333413,"spread":0.273080650675856,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003297474,0.0006031448,0.000910721,0.0001878077,0.00009586453,0.00008632198,0.001045388,0.0008189175,0.0003476367],"category_scores_gemma":[0.0001309529,0.0005378245,0.0001471196,0.0002481801,0.0002861358,0.00004716092,0.002176666,0.002166342,0.00004464961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000518009,"about_ca_system_score_gemma":0.00006826168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001306666,"about_ca_topic_score_gemma":0.0003638293,"domain_scores_codex":[0.9973019,0.00008628913,0.000663817,0.0008694604,0.0004751013,0.0006033998],"domain_scores_gemma":[0.9976978,0.0005295922,0.0003636825,0.001192564,0.0000705329,0.000145771],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009669,0.00007544781,0.0001395759,0.0003112577,0.00005431356,0.00002166198,0.001331254,0.00002516361,0.0001098267,0.9935398,0.001898348,0.002396719],"study_design_scores_gemma":[0.0007149703,0.00002538956,0.0006332893,0.00001257406,0.00003685638,0.000009073585,0.0001101929,0.00004022174,0.002331213,0.9945216,0.001023183,0.0005414111],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8042516,0.0002567907,0.1424554,0.0004421966,0.002115833,0.002578734,0.00003731797,0.0006887092,0.04717334],"genre_scores_gemma":[0.9821895,0.00002329874,0.01628784,0.0001604597,0.0006949467,0.0003096558,0.00008452723,0.00009714932,0.0001525712],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1779379,"threshold_uncertainty_score":0.9997073,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02932109520025417,"gpt":0.2821569527698296,"spread":0.2528358575695754,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001587141,0.0001990736,0.0003920741,0.00002599475,0.0003309765,0.00001933265,0.0005442792,0.0002606011,0.0006559684],"category_scores_gemma":[0.0002676081,0.0001305028,0.00009399613,0.0001983238,0.0006662125,0.00002669604,0.0001537951,0.0005125698,0.00004034317],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002115257,"about_ca_system_score_gemma":0.0001176168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000182649,"about_ca_topic_score_gemma":0.00004593281,"domain_scores_codex":[0.9985706,0.0001218246,0.0004785063,0.0003119789,0.000170909,0.0003461451],"domain_scores_gemma":[0.9985634,0.0007894338,0.0001112842,0.0003472361,0.0000552419,0.0001334097],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005689673,0.00001973345,0.00005902906,0.00002246685,0.00008812622,0.000009390687,0.0005690348,0.0000160908,0.00267765,0.9879194,0.004409787,0.004152399],"study_design_scores_gemma":[0.000384887,0.0001093899,0.0007864858,1.67826e-7,0.00004935915,0.00004495044,0.0004057693,0.00004197099,0.005839892,0.9871884,0.005000262,0.0001484521],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.798912,0.001190865,0.07093084,0.02606897,0.00138659,0.00176871,0.00002510056,0.0005472768,0.09916965],"genre_scores_gemma":[0.997504,0.00002553504,0.0007516834,0.001304601,0.0002124767,0.00006269731,0.00001232166,0.00002249702,0.000104202],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.198592,"threshold_uncertainty_score":0.7182394,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}