{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":29,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":29,"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":"c6f5c3dbd578","filters":{"venue":"Mathematical logic quarterly"}},"results":[{"id":"W2045590994","doi":"10.1002/malq.200810012","title":"Commutative rings whose ideals form an MV‐algebra","year":2009,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Commutative ring; Commutative algebra; Noncommutative ring; Class (philosophy); Semiprime ring; Pure mathematics; Commutative property; Maximal ideal; Artinian ring; Von Neumann regular ring; Local ring; Lattice (music); Ideal (ethics); Unit (ring theory); Ring (chemistry); Algebra over a field; Combinatorics; Law; Chemistry; Noetherian","authors":[{"name":"L. P. Belluce","is_ca":true},{"name":"Antonio Di Nola","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01908106264099546,"gpt":0.2846295600378421,"spread":0.2655484973968466,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001425887,0.0001916875,0.0004297049,0.0006893487,0.0009386328,0.002087638,0.0005258141,0.0002535083,0.003925208],"category_scores_gemma":[0.001333847,0.00020885,0.0004312429,0.0003420548,0.002512412,0.003364631,0.001457566,0.0007368792,0.0007253975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004521415,"about_ca_system_score_gemma":0.000426544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002875852,"about_ca_topic_score_gemma":0.0001840387,"domain_scores_codex":[0.9989644,0.0002430957,0.00006287525,0.0001843588,0.0003733624,0.0001718584],"domain_scores_gemma":[0.998838,0.0001929621,0.0002103311,0.0001422878,0.0002900449,0.0003264486],"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.0001201637,0.00004900273,0.001350619,0.00004214883,0.00001825947,0.0002018455,0.0004878754,0.0006572357,0.007683882,0.9818234,0.0006402811,0.006925206],"study_design_scores_gemma":[0.00008640906,0.0002918882,0.003419046,0.00004935027,0.00005258863,0.001614427,0.0008943636,0.01528916,0.01966485,0.9154468,0.04313435,0.00005660741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7557591,0.001008321,0.152012,0.0007092122,0.0002341438,0.00008385961,0.0002064248,0.0004151593,0.08957181],"genre_scores_gemma":[0.9779585,0.0001488446,0.015097,0.0000823167,0.0001754591,0.0000260034,0.0000989022,0.00002373834,0.006389322],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003925208,"threshold_uncertainty_score":0.01313114,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2067703954","doi":"10.1002/malq.201020093","title":"Simulating non-prenex cuts in quantified propositional calculus","year":2011,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Calculus (dental); Propositional variable; Propositional formula; Propositional calculus; Computer science; Discrete mathematics; Artificial intelligence; Orthodontics; Medicine","authors":[{"name":"Emil Jeřábek","is_ca":false},{"name":"Phuong Nguyen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04646462270182227,"gpt":0.2703370566214111,"spread":0.2238724339195888,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002571703,0.0006281518,0.0006960708,0.000558858,0.0007342502,0.002680403,0.001907851,0.001200589,0.005146027],"category_scores_gemma":[0.01373698,0.000802407,0.001215599,0.0004915506,0.002666601,0.003736219,0.003305895,0.002426333,0.0004676874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00202626,"about_ca_system_score_gemma":0.002151834,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004377001,"about_ca_topic_score_gemma":0.00552543,"domain_scores_codex":[0.9963731,0.001502688,0.0001608978,0.0004274924,0.0009902808,0.000545469],"domain_scores_gemma":[0.9897288,0.007906714,0.0004523012,0.001180795,0.0004482587,0.0002831276],"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.0006555108,0.0002985621,0.001936885,0.0004085287,0.0001519643,0.000594669,0.001234752,0.3569914,0.01897602,0.5796502,0.001500541,0.03760098],"study_design_scores_gemma":[0.0001602146,0.0001113999,0.0002553141,0.00003857094,0.00007592016,0.00008240371,0.00007837204,0.6717501,0.01841622,0.3061035,0.002892872,0.00003515298],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3055809,0.0002671542,0.6797867,0.0005898126,0.0001457535,0.0001986941,0.0002724148,0.003569791,0.009588867],"genre_scores_gemma":[0.8411441,0.0001715665,0.1551158,0.0001583836,0.00002871302,0.00009938869,0.0002282249,0.0002562621,0.002797582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005146027,"threshold_uncertainty_score":0.01721519,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2089220531","doi":"10.1002/malq.200910001","title":"Degree spectra and immunity properties","year":2010,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":16,"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); Uncountable set; Mathematics; Corollary; Complement (music); Pure mathematics; Spectrum (functional analysis); Combinatorics; Physics; Biology","authors":[{"name":"Barbara F. Csima","is_ca":true},{"name":"I. Sh. Kalimullin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.037241469415239,"gpt":0.240759079117303,"spread":0.203517609702064,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009511259,0.0002189622,0.000338226,0.001663609,0.001106559,0.002190295,0.0006595376,0.0006548314,0.004502509],"category_scores_gemma":[0.004431808,0.0002373801,0.0004139664,0.0005430394,0.003557157,0.004685788,0.001724111,0.001227043,0.0003335188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008337227,"about_ca_system_score_gemma":0.0003068668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003560009,"about_ca_topic_score_gemma":0.000271565,"domain_scores_codex":[0.9989696,0.0002040497,0.00005281869,0.0002335195,0.0003141247,0.0002258806],"domain_scores_gemma":[0.9964216,0.001845453,0.0003992868,0.0004758144,0.0003794936,0.0004784907],"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.00004406162,0.00001868122,0.001445271,0.00002500672,0.000006365689,0.00008627817,0.0003961466,0.002060535,0.005454558,0.9865333,0.0002397924,0.003690037],"study_design_scores_gemma":[0.00002234626,0.00004644843,0.002647852,0.00002881415,0.00001567834,0.0004495524,0.0004274095,0.01868361,0.008023629,0.9667197,0.00290272,0.00003225992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8906342,0.000165179,0.08116867,0.000529776,0.00003678907,0.00003391243,0.0001707478,0.0001999246,0.02706079],"genre_scores_gemma":[0.9941368,0.00004450088,0.004722212,0.0000414255,0.00002721657,0.00001440529,0.00005426947,0.00001635309,0.0009427124],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004502509,"threshold_uncertainty_score":0.01506239,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2093788800","doi":"10.1002/malq.201110037","title":"Conjectures of Rado and Chang and special Aronszajn trees","year":2012,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Conjecture; Combinatorics; Square (algebra); Geometry","authors":[{"name":"Stevo Todorčević","is_ca":true},{"name":"Víctor Torres-Pérez","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03163157865390188,"gpt":0.2855765054430626,"spread":0.2539449267891607,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003027744,0.0002677964,0.001111132,0.001613961,0.002552366,0.002636488,0.001192873,0.001850499,0.00579087],"category_scores_gemma":[0.01060363,0.0004059323,0.000723428,0.001317469,0.007335327,0.005706373,0.002393098,0.001637141,0.000493096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001229905,"about_ca_system_score_gemma":0.000613881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001175646,"about_ca_topic_score_gemma":0.001296098,"domain_scores_codex":[0.9986081,0.0003248732,0.00009868231,0.0003656063,0.0003428931,0.0002599177],"domain_scores_gemma":[0.9902635,0.006018108,0.0007200469,0.001223645,0.0009230546,0.0008516823],"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.00005225152,0.0000171501,0.001457754,0.00004459406,0.000005991789,0.00008652133,0.000256386,0.0007493856,0.0004187847,0.9932634,0.001247172,0.00240049],"study_design_scores_gemma":[0.00002823926,0.0000240203,0.001048881,0.00002606238,0.00001058278,0.0002100863,0.0003687777,0.003658309,0.0005284933,0.989786,0.004294727,0.00001565468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.819901,0.003026935,0.0308961,0.008493045,0.0004703486,0.00003420366,0.0002292003,0.0002310759,0.136718],"genre_scores_gemma":[0.9928815,0.0003290191,0.003181329,0.0004847834,0.0001730511,0.00002174151,0.00009705011,0.00001277813,0.002818806],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00579087,"threshold_uncertainty_score":0.01937234,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2062755128","doi":"10.1002/malq.200610040","title":"Bounded BCK‐algebras and their generated variety","year":2007,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Institute of Population and Public Health","keywords":"Bounded function; Mathematics; Residuated lattice; Commutative property; Simple (philosophy); Class (philosophy); Variety (cybernetics); Pure mathematics; Algebra over a field; Discrete mathematics; Computer science; Mathematical analysis","authors":[{"name":"Joan Gispert","is_ca":false},{"name":"Antoni Torrens","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01534906442188084,"gpt":0.2413161522678692,"spread":0.2259670878459884,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000514166,0.0002389615,0.000366825,0.0009934769,0.001090727,0.001915182,0.0005657471,0.0003023308,0.003841622],"category_scores_gemma":[0.001113654,0.0001766503,0.0004973514,0.0008241672,0.002168348,0.002651297,0.001417982,0.0009825798,0.0004592543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001062113,"about_ca_system_score_gemma":0.0003805585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009051986,"about_ca_topic_score_gemma":0.0004054325,"domain_scores_codex":[0.9991912,0.000120408,0.00003946226,0.0001636707,0.0003863153,0.00009895563],"domain_scores_gemma":[0.9994001,0.0001743548,0.00008129048,0.00005371646,0.000190881,0.00009970571],"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.0000376817,0.00002376646,0.0004515675,0.00003367991,0.00001213947,0.0001362201,0.0004229033,0.001949686,0.002745315,0.9891293,0.0004467516,0.004610999],"study_design_scores_gemma":[0.00003040526,0.00003399621,0.000895191,0.00001818139,0.00001486054,0.0002795923,0.0001966976,0.01492886,0.004494117,0.9673525,0.01173143,0.0000241476],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7114202,0.001669349,0.1872906,0.0007193267,0.0001499339,0.00009127263,0.0003516591,0.0003259901,0.09798159],"genre_scores_gemma":[0.9840247,0.0001809448,0.007758957,0.00005309386,0.00005556404,0.00002985152,0.0001706369,0.00002006006,0.007706123],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003841622,"threshold_uncertainty_score":0.01285148,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2114015893","doi":"10.1002/malq.201200079","title":"Cofinalities of Borel ideals","year":2014,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Saint Mary's University","funders":"Consejo de Ciencia y Tecnología del Estado de Chiapas; Universidad Nacional Autónoma de México; Akademie Věd České Republiky; Grantová Agentura České Republiky","keywords":"Cofinality; Mathematics; Invariant (physics); Ideal (ethics); Uncountable set; Pairwise comparison; Pure mathematics; Discrete mathematics; Countable set; Epistemology; Statistics; Philosophy","authors":[{"name":"Michael Hrušák","is_ca":false},{"name":"Diego Rojas‐Rebolledo","is_ca":true},{"name":"Jindřich Zapletal","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03852999292608383,"gpt":0.3240765200978396,"spread":0.2855465271717558,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002411446,0.0005581194,0.000960223,0.002590203,0.003532832,0.004199487,0.00138095,0.0008746239,0.002349041],"category_scores_gemma":[0.005665447,0.0006114094,0.00110239,0.001135513,0.008052327,0.005013695,0.003897863,0.003056971,0.000320243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002945479,"about_ca_system_score_gemma":0.000856218,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00193683,"about_ca_topic_score_gemma":0.002118251,"domain_scores_codex":[0.9975427,0.0003874796,0.0001119204,0.000577051,0.0006731143,0.0007077532],"domain_scores_gemma":[0.9925033,0.003248801,0.001161366,0.0008153787,0.001007534,0.001263614],"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.0001453496,0.00005234746,0.002879351,0.00004964868,0.00002750933,0.000258537,0.001223641,0.001863007,0.003921826,0.9861925,0.0002337994,0.003152496],"study_design_scores_gemma":[0.00004625845,0.0001790118,0.004006816,0.00005328811,0.00007049234,0.0005723388,0.001376522,0.01812342,0.01195883,0.9583953,0.005161761,0.00005588648],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8474486,0.0008451116,0.115988,0.0006596547,0.0000469384,0.00005308054,0.0001679914,0.0002941005,0.03449642],"genre_scores_gemma":[0.9894832,0.000104723,0.007975176,0.00004419181,0.0000283058,0.00004199848,0.0001205097,0.00002466972,0.002177254],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004199487,"threshold_uncertainty_score":0.02137107,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2082808755","doi":"10.1002/malq.200710030","title":"The axiom of choice and the law of excluded middle in weak set theories","year":2008,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Extensionality; Axiom of choice; Constructive set theory; Urelement; Law of excluded middle; Mathematics; Zermelo–Fraenkel set theory; Axiom; Quotient; Set (abstract data type); Pure mathematics; Mathematical economics; Set theory; Discrete mathematics; Computer science; Geometry; Epistemology; Philosophy","authors":[{"name":"John Bell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04597893310610612,"gpt":0.2970490313343944,"spread":0.2510700982282882,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004932281,0.0005318223,0.0009017332,0.002295,0.002071067,0.004711493,0.001597534,0.001881567,0.00382585],"category_scores_gemma":[0.007770787,0.0005944395,0.001636333,0.001430394,0.01269965,0.0114339,0.006358622,0.004444829,0.0005005837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002321173,"about_ca_system_score_gemma":0.00149949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001030586,"about_ca_topic_score_gemma":0.0007802433,"domain_scores_codex":[0.9972812,0.000994235,0.0002720823,0.0003028442,0.0008995839,0.0002499484],"domain_scores_gemma":[0.9958598,0.002376955,0.0002948381,0.0006074418,0.0005055107,0.0003554184],"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.000006726259,0.000004230974,0.00005530045,0.000009005898,0.00000343803,0.0000153489,0.00007995057,0.0001981203,0.0001409374,0.998566,0.0001201306,0.0008007323],"study_design_scores_gemma":[0.000005603525,0.000005286895,0.00003652204,0.000006064428,0.000002487702,0.0000143864,0.00001955319,0.001058806,0.0001394943,0.9979125,0.0007954787,0.000003913066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2326503,0.002323968,0.6252294,0.009415335,0.0007298195,0.0001231708,0.000282062,0.0003585652,0.1288874],"genre_scores_gemma":[0.9498063,0.0005094507,0.0425646,0.000726522,0.0002780317,0.0001189582,0.0001099892,0.00006584124,0.005820225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004932281,"threshold_uncertainty_score":0.02608472,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1493806114","doi":"10.1002/malq.201300030","title":"Generic trivializations of geometric theories","year":2014,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Mathematics; NIP; Converse; Rank (graph theory); Simplicity; Stability (learning theory); Pure mathematics; Discrete mathematics; Combinatorics; Geometry; Computer science","authors":[{"name":"Alexander Berenstein","is_ca":false},{"name":"Evgueni Vassiliev","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03355777729189491,"gpt":0.3065429095177503,"spread":0.2729851322258554,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009659266,0.0006105993,0.0006635668,0.002183505,0.00218661,0.003243097,0.001285118,0.0009738249,0.005607252],"category_scores_gemma":[0.002491459,0.0004715565,0.0009801072,0.001054925,0.006815767,0.00626681,0.005205594,0.001806782,0.0003674161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002992478,"about_ca_system_score_gemma":0.0006211122,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001283284,"about_ca_topic_score_gemma":0.001512553,"domain_scores_codex":[0.9983747,0.0003300909,0.000110094,0.0003991175,0.0004463793,0.000339576],"domain_scores_gemma":[0.9982911,0.0004768883,0.0003653124,0.0003865091,0.0002448972,0.0002352729],"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.000009837817,0.000005253475,0.0003488563,0.00001604186,0.000007204575,0.00009226913,0.0002624588,0.0005434881,0.0004707878,0.9972185,0.0001474699,0.0008778534],"study_design_scores_gemma":[0.00001486562,0.00003172042,0.0006550707,0.00001443547,0.00001878903,0.0002003913,0.0004482632,0.0041906,0.000881233,0.9900244,0.003506234,0.00001394677],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7987891,0.0007170223,0.09367966,0.001446588,0.00007563979,0.00005806848,0.0003889226,0.0004336707,0.1044113],"genre_scores_gemma":[0.9925747,0.00009538043,0.004123588,0.00008443254,0.00004855822,0.00002001463,0.000236899,0.00003116918,0.002785377],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005607252,"threshold_uncertainty_score":0.02171206,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1625734883","doi":"10.1002/malq.201500004","title":"The conjugacy problem for automorphism groups of countable homogeneous structures","year":2016,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"York University; Boise State University","keywords":"Mathematics; Omega; Combinatorics; Isomorphism (crystallography); Conjugacy class; Conjecture; Discrete mathematics; Physics","authors":[{"name":"Samuel Coskey","is_ca":false},{"name":"P.J. Ellis","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02922069842990204,"gpt":0.3050918773846822,"spread":0.2758711789547802,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001967148,0.0006659514,0.001114948,0.002405411,0.00383094,0.00676313,0.001054028,0.00249887,0.005791946],"category_scores_gemma":[0.009606866,0.0004913206,0.001753321,0.002211587,0.0074717,0.01315764,0.006040235,0.003802705,0.0007152798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002612656,"about_ca_system_score_gemma":0.0008008594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009580152,"about_ca_topic_score_gemma":0.0005899919,"domain_scores_codex":[0.9980052,0.0005126928,0.0001764584,0.0004360358,0.0005118098,0.0003578434],"domain_scores_gemma":[0.9921961,0.005440576,0.0007243332,0.0009204482,0.0002891557,0.000429391],"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.00003701115,0.00002514828,0.0008943316,0.00003395116,0.0000121684,0.0001382996,0.000463511,0.0014308,0.000530572,0.9925011,0.0003260454,0.003607076],"study_design_scores_gemma":[0.00001184274,0.00001144445,0.0002137292,0.000007276253,0.000008220775,0.00007676843,0.0001449682,0.002715422,0.0006022509,0.9952849,0.0009153571,0.000007934673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7837518,0.0009491407,0.1472858,0.003992171,0.0001867827,0.0001532601,0.000270262,0.00009683469,0.06331398],"genre_scores_gemma":[0.9800951,0.0005694523,0.01024434,0.000187816,0.0002928728,0.00009027861,0.0002781472,0.00003567377,0.008206261],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00676313,"threshold_uncertainty_score":0.01937592,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4379010621","doi":"10.1002/malq.202200021","title":"Cofinal types on ω<sub>2</sub>","year":2023,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Science Fund of the Republic of Serbia","keywords":"Successor cardinal; Mathematics; Cofinality; Class (philosophy); Simple (philosophy); Type (biology); Discrete mathematics; Countable set; Uncountable set; Computer science; Artificial intelligence; Mathematical analysis; Epistemology","authors":[{"name":"Boriša Kuzeljević","is_ca":false},{"name":"Stevo Todorčević","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04692441027446455,"gpt":0.3196051752839065,"spread":0.272680765009442,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001188281,0.0002899313,0.0006215812,0.00195276,0.001854597,0.003392816,0.0005628424,0.0004904037,0.004267969],"category_scores_gemma":[0.002632309,0.0004255644,0.0005466127,0.001134855,0.002740314,0.002748844,0.001329051,0.001206967,0.0005601184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001974563,"about_ca_system_score_gemma":0.0007175574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002101264,"about_ca_topic_score_gemma":0.00273122,"domain_scores_codex":[0.9988241,0.0002066974,0.00009019251,0.0002280316,0.000390088,0.0002609568],"domain_scores_gemma":[0.9967213,0.001276708,0.0004635057,0.0004706793,0.0006969761,0.0003707887],"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.0001912836,0.00002907601,0.003875937,0.0000535801,0.00001676548,0.0001796951,0.001057619,0.001384123,0.004006406,0.9818109,0.0006944379,0.006700286],"study_design_scores_gemma":[0.00005135567,0.00009994292,0.008087849,0.00007542462,0.00005547336,0.0009781717,0.001844779,0.009176791,0.01767765,0.9190928,0.04279544,0.00006426907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8075573,0.0007765687,0.1269548,0.0002898632,0.0001427274,0.00006084703,0.0004217273,0.0004007911,0.0633952],"genre_scores_gemma":[0.9778986,0.0001361666,0.01079428,0.00008155155,0.00006591662,0.00003904443,0.0002615692,0.00007080944,0.01065208],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004267969,"threshold_uncertainty_score":0.01432657,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1597965172","doi":"10.1002/malq.201300006","title":"Rado's Conjecture and Ascent Paths of Square Sequences","year":2014,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Successor cardinal; Mathematics; Conjecture; Continuation; Combinatorics; Square (algebra); Discrete mathematics; Geometry; Computer science; Mathematical analysis","authors":[{"name":"Stevo Todorčević","is_ca":true},{"name":"Víctor Torres-Pérez","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02219161329035662,"gpt":0.2966603637079248,"spread":0.2744687504175681,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001498728,0.000457969,0.0008241632,0.001150267,0.00323422,0.002708328,0.001158654,0.001636149,0.01407455],"category_scores_gemma":[0.008791873,0.0004274643,0.001030365,0.001291993,0.006022671,0.00871131,0.004021363,0.002920992,0.001552474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001334093,"about_ca_system_score_gemma":0.001062666,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001610935,"about_ca_topic_score_gemma":0.001576355,"domain_scores_codex":[0.9986524,0.000270461,0.00008592974,0.0003841984,0.0002791643,0.0003278069],"domain_scores_gemma":[0.9941337,0.003247989,0.0003643856,0.001045894,0.0007004291,0.0005076735],"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.00004591042,0.00001117281,0.0003717282,0.00002724659,0.000003122078,0.00006472308,0.0001938925,0.0007012612,0.0001803218,0.9936904,0.001306895,0.003403376],"study_design_scores_gemma":[0.00001563957,0.00001957504,0.0002170325,0.00001342708,0.000004698909,0.00007660349,0.0001493113,0.002152043,0.0003264389,0.9902685,0.006747082,0.000009612001],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4218496,0.0014984,0.1609502,0.01319486,0.001325743,0.000102675,0.0005522064,0.0008812796,0.399645],"genre_scores_gemma":[0.9503362,0.0004814551,0.01945446,0.001048466,0.0003348122,0.00007995978,0.0003770517,0.00007777615,0.02780979],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01407455,"threshold_uncertainty_score":0.04708409,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2919009353","doi":"10.1002/malq.201900058","title":"On universal modules with pure embeddings","year":2020,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Cofinality; Mathematics; Embedding; Lambda; Cardinality (data modeling); Injective function; Abelian group; Countable set; Limit (mathematics); Model theory; Pure mathematics; Discrete mathematics; Combinatorics; Uncountable set; Physics; Computer science; Mathematical analysis","authors":[{"name":"T. G. Kucera","is_ca":true},{"name":"Marcos Mazari‐Armida","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03884149798080114,"gpt":0.2749829034115511,"spread":0.2361414054307499,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001954033,0.0005565154,0.0007204837,0.001541167,0.001188835,0.003188504,0.0008372272,0.0008147315,0.003164468],"category_scores_gemma":[0.004251717,0.0004757024,0.0009798598,0.0007357632,0.004104618,0.006855179,0.003970055,0.001225422,0.0003262945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001446508,"about_ca_system_score_gemma":0.0004646068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008043097,"about_ca_topic_score_gemma":0.0005227936,"domain_scores_codex":[0.9982398,0.000504353,0.00009605031,0.0003605036,0.0004452458,0.0003540945],"domain_scores_gemma":[0.9969994,0.001127264,0.0004310439,0.0004744656,0.0004190923,0.0005487814],"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.00005758309,0.00005492929,0.003859816,0.00006605309,0.00002528981,0.0003212722,0.001254146,0.001604428,0.002584036,0.9867748,0.0002975789,0.003100106],"study_design_scores_gemma":[0.00003206276,0.00014629,0.00335356,0.00007944067,0.00006564268,0.0009830056,0.001416489,0.02797925,0.006676984,0.9526593,0.006561702,0.00004620222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9068534,0.000765733,0.06529116,0.0004341948,0.00003777652,0.00003556134,0.0001398446,0.0002530841,0.02618933],"genre_scores_gemma":[0.9957629,0.000100596,0.002429026,0.00003492054,0.00002590645,0.00001838355,0.0000556935,0.00001669937,0.001555802],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003188504,"threshold_uncertainty_score":0.0105862,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2015311986","doi":"10.1002/malq.200410029","title":"Excluded Middle versus Choice in a topos","year":2005,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"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":"Law of excluded middle; Topos theory; Epimorphism; Mathematics; Pure mathematics; Combinatorics; Linguistics; Philosophy; Literature","authors":[{"name":"Bernhard Banaschewski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0467537969715069,"gpt":0.2796281315982171,"spread":0.2328743346267103,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002067643,0.0003896226,0.0005140014,0.001402486,0.002100253,0.004285291,0.0007042107,0.001297713,0.006623112],"category_scores_gemma":[0.00200691,0.0002758385,0.0009201488,0.001317431,0.01284405,0.01057797,0.003283206,0.002323427,0.0007278218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00167922,"about_ca_system_score_gemma":0.0006748469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001320659,"about_ca_topic_score_gemma":0.001076159,"domain_scores_codex":[0.9985498,0.000404721,0.00009255899,0.0003098144,0.0004089546,0.0002341081],"domain_scores_gemma":[0.9987652,0.0006429871,0.0001105452,0.0001964251,0.0001196797,0.0001652873],"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.000007645787,0.000002469332,0.00003110401,0.000008298355,0.000002345684,0.00003682448,0.0001015388,0.00009657456,0.0001531383,0.9982365,0.0002111983,0.001112397],"study_design_scores_gemma":[0.000007202209,0.000008971273,0.00005447321,0.000009232513,0.000005152196,0.00004654961,0.00006310559,0.0007783629,0.0002481073,0.9945493,0.004224788,0.000004577391],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1628424,0.005355546,0.4580335,0.008830819,0.0008972671,0.00007397076,0.000308676,0.0005841547,0.3630737],"genre_scores_gemma":[0.9605986,0.001029853,0.02234312,0.0007959036,0.0005148646,0.00005191438,0.00009247098,0.00006800485,0.01450531],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006623112,"threshold_uncertainty_score":0.02215654,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2227441040","doi":"10.1002/malq.201600071","title":"Constructing quasiminimal structures","year":2017,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"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":"Outcome (game theory); Mathematics; Upper and lower bounds; Order (exchange); Epistemology; Mathematical economics; Pure mathematics; Computer science; Philosophy; Mathematical analysis; Economics","authors":[{"name":"Levon Haykazyan","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08272061478614534,"gpt":0.3740194328378,"spread":0.2912988180516547,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002703389,0.0003856498,0.0006058571,0.001071846,0.001532573,0.002361737,0.001123489,0.001098521,0.00553056],"category_scores_gemma":[0.004521947,0.0007033156,0.0009949869,0.0006573907,0.003981756,0.005391015,0.004165261,0.002429613,0.0005067975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001738507,"about_ca_system_score_gemma":0.0007007289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003372552,"about_ca_topic_score_gemma":0.0004794421,"domain_scores_codex":[0.9986392,0.0005481594,0.00006809035,0.0002310362,0.0003541806,0.0001594129],"domain_scores_gemma":[0.995864,0.001974837,0.000337204,0.001154175,0.0003573489,0.0003124295],"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.00002203074,0.00001059604,0.0002324554,0.00003344324,0.000005952174,0.00005262711,0.0002071626,0.001016881,0.002314585,0.9939004,0.0002842955,0.00191964],"study_design_scores_gemma":[0.0000139546,0.00004326879,0.0002680293,0.00002205721,0.000009091653,0.0001271835,0.0001219152,0.009904977,0.003427585,0.980656,0.005391407,0.00001450684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4096166,0.001024846,0.5267032,0.002868142,0.0003806134,0.00009546506,0.0002941806,0.0007513757,0.05826558],"genre_scores_gemma":[0.9449395,0.0002281892,0.04924947,0.0002184468,0.00008820268,0.00007457839,0.000119203,0.00009397082,0.004988426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00553056,"threshold_uncertainty_score":0.01850158,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2997454689","doi":"10.1002/malq.202000005","title":"Turing invariant sets and the perfect set property","year":2020,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Countable set; Property (philosophy); Invariant (physics); Turing; Mathematics; Discrete mathematics; Equivalence (formal languages); Set (abstract data type); Computer science","authors":[{"name":"Clovis Hamel","is_ca":true},{"name":"Haim Horowitz","is_ca":true},{"name":"Saharon Shelah","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04685334213629911,"gpt":0.2649848492308628,"spread":0.2181315070945637,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001350986,0.0003605613,0.0005185849,0.001213469,0.001334611,0.003325475,0.0008566207,0.0007121388,0.007803031],"category_scores_gemma":[0.005833951,0.0003781904,0.0006605432,0.001052721,0.005730426,0.006165312,0.003009944,0.001265869,0.0005480588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001194532,"about_ca_system_score_gemma":0.0007281888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009101258,"about_ca_topic_score_gemma":0.0006905444,"domain_scores_codex":[0.9981298,0.0003907545,0.0001414888,0.0003824844,0.000661689,0.0002938151],"domain_scores_gemma":[0.9950937,0.002639845,0.0005326826,0.001148449,0.0003613353,0.0002240126],"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.00001825612,0.000008595694,0.0003515235,0.00002690961,0.000008005698,0.00006955435,0.000105163,0.001327229,0.0009614817,0.9927995,0.0006429828,0.003680794],"study_design_scores_gemma":[0.00000779563,0.00001660784,0.000531429,0.00001615643,0.00001559406,0.0001524291,0.0001032805,0.006602688,0.003266677,0.9842003,0.005076065,0.000010882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3972505,0.001413121,0.4172955,0.002726575,0.0003618311,0.00005895627,0.0007476174,0.0007982495,0.1793475],"genre_scores_gemma":[0.9868525,0.0001867836,0.009542278,0.0001350744,0.0001006302,0.00002164406,0.000123817,0.00003537343,0.003001981],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007803031,"threshold_uncertainty_score":0.02610373,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2060156489","doi":"10.1002/malq.200610011","title":"On the extender algebra being complete","year":2006,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Extender; Simple (philosophy); Mathematics; Algebra over a field; Pure mathematics; Chemistry; Philosophy; Organic chemistry; Epistemology","authors":[{"name":"Richard Ketchersid","is_ca":false},{"name":"Stuart Zoble","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03827155897042094,"gpt":0.2903049598246213,"spread":0.2520334008542004,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002407615,0.0003241261,0.0007044023,0.0008920438,0.001641692,0.002462178,0.0003668738,0.0006966637,0.006308473],"category_scores_gemma":[0.00310799,0.0002437099,0.0006476297,0.0005615456,0.003724626,0.007998885,0.002482613,0.001552801,0.0006657179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003905536,"about_ca_system_score_gemma":0.0004267927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000441308,"about_ca_topic_score_gemma":0.0003627835,"domain_scores_codex":[0.9988,0.0002952851,0.00009118232,0.000277955,0.000324603,0.0002108728],"domain_scores_gemma":[0.9972664,0.0009044735,0.0002328273,0.0004509572,0.0006779894,0.0004673974],"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.00004569202,0.00002197979,0.000270176,0.00002744248,0.000007604588,0.0001566257,0.0002806636,0.0003528162,0.001467069,0.9939659,0.000494283,0.002909702],"study_design_scores_gemma":[0.0000183824,0.0000610383,0.0006190214,0.0000172333,0.000009296436,0.0003029646,0.000256705,0.002069531,0.001655279,0.9864748,0.00849984,0.00001590519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.631819,0.001125293,0.1904383,0.001899992,0.0002902408,0.0001128092,0.0004533483,0.0003792124,0.1734818],"genre_scores_gemma":[0.9746516,0.0003337273,0.01288438,0.0002473951,0.0002291719,0.00004572523,0.0002682563,0.00003839856,0.01130128],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006308473,"threshold_uncertainty_score":0.02110392,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2980681923","doi":"10.1002/malq.201700049","title":"Degrees of categoricity of trees and the isomorphism problem","year":2019,"lang":"en","type":"article","venue":"Mathematical logic quarterly","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":"University of Waterloo","funders":"University of Waterloo","keywords":"Mathematics; Isomorphism (crystallography); Rank (graph theory); Degree (music); Mathematical proof; Tree (set theory); Limit (mathematics); Combinatorics; Discrete mathematics; Mathematical analysis","authors":[{"name":"Mohammad Assem Mahmoud","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01003208806179799,"gpt":0.2137732375917868,"spread":0.2037411495299888,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002818412,0.0002491886,0.0006032728,0.001517772,0.001315742,0.003189692,0.0007257277,0.000975725,0.003700352],"category_scores_gemma":[0.01089329,0.0003842038,0.0008147652,0.0009266365,0.00456247,0.007554134,0.004006661,0.002261402,0.000248312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001362383,"about_ca_system_score_gemma":0.0008200012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007582783,"about_ca_topic_score_gemma":0.0009148194,"domain_scores_codex":[0.9966869,0.001235898,0.0002471743,0.000564753,0.0007986861,0.0004667126],"domain_scores_gemma":[0.9801444,0.01361207,0.001229302,0.002104547,0.001502213,0.001407489],"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.00009046029,0.00005208508,0.004324345,0.00008790653,0.00002041594,0.000150353,0.001095134,0.005033402,0.003013836,0.9786736,0.0004710658,0.00698744],"study_design_scores_gemma":[0.00003748542,0.00008376761,0.002828601,0.000035708,0.00002842555,0.0003612291,0.000911259,0.01461934,0.004094847,0.9714472,0.005516284,0.00003597581],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8496991,0.0003479856,0.1277605,0.001854571,0.00004986075,0.00007067278,0.0002311645,0.0002262884,0.01975995],"genre_scores_gemma":[0.9910157,0.00006442815,0.006640701,0.00007234028,0.00003175282,0.00002857365,0.0001120941,0.00001737649,0.002017006],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003700352,"threshold_uncertainty_score":0.01490533,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4388933863","doi":"10.1002/malq.202300017","title":"A dichotomy for T$T$‐convex fields with a monomial group","year":2023,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"National Science Foundation","keywords":"Monomial; Mathematics; Regular polygon; Group (periodic table); Combinatorics; Pure mathematics; Geometry; Physics","authors":[{"name":"Elliot Kaplan","is_ca":true},{"name":"Christoph Kesting","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04565042150443725,"gpt":0.3262218439188264,"spread":0.2805714224143891,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001413417,0.0002493136,0.0004855618,0.001168615,0.001607893,0.002824092,0.0004676538,0.0007319312,0.005888818],"category_scores_gemma":[0.001967077,0.0001881991,0.000662572,0.0005267531,0.004674809,0.005743321,0.002693283,0.00239429,0.0004015626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002033187,"about_ca_system_score_gemma":0.0005067598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007018683,"about_ca_topic_score_gemma":0.0004349762,"domain_scores_codex":[0.9990945,0.0002023769,0.0000411628,0.0001689114,0.0002110336,0.0002819622],"domain_scores_gemma":[0.9987895,0.0005768455,0.0001405446,0.00009862938,0.0001385386,0.0002559362],"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.00004233698,0.00001862039,0.0003283549,0.00001528383,0.000003881139,0.0001111847,0.000180021,0.00042577,0.0009110195,0.9959013,0.0004406909,0.001621519],"study_design_scores_gemma":[0.00003930149,0.00004729222,0.0007970945,0.0000186119,0.000008698623,0.000176858,0.0003001798,0.005363508,0.001366491,0.9881715,0.003699421,0.00001105439],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8115791,0.0005704506,0.07061191,0.006971795,0.000150868,0.00004845512,0.0003424233,0.0001655214,0.1095595],"genre_scores_gemma":[0.9940196,0.00009837814,0.002626601,0.0002446171,0.00006765281,0.00002362179,0.00007931463,0.00001250785,0.002827784],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005888818,"threshold_uncertainty_score":0.01970005,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2024325951","doi":"10.1002/malq.200610049","title":"Local sentences and Mahlo cardinals","year":2007,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Equivalence (formal languages); Axiom; Regular cardinal; Sentence; Consistency (knowledge bases); Combinatorics; Integer (computer science); Order (exchange); Discrete mathematics; Type (biology); Pure mathematics; Computer science; Artificial intelligence; Geometry","authors":[{"name":"Olivier Finkel","is_ca":false},{"name":"Stevo Todorčević","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03542251275667117,"gpt":0.3315521679374453,"spread":0.2961296551807741,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001253399,0.0002630206,0.00026505,0.0009364862,0.001074719,0.001478218,0.0005571897,0.0004872955,0.003488067],"category_scores_gemma":[0.002718959,0.0002437238,0.0003022809,0.0004730165,0.003234113,0.004013902,0.001750829,0.001494752,0.0004040932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001036106,"about_ca_system_score_gemma":0.0003198933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003278317,"about_ca_topic_score_gemma":0.000489357,"domain_scores_codex":[0.9992311,0.0002498267,0.00005597848,0.0001529515,0.0002080805,0.0001020065],"domain_scores_gemma":[0.9970483,0.001447319,0.0004313955,0.0002909246,0.0004616639,0.0003203836],"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.00004742897,0.00001835372,0.0009034808,0.0000581301,0.000007920238,0.0001826916,0.0008529518,0.0003800408,0.003067066,0.9896067,0.0007852138,0.004089863],"study_design_scores_gemma":[0.00002943365,0.00007087528,0.002172367,0.00004683167,0.00002216363,0.0004120364,0.0007414972,0.005079641,0.003463357,0.9728741,0.01506144,0.00002624109],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6590915,0.001980966,0.1861115,0.003915071,0.0002356458,0.00006452078,0.0004583913,0.0006500574,0.1474923],"genre_scores_gemma":[0.9859756,0.0001372121,0.009206073,0.0002892374,0.0001192434,0.00003437493,0.000110292,0.00002072919,0.004107171],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003488067,"threshold_uncertainty_score":0.01166874,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4283221234","doi":"10.1002/malq.202100074","title":"κ‐Madness and definability","year":2022,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","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 Toronto","funders":"","keywords":"Uncountable set; Mathematics; Regular cardinal; Construct (python library); Pure mathematics; Discrete mathematics; Computer science","authors":[{"name":"Haim Horowitz","is_ca":true},{"name":"Saharon Shelah","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03805984157657304,"gpt":0.3132345562557084,"spread":0.2751747146791353,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001896771,0.0003605034,0.0006044674,0.001033111,0.002438301,0.004138154,0.001227518,0.001033389,0.005427839],"category_scores_gemma":[0.004716063,0.0004303017,0.000879537,0.0007000567,0.008088939,0.007736435,0.003189797,0.002894143,0.000340159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002864781,"about_ca_system_score_gemma":0.0009259886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002653198,"about_ca_topic_score_gemma":0.002414908,"domain_scores_codex":[0.9982014,0.0004453297,0.0001239751,0.0004976068,0.0004298776,0.0003016961],"domain_scores_gemma":[0.9955415,0.002029498,0.0004424824,0.0009439823,0.0005325282,0.0005100775],"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.00001860877,0.000010664,0.0003786513,0.00001715794,0.0000036346,0.00004116376,0.0002900145,0.0004288835,0.0003633497,0.9971047,0.0003275521,0.0010156],"study_design_scores_gemma":[0.00001872921,0.0000180958,0.0004087124,0.00002912641,0.00000933368,0.0001296524,0.0003541043,0.004336516,0.001017579,0.9854015,0.008263724,0.00001296541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5532327,0.001535068,0.2169746,0.00918843,0.0002697996,0.0001108296,0.0006833859,0.0007198341,0.2172853],"genre_scores_gemma":[0.9867291,0.0001224461,0.007644527,0.0002182697,0.00005736589,0.00003640731,0.0001220505,0.00002336467,0.005046394],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005427839,"threshold_uncertainty_score":0.02078551,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4385222867","doi":"10.1002/malq.202200044","title":"Topological duality for orthomodular lattices","year":2023,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","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 Alberta","funders":"","keywords":"Mathematics; Morphism; Topological space; Category of topological spaces; Pure mathematics; Class (philosophy); Duality (order theory); Discrete mathematics; Algebra over a field; Topological tensor product; Functional analysis","authors":[{"name":"Joseph McDonald","is_ca":true},{"name":"Katalin Bimbó","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04756827024346589,"gpt":0.3164779773228596,"spread":0.2689097070793938,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001145266,0.0002548453,0.0003134105,0.001130377,0.001069203,0.002124561,0.0004383789,0.0003566973,0.003016545],"category_scores_gemma":[0.001415011,0.0001586057,0.0004177721,0.0005071012,0.003146175,0.002976931,0.002226513,0.0009103839,0.0002621313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008618876,"about_ca_system_score_gemma":0.0005438915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007955487,"about_ca_topic_score_gemma":0.0008041821,"domain_scores_codex":[0.9988002,0.0004191952,0.00006426893,0.0001708736,0.0003706596,0.0001748095],"domain_scores_gemma":[0.999097,0.0002263681,0.0001473022,0.0001168309,0.00024013,0.0001723531],"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.00001783424,0.00001292079,0.0001474971,0.00001599453,0.000003458084,0.00006329238,0.0001605913,0.0005029301,0.001030269,0.9951509,0.0002065438,0.002687704],"study_design_scores_gemma":[0.00001904003,0.00004631754,0.0003830536,0.00002296931,0.000006538673,0.0002199747,0.0004412927,0.007407652,0.001869141,0.9715897,0.01797607,0.00001830762],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3969005,0.00186392,0.4977905,0.001387805,0.0005669821,0.0001085188,0.0003625727,0.0003754912,0.1006437],"genre_scores_gemma":[0.9576465,0.0002472115,0.03587724,0.0002052383,0.000101652,0.00007385157,0.0001330751,0.00002993013,0.005685393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003016545,"threshold_uncertainty_score":0.0100913,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3118314718","doi":"10.1002/malq.202100008","title":"Pathological examples of structures with o‐minimal open core","year":2021,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"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":"Unary operation; Predicate (mathematical logic); Core (optical fiber); Mathematics; Graph; Combinatorics; Discrete mathematics; Computer science; Programming language","authors":[{"name":"Alexi Block Gorman","is_ca":false},{"name":"Erin Caulfield","is_ca":true},{"name":"Philipp Hieronymi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.133466621430242,"gpt":0.3737410980388585,"spread":0.2402744766086165,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000487308,0.0003405475,0.000392027,0.00111801,0.00153295,0.001526715,0.0006476084,0.0008254766,0.003729369],"category_scores_gemma":[0.001552173,0.0003601392,0.000454951,0.0006997121,0.003734086,0.003245746,0.003046957,0.001481583,0.0003529059],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008564807,"about_ca_system_score_gemma":0.0003066556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005847675,"about_ca_topic_score_gemma":0.0008292474,"domain_scores_codex":[0.9995508,0.00009913804,0.00002291377,0.00009419982,0.0001208276,0.0001121441],"domain_scores_gemma":[0.9991372,0.0004046387,0.00009074276,0.0001322901,0.000102993,0.0001320837],"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.00009895072,0.00002075054,0.000736259,0.00004435588,0.000007935881,0.000872431,0.0009140911,0.001117518,0.004917117,0.9871672,0.0005705876,0.003532854],"study_design_scores_gemma":[0.00004836046,0.00003764593,0.00145127,0.0000395459,0.00002352024,0.0008445708,0.001140405,0.00834549,0.006571383,0.9708232,0.01064703,0.00002762769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7917651,0.000458151,0.1341218,0.001110527,0.00008428229,0.00006261824,0.0002207713,0.0004985983,0.07167805],"genre_scores_gemma":[0.9802235,0.00009174931,0.0154086,0.00009551215,0.00002088533,0.00003357781,0.0001248296,0.00005283291,0.003948396],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003729369,"threshold_uncertainty_score":0.01247597,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1849716023","doi":"10.1002/malq.201400110","title":"Computable axiomatizability of elementary classes","year":2016,"lang":"en","type":"article","venue":"Mathematical logic quarterly","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":"McMaster University","funders":"","keywords":"Ultraproduct; Class (philosophy); Algebra over a field; New class; Calculus (dental)","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.01874614663021237,"gpt":0.2547314686027202,"spread":0.2359853219725078,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001713336,0.000390068,0.0007073015,0.0008477718,0.001763576,0.003034785,0.001567786,0.0007628011,0.006152479],"category_scores_gemma":[0.01010591,0.0004995269,0.001524462,0.0007097336,0.004920056,0.009211672,0.00376514,0.003943593,0.0004489327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002257211,"about_ca_system_score_gemma":0.001258938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001640888,"about_ca_topic_score_gemma":0.002128229,"domain_scores_codex":[0.9976025,0.0006663986,0.0001360903,0.0006785203,0.0006218044,0.0002947114],"domain_scores_gemma":[0.9892042,0.007680217,0.0003103627,0.001698035,0.0007651203,0.0003420807],"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.00002644909,0.00001758777,0.0003858746,0.00003266304,0.000007224313,0.00004192569,0.0001868064,0.001028616,0.00108054,0.9930152,0.0005165232,0.003660507],"study_design_scores_gemma":[0.00001984918,0.00001457631,0.0004921196,0.00001608617,0.0000117726,0.00006611797,0.00007696666,0.007318628,0.002305097,0.9837299,0.005936793,0.00001208972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4721279,0.0006994056,0.3802061,0.004629188,0.0002646028,0.0001440097,0.0005044634,0.0008935911,0.1405307],"genre_scores_gemma":[0.9595822,0.0001754808,0.03202128,0.0003417835,0.0001062097,0.0001032882,0.0003711277,0.00009316745,0.007205608],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006152479,"threshold_uncertainty_score":0.02058208,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2193617815","doi":"10.1002/malq.201500067","title":"The length of an intersection","year":2017,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","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 Calgary","funders":"","keywords":"Combinatorics; Mathematics; Partially ordered set; Infimum and supremum; Cardinality (data modeling); Intersection (aeronautics); Discrete mathematics","authors":[{"name":"Christian Delhommé","is_ca":false},{"name":"Maurice Pouzet","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02863614034928703,"gpt":0.2971078305421881,"spread":0.2684716901929011,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001931731,0.0004475897,0.0007482501,0.002614344,0.002202477,0.005922554,0.0009994135,0.0007614575,0.007896421],"category_scores_gemma":[0.006415926,0.0007694891,0.0006798989,0.001423846,0.004871297,0.01070365,0.003431699,0.002134013,0.0009078922],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001845479,"about_ca_system_score_gemma":0.0008558309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009018505,"about_ca_topic_score_gemma":0.0008469227,"domain_scores_codex":[0.9968089,0.000656747,0.0002954777,0.0007496892,0.0009615722,0.0005275075],"domain_scores_gemma":[0.9903741,0.004031553,0.001565667,0.0009859109,0.001620293,0.001422575],"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.000298454,0.00006693135,0.004756351,0.00009453364,0.00003762222,0.0002234354,0.001336762,0.002649406,0.005417279,0.9672453,0.001366343,0.01650766],"study_design_scores_gemma":[0.00002166509,0.0001562689,0.002238807,0.00007907941,0.00004475351,0.0003762133,0.0008279535,0.01034023,0.008796846,0.9649307,0.01212005,0.0000674476],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8004299,0.001086658,0.1396377,0.001586201,0.0001805004,0.00005192269,0.0009906888,0.0005173263,0.05551895],"genre_scores_gemma":[0.9740303,0.0002578209,0.0185379,0.0001206878,0.0001809713,0.00005326099,0.0005139898,0.0001309571,0.006174084],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007896421,"threshold_uncertainty_score":0.02641618,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4385224119","doi":"10.1002/malq.202200059","title":"Avoiding Medvedev reductions inside a linear order","year":2023,"lang":"en","type":"article","venue":"Mathematical logic quarterly","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":"Prevention of Organ Failure","funders":"","keywords":"Mathematics; Lift (data mining); Order (exchange); Interval (graph theory); Construct (python library); Discrete mathematics; Combinatorics; Pure mathematics; Computer science","authors":[{"name":"Noah Schweber","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04155128374394942,"gpt":0.290644978695253,"spread":0.2490936949513036,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001183546,0.0004034019,0.000573676,0.001034019,0.001550106,0.00219166,0.0009131822,0.0004742599,0.003603375],"category_scores_gemma":[0.003135183,0.0003977347,0.001173593,0.0007282146,0.003287663,0.0033032,0.004463235,0.003362753,0.0006330648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001726596,"about_ca_system_score_gemma":0.0007333087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001391282,"about_ca_topic_score_gemma":0.001534613,"domain_scores_codex":[0.9984549,0.0003431624,0.00009873448,0.0003076845,0.0005614409,0.0002339916],"domain_scores_gemma":[0.9981029,0.0008005828,0.0001145398,0.0005484209,0.0002892831,0.0001442596],"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.00006917753,0.00002973502,0.0005052772,0.00005825611,0.00001310226,0.0001306403,0.0006262537,0.003005089,0.001738993,0.9830444,0.000663053,0.01011596],"study_design_scores_gemma":[0.00002736992,0.00006980154,0.0004176598,0.00004248452,0.00002147253,0.0001650726,0.0003946451,0.0117309,0.007837269,0.960986,0.01828382,0.0000236564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3424093,0.0008391784,0.5363487,0.001382759,0.0001970384,0.0001177694,0.0003432494,0.001122343,0.1172398],"genre_scores_gemma":[0.9313222,0.0001766459,0.0525828,0.000249552,0.00006950497,0.00006440881,0.0002870658,0.0001605952,0.01508711],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003603375,"threshold_uncertainty_score":0.01252741,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4402522828","doi":"10.1002/malq.202400030","title":"Effectiveness of Walker's cancellation theorem","year":2024,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Power Line Communications and Noise","field":"Engineering","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; Mathematical economics; Calculus (dental); Discrete mathematics; Mathematics education; Medicine","authors":[{"name":"Layth Al‐Hellawi","is_ca":true},{"name":"Rachael Alvir","is_ca":true},{"name":"Barbara F. Csima","is_ca":true},{"name":"Xinyue Xie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01013767552384534,"gpt":0.2465455377087764,"spread":0.2364078621849311,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008067099,0.000552456,0.001410764,0.001499829,0.002185144,0.003622339,0.00202815,0.001405357,0.01275614],"category_scores_gemma":[0.0372719,0.0004252728,0.001408952,0.0009572442,0.003713694,0.007727377,0.004230499,0.002440405,0.001296267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00209647,"about_ca_system_score_gemma":0.002180498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001206237,"about_ca_topic_score_gemma":0.0006558338,"domain_scores_codex":[0.9879609,0.003931806,0.000733129,0.001270282,0.005049042,0.001054802],"domain_scores_gemma":[0.9536759,0.03570875,0.00144967,0.004535268,0.003443966,0.001186539],"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.0002781677,0.00007143242,0.001005976,0.0001122792,0.00003005188,0.0001253696,0.0001252801,0.008763976,0.002060293,0.9692045,0.00229676,0.0159259],"study_design_scores_gemma":[0.00008579459,0.0001190899,0.00035759,0.00002659141,0.00002827048,0.0001898404,0.00005556298,0.07819877,0.006887031,0.9073045,0.006708615,0.00003840998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.2635111,0.001071638,0.4765982,0.004751976,0.0005330435,0.0004043464,0.0009140653,0.001573036,0.2506427],"genre_scores_gemma":[0.9592896,0.0002849655,0.02744118,0.0005626873,0.0002508268,0.0001720696,0.0003760264,0.0001065214,0.01151621],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01275614,"threshold_uncertainty_score":0.04267353,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2947754331","doi":"10.1002/malq.201900041","title":"Concrete barriers to quantifier elimination in finite dimensional C*‐algebras","year":2019,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Operator Algebra Research","field":"Mathematics","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 Victoria","funders":"University of Victoria","keywords":"Quantifier elimination; Predicate (mathematical logic); Separable space; Mathematics; Quantifier (linguistics); Discrete mathematics; Pure mathematics; Algebra over a field; Combinatorics; Computer science; Programming language; Artificial intelligence; Mathematical analysis","authors":[{"name":"Christopher J. Eagle","is_ca":true},{"name":"Todd Schmid","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05546138578556566,"gpt":0.3568533353060465,"spread":0.3013919495204808,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001695398,0.0003173487,0.0005477929,0.001048529,0.001623602,0.003325993,0.001053471,0.001010666,0.003380944],"category_scores_gemma":[0.004567948,0.000430514,0.0006862418,0.0008233328,0.003977318,0.007056358,0.002139654,0.002311591,0.0003610119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001876667,"about_ca_system_score_gemma":0.001176226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001724225,"about_ca_topic_score_gemma":0.001300835,"domain_scores_codex":[0.998741,0.0002908413,0.00007719702,0.0001719328,0.0004805665,0.000238585],"domain_scores_gemma":[0.9976099,0.001272317,0.0002021247,0.0003026859,0.0004184573,0.0001944497],"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.00001448483,0.00001027363,0.00007959702,0.00001707875,0.000003730187,0.00004180459,0.0001426016,0.0007140153,0.0007401933,0.9970461,0.000214439,0.0009757892],"study_design_scores_gemma":[0.00001876063,0.0000125014,0.0001423248,0.00001629557,0.00000935676,0.00007603565,0.0001073483,0.01101651,0.001771137,0.9838648,0.002949252,0.00001563613],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6023037,0.001630832,0.3229401,0.003018484,0.0001765428,0.00006064287,0.0002363125,0.0007402381,0.06889302],"genre_scores_gemma":[0.974399,0.0002501694,0.02141124,0.0002070035,0.00006142772,0.00004834059,0.0000979796,0.00004297997,0.003481836],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003380944,"threshold_uncertainty_score":0.01361626,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2166403219","doi":"10.1002/malq.200310061","title":"On existence of complete sets for bounded reducibilities","year":2003,"lang":"en","type":"article","venue":"Mathematical logic quarterly","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 Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; University of Alberta","keywords":"Recursively enumerable language; Oracle; Mathematics; Hierarchy; Set (abstract data type); Bounded function; Combinatorics; Discrete mathematics; Computer science","authors":[{"name":"Valeriy K. Bulitko","is_ca":true},{"name":"Vadim Bulitko","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06315396646092529,"gpt":0.2998707246096498,"spread":0.2367167581487245,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003111331,0.0003547311,0.0009630861,0.002759699,0.00168875,0.003934551,0.001091391,0.001319989,0.004754216],"category_scores_gemma":[0.02180899,0.0006981878,0.001060828,0.001362977,0.00439534,0.006742527,0.00295151,0.002490527,0.0002673765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001704804,"about_ca_system_score_gemma":0.0006380876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008366729,"about_ca_topic_score_gemma":0.0007507477,"domain_scores_codex":[0.9970415,0.0005599686,0.0001950523,0.0005735164,0.001090304,0.0005396903],"domain_scores_gemma":[0.972936,0.02127243,0.001376964,0.001706911,0.001608488,0.001099157],"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.00008235635,0.00003997664,0.001474201,0.00009155572,0.00001742022,0.0001311061,0.0005901325,0.00362611,0.001190513,0.9837843,0.0006088433,0.008363465],"study_design_scores_gemma":[0.00003474861,0.00005875048,0.001401377,0.00005694183,0.00002231899,0.0003657848,0.0003442273,0.01657767,0.003462666,0.9743148,0.003322139,0.00003860295],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7841934,0.001548077,0.1571249,0.001471055,0.00005186811,0.0001515521,0.001143257,0.0004721585,0.05384367],"genre_scores_gemma":[0.9769498,0.0002787623,0.01983989,0.0001303837,0.00006346785,0.00008393688,0.0004696094,0.00004539054,0.002138657],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004754216,"threshold_uncertainty_score":0.01645452,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2777179981","doi":"10.1002/malq.201500022","title":"Supersimple structures with a dense independent subset","year":2017,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"Departamento Administrativo de Ciencia, Tecnología e Innovación (COLCIENCIAS)","keywords":"Triviality; Omega; Modulo; Predicate (mathematical logic); Mathematics; Rank (graph theory); Combinatorics; Type (biology); Discrete mathematics; Pure mathematics; Physics; Computer science; Quantum mechanics","authors":[{"name":"Alexander Berenstein","is_ca":false},{"name":"Juan Felipe Carmona","is_ca":false},{"name":"Evgueni Vassiliev","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05767260280052555,"gpt":0.3393782905255882,"spread":0.2817056877250627,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008799176,0.0003444449,0.0004662341,0.001255902,0.001110595,0.00200429,0.000731905,0.0005843922,0.004887915],"category_scores_gemma":[0.00121015,0.0003130638,0.000860368,0.0009216953,0.004479073,0.003748879,0.002461216,0.0016123,0.0003907318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001509416,"about_ca_system_score_gemma":0.0003749895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001061888,"about_ca_topic_score_gemma":0.001295005,"domain_scores_codex":[0.9990885,0.0001983488,0.00004615856,0.0001828472,0.0003137982,0.000170255],"domain_scores_gemma":[0.9989362,0.0003131672,0.0001786222,0.0002462075,0.0001733908,0.0001523477],"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.00001944047,0.000007902735,0.00023888,0.000008977563,0.000003536216,0.0001001252,0.0001744265,0.0006117518,0.0008782944,0.9968016,0.0001373106,0.001017709],"study_design_scores_gemma":[0.00001969953,0.00005071646,0.0007597296,0.00001908262,0.00001747143,0.0003300386,0.0004334814,0.01115519,0.002491001,0.9789718,0.005734516,0.0000171222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.721231,0.0003269792,0.1624032,0.0008940257,0.00008748376,0.00005086359,0.000278118,0.0003030481,0.1144251],"genre_scores_gemma":[0.9858593,0.00005336815,0.00937914,0.00009898951,0.00004688275,0.0000186342,0.00009789384,0.0000290159,0.004416785],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004887915,"threshold_uncertainty_score":0.0163517,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}