{"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","author_layer_release":"2026-06-26"},"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","authors":[{"name":"Maria Manuel Clementino","is_ca":false},{"name":"Dirk Hofmann","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002947433,0.0009748288,0.001720879,0.002284938,0.004915539,0.008029927,0.002110026,0.004018392,0.01353636],"category_scores_gemma":[0.005635711,0.0004642413,0.0008088686,0.002870752,0.01604871,0.02309174,0.00694896,0.008596565,0.001891634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002676607,"about_ca_system_score_gemma":0.001252784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001583542,"about_ca_topic_score_gemma":0.001793421,"domain_scores_codex":[0.996823,0.001778179,0.0001532529,0.0007458627,0.0003284579,0.0001712794],"domain_scores_gemma":[0.9965681,0.001148759,0.0003874151,0.0006683785,0.0005509129,0.0006764545],"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.000005421547,0.000004012915,0.00007290332,0.00001804821,0.000003109294,0.00001616554,0.0001443336,0.00002512503,0.00004193426,0.9957731,0.001383809,0.002512017],"study_design_scores_gemma":[0.000008114743,0.00001583478,0.0001413568,0.00003772398,0.000009750255,0.0001276838,0.0005226975,0.0002700593,0.00009575643,0.9834328,0.01532352,0.00001477554],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05769969,0.03630656,0.5457892,0.1346219,0.004234578,0.00007845882,0.001121334,0.0007627941,0.2193855],"genre_scores_gemma":[0.8686956,0.008659461,0.08252408,0.008387684,0.004098617,0.0002765037,0.0004206632,0.0002906333,0.02664662],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01353636,"threshold_uncertainty_score":0.04528368,"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","authors":[{"name":"J.R.B. Cockett","is_ca":true},{"name":"G. S. H. Cruttwell","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007946229,0.0003979907,0.000417659,0.002500571,0.001515371,0.002770754,0.0007387175,0.0008519406,0.006557546],"category_scores_gemma":[0.00191016,0.0001945794,0.0003847866,0.001531836,0.005291742,0.005484575,0.002761794,0.001784644,0.0003620572],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001504392,"about_ca_system_score_gemma":0.0006663777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002089865,"about_ca_topic_score_gemma":0.001574508,"domain_scores_codex":[0.9995278,0.0001327031,0.00003028786,0.0001118976,0.0001280906,0.00006924622],"domain_scores_gemma":[0.9988818,0.0003956037,0.0001483399,0.0001273582,0.000226018,0.0002208539],"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.000006574648,0.000008176227,0.000379874,0.000008259593,0.000002274388,0.00003324748,0.0001445619,0.0001453295,0.0001795161,0.9961371,0.0002507294,0.002704349],"study_design_scores_gemma":[0.000004691648,0.000008555961,0.0003139585,0.000004539359,0.000002469076,0.00005123062,0.0001450981,0.000994017,0.00012975,0.9965862,0.001755875,0.000003654163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.629692,0.005240871,0.1774604,0.009620707,0.0005469157,0.00004625926,0.0003824428,0.0002364316,0.176774],"genre_scores_gemma":[0.9827481,0.0007568302,0.004963889,0.0002220557,0.0002409948,0.00002068594,0.0001082503,0.00001646381,0.01092278],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006557546,"threshold_uncertainty_score":0.02193719,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true},{"name":"Christopher Gilmour","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00242002,0.0008667743,0.0008203318,0.002571555,0.002900587,0.004999776,0.001015364,0.001806299,0.005812512],"category_scores_gemma":[0.002823527,0.0006747259,0.0008836949,0.00147135,0.00949149,0.00922777,0.003447177,0.004339525,0.0006090469],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001984871,"about_ca_system_score_gemma":0.0007873612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002511978,"about_ca_topic_score_gemma":0.001795786,"domain_scores_codex":[0.9984735,0.0003665859,0.00009971201,0.0005068171,0.0002793038,0.0002739863],"domain_scores_gemma":[0.9975731,0.0009949601,0.0002262184,0.0003278608,0.0004948756,0.0003831085],"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.00001698467,0.000005820028,0.00005264062,0.00000790504,0.000003652962,0.00002508594,0.0001634896,0.00006163697,0.0003118543,0.9983474,0.0001480263,0.0008554432],"study_design_scores_gemma":[0.0000179937,0.00001692416,0.0001525877,0.000006840079,0.000008750747,0.00005281384,0.0001351196,0.0005253925,0.0005004366,0.995589,0.002983352,0.00001073011],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.4274898,0.004264618,0.3301088,0.006166666,0.001060672,0.00008120595,0.0004524396,0.0005630465,0.2298128],"genre_scores_gemma":[0.9579737,0.0006997785,0.01982812,0.0004493095,0.0004049854,0.00005876153,0.0002574956,0.0001016527,0.02022623],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005812512,"threshold_uncertainty_score":0.01944482,"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","authors":[{"name":"Jiřı́ Adámek","is_ca":false},{"name":"Horst Herrlich","is_ca":false},{"name":"Jiřı́ Rosický","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00268837,0.000944417,0.001157465,0.003787249,0.003284566,0.005961304,0.001147578,0.002364586,0.008745859],"category_scores_gemma":[0.004551562,0.0008879069,0.001022108,0.003092665,0.009953598,0.01740558,0.003607836,0.0045614,0.0007871093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002137635,"about_ca_system_score_gemma":0.0007867264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001532661,"about_ca_topic_score_gemma":0.001367833,"domain_scores_codex":[0.9987584,0.0004524104,0.00008993287,0.0003169395,0.0002211035,0.0001612121],"domain_scores_gemma":[0.9969483,0.001885991,0.000242656,0.0003062618,0.0003967602,0.0002200947],"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.000006878313,0.000005913157,0.00006637302,0.00001316099,0.000002518598,0.00001812248,0.0002245803,0.000112968,0.0001103008,0.9978902,0.000250132,0.001298902],"study_design_scores_gemma":[0.000005231156,0.000004825025,0.0000605842,0.000004739189,0.00000305176,0.00002497883,0.00008125917,0.0004494002,0.00007394373,0.9974788,0.001808932,0.000004251942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3434561,0.02358795,0.4590986,0.01604778,0.001198477,0.00009175164,0.0005711881,0.0005628327,0.1553852],"genre_scores_gemma":[0.9385751,0.004698939,0.0298963,0.0007362102,0.0009626835,0.0001390528,0.0004104992,0.00006929077,0.02451196],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008745859,"threshold_uncertainty_score":0.02925777,"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","authors":[{"name":"George Janelidze","is_ca":false},{"name":"W. Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008643796,0.0003454868,0.0006644714,0.0009105058,0.001511418,0.004676437,0.000653006,0.000683362,0.00553851],"category_scores_gemma":[0.001973846,0.0003309005,0.0007421206,0.001336952,0.003097938,0.006713857,0.00257294,0.003196143,0.0007600254],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001664761,"about_ca_system_score_gemma":0.0008181592,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003324739,"about_ca_topic_score_gemma":0.002323348,"domain_scores_codex":[0.9994387,0.0001264304,0.00003598442,0.0001223219,0.0001610721,0.000115417],"domain_scores_gemma":[0.9994767,0.0001365423,0.00004127353,0.0001128221,0.0001091074,0.0001235275],"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.0000218146,0.000006575071,0.0002919647,0.00001857718,0.000003130636,0.00002592527,0.0002910905,0.0001284575,0.0004048109,0.9905795,0.001776223,0.006451801],"study_design_scores_gemma":[0.000008585832,0.00001671916,0.0006522615,0.00001686675,0.000009632369,0.0001074985,0.0002141837,0.001628918,0.0006645414,0.9777778,0.01888941,0.00001364862],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.18544,0.00745821,0.5593303,0.005405013,0.001935607,0.0001349374,0.001084341,0.001024787,0.2381868],"genre_scores_gemma":[0.8897024,0.002216827,0.04928081,0.0008965515,0.001290348,0.0001060751,0.0007919943,0.0002814758,0.05543349],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00553851,"threshold_uncertainty_score":0.01852822,"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","authors":[{"name":"Dirk Hofmann","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001756855,0.0006666061,0.001081351,0.002041693,0.002745992,0.004879991,0.001177375,0.001872999,0.00861589],"category_scores_gemma":[0.003208909,0.0005888164,0.001069291,0.001518696,0.0111259,0.0179858,0.003836635,0.005200514,0.0006430577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00205164,"about_ca_system_score_gemma":0.001064425,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001681704,"about_ca_topic_score_gemma":0.001305087,"domain_scores_codex":[0.9988427,0.0003308745,0.00006139358,0.0003100599,0.0002998127,0.0001550721],"domain_scores_gemma":[0.9982826,0.00083358,0.0001420954,0.0002622975,0.0002473767,0.0002320704],"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.000006408619,0.000009337985,0.0000448287,0.000009695607,0.000002251028,0.0000202147,0.0001924908,0.00006023554,0.00009495659,0.9984019,0.0002244622,0.0009333],"study_design_scores_gemma":[0.000008672389,0.000005622978,0.00008100274,0.000003199635,0.000003143124,0.0000395012,0.00007676276,0.0004033013,0.0001201955,0.9969612,0.002292412,0.000005075676],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3128748,0.007939926,0.3426804,0.01681567,0.0009937343,0.000104385,0.0005731391,0.0006248048,0.3173933],"genre_scores_gemma":[0.9592487,0.001542494,0.01197165,0.0005164252,0.0008750394,0.00005770911,0.0002162174,0.00008555222,0.02548623],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00861589,"threshold_uncertainty_score":0.02882302,"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","authors":[{"name":"David Kruml","is_ca":false},{"name":"Joan Wick Pelletier","is_ca":true},{"name":"Pedro Resende","is_ca":false},{"name":"Jiřı́ Rosický","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003303465,0.0009461341,0.001206371,0.003669783,0.003574289,0.006298393,0.001722908,0.002496701,0.005139363],"category_scores_gemma":[0.006042903,0.0008656812,0.001240929,0.003519981,0.00985851,0.01278251,0.003110259,0.00465927,0.0004723515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003414982,"about_ca_system_score_gemma":0.00126423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002899264,"about_ca_topic_score_gemma":0.002249987,"domain_scores_codex":[0.9986097,0.0005465443,0.00007862507,0.0002156797,0.000371404,0.0001781482],"domain_scores_gemma":[0.9957936,0.002723963,0.0003109332,0.0003204586,0.0004519786,0.0003991231],"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.000004045355,0.000005558244,0.00003964314,0.000009623605,0.000001935133,0.0000140893,0.0001525848,0.0001292064,0.00007750197,0.9987124,0.0001801092,0.0006732769],"study_design_scores_gemma":[0.000003331586,0.000003585427,0.00006141253,0.000006341249,0.000001559328,0.00001406366,0.0000421881,0.0003921227,0.00002926426,0.9985082,0.000933913,0.000004052327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3416752,0.03243144,0.3056208,0.01773461,0.002093487,0.00008898133,0.0006405828,0.0003962161,0.2993186],"genre_scores_gemma":[0.9355911,0.007985182,0.02793446,0.001468193,0.002536357,0.0001334062,0.000307438,0.00009679086,0.02394708],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006298393,"threshold_uncertainty_score":0.02477759,"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","authors":[{"name":"Jonathon Funk","is_ca":false},{"name":"Benjamin Steinberg","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008018169,0.0003985243,0.0006240457,0.001094721,0.00168702,0.002706162,0.0004678553,0.000903365,0.003930212],"category_scores_gemma":[0.002078707,0.000443653,0.000901747,0.0006024325,0.003029537,0.003754176,0.002327201,0.001540509,0.0005194581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006834444,"about_ca_system_score_gemma":0.0004724784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005827734,"about_ca_topic_score_gemma":0.0002990855,"domain_scores_codex":[0.99914,0.0001873123,0.00004683285,0.0002499235,0.0002007709,0.0001750803],"domain_scores_gemma":[0.9984213,0.0007491347,0.00009588838,0.00027744,0.0001831117,0.000273091],"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.00004349654,0.00001393299,0.0002429717,0.00002251084,0.000005556682,0.0001766452,0.0006855623,0.000430333,0.002626575,0.9901502,0.0004179782,0.00518414],"study_design_scores_gemma":[0.00001190252,0.000039707,0.0005032135,0.00001638156,0.00001904336,0.0006240694,0.0002616936,0.005777395,0.003508955,0.9800895,0.00912746,0.0000206792],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5987285,0.001149166,0.2818069,0.001105772,0.0004947664,0.0000390524,0.0001722644,0.000672851,0.1158307],"genre_scores_gemma":[0.9702229,0.0002336787,0.01484565,0.0001316811,0.0001758498,0.00002747931,0.0001092256,0.0001085185,0.01414503],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003930212,"threshold_uncertainty_score":0.01314789,"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","authors":[{"name":"Eraldo Giuli","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002878546,0.0009398526,0.001238392,0.003217608,0.003864712,0.005155759,0.001087596,0.002051021,0.006804998],"category_scores_gemma":[0.004880364,0.0008520936,0.002159074,0.001797487,0.008914908,0.01677337,0.008593302,0.006983017,0.0007737844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001308771,"about_ca_system_score_gemma":0.0009413676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005435655,"about_ca_topic_score_gemma":0.0003264915,"domain_scores_codex":[0.9968944,0.0007075928,0.000248181,0.0008244434,0.0008185597,0.0005068956],"domain_scores_gemma":[0.9944975,0.002318459,0.0004361099,0.0007634502,0.0009051175,0.001079343],"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.00002952716,0.00001466961,0.00008119082,0.00001603514,0.000007593616,0.00009559093,0.0003134025,0.00009123413,0.0007357978,0.9966236,0.0003539714,0.001637392],"study_design_scores_gemma":[0.00001479094,0.00001648501,0.0001142272,0.00000681868,0.00000934349,0.0001768811,0.0001119301,0.0003301493,0.000390193,0.9960433,0.002775086,0.00001067812],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2321612,0.001575198,0.4961147,0.007059382,0.002140892,0.000122371,0.0008204305,0.0009993236,0.2590066],"genre_scores_gemma":[0.941477,0.000866545,0.03053737,0.0007428036,0.001356396,0.0001529376,0.0004045862,0.0003318714,0.02413049],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006804998,"threshold_uncertainty_score":0.02276498,"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","authors":[{"name":"Eraldo Giuli","is_ca":true},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001768266,0.0003316579,0.0004335453,0.002668832,0.003987321,0.005481897,0.0009535063,0.002673964,0.00575482],"category_scores_gemma":[0.002848838,0.0002995667,0.0004185496,0.001602069,0.02013522,0.009198287,0.002135248,0.004896511,0.0005604796],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002714011,"about_ca_system_score_gemma":0.001501981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004314584,"about_ca_topic_score_gemma":0.003775722,"domain_scores_codex":[0.9988397,0.0006295953,0.00003558355,0.0001614737,0.0001948321,0.0001388283],"domain_scores_gemma":[0.9982035,0.0009713225,0.00009362249,0.0001737062,0.000369947,0.0001878688],"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.000001765029,0.000001502424,0.0000244301,0.000002707752,7.012869e-7,0.000006257892,0.0003624681,0.000028314,0.00001955399,0.9984786,0.0008064708,0.0002670879],"study_design_scores_gemma":[0.000007010717,0.000007164731,0.00009696169,0.00001006178,0.000003362493,0.00005056264,0.0005797212,0.0003973928,0.00008578426,0.9636674,0.03508896,0.000005611195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05858665,0.005971679,0.1140394,0.1098956,0.001661262,0.00004476985,0.0003319772,0.000234103,0.7092344],"genre_scores_gemma":[0.9185482,0.002548436,0.01551127,0.008781375,0.00226176,0.0001093677,0.0001083798,0.0001678884,0.05196345],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00575482,"threshold_uncertainty_score":0.01969159,"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","authors":[{"name":"L. P. Belluce","is_ca":true},{"name":"Antonio Di Nola","is_ca":false},{"name":"Brunella Gerla","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002052275,0.0005447761,0.0009849023,0.002386335,0.002666906,0.004658321,0.00145059,0.001357677,0.008748654],"category_scores_gemma":[0.003966656,0.0006284931,0.001038304,0.002564261,0.005510032,0.01067506,0.003074848,0.002982987,0.001190474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001701007,"about_ca_system_score_gemma":0.001117582,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001136926,"about_ca_topic_score_gemma":0.0007848346,"domain_scores_codex":[0.998466,0.0003985341,0.0001494759,0.0002599568,0.0005132543,0.0002127561],"domain_scores_gemma":[0.9983272,0.0005995134,0.0002050707,0.000233004,0.0003815339,0.0002536871],"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.000004575908,0.000002420592,0.0000237411,0.000008650255,0.000001944761,0.000007733841,0.00004697771,0.00004792948,0.00005044795,0.9985735,0.0002652033,0.0009668311],"study_design_scores_gemma":[0.000004144761,0.000003938916,0.00003200785,0.000004965424,0.000003736318,0.00002860911,0.00002633615,0.0003769001,0.00009824993,0.9971011,0.002315921,0.000003981593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1744233,0.01056498,0.4947247,0.008872356,0.001485644,0.0001690526,0.001540791,0.001082122,0.3071372],"genre_scores_gemma":[0.910241,0.002350627,0.04633907,0.0009857164,0.001200074,0.0001067955,0.0005296603,0.0001291303,0.03811802],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008748654,"threshold_uncertainty_score":0.02926713,"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","authors":[{"name":"Maria Manuel Clementino","is_ca":false},{"name":"Eraldo Giuli","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002412278,0.0006415197,0.001060461,0.001992168,0.001779274,0.004569661,0.001027667,0.002056444,0.005501197],"category_scores_gemma":[0.006711148,0.0003489988,0.001110155,0.001204673,0.008552078,0.01859872,0.00250666,0.002695763,0.0008090487],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001082594,"about_ca_system_score_gemma":0.000740729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009680082,"about_ca_topic_score_gemma":0.0003205054,"domain_scores_codex":[0.9984797,0.0003937893,0.00009295161,0.0003989279,0.0003908612,0.000243795],"domain_scores_gemma":[0.9968284,0.001192292,0.0002668933,0.0003861232,0.0006672521,0.0006590718],"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.00004085805,0.00002069276,0.0002954612,0.00003246218,0.00001116081,0.0001022721,0.0005501864,0.0001341229,0.0009084746,0.9931647,0.000573919,0.004165567],"study_design_scores_gemma":[0.000009424822,0.00002092999,0.0002255226,0.0000116395,0.000009179703,0.0001956034,0.0004352708,0.0006734573,0.0007264434,0.9929742,0.00470502,0.00001336649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.499257,0.003703011,0.2888991,0.0156461,0.002323785,0.0001237897,0.0005190957,0.0008769032,0.1886511],"genre_scores_gemma":[0.9666705,0.0009705034,0.01734457,0.0007164243,0.000838432,0.0000634668,0.0002332729,0.0002021088,0.01296062],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.005501197,"threshold_uncertainty_score":0.01840341,"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","authors":[{"name":"Krzysztof Kapulkin","is_ca":true},{"name":"Karol Szumiło","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002321563,0.000874164,0.0009484085,0.005472486,0.003439052,0.005627703,0.001447791,0.001525573,0.008644071],"category_scores_gemma":[0.00270025,0.001135339,0.001276534,0.002384608,0.005502911,0.009763874,0.004069249,0.00248676,0.0005459405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002384615,"about_ca_system_score_gemma":0.0009255467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003012096,"about_ca_topic_score_gemma":0.003411696,"domain_scores_codex":[0.9981303,0.000392455,0.0001481659,0.0005045816,0.0004379012,0.0003867422],"domain_scores_gemma":[0.9971471,0.001045472,0.0002692787,0.0002839565,0.0005699989,0.0006842734],"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.0000220311,0.00001535108,0.0002546885,0.00001580428,0.000008438311,0.00007225498,0.0005163697,0.0001377489,0.0008038176,0.9959984,0.0001854808,0.001969631],"study_design_scores_gemma":[0.00002062194,0.00003629613,0.0008669132,0.0000195901,0.00002004872,0.0001433917,0.000486593,0.001992504,0.001110448,0.9913945,0.003885873,0.00002330016],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5894656,0.002849824,0.3339814,0.001451433,0.0005762069,0.0001407224,0.0006132842,0.000536131,0.07038534],"genre_scores_gemma":[0.9566215,0.0008839959,0.02373432,0.0002746728,0.000368905,0.000141348,0.0004560048,0.0001731301,0.01734611],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008644071,"threshold_uncertainty_score":0.02891731,"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","authors":[{"name":"Alexandru E. Stanculescu","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002038807,0.0008554836,0.00103018,0.003530524,0.003326865,0.004137568,0.001101631,0.00219204,0.008960581],"category_scores_gemma":[0.004029541,0.0006971702,0.0009019636,0.002191646,0.008249807,0.01066216,0.004417166,0.004020222,0.0008003486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001587493,"about_ca_system_score_gemma":0.000626762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001324149,"about_ca_topic_score_gemma":0.001085396,"domain_scores_codex":[0.9986293,0.0003990716,0.00008964588,0.0003866646,0.0002837338,0.0002116587],"domain_scores_gemma":[0.9979796,0.0008386368,0.000223484,0.0003117691,0.0004000954,0.00024638],"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.000005391285,0.00000352521,0.0000564449,0.000005900503,0.000002055276,0.00001725257,0.0001180436,0.00006980239,0.00009372779,0.9984545,0.0001627308,0.001010686],"study_design_scores_gemma":[0.000004931,0.000004579017,0.00006237689,0.000003825568,0.000003073802,0.00002776857,0.00006753953,0.0003920658,0.0000984611,0.9978368,0.001493981,0.000004710545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3799185,0.006652941,0.386203,0.006973772,0.001116621,0.00008944983,0.0003916752,0.0006654575,0.2179886],"genre_scores_gemma":[0.9520801,0.001524096,0.02228808,0.0006306216,0.0006442866,0.00009404513,0.0002305259,0.0001141818,0.02239414],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008960581,"threshold_uncertainty_score":0.02997613,"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","authors":[{"name":"Richard Blute","is_ca":true},{"name":"Prakash Panangaden","is_ca":true},{"name":"Sergey Slavnov","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00452141,0.0005935189,0.001020001,0.002792828,0.001508518,0.004948068,0.001997186,0.001487206,0.006523306],"category_scores_gemma":[0.02358695,0.0008960522,0.001391736,0.002371884,0.004720436,0.01423665,0.00439089,0.00466555,0.0005373952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002954503,"about_ca_system_score_gemma":0.001662389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004606479,"about_ca_topic_score_gemma":0.00667546,"domain_scores_codex":[0.9961338,0.001812965,0.0002475191,0.0007287553,0.0008256667,0.0002513731],"domain_scores_gemma":[0.9809234,0.01425811,0.001071049,0.001881961,0.001404605,0.0004609188],"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.00004521686,0.00002467046,0.0005471666,0.0000749129,0.00004211914,0.00002752451,0.0002079194,0.008186709,0.0002411965,0.9700464,0.0009916321,0.01956458],"study_design_scores_gemma":[0.000004101019,0.000003426301,0.00006370628,0.000009284006,0.00000677049,0.000006668276,0.00002370399,0.02024999,0.0001076821,0.9789678,0.000552867,0.000004089373],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03232379,0.001360616,0.9546049,0.003184413,0.00006985249,0.00003054156,0.0004845514,0.0003326554,0.007608679],"genre_scores_gemma":[0.8168791,0.001207159,0.1736797,0.0007006443,0.0004129965,0.0001351485,0.001309464,0.0001387638,0.005537085],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006523306,"threshold_uncertainty_score":0.02391183,"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)","authors":[],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001169054,0.0006990141,0.0005927359,0.003902545,0.002957772,0.003813148,0.001332737,0.001237263,0.01197822],"category_scores_gemma":[0.001966096,0.0005712621,0.0006198466,0.002372812,0.006588408,0.008718936,0.005419204,0.002486869,0.001358023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001784367,"about_ca_system_score_gemma":0.0008579105,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001851867,"about_ca_topic_score_gemma":0.001320861,"domain_scores_codex":[0.9985437,0.0004024935,0.00006986924,0.000256774,0.0005190803,0.0002079828],"domain_scores_gemma":[0.9980262,0.0007705112,0.0001541842,0.0002060691,0.0005537941,0.0002891524],"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.000006449638,0.000005322603,0.0001020731,0.00001393818,0.000003055768,0.0000402167,0.0001492789,0.00007663332,0.0001646868,0.997089,0.0005317269,0.001817606],"study_design_scores_gemma":[0.000007029638,0.00001250697,0.0003685015,0.00001289087,0.000004574731,0.0001126988,0.0001502564,0.0007248475,0.0002285518,0.9884178,0.009952327,0.000008171743],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2381566,0.005666882,0.178014,0.008006078,0.0009856368,0.00008306145,0.001155407,0.0006530735,0.5672793],"genre_scores_gemma":[0.9171643,0.001543917,0.01627402,0.001007985,0.0007385687,0.00009725107,0.0007894096,0.000148755,0.06223589],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01197822,"threshold_uncertainty_score":0.04007113,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true},{"name":"Sung Sa Hong","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003035916,0.0005426596,0.001069502,0.002693015,0.001846431,0.003393982,0.001281468,0.001341225,0.004673551],"category_scores_gemma":[0.004962113,0.0007097194,0.001712449,0.002016532,0.007237408,0.01502101,0.005500154,0.004241005,0.0004069822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001329673,"about_ca_system_score_gemma":0.000612966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008537752,"about_ca_topic_score_gemma":0.000447457,"domain_scores_codex":[0.9983892,0.0004687589,0.0001130667,0.0004605357,0.000412092,0.0001563599],"domain_scores_gemma":[0.9962569,0.002057193,0.0002662234,0.0005541264,0.0005176392,0.0003477931],"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.000009272811,0.000006760765,0.00007743909,0.00001518759,0.000005426654,0.00003048029,0.0001487051,0.0002980054,0.0001478692,0.9970363,0.000145468,0.002079152],"study_design_scores_gemma":[0.000008031513,0.000013519,0.0001034846,0.000005545479,0.000006042925,0.00008493926,0.00003761978,0.001234938,0.0001430206,0.9965709,0.001786292,0.000005616806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1911722,0.003051621,0.7022051,0.005025561,0.0004333804,0.0001037365,0.000380175,0.0002398722,0.09738834],"genre_scores_gemma":[0.9120219,0.001855468,0.06826233,0.0005147822,0.0005194416,0.0001431105,0.0002395028,0.00009064323,0.01635277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004673551,"threshold_uncertainty_score":0.01605564,"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","authors":[{"name":"Mojgan Mahmoudi","is_ca":false},{"name":"Christoph Schubert","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004955913,0.0006230815,0.001420709,0.00470514,0.004824414,0.007451486,0.001918045,0.001792144,0.0040352],"category_scores_gemma":[0.00889402,0.001226134,0.001982806,0.002998768,0.0110067,0.01436888,0.006880877,0.003888403,0.0003893234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00215927,"about_ca_system_score_gemma":0.001393076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001146717,"about_ca_topic_score_gemma":0.0009955805,"domain_scores_codex":[0.9963965,0.000794268,0.0003709471,0.0009301266,0.0007957601,0.0007124367],"domain_scores_gemma":[0.9916993,0.003397394,0.0007920383,0.00127089,0.001321005,0.001519364],"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.00002372031,0.00001688415,0.0004470303,0.00002399262,0.00001029214,0.00006742393,0.0007469741,0.0001292471,0.0004576363,0.9961914,0.0001663418,0.001719081],"study_design_scores_gemma":[0.00001054802,0.00001454781,0.0002439579,0.00001160304,0.00001428536,0.0000940036,0.0001933298,0.0007527973,0.0004411719,0.9972888,0.0009197175,0.00001520297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7053757,0.002280571,0.2413942,0.001892756,0.000404942,0.00009910214,0.000477609,0.0006519537,0.04742314],"genre_scores_gemma":[0.9840831,0.0003958812,0.0108823,0.00019748,0.0002434279,0.00006054761,0.0001874427,0.00007204224,0.003877724],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007451486,"threshold_uncertainty_score":0.02620971,"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","authors":[{"name":"Mark Weber","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001964221,0.0007071775,0.0007931186,0.002765975,0.003344503,0.006127057,0.001156613,0.001334522,0.01008881],"category_scores_gemma":[0.002566766,0.0008257196,0.001195934,0.002660171,0.004715942,0.01496993,0.004866614,0.003844587,0.001326675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001677754,"about_ca_system_score_gemma":0.001168245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001066423,"about_ca_topic_score_gemma":0.001011881,"domain_scores_codex":[0.9982305,0.0005461311,0.0001467736,0.0002450365,0.0005813956,0.0002502328],"domain_scores_gemma":[0.9981244,0.0005515239,0.000169087,0.0002820131,0.0004885443,0.0003844064],"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.000006190227,0.000005886658,0.00003397169,0.000006676732,0.000001396029,0.00001930511,0.0001200928,0.00003333155,0.0001783959,0.9986466,0.000158182,0.000790093],"study_design_scores_gemma":[0.000008711141,0.00001395196,0.0001125208,0.00000744553,0.000007559643,0.00007631686,0.0001529411,0.0006358735,0.0003892015,0.9934525,0.005132558,0.00001041305],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3080566,0.002343648,0.4782538,0.005735171,0.002123432,0.0002071255,0.0007545786,0.001029556,0.2014962],"genre_scores_gemma":[0.9063968,0.001259181,0.04366633,0.0009058247,0.001255597,0.0001605377,0.0004776267,0.0002956488,0.04558252],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01008881,"threshold_uncertainty_score":0.03375041,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true},{"name":"Anthony W. Hager","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004757552,0.0005760125,0.001489288,0.002688166,0.003218581,0.004038221,0.001501272,0.001462405,0.004266656],"category_scores_gemma":[0.007177799,0.0009643855,0.001526799,0.001991553,0.007902995,0.01266996,0.004439439,0.003148145,0.0004307502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001977238,"about_ca_system_score_gemma":0.001576599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002059356,"about_ca_topic_score_gemma":0.001756429,"domain_scores_codex":[0.9960251,0.001409136,0.0002949658,0.0007123651,0.00102456,0.0005338971],"domain_scores_gemma":[0.9915161,0.004321193,0.000541846,0.001124924,0.001672331,0.0008235889],"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.00001528058,0.00000843522,0.0001573998,0.00002410451,0.000007924912,0.00002004327,0.0003007716,0.0001579082,0.0001553649,0.997875,0.0002438589,0.001033963],"study_design_scores_gemma":[0.00001104964,0.00001196911,0.0002952366,0.00000739262,0.000009025353,0.00003924774,0.00012407,0.0007070218,0.0002209494,0.9968711,0.001694268,0.000008651119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5215929,0.005461712,0.3300927,0.004570785,0.0003032341,0.0001090415,0.001200593,0.0004950509,0.136174],"genre_scores_gemma":[0.9676173,0.0009424934,0.02090454,0.0003172528,0.0003117997,0.00009459895,0.0006499112,0.00008885215,0.009073198],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.004757552,"threshold_uncertainty_score":0.02516067,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003563923,0.0004782823,0.0009461882,0.001316676,0.002881875,0.004225301,0.00144351,0.002755861,0.008033446],"category_scores_gemma":[0.006044158,0.0007609566,0.001339977,0.001114129,0.01256094,0.01362192,0.004420812,0.006267758,0.001599163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001651713,"about_ca_system_score_gemma":0.001497042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001781293,"about_ca_topic_score_gemma":0.001760824,"domain_scores_codex":[0.9974067,0.0008147192,0.0001839929,0.0006121175,0.0007209936,0.00026153],"domain_scores_gemma":[0.9954512,0.002363301,0.000185011,0.0008733696,0.0007841628,0.0003430579],"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.000005211675,0.000002637697,0.00004793349,0.000010843,0.000002368138,0.00001046748,0.0001049634,0.00003628766,0.00007119125,0.9981542,0.0006258208,0.0009280508],"study_design_scores_gemma":[0.000007734482,0.000004439608,0.00008319151,0.000006217546,0.000002643795,0.00004849076,0.0000443159,0.0001434094,0.00009368247,0.9940356,0.005526175,0.000004236142],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.09715839,0.008859628,0.4019794,0.0362579,0.002118361,0.0001068886,0.001615328,0.000675178,0.4512289],"genre_scores_gemma":[0.8985707,0.003469516,0.04751851,0.00373373,0.001925451,0.0002783192,0.0007697989,0.0001767084,0.04355715],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008033446,"threshold_uncertainty_score":0.0268746,"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","authors":[{"name":"Richard N. Ball","is_ca":false},{"name":"Aleš Pultr","is_ca":false},{"name":"J. Sichler","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001646649,0.0007246466,0.0009810078,0.003145854,0.004281946,0.007011354,0.001865078,0.001451374,0.01085281],"category_scores_gemma":[0.003835583,0.001116865,0.001115837,0.00306657,0.006268423,0.009796399,0.005378498,0.004299188,0.001671057],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001779126,"about_ca_system_score_gemma":0.0007882516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009982194,"about_ca_topic_score_gemma":0.001181972,"domain_scores_codex":[0.9980193,0.0004914292,0.0001385448,0.0004819025,0.0004795639,0.0003891969],"domain_scores_gemma":[0.9976459,0.0007484588,0.0002519716,0.0004125342,0.0003912738,0.0005497747],"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.00001452836,0.000008054103,0.0000983151,0.000009229444,0.000004180366,0.0000439334,0.0002458723,0.0001369083,0.0002163102,0.9975038,0.0002596092,0.001459347],"study_design_scores_gemma":[0.000006968516,0.000006786238,0.00008332212,0.000005280206,0.000003627472,0.00004156714,0.00009354213,0.0004552417,0.0002781009,0.9976121,0.001405927,0.000007495666],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.546739,0.002200083,0.2539709,0.002285093,0.000721781,0.0001187227,0.0007033471,0.0006980503,0.1925631],"genre_scores_gemma":[0.9521978,0.0006266258,0.02272713,0.0003012033,0.0002945081,0.0001106612,0.0004090244,0.0001804205,0.02315254],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01085281,"threshold_uncertainty_score":0.03630626,"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","authors":[{"name":"François Huard","is_ca":true},{"name":"Marcelo Lanzilotta","is_ca":false},{"name":"Octavio Mendoza","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001429018,0.0005862343,0.0006146128,0.00246246,0.002208821,0.00485196,0.00111297,0.001409366,0.007931752],"category_scores_gemma":[0.004302308,0.0005342313,0.0004567774,0.001708536,0.00670401,0.01310231,0.003105395,0.003275975,0.0005389557],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001757046,"about_ca_system_score_gemma":0.000670531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008763027,"about_ca_topic_score_gemma":0.001097381,"domain_scores_codex":[0.9991754,0.0002348977,0.00005494245,0.0001491295,0.0002170529,0.0001686765],"domain_scores_gemma":[0.9970989,0.001514731,0.0004192765,0.0003484042,0.0002355295,0.0003831909],"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.00001618947,0.000007402414,0.0003675943,0.0000127439,0.000004503372,0.00001447977,0.0001417686,0.0003343755,0.0001487778,0.9971119,0.000251584,0.001588607],"study_design_scores_gemma":[0.000005351801,0.000003900338,0.0002145803,0.000005239387,0.000004347176,0.00002006124,0.00006579392,0.0005524406,0.00009002771,0.9984157,0.0006169451,0.000005538208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7632359,0.003562799,0.06524188,0.005276012,0.0002589905,0.0000259018,0.0004077174,0.0002611248,0.1617295],"genre_scores_gemma":[0.9887573,0.0005776735,0.003651016,0.000164298,0.0001740507,0.00002318367,0.0001070426,0.00003000484,0.006515496],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007931752,"threshold_uncertainty_score":0.02653432,"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","authors":[{"name":"Jan Foniok","is_ca":false},{"name":"Claude Tardif","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004279604,0.0004545689,0.001151798,0.003047118,0.003142262,0.003649458,0.001542185,0.002742562,0.006739184],"category_scores_gemma":[0.01356868,0.0006507986,0.00124016,0.002848824,0.007096392,0.01847403,0.006036279,0.003945632,0.0004828451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001497589,"about_ca_system_score_gemma":0.0009634725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001211923,"about_ca_topic_score_gemma":0.001109035,"domain_scores_codex":[0.9978232,0.0004442513,0.0001745052,0.0006206171,0.0005887889,0.0003486307],"domain_scores_gemma":[0.9903594,0.005368849,0.000605094,0.001870072,0.001126596,0.000669962],"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.00002035777,0.00001614606,0.0008147568,0.00003237561,0.000006802093,0.00009460479,0.0002640126,0.0006358044,0.0003065961,0.9924451,0.00096229,0.004401263],"study_design_scores_gemma":[0.000005505181,0.00001176064,0.0003747783,0.00001921993,0.000006378111,0.0001008146,0.0001505328,0.003176841,0.0002790614,0.9928591,0.00300512,0.00001086456],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3918692,0.002592901,0.5198615,0.01681096,0.0008783225,0.00007955058,0.0006097734,0.0007136757,0.06658427],"genre_scores_gemma":[0.9279403,0.001026958,0.0585899,0.001886002,0.0005946275,0.00009174512,0.0004736131,0.00009793404,0.009298967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006739184,"threshold_uncertainty_score":0.02263296,"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","authors":[{"name":"Pierre-Alain Jacqmin","is_ca":true},{"name":"Sandra Mantovani","is_ca":false},{"name":"Giuseppe Metere","is_ca":false},{"name":"E. M. Vitale","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003002243,0.001369233,0.001326756,0.004766876,0.004237851,0.005297654,0.001655176,0.002748534,0.008972623],"category_scores_gemma":[0.006304762,0.0009490539,0.001363631,0.00360669,0.01217873,0.01725656,0.005400009,0.005092126,0.001001706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002942712,"about_ca_system_score_gemma":0.0009718006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002459202,"about_ca_topic_score_gemma":0.002605224,"domain_scores_codex":[0.9981425,0.0006935204,0.0001043422,0.0004297952,0.0003389399,0.0002908181],"domain_scores_gemma":[0.9967613,0.00151642,0.0003938531,0.0003298197,0.0004918495,0.0005067994],"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.00001173281,0.00001371095,0.0001756786,0.00001685096,0.000004660042,0.00004903967,0.0005837248,0.0002234845,0.0002348241,0.9967793,0.0002882967,0.001618752],"study_design_scores_gemma":[0.000006865284,0.00001548172,0.0003159153,0.00001343955,0.000008416592,0.00006080313,0.0002715209,0.0009285071,0.0001432094,0.9957265,0.00249872,0.00001076624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.48353,0.009694088,0.2862563,0.008240463,0.001406633,0.000111237,0.0004445988,0.0004376911,0.209879],"genre_scores_gemma":[0.9269713,0.003691114,0.02475282,0.0007813838,0.001141946,0.0001567835,0.0003552667,0.0001749417,0.04197441],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008972623,"threshold_uncertainty_score":0.03001636,"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","authors":[{"name":"Vácłav Koubek","is_ca":false},{"name":"J. Sichler","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002336207,0.0005829334,0.001154338,0.001434571,0.002184957,0.002952978,0.001054521,0.001501912,0.01057199],"category_scores_gemma":[0.006777338,0.0008277143,0.001909387,0.001244707,0.006504023,0.01224794,0.005516704,0.004120666,0.001348435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001087711,"about_ca_system_score_gemma":0.0007610687,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000977709,"about_ca_topic_score_gemma":0.0006558442,"domain_scores_codex":[0.99743,0.0004065559,0.0002322197,0.0009098741,0.0004359541,0.0005853902],"domain_scores_gemma":[0.990988,0.00399788,0.0003797292,0.00169002,0.002044655,0.0008997229],"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.00005301156,0.00002616133,0.0006758518,0.00006822501,0.00002828038,0.0001238604,0.0003826601,0.0002456277,0.001586238,0.987848,0.001315506,0.007646561],"study_design_scores_gemma":[0.00001578154,0.00001645713,0.000410795,0.000009919235,0.0000154254,0.0002087997,0.0001031015,0.0006401409,0.0009140054,0.9938084,0.003842941,0.00001418731],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2262961,0.001998469,0.608611,0.00977455,0.001427358,0.0001378231,0.001207836,0.002065085,0.1484818],"genre_scores_gemma":[0.9652465,0.0004469306,0.0205224,0.00200027,0.0005713768,0.00007873484,0.0004979547,0.0002376242,0.01039823],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01057199,"threshold_uncertainty_score":0.03536683,"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","authors":[{"name":"Robert Rosebrugh","is_ca":true},{"name":"R.J. Wood","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004167897,0.0008232818,0.001875928,0.001949794,0.003671592,0.006370642,0.002341684,0.001947474,0.007248249],"category_scores_gemma":[0.01191428,0.00142379,0.002016186,0.002691164,0.01368053,0.01906387,0.006801257,0.006474587,0.001019741],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002173489,"about_ca_system_score_gemma":0.00155494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001976551,"about_ca_topic_score_gemma":0.001596177,"domain_scores_codex":[0.9941475,0.001450137,0.0004535404,0.001661004,0.001621753,0.0006660105],"domain_scores_gemma":[0.983023,0.009365607,0.0006604031,0.003447225,0.002567232,0.0009364967],"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.0000209765,0.00001217621,0.00007498761,0.00002353232,0.000008592089,0.00002603186,0.00028475,0.0002420969,0.0002314049,0.9967147,0.0003293007,0.002031476],"study_design_scores_gemma":[0.000008353614,0.000004292304,0.00005659547,0.000005223223,0.00000555119,0.00002540506,0.0000334157,0.0005220046,0.0002872292,0.9977381,0.001307904,0.000005817764],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1526974,0.00440156,0.7118238,0.004902858,0.0005643965,0.0001079065,0.000808022,0.000739391,0.1239546],"genre_scores_gemma":[0.9180977,0.001221958,0.05632267,0.001005062,0.0007812209,0.0002301674,0.0006214484,0.0002610365,0.0214588],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007248249,"threshold_uncertainty_score":0.02424783,"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","authors":[],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001719918,0.0008169693,0.0009122764,0.002707294,0.003600716,0.00510557,0.001699556,0.001951055,0.007439241],"category_scores_gemma":[0.00414585,0.0007739289,0.0009670804,0.002899366,0.006720761,0.01086781,0.003559869,0.00416555,0.0007382724],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00190415,"about_ca_system_score_gemma":0.001071609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002128351,"about_ca_topic_score_gemma":0.001955521,"domain_scores_codex":[0.9985666,0.0003645195,0.00008336049,0.0002424704,0.0004775753,0.0002655894],"domain_scores_gemma":[0.9974462,0.001072966,0.0002015969,0.0002711621,0.0005252202,0.0004829766],"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.000005403228,0.000004820032,0.000025355,0.000004627103,0.00000124329,0.00001337044,0.0001121691,0.00005822234,0.0001310326,0.9990595,0.0001046284,0.0004797236],"study_design_scores_gemma":[0.000004866686,0.000006019352,0.00005811819,0.000003288251,0.000002418778,0.00002778035,0.00007610956,0.0007965929,0.0001752624,0.9979687,0.000874826,0.000005880475],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4648093,0.003225925,0.354609,0.004545351,0.001032391,0.00008971572,0.0004606718,0.0004843915,0.1707434],"genre_scores_gemma":[0.9477922,0.0006754106,0.02328718,0.0004783946,0.0005344976,0.00009247739,0.0002065924,0.0001094752,0.02682378],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007439241,"threshold_uncertainty_score":0.02488667,"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","authors":[{"name":"R. Beattie","is_ca":true},{"name":"H.‐P. Butzmann","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003151992,0.0006973718,0.0007685441,0.004225907,0.002519087,0.005796179,0.001505728,0.001455133,0.003885846],"category_scores_gemma":[0.007735801,0.0006793814,0.0009184749,0.001932815,0.007931205,0.01050875,0.005221892,0.003906901,0.0003533446],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001686532,"about_ca_system_score_gemma":0.0008475007,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008215354,"about_ca_topic_score_gemma":0.0005786678,"domain_scores_codex":[0.9981918,0.0007258657,0.0001094437,0.0003025697,0.0004219418,0.0002484024],"domain_scores_gemma":[0.9947928,0.002619952,0.0004690209,0.0004130979,0.0007282082,0.0009769046],"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.00001732178,0.00001443935,0.0001935778,0.00000948878,0.000003785316,0.00003199572,0.0003937326,0.0001464645,0.0002820578,0.9978153,0.00007539261,0.001016573],"study_design_scores_gemma":[0.00001056527,0.00001762939,0.0001871753,0.000007419422,0.000005221256,0.00006009002,0.0002713057,0.001305875,0.0004404706,0.9965733,0.001114283,0.000006709266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7363686,0.001987959,0.1902591,0.002678735,0.0003518828,0.00006669768,0.0002275953,0.0002236927,0.06783576],"genre_scores_gemma":[0.9756513,0.0006402826,0.01314021,0.0002094948,0.0002952692,0.0000848563,0.0001577912,0.0000541044,0.009766636],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005796179,"threshold_uncertainty_score":0.01666957,"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","authors":[{"name":"Robert J. MacG. Dawson","is_ca":true},{"name":"Robert Paré","is_ca":true},{"name":"Dorette Pronk","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005172769,0.0008101707,0.00117619,0.001109376,0.003320938,0.006381242,0.003698875,0.003361308,0.007440967],"category_scores_gemma":[0.01841518,0.001540896,0.002617293,0.00122626,0.00744728,0.01799005,0.004802969,0.01044341,0.00103773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003066182,"about_ca_system_score_gemma":0.004268842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004488393,"about_ca_topic_score_gemma":0.003855583,"domain_scores_codex":[0.9938164,0.001686443,0.0003896548,0.001473688,0.001513459,0.001120223],"domain_scores_gemma":[0.960031,0.0305638,0.0009911386,0.004536621,0.002775861,0.001101584],"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.0002899473,0.0002133165,0.001680569,0.0002197331,0.00004621907,0.0002897615,0.001129342,0.007761826,0.0032356,0.9625905,0.00540976,0.01713349],"study_design_scores_gemma":[0.00005398409,0.00001775737,0.0002046155,0.00001727324,0.00003151724,0.00008890902,0.0001574743,0.01364821,0.002873069,0.9804519,0.002432465,0.00002274913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4034488,0.00121729,0.5161171,0.01298745,0.000722878,0.0002376714,0.001545017,0.004163682,0.05955997],"genre_scores_gemma":[0.9491763,0.0003901923,0.03595801,0.001130296,0.0003454552,0.0001850484,0.001526548,0.000599077,0.01068914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007440967,"threshold_uncertainty_score":0.02735656,"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","authors":[{"name":"Rory B. B. Lucyshyn-Wright","is_ca":true},{"name":"Jason Parker","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001646779,0.00061774,0.0006561865,0.00279997,0.002031429,0.005822313,0.001561289,0.001129444,0.01266232],"category_scores_gemma":[0.001773938,0.0007066999,0.00144622,0.002021515,0.003473598,0.008514382,0.003631067,0.0029963,0.001195852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001459697,"about_ca_system_score_gemma":0.0007552541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001331776,"about_ca_topic_score_gemma":0.001610755,"domain_scores_codex":[0.9989089,0.0002601864,0.0001098245,0.00023081,0.000258635,0.0002316447],"domain_scores_gemma":[0.9988081,0.0004051073,0.0001220625,0.0001946005,0.0002694074,0.0002006648],"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.00001544025,0.000006235815,0.00008513174,0.00001812125,0.000003915582,0.0000432301,0.000370408,0.0001245778,0.0005358291,0.9960669,0.0005644751,0.002165745],"study_design_scores_gemma":[0.0000135203,0.000008940524,0.0001520945,0.00001707259,0.00001345375,0.0001098753,0.0001913093,0.001159453,0.0006603341,0.9868942,0.01076607,0.00001364647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07172412,0.00209276,0.8296418,0.002469841,0.0007927333,0.00009150417,0.001060694,0.002015589,0.09011093],"genre_scores_gemma":[0.8266245,0.001239365,0.1313658,0.001030152,0.0006215507,0.0002579283,0.0009071603,0.0005661912,0.03738743],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01266232,"threshold_uncertainty_score":0.04235971,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001604577,0.0006520154,0.0005989761,0.002097464,0.001345573,0.003013276,0.0008285164,0.0008913,0.003317891],"category_scores_gemma":[0.003725869,0.000406257,0.000695185,0.001059609,0.0043722,0.008696663,0.002713546,0.002296423,0.0004580408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008429828,"about_ca_system_score_gemma":0.0006404818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005773008,"about_ca_topic_score_gemma":0.000415017,"domain_scores_codex":[0.9990702,0.0002833198,0.00004118775,0.0002003002,0.0002281304,0.0001769072],"domain_scores_gemma":[0.9973501,0.001004266,0.0004751513,0.0002501541,0.000373287,0.000547064],"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.00004601998,0.00001522144,0.000205962,0.00002038983,0.000007386736,0.00006313582,0.000319389,0.0004204062,0.0008374881,0.9942735,0.000247679,0.003543467],"study_design_scores_gemma":[0.00002332395,0.00005558893,0.000687202,0.00001365456,0.0000125482,0.000177353,0.0002170906,0.002280061,0.0008210577,0.9927887,0.002901759,0.00002153168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7067643,0.003318292,0.1907238,0.001861224,0.0004570784,0.00005944177,0.0004008886,0.0003154927,0.09609952],"genre_scores_gemma":[0.9655082,0.001434426,0.01689517,0.0002885681,0.0004208203,0.00005555052,0.0002138836,0.000089839,0.01509369],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003317891,"threshold_uncertainty_score":0.01109946,"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","authors":[{"name":"Jason Parker","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001190341,0.0007614543,0.0008179542,0.00306918,0.002555469,0.004540142,0.001003409,0.0009761527,0.005494689],"category_scores_gemma":[0.002525049,0.0007470922,0.001062641,0.001390157,0.005786416,0.005413813,0.003618323,0.002837237,0.0007111392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00194886,"about_ca_system_score_gemma":0.0006379937,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001340909,"about_ca_topic_score_gemma":0.001321496,"domain_scores_codex":[0.9989111,0.0002670136,0.00006087695,0.0001875171,0.0002959207,0.0002776235],"domain_scores_gemma":[0.9979342,0.0008857109,0.0002773446,0.0002417071,0.0002321962,0.0004288266],"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.00001941755,0.00002008631,0.0002203372,0.00001066935,0.00000607265,0.00005873095,0.0007271346,0.000290184,0.000510434,0.9962986,0.0001953558,0.00164294],"study_design_scores_gemma":[0.00001010379,0.00001681995,0.0003182173,0.000008091696,0.000007986633,0.00005473485,0.0002466257,0.0008481733,0.000550164,0.9958984,0.002031482,0.000009116317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7336642,0.001236944,0.1113349,0.001609487,0.0004955301,0.00008778992,0.0002540072,0.0004590691,0.1508582],"genre_scores_gemma":[0.9767667,0.0003644468,0.005475886,0.0001767404,0.0002778402,0.00004809939,0.0001263456,0.00009625462,0.01666761],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005494689,"threshold_uncertainty_score":0.01838154,"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","authors":[{"name":"Jorge Bruno","is_ca":true},{"name":"Paul J. Szeptycki","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002682857,0.0006624698,0.001076736,0.002519751,0.002637124,0.004364337,0.001236889,0.001354723,0.006508668],"category_scores_gemma":[0.003952632,0.0006275641,0.001053671,0.001653233,0.01013774,0.009600584,0.004660887,0.004170066,0.0007134352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002046932,"about_ca_system_score_gemma":0.0005660429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001036683,"about_ca_topic_score_gemma":0.001112447,"domain_scores_codex":[0.9985739,0.0005092691,0.00009241006,0.0003279682,0.0003247063,0.0001717253],"domain_scores_gemma":[0.997198,0.001306714,0.0002987307,0.0004679777,0.0003617953,0.0003668323],"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.000005515663,0.000003587023,0.00004516096,0.00000932889,0.000002885786,0.00001578594,0.00009439158,0.00008586627,0.00007835501,0.9987869,0.000160759,0.0007114828],"study_design_scores_gemma":[0.000006551984,0.000005458696,0.00006636223,0.000003822154,0.000003529387,0.0000231363,0.0000464349,0.0002369855,0.00006612955,0.9982114,0.001325666,0.000004524706],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3656563,0.00978498,0.3707708,0.009557169,0.0008742065,0.00008830498,0.0006520789,0.0005899217,0.2420264],"genre_scores_gemma":[0.9531472,0.001495421,0.01685569,0.0007420416,0.0006259448,0.00008112508,0.0002053558,0.00009039684,0.02675688],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006508668,"threshold_uncertainty_score":0.0217737,"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","authors":[{"name":"Richard Blute","is_ca":true},{"name":"Marc Comeau","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001004922,0.0008292438,0.0007584011,0.00289169,0.002580864,0.004670502,0.0008334002,0.001635471,0.01390011],"category_scores_gemma":[0.001981695,0.0005123292,0.000496455,0.002154256,0.005544746,0.007187122,0.00276036,0.003194759,0.002161366],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00175893,"about_ca_system_score_gemma":0.0007499326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001017898,"about_ca_topic_score_gemma":0.0009002361,"domain_scores_codex":[0.9990838,0.0002758787,0.00004819793,0.0002101428,0.0002775769,0.0001043548],"domain_scores_gemma":[0.9991587,0.0002846639,0.00006263155,0.0001287551,0.000264421,0.0001007931],"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.000001345765,0.000002138281,0.00002302098,0.000005432783,0.000001230369,0.000007150364,0.00007589122,0.00002707787,0.00007621979,0.9984615,0.0005230563,0.000796083],"study_design_scores_gemma":[0.000001893061,0.000002446199,0.00006854494,0.000004857679,0.000001949666,0.00003663932,0.00004522204,0.0002102598,0.0001045658,0.9867179,0.01280268,0.000003073468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0765774,0.01185803,0.1358795,0.0092701,0.001518261,0.00007670633,0.0009114329,0.000384749,0.7635238],"genre_scores_gemma":[0.8126056,0.005627535,0.02133041,0.001753654,0.002352661,0.0001604532,0.0008919514,0.0001686675,0.155109],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01390011,"threshold_uncertainty_score":0.04650044,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true},{"name":"Aleš Pultr","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002255022,0.0007285536,0.001342031,0.002245659,0.002888979,0.006754823,0.0029543,0.002681012,0.01319247],"category_scores_gemma":[0.00492675,0.0006174407,0.001667106,0.002859597,0.01395244,0.01708323,0.00432987,0.005827019,0.001417492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003605256,"about_ca_system_score_gemma":0.001127367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002447265,"about_ca_topic_score_gemma":0.001256534,"domain_scores_codex":[0.9972934,0.0007976942,0.0001663123,0.0007165642,0.000774842,0.0002511617],"domain_scores_gemma":[0.9972006,0.00128018,0.00012003,0.0008399941,0.0003804254,0.0001787115],"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.000001253047,0.000001112197,0.000009155871,0.000004254823,8.856314e-7,0.000003116115,0.00003279866,0.00008463975,0.00001955148,0.9991946,0.0002106871,0.0004380109],"study_design_scores_gemma":[0.000003406463,0.000003258172,0.0000164756,0.000003239774,0.000002290186,0.00001572534,0.00002438589,0.0007864978,0.00004202052,0.994266,0.004834407,0.000002319309],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01888825,0.004727952,0.674848,0.01776351,0.001188794,0.00007341364,0.0004187432,0.0005547774,0.2815365],"genre_scores_gemma":[0.7782799,0.00401926,0.1377653,0.004567903,0.003243861,0.0004813193,0.0006148441,0.0003054877,0.0707221],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01319247,"threshold_uncertainty_score":0.04413325,"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","authors":[{"name":"Marcello Lanfranchi","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008434955,0.0006923342,0.0005423597,0.004568418,0.002083316,0.004483221,0.001050454,0.001049579,0.007699075],"category_scores_gemma":[0.001669017,0.0005267822,0.0005048571,0.001999289,0.005547662,0.007345764,0.003062252,0.001962195,0.0006327125],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002326145,"about_ca_system_score_gemma":0.0008731326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00187728,"about_ca_topic_score_gemma":0.001474282,"domain_scores_codex":[0.999122,0.0001965477,0.00004947124,0.0001638407,0.0002926961,0.0001755633],"domain_scores_gemma":[0.9988472,0.0002181995,0.0001849653,0.00008518045,0.0002385448,0.0004259104],"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.00001384489,0.00001566398,0.0003762402,0.00001204548,0.000006059436,0.00009426825,0.0003393005,0.0001902579,0.0006366795,0.9962717,0.0002643841,0.001779473],"study_design_scores_gemma":[0.00001548319,0.00003920235,0.001693286,0.00001361374,0.00001148875,0.0003016835,0.0004067388,0.002279083,0.0006642283,0.9897423,0.004813148,0.00001978078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7906547,0.001565622,0.08266379,0.002605229,0.0004944917,0.00007641561,0.0004751475,0.0002778585,0.1211869],"genre_scores_gemma":[0.9784429,0.000389193,0.00447954,0.00018791,0.000240932,0.00002943623,0.0001727971,0.0000501707,0.01600714],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007699075,"threshold_uncertainty_score":0.02575594,"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","authors":[{"name":"Bernhard Banaschewski","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003079678,0.0005749563,0.0006773078,0.001299153,0.002995646,0.002971043,0.001394177,0.002080883,0.01251322],"category_scores_gemma":[0.005344143,0.0002916102,0.0009860689,0.001176476,0.00730013,0.007821637,0.002313161,0.003220828,0.0009993351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001043712,"about_ca_system_score_gemma":0.0003956649,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00104642,"about_ca_topic_score_gemma":0.0007289588,"domain_scores_codex":[0.9989154,0.000392905,0.00006109625,0.0002387147,0.0002599989,0.0001319712],"domain_scores_gemma":[0.9952285,0.003243265,0.0002966294,0.0003361604,0.0005462581,0.0003492346],"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.00002611412,0.000009097403,0.0001575219,0.00004353132,0.000005609656,0.00008907913,0.0003860324,0.0001596386,0.0002478076,0.9951096,0.00245469,0.001311185],"study_design_scores_gemma":[0.00001802043,0.0000180422,0.0004885354,0.00001238326,0.000007530675,0.00009957689,0.0003138942,0.0003208272,0.0002600691,0.987194,0.01125801,0.00000908009],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2527842,0.009289888,0.1897483,0.08330449,0.003121425,0.0001330705,0.001688256,0.0006812882,0.4592491],"genre_scores_gemma":[0.9216064,0.003606516,0.02666672,0.00788422,0.003266597,0.0001685873,0.0006207887,0.0001298616,0.03605036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01251322,"threshold_uncertainty_score":0.04186088,"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","authors":[{"name":"Richard N. Ball","is_ca":false},{"name":"Aleš Pultr","is_ca":false},{"name":"J. Sichler","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003130717,0.0008317307,0.001310392,0.002522905,0.003772914,0.004945531,0.002203747,0.003520533,0.03279934],"category_scores_gemma":[0.006124996,0.0004704628,0.001322927,0.004033334,0.009326502,0.03313488,0.003403395,0.00628577,0.003208843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001955931,"about_ca_system_score_gemma":0.0008416148,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002548334,"about_ca_topic_score_gemma":0.003553789,"domain_scores_codex":[0.9983797,0.000604321,0.0000855061,0.0003428719,0.0004100883,0.0001775002],"domain_scores_gemma":[0.996465,0.001948814,0.0001359319,0.0006584016,0.0005216966,0.0002702268],"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.000008877708,0.00001478401,0.00008470235,0.00005643276,0.00000532934,0.00002960489,0.0003454605,0.0001728889,0.0000876282,0.9812266,0.01072509,0.007242718],"study_design_scores_gemma":[0.000004860835,0.000006386766,0.000070923,0.00002966127,0.000002273388,0.00003071049,0.0001751094,0.0001420508,0.00004994518,0.9703314,0.02914769,0.000009072717],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03614665,0.05975945,0.174068,0.2613802,0.0114566,0.00005056492,0.000818529,0.0004328224,0.4558873],"genre_scores_gemma":[0.5287879,0.05814689,0.07014999,0.04747761,0.03054715,0.0002003493,0.001298702,0.0006406135,0.2627508],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03279934,"threshold_uncertainty_score":0.1097247,"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","authors":[{"name":"Paolo Perrone","is_ca":false},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001649967,0.0004442796,0.0004600877,0.001440687,0.001035621,0.002897636,0.0005653409,0.0005844317,0.006388475],"category_scores_gemma":[0.00307331,0.0004797349,0.0008945193,0.0004900731,0.003951916,0.005459503,0.00447141,0.001918343,0.00112713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001154104,"about_ca_system_score_gemma":0.000575192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007060189,"about_ca_topic_score_gemma":0.0005888591,"domain_scores_codex":[0.9975352,0.0006695783,0.000147622,0.0004831149,0.0007460138,0.0004185637],"domain_scores_gemma":[0.9968812,0.0009490246,0.0002728133,0.0004700381,0.0009823983,0.0004444237],"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.00004551217,0.0000254645,0.0008195961,0.00006648482,0.00001572411,0.0002955547,0.001030599,0.000663209,0.004238668,0.9833021,0.0004915185,0.009005662],"study_design_scores_gemma":[0.00001688056,0.0001076404,0.001937232,0.00006276515,0.00004086525,0.0008648257,0.000716396,0.005956813,0.01307609,0.9436925,0.03346532,0.00006260016],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.3847198,0.00105746,0.5161717,0.001245418,0.0004769059,0.00009941178,0.0003183049,0.002065496,0.09384547],"genre_scores_gemma":[0.9655312,0.0002399694,0.01658126,0.000238917,0.0001675274,0.00005226492,0.0001172201,0.0002000623,0.01687167],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.006388475,"threshold_uncertainty_score":0.0213716,"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","authors":[],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001864247,0.000840295,0.001409478,0.002528794,0.004727837,0.005771427,0.001914531,0.002022158,0.007546541],"category_scores_gemma":[0.004744767,0.001174529,0.001647277,0.002028812,0.009914569,0.01404712,0.006711501,0.003985701,0.0008076229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001420997,"about_ca_system_score_gemma":0.00102163,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002081867,"about_ca_topic_score_gemma":0.001406825,"domain_scores_codex":[0.997818,0.0003676559,0.0001632757,0.0006462574,0.0005041804,0.0005005478],"domain_scores_gemma":[0.9964687,0.001521766,0.0002702693,0.0004630342,0.0006684498,0.0006078189],"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.00001418711,0.000007975769,0.0001289147,0.000015499,0.000005105943,0.0000376899,0.0002135497,0.0000692292,0.0002828216,0.9977148,0.0002596225,0.001250713],"study_design_scores_gemma":[0.00000795626,0.000006891836,0.0001585089,0.000008279831,0.000008550795,0.00008799527,0.00008524062,0.0005404867,0.0004407611,0.9971135,0.001530325,0.00001155339],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.4859214,0.002706933,0.3397709,0.003480312,0.0008450797,0.00006983332,0.0006385506,0.0009816578,0.1655854],"genre_scores_gemma":[0.9601766,0.0005015439,0.01769405,0.000674423,0.0005370532,0.00007813582,0.000383016,0.0002926799,0.01966242],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007546541,"threshold_uncertainty_score":0.02524573,"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","authors":[{"name":"Daniel Carranza","is_ca":false},{"name":"Krzysztof Kapulkin","is_ca":true},{"name":"Jinho Kim","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004172196,0.0006249284,0.001724755,0.002828976,0.004962582,0.006798804,0.00223607,0.002750947,0.004922665],"category_scores_gemma":[0.01261688,0.001248671,0.001095794,0.001649255,0.01205568,0.01491484,0.006840446,0.006109665,0.0004715696],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001974709,"about_ca_system_score_gemma":0.001158194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001221354,"about_ca_topic_score_gemma":0.001404534,"domain_scores_codex":[0.9969867,0.0007203237,0.0001991131,0.0007354884,0.0008840307,0.0004744458],"domain_scores_gemma":[0.9889993,0.006451899,0.0004723962,0.001574234,0.001498949,0.001003142],"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.0000249443,0.00001734393,0.0003108174,0.00002076663,0.000005391523,0.00007177127,0.0002781657,0.0001777227,0.0003023258,0.997718,0.0001681233,0.0009047096],"study_design_scores_gemma":[0.00001054733,0.000008975989,0.0001528476,0.00000511101,0.000005963557,0.0000672403,0.0001142658,0.0009791142,0.0002662331,0.9978404,0.000542056,0.000007380132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7014922,0.001136957,0.1748585,0.004983738,0.000422547,0.00008076019,0.0002905608,0.0005455086,0.1161892],"genre_scores_gemma":[0.9810795,0.0002637528,0.008897146,0.0003372899,0.0001885073,0.00007104641,0.0001937928,0.00005868637,0.00891035],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006798804,"threshold_uncertainty_score":0.02206492,"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","authors":[{"name":"G. S. H. Cruttwell","is_ca":true},{"name":"Jean-Simon Pacaud Lemay","is_ca":false},{"name":"Elias Vandenberg","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001146746,0.0006250008,0.000626593,0.002667718,0.002048969,0.004351704,0.001202518,0.001969588,0.00858047],"category_scores_gemma":[0.00162336,0.0003798842,0.0005630264,0.002841233,0.008092605,0.01255056,0.002312351,0.003468183,0.0006782525],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002523608,"about_ca_system_score_gemma":0.0008375128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002640204,"about_ca_topic_score_gemma":0.002172766,"domain_scores_codex":[0.9993679,0.0002773367,0.00003437234,0.0001003779,0.0001624231,0.00005764831],"domain_scores_gemma":[0.9989938,0.0004326955,0.00008778434,0.0001043307,0.0002194256,0.0001619209],"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":[8.336523e-7,0.000001289439,0.00001636846,0.00000348252,5.775846e-7,0.000006192334,0.00007132633,0.00004975009,0.00002835694,0.9994094,0.000139744,0.0002726318],"study_design_scores_gemma":[0.000002297833,0.000004416189,0.00005336483,0.000004285194,0.000001250701,0.0000178451,0.00006658032,0.0003581959,0.0000216564,0.9951075,0.004360319,0.000002433826],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1230384,0.01166215,0.3983517,0.02810322,0.001939327,0.00006099789,0.0007003478,0.0003561809,0.4357877],"genre_scores_gemma":[0.9242588,0.004680959,0.02906265,0.001654394,0.002033614,0.00008184442,0.0002402132,0.0001362092,0.03785131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00858047,"threshold_uncertainty_score":0.02870452,"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","authors":[{"name":"Xiaomin Dong","is_ca":true},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001826284,0.0007265055,0.0008884731,0.002910844,0.00201854,0.006756458,0.001290264,0.001311658,0.008763938],"category_scores_gemma":[0.002448448,0.0006957478,0.001174884,0.002897171,0.006459492,0.01080801,0.003806788,0.002979719,0.0009393261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001651062,"about_ca_system_score_gemma":0.0007346433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001539784,"about_ca_topic_score_gemma":0.001460353,"domain_scores_codex":[0.9987181,0.0004645934,0.00007324079,0.0002568309,0.0003043097,0.0001829689],"domain_scores_gemma":[0.9986265,0.0005880988,0.0001218112,0.0002554382,0.0002172098,0.0001910152],"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.000004761493,0.000004725691,0.0000310127,0.000006298214,0.000002138825,0.00001515091,0.0002221966,0.0001300334,0.0001367772,0.9978016,0.0001406186,0.00150465],"study_design_scores_gemma":[0.00000638513,0.000007300154,0.0000620005,0.000004153101,0.000004172609,0.00002476388,0.00008000767,0.001320912,0.0001788888,0.9959956,0.002310891,0.000004856416],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2234523,0.002557972,0.5960717,0.004334809,0.0006642956,0.0001148074,0.0005561742,0.0009042828,0.1713437],"genre_scores_gemma":[0.9263958,0.001291955,0.04711599,0.0004890578,0.0005783924,0.0001386407,0.0003669315,0.0001589822,0.02346436],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008763938,"threshold_uncertainty_score":0.02931827,"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","authors":[{"name":"Sergey A. Solovyov","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002891042,0.0007147585,0.001246038,0.001089071,0.003593388,0.005713165,0.001321049,0.00344874,0.03152124],"category_scores_gemma":[0.009867274,0.0005577222,0.001406937,0.0009390035,0.01089877,0.0226832,0.003722545,0.009121055,0.00518928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001935663,"about_ca_system_score_gemma":0.001069935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008085161,"about_ca_topic_score_gemma":0.001313923,"domain_scores_codex":[0.9979183,0.0006759188,0.00008395239,0.0005131765,0.000612861,0.0001957096],"domain_scores_gemma":[0.995846,0.001940594,0.0001648216,0.001268178,0.0004957935,0.0002847722],"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.00001049876,0.000004641361,0.00002762362,0.00001249492,0.000004877566,0.00000686052,0.00002940533,0.00008033487,0.00005233146,0.9936737,0.003463571,0.002633667],"study_design_scores_gemma":[0.000006721099,0.000002989466,0.00002213769,0.000008383925,0.000002533357,0.00001474431,0.00001593124,0.0002289386,0.00006478067,0.9914437,0.008183198,0.000005903848],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03099789,0.008299999,0.3935668,0.1329486,0.007284049,0.0000738504,0.000963489,0.001424855,0.4244405],"genre_scores_gemma":[0.7162187,0.003691104,0.1265943,0.0277111,0.006746155,0.0002554252,0.0005715834,0.001583631,0.116628],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03152124,"threshold_uncertainty_score":0.105449,"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","authors":[{"name":"Richard N. Ball","is_ca":false},{"name":"Aleš Pultr","is_ca":false},{"name":"J. Sichler","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001225699,0.0005676629,0.0009816797,0.002698866,0.002779911,0.004978432,0.001239905,0.0009440104,0.007085276],"category_scores_gemma":[0.003769215,0.0009183769,0.001122434,0.002934644,0.002087472,0.007175563,0.002384144,0.002879802,0.001570917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009319654,"about_ca_system_score_gemma":0.0006892531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008866763,"about_ca_topic_score_gemma":0.00199996,"domain_scores_codex":[0.9984591,0.0002299016,0.000154978,0.0004563784,0.0004400614,0.0002596547],"domain_scores_gemma":[0.9953571,0.001877646,0.0004371121,0.0006017105,0.0009374974,0.0007888991],"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.00005973341,0.00003274926,0.0008047509,0.00007876453,0.00003116242,0.0001654456,0.0003985543,0.0003773763,0.002065503,0.9796949,0.001805603,0.01448543],"study_design_scores_gemma":[0.000008563727,0.00001676583,0.0004780754,0.00001919438,0.0000328934,0.0003053494,0.0001067905,0.001358752,0.001414796,0.9874644,0.00877497,0.00001946737],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3970362,0.001677775,0.4451906,0.001214602,0.000837979,0.0001655873,0.002373075,0.001425524,0.1500787],"genre_scores_gemma":[0.8558458,0.001005752,0.09344649,0.0007447386,0.0004753499,0.000182342,0.002501157,0.0004011335,0.04539721],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007085276,"threshold_uncertainty_score":0.02370256,"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","authors":[{"name":"Eraldo Giuli","is_ca":true},{"name":"Walter Tholen","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001044806,0.0006680188,0.0005767464,0.002394253,0.001920465,0.004880334,0.001048861,0.001774055,0.005211422],"category_scores_gemma":[0.001391805,0.0003678462,0.0005174725,0.001242799,0.00636011,0.007469978,0.002985921,0.00308315,0.0005564274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001511443,"about_ca_system_score_gemma":0.0007085868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009250945,"about_ca_topic_score_gemma":0.000699051,"domain_scores_codex":[0.9993061,0.0002318712,0.00003155541,0.0001826298,0.0001534756,0.00009443641],"domain_scores_gemma":[0.9994292,0.0001462497,0.00009366185,0.00007653407,0.00008863862,0.0001657337],"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.000007734791,0.000005343497,0.0000607859,0.000006059077,0.000001980213,0.00002051649,0.000108912,0.000127114,0.0002876587,0.9984097,0.00013551,0.0008286355],"study_design_scores_gemma":[0.000007108078,0.000009060704,0.00008258599,0.00000356214,0.000002458415,0.00004140386,0.00007017395,0.0009584785,0.0001620507,0.9969681,0.001691078,0.000004126287],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.594203,0.004175986,0.2067422,0.01036577,0.001271812,0.00007610689,0.000474886,0.0002632059,0.182427],"genre_scores_gemma":[0.9691361,0.0007608507,0.01083411,0.0004694404,0.0008030577,0.00003765045,0.0001426605,0.00005095389,0.0177653],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.005211422,"threshold_uncertainty_score":0.01743394,"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","authors":[{"name":"Vácłav Koubek","is_ca":false},{"name":"J. Sichler","is_ca":true},{"name":"Věra Trnková","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003010429,0.0003917752,0.001005884,0.003203144,0.002446578,0.005202641,0.00149034,0.0009898541,0.00382419],"category_scores_gemma":[0.005456275,0.0008532051,0.001471878,0.002017951,0.007658456,0.008290598,0.005783892,0.002879922,0.0003645715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001784138,"about_ca_system_score_gemma":0.001103756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001405846,"about_ca_topic_score_gemma":0.0009728728,"domain_scores_codex":[0.996482,0.0008193011,0.0002978147,0.001054468,0.0008676773,0.0004788028],"domain_scores_gemma":[0.9942017,0.002633184,0.0003461983,0.001041557,0.001047734,0.0007296804],"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.0000153819,0.000008637965,0.0004988959,0.00003719537,0.0000143118,0.00003453377,0.0005580436,0.0001855547,0.0003701075,0.9937011,0.0004209892,0.004155177],"study_design_scores_gemma":[0.00000755164,0.00001031172,0.0005398064,0.00001763167,0.00001422652,0.00008907903,0.0001278654,0.0007333828,0.0003862802,0.9937363,0.004325554,0.00001196364],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.44003,0.01068586,0.4299073,0.004296135,0.0006143319,0.00008493973,0.001302477,0.001193544,0.1118854],"genre_scores_gemma":[0.9711177,0.0009431798,0.02034291,0.0003985113,0.0003500859,0.0000706307,0.0004098442,0.0001089209,0.006258193],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005202641,"threshold_uncertainty_score":0.01592082,"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","authors":[{"name":"Fatemeh Bagherzadeh","is_ca":true},{"name":"Murray R. Bremner","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002950236,0.0007209221,0.000797908,0.002058459,0.002990324,0.004629773,0.0008880029,0.0013572,0.009477321],"category_scores_gemma":[0.003959309,0.0006615304,0.001207832,0.001705584,0.00498157,0.007927089,0.003322416,0.002797637,0.001021566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001443054,"about_ca_system_score_gemma":0.0008483547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009621392,"about_ca_topic_score_gemma":0.000910393,"domain_scores_codex":[0.9975662,0.0007232543,0.0002025551,0.0005654438,0.0005877512,0.0003548605],"domain_scores_gemma":[0.9972506,0.001250986,0.0002259021,0.0003738833,0.0005496136,0.0003490248],"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.00001681838,0.000008380195,0.00009767033,0.00001542188,0.000003147964,0.00004418519,0.0002816926,0.00009490288,0.0004324461,0.9971582,0.0003564298,0.001490739],"study_design_scores_gemma":[0.00001170803,0.000008295695,0.00008054066,0.00000604993,0.00000569702,0.00006253096,0.0001029607,0.0008907645,0.0004602654,0.9954708,0.00289208,0.000008395819],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3616855,0.002664684,0.4646667,0.003824941,0.001649286,0.00008296321,0.0006148017,0.0005304412,0.1642807],"genre_scores_gemma":[0.9401563,0.0008833217,0.02710945,0.000669083,0.0007431643,0.0001243029,0.0004128462,0.0002020069,0.02969939],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009477321,"threshold_uncertainty_score":0.03170478,"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","authors":[],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006929477,0.000546018,0.0005464994,0.002980316,0.001588454,0.003310124,0.000849654,0.0006000921,0.007572158],"category_scores_gemma":[0.001045277,0.0002626294,0.0003699726,0.00171385,0.003593896,0.004836028,0.002521424,0.001182284,0.001047989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009855082,"about_ca_system_score_gemma":0.000523738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006987929,"about_ca_topic_score_gemma":0.0004964775,"domain_scores_codex":[0.999459,0.000136532,0.00003196126,0.0001401272,0.0001438084,0.00008863289],"domain_scores_gemma":[0.9989611,0.0002866639,0.0001111867,0.0001173255,0.0002711855,0.0002524867],"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.000009930478,0.000006202788,0.0002044946,0.00001529365,0.000003570539,0.0000357453,0.0001454607,0.00007097158,0.0004189674,0.9961767,0.0004892845,0.002423294],"study_design_scores_gemma":[0.00000767937,0.0000133501,0.0005100681,0.000009552683,0.000005772695,0.0001585284,0.000174813,0.0007285414,0.0005858932,0.9864389,0.01136018,0.000006732398],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4285235,0.004266066,0.2023272,0.003723021,0.0008827439,0.00006598225,0.001132663,0.000555603,0.3585231],"genre_scores_gemma":[0.9595991,0.000849107,0.008128414,0.0004145299,0.0004030384,0.00005319368,0.0004616865,0.00007380564,0.03001711],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007572158,"threshold_uncertainty_score":0.02533132,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}