{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":9,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":9,"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":"5ae1aa9a649f","filters":{"venue":"Computability"}},"results":[{"id":"W1636748716","doi":"10.3233/com-2012-004","title":"The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility","year":2012,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Fields Institute for Research in Mathematical Sciences; York University","funders":"Natural Sciences and Engineering Research Council of Canada; Research Foundation of The City University of New York; Isaac Newton Institute for Mathematical Sciences; City University of New York; Simons Foundation; National Science Foundation","keywords":"Mathematics; Equivalence relation; Computable analysis; Hierarchy; Borel hierarchy; Equivalence (formal languages); Natural number; Isomorphism (crystallography); Computable function; Discrete mathematics; Pure mathematics; Algebra over a field; Borel measure","authors":[{"name":"Samuel Coskey","is_ca":true},{"name":"Joel David Hamkins","is_ca":false},{"name":"Russell Miller","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03527172603760496,"gpt":0.2774204450242962,"spread":0.2421487189866912,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002838071,0.0006028463,0.001343703,0.003436207,0.0024659,0.006478027,0.001372471,0.001496792,0.004664908],"category_scores_gemma":[0.01512941,0.0006824996,0.001568525,0.002150847,0.008592539,0.01325959,0.003519124,0.004944932,0.000545864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002797155,"about_ca_system_score_gemma":0.0009987977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002106205,"about_ca_topic_score_gemma":0.001095653,"domain_scores_codex":[0.9942153,0.001293341,0.0003786634,0.001221278,0.002155098,0.0007364009],"domain_scores_gemma":[0.9881689,0.007932125,0.0007267655,0.00157461,0.00103833,0.0005592578],"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.00002563569,0.00001486673,0.0003123331,0.00005792793,0.00001003975,0.00007775483,0.000444619,0.001238796,0.000648896,0.991598,0.0003257056,0.00524534],"study_design_scores_gemma":[0.00001441213,0.00001683006,0.0004616227,0.00002233945,0.00001307656,0.0001162084,0.0001062415,0.003297644,0.0006547252,0.9930186,0.002266492,0.00001172914],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.513095,0.005232517,0.3190381,0.008512135,0.000308413,0.0001706839,0.0007872303,0.001197794,0.1516582],"genre_scores_gemma":[0.9659908,0.001192727,0.02569569,0.0004394963,0.0003845152,0.0001115825,0.0004078862,0.000111656,0.005665589],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006478027,"threshold_uncertainty_score":0.0202949,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2955383720","doi":"10.3233/com-190289","title":"Degrees of bi-embeddable categoricity","year":2020,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Successor cardinal; Spectrum (functional analysis); Limit (mathematics); Turing; Set (abstract data type)","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.04294599199195734,"gpt":0.2437251270631677,"spread":0.2007791350712104,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009029175,0.0004330647,0.0004743908,0.002116908,0.001092544,0.003118964,0.0009995165,0.0008910639,0.005796717],"category_scores_gemma":[0.006501124,0.0004854352,0.0007403924,0.001143782,0.003286656,0.008901904,0.004046795,0.002277565,0.0004841517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001369326,"about_ca_system_score_gemma":0.0003518721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007065891,"about_ca_topic_score_gemma":0.0007476553,"domain_scores_codex":[0.9984424,0.0001972896,0.0001116336,0.0004330629,0.0005527798,0.0002629436],"domain_scores_gemma":[0.993983,0.002788075,0.0008297267,0.0009113148,0.0006595881,0.0008283036],"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.0002067202,0.00007960666,0.008472817,0.0001855116,0.00004500673,0.000382966,0.00230023,0.01077176,0.01413027,0.9493333,0.0007225525,0.01336924],"study_design_scores_gemma":[0.00003713554,0.0001001379,0.004840965,0.00005404777,0.00004600266,0.0006184307,0.001300848,0.03368416,0.01206055,0.9419944,0.005202474,0.00006088035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8781422,0.0003820566,0.1048848,0.0006317795,0.0000359006,0.00005638119,0.000386174,0.0003224568,0.01515813],"genre_scores_gemma":[0.9881788,0.00008752832,0.009258955,0.00004264118,0.00001936162,0.00002969417,0.0002091196,0.00003523547,0.002138725],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005796717,"threshold_uncertainty_score":0.01939201,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2624980959","doi":"10.3233/com-170077","title":"Analog networks on function data streams","year":2017,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"STREAMS; Computer science; Function (biology); Computer network; Biology","authors":[{"name":"Diogo Poças","is_ca":true},{"name":"J. I. Zucker","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09265075167930224,"gpt":0.318223643316189,"spread":0.2255728916368868,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010963,0.0006889015,0.0008175124,0.001937182,0.0008646148,0.003155906,0.001710472,0.001195304,0.008566285],"category_scores_gemma":[0.009017756,0.0004066401,0.0006370295,0.00245601,0.001752208,0.006074919,0.002505867,0.001443639,0.001194955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001571995,"about_ca_system_score_gemma":0.0006976461,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00328376,"about_ca_topic_score_gemma":0.002112519,"domain_scores_codex":[0.9986336,0.000348668,0.0001174837,0.000320551,0.0004558256,0.000123925],"domain_scores_gemma":[0.9969036,0.001541615,0.0002344005,0.0006406396,0.0005677657,0.0001119046],"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.0003124634,0.00005873303,0.0008295417,0.0002510774,0.00005739772,0.0005865134,0.0002797991,0.1855135,0.003934863,0.6856701,0.008347564,0.1141583],"study_design_scores_gemma":[0.00003345486,0.00003932837,0.0002042107,0.0000519664,0.00002738779,0.0001763979,0.00006034546,0.5144765,0.002261349,0.4650294,0.01761864,0.00002106126],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03114207,0.001820507,0.9396521,0.001832637,0.0004907701,0.0001640543,0.0009112263,0.001808505,0.02217805],"genre_scores_gemma":[0.7865519,0.003641742,0.1845933,0.001070634,0.0007252619,0.0004911829,0.001236263,0.0002475912,0.02144208],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008566285,"threshold_uncertainty_score":0.02865708,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2193061249","doi":"10.3233/com-180087","title":"Notions of semicomputability in topological algebras over the reals","year":2018,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Topology (electrical circuits); Pure mathematics; Algebra over a field; Combinatorics","authors":[{"name":"M. A. Armstrong","is_ca":true},{"name":"J. I. Zucker","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02602214910386368,"gpt":0.2935969599416893,"spread":0.2675748108378256,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003158048,0.0005606725,0.0006412111,0.003367376,0.00230888,0.004851817,0.001311537,0.001142982,0.003968052],"category_scores_gemma":[0.00827939,0.0004362026,0.001142136,0.002249009,0.01165914,0.01231343,0.003098213,0.002894769,0.0004658781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001898506,"about_ca_system_score_gemma":0.001138505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001041976,"about_ca_topic_score_gemma":0.0004733701,"domain_scores_codex":[0.9972367,0.0007625287,0.0002605756,0.0004896708,0.000890356,0.0003600603],"domain_scores_gemma":[0.9925737,0.003692857,0.0009255046,0.001183023,0.00103175,0.0005930425],"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.000008585673,0.000006153789,0.00008805289,0.00002212392,0.000003691124,0.00004071071,0.0002811293,0.0004813764,0.0002507035,0.9976674,0.00006166094,0.001088425],"study_design_scores_gemma":[0.000007696427,0.00002128297,0.0001591609,0.00001751781,0.000007913742,0.00007297377,0.0001701674,0.003150184,0.0007243748,0.9930427,0.002615417,0.00001072363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3045278,0.003701537,0.6097785,0.003234933,0.0003340827,0.0001213945,0.00059029,0.000526406,0.07718506],"genre_scores_gemma":[0.9486864,0.0009446132,0.04431305,0.0002594498,0.0002943946,0.0001399604,0.0002773685,0.0000759955,0.005008737],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004851817,"threshold_uncertainty_score":0.01670158,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4387975997","doi":"10.3233/com-210349","title":"Enumerations of families closed under finite differences","year":2023,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Marsden Fund; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Enumeration; Degree (music); Set (abstract data type); Finite set; Discrete mathematics; Family of sets; Combinatorics; Computer science","authors":[{"name":"Noam Greenberg","is_ca":false},{"name":"Matthew Harrison‐Trainor","is_ca":false},{"name":"Joseph S. Miller","is_ca":false},{"name":"Dan Turetsky","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04640201935667268,"gpt":0.272476377633765,"spread":0.2260743582770923,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002581432,0.000386348,0.0006864831,0.001564959,0.002326017,0.002320778,0.001141793,0.0008007926,0.004523544],"category_scores_gemma":[0.01261333,0.0006455548,0.001662093,0.001382203,0.003119056,0.00765704,0.002395398,0.002422946,0.0005263682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003433568,"about_ca_system_score_gemma":0.0009401091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001298255,"about_ca_topic_score_gemma":0.0008703828,"domain_scores_codex":[0.996587,0.0009005151,0.0002804759,0.0009246463,0.0008921917,0.0004150878],"domain_scores_gemma":[0.9895505,0.006673118,0.000695687,0.001691446,0.001021783,0.0003674119],"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.0000707628,0.00002744066,0.001272376,0.00007194723,0.00001893247,0.0001538538,0.0009302988,0.00560431,0.002302181,0.9714023,0.0008727895,0.01727273],"study_design_scores_gemma":[0.00003698764,0.00004069913,0.0008963845,0.00006939768,0.00002125337,0.0003256816,0.000279074,0.01816502,0.004848171,0.9623538,0.01291947,0.00004407636],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4170876,0.001049803,0.5392922,0.00134261,0.00008783914,0.00009141738,0.0008585539,0.0008280521,0.03936188],"genre_scores_gemma":[0.8841296,0.0004332468,0.09965181,0.000307697,0.00007363075,0.0003062128,0.001149855,0.0002095961,0.01373826],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004523544,"threshold_uncertainty_score":0.02491242,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4289539466","doi":"10.1007/978-3-030-83202-5_14","title":"Complexity of $${\\mathcal {P}}$$ Functions","year":2021,"lang":"en","type":"book-chapter","venue":"Computability","topic":"Advanced Mathematical Identities","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":"Undecidable problem; Computer science; Decidability; Computable function; Theoretical computer science; Programmer; Programming language; Task (project management); Algorithm; Mathematics","authors":[{"name":"George Tourlakis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2146979619397247,"gpt":0.3506742310641226,"spread":0.1359762691243979,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006358315,0.0007225412,0.0008702638,0.001356572,0.001560322,0.006083796,0.001551396,0.001196604,0.01690608],"category_scores_gemma":[0.005490134,0.0004447605,0.0009805509,0.001880043,0.003330334,0.01147729,0.002338345,0.003908607,0.002465717],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003172612,"about_ca_system_score_gemma":0.001025689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001701322,"about_ca_topic_score_gemma":0.001262668,"domain_scores_codex":[0.9987689,0.0002875909,0.0000445242,0.0002137759,0.000516795,0.0001683991],"domain_scores_gemma":[0.9977474,0.001528763,0.0001162018,0.0002910184,0.000203612,0.0001130044],"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.000009037524,0.000005633274,0.00005622339,0.00001939147,0.000002357305,0.000009274776,0.0000600291,0.001058221,0.00009014477,0.9914396,0.00272251,0.004527612],"study_design_scores_gemma":[0.000002183946,0.000002069504,0.00008681836,0.000007263848,0.000002386761,0.00002381945,0.00002112156,0.004292656,0.0001799491,0.9900372,0.005339255,0.000005147206],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.1214667,0.003507926,0.3069623,0.01072848,0.0006861196,0.00009393266,0.001659977,0.0004650636,0.5544296],"genre_scores_gemma":[0.8330308,0.002909334,0.04382144,0.0007304901,0.001009373,0.0002584413,0.001113415,0.0004386104,0.1166882],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01690608,"threshold_uncertainty_score":0.05655646,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2803334365","doi":"10.3233/com-190254","title":"Degrees of categoricity above limit ordinals","year":2019,"lang":"en","type":"preprint","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Degree (music); Mathematics; Omega; Combinatorics; Discrete mathematics; Physics; Quantum mechanics","authors":[{"name":"Barbara F. Csima","is_ca":true},{"name":"Michael Deveau","is_ca":true},{"name":"Matthew Harrison‐Trainor","is_ca":false},{"name":"Mohammad Assem Mahmoud","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04016338934134797,"gpt":0.2745719021321681,"spread":0.2344085127908201,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002010399,0.0004005987,0.0007072159,0.001952263,0.001189908,0.00373177,0.0009297791,0.0009512809,0.003535794],"category_scores_gemma":[0.01047916,0.0005560828,0.001127264,0.001156138,0.005115984,0.00823526,0.004858577,0.002497538,0.0003450576],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001881894,"about_ca_system_score_gemma":0.0005655934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001084948,"about_ca_topic_score_gemma":0.000943839,"domain_scores_codex":[0.997145,0.0005628597,0.000237887,0.0007276632,0.000811998,0.000514575],"domain_scores_gemma":[0.9872677,0.006528873,0.001023721,0.002259086,0.001355452,0.00156521],"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.000171626,0.00003255236,0.004971113,0.00009601198,0.00002793671,0.0001611158,0.001626013,0.003382048,0.00411915,0.9776497,0.000622082,0.007140679],"study_design_scores_gemma":[0.00003380728,0.00005577009,0.003414093,0.00002802224,0.00002867632,0.0002887433,0.000464233,0.006168641,0.003448158,0.977805,0.008222247,0.00004259253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.8542057,0.001064368,0.09075476,0.002400819,0.0001024628,0.00008368486,0.0004892325,0.0003913567,0.05050759],"genre_scores_gemma":[0.9900934,0.0001570839,0.005191365,0.00009920989,0.00006043413,0.00003434653,0.0001347033,0.00002799809,0.004201396],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.00373177,"threshold_uncertainty_score":0.01365417,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4304207945","doi":"10.3233/com-220430","title":"Strong computable type","year":2023,"lang":"en","type":"preprint","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Future Earth","funders":"","keywords":"Type (biology); Computable general equilibrium; Economics; Mathematics; Mathematical economics; Geology; Microeconomics","authors":[{"name":"Djamel Eddine Amir","is_ca":true},{"name":"Mathieu Hoyrup","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.115151245561319,"gpt":0.3219876803719497,"spread":0.2068364348106307,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0023918,0.0005945737,0.000796503,0.002628281,0.001726015,0.005806189,0.00132731,0.001630137,0.004539147],"category_scores_gemma":[0.009263794,0.0004225129,0.001270795,0.002170791,0.008553363,0.009961866,0.003290392,0.002438788,0.0006302134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002034161,"about_ca_system_score_gemma":0.001130055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005428386,"about_ca_topic_score_gemma":0.0004370252,"domain_scores_codex":[0.9965886,0.0005270032,0.0004085712,0.0009216914,0.001132288,0.000421837],"domain_scores_gemma":[0.9909073,0.00374647,0.001054383,0.00262676,0.001154379,0.0005107166],"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.00001610088,0.00000987115,0.0008811084,0.00005065153,0.0000102952,0.00008084726,0.0001862297,0.0006143451,0.0006835826,0.9934793,0.0003772352,0.003610522],"study_design_scores_gemma":[0.00001341232,0.0000664678,0.00123026,0.00006058221,0.00003702338,0.0007155693,0.0002891343,0.006694501,0.003989869,0.9655527,0.02130794,0.00004249527],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2585539,0.001733285,0.6260012,0.002766674,0.0007223388,0.0002234506,0.001745329,0.0009578076,0.1072961],"genre_scores_gemma":[0.9326854,0.000443287,0.05517761,0.0003414654,0.0003887723,0.0002246892,0.0006339001,0.0001305237,0.009974292],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005806189,"threshold_uncertainty_score":0.015185,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2799054834","doi":"10.3233/com-180094","title":"The reverse mathematics of Hindman’s Theorem for sums of exactly two elements","year":2018,"lang":"en","type":"preprint","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Reverse mathematics; Combinatorics; Computability; Ramsey's theorem; Discrete mathematics; Diagonal; Function (biology); Axiom","authors":[{"name":"Barbara F. Csima","is_ca":true},{"name":"Damir D. Dzhafarov","is_ca":false},{"name":"Denis R. Hirschfeldt","is_ca":false},{"name":"Carl G. Jockusch","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04319915243120117,"gpt":0.3186231787592454,"spread":0.2754240263280442,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00330416,0.000686525,0.001102198,0.0008790194,0.002657871,0.003914188,0.001876215,0.001452805,0.007550917],"category_scores_gemma":[0.01039266,0.0007774038,0.002791602,0.001010648,0.00709832,0.01485566,0.004800176,0.007451884,0.001472853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00245674,"about_ca_system_score_gemma":0.001833299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001757736,"about_ca_topic_score_gemma":0.001599417,"domain_scores_codex":[0.9954311,0.0009080437,0.0003641537,0.001668558,0.001129765,0.000498358],"domain_scores_gemma":[0.9921014,0.00463209,0.0003845033,0.001751884,0.0008650847,0.0002650871],"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.00004342545,0.00001308365,0.0001504896,0.00007796621,0.00001218776,0.00003703146,0.0001466903,0.000659828,0.0008076217,0.990814,0.001709206,0.005528416],"study_design_scores_gemma":[0.00002957412,0.00002880202,0.0001700966,0.00002846701,0.00001908222,0.0001396987,0.00004659345,0.004346762,0.002082332,0.9777707,0.01531574,0.00002205339],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09718162,0.002183777,0.6861071,0.01217964,0.001157595,0.0002200661,0.001241658,0.001635,0.1980936],"genre_scores_gemma":[0.6861572,0.001099169,0.2644701,0.00514767,0.001093197,0.0004823942,0.001156403,0.0007066497,0.03968722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007550917,"threshold_uncertainty_score":0.02526039,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}