{"meta":{"query_hash":"a893618bd9ea","filters":{"venue":"The Review of Symbolic Logic"},"cohort_total":18,"direct_labels_cover":0,"predictions_cover":18,"exported":18,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/a893618bd9ea","api":"https://metacan.xera.ac/api/v1/cohort?venue=The+Review+of+Symbolic+Logic"},"results":[{"id":"W2011932408","doi":"10.1017/s1755020308080131","title":"MATHEMATICAL METHODS IN PHILOSOPHY EDITORS’ INTRODUCTION","year":2008,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary; University of Toronto","funders":"","keywords":"Philosophy of mathematics; Epistemology; Philosophy of logic; Philosophy of computer science; Mathematical practice; Mathematical logic; Dedekind cut; Philosophical logic; Foundations of mathematics; Philosophy; Philosophy of language; Modal logic; Computer science; Mathematics; Modal; Western philosophy; Pure mathematics; Algorithm; Metaphysics","score_opus":0.04543032424849617,"score_gpt":0.3364406164002181,"score_spread":0.2910102921517219,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2011932408","genre_codex":"editorial","genre_gemma":"editorial","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"editorial","genre_consensus":"editorial","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0011331852,0.26490408,0.04769908,0.088424966,0.45694035,0.00015946128,0.0014112142,0.0011990151,0.13812867],"genre_scores_gemma":[0.03242725,0.17522164,0.0412405,0.039265063,0.49477854,0.0004073647,0.001394481,0.0015124815,0.21375264],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.995385,0.0014663441,0.00037009316,0.00071060564,0.0018531572,0.0002148955],"domain_scores_gemma":[0.98797566,0.0077898456,0.0005855892,0.0008840843,0.0022782849,0.00048656037],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0046282723,0.0016696325,0.0014947804,0.003897734,0.0011075911,0.0043532853,0.0019920669,0.002524543,0.049065758],"category_scores_gemma":[0.015714312,0.00069391786,0.0016560537,0.0026228663,0.003754149,0.0048023337,0.002176896,0.0071404492,0.01600413],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000029864923,0.00003250487,0.00022814973,0.00096601876,0.000056054865,0.000113035414,0.00026804325,0.00041739846,0.00025669675,0.14601128,0.7781603,0.07346079],"study_design_scores_gemma":[0.000008499254,0.000021658943,0.0002962812,0.00027493123,0.000012282036,0.00018323382,0.00003820824,0.0002640664,0.00006832076,0.058673363,0.9401456,0.000013505127],"about_ca_topic_score_codex":0.00064094097,"about_ca_topic_score_gemma":0.0008627726,"teacher_disagreement_score":0.049065758,"about_ca_system_score_codex":0.0021272292,"about_ca_system_score_gemma":0.0017851483,"threshold_uncertainty_score":0.1641413},"labels":[],"label_agreement":null},{"id":"W2024618947","doi":"10.1017/s1755020309090145","title":"RELEVANCE LOGICS AND RELATION ALGEBRAS","year":2009,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Soundness; Relevance (law); Relation (database); Mathematics; Completeness (order theory); Semantics (computer science); Fragment (logic); Algebra over a field; Discrete mathematics; Computer science; Pure mathematics; Algorithm; Programming language; Data mining","score_opus":0.018160400362870248,"score_gpt":0.26656634320640077,"score_spread":0.24840594284353051,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2024618947","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.03179862,0.035740178,0.7722006,0.010069539,0.0006256849,0.00021952967,0.0005492109,0.0006996601,0.14809698],"genre_scores_gemma":[0.7287582,0.015851995,0.22514158,0.0028757486,0.0019352828,0.00033184525,0.0007579081,0.00014219162,0.024205338],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99543166,0.0016539498,0.00035740327,0.0008869696,0.0014099262,0.00026001787],"domain_scores_gemma":[0.9966449,0.0020155348,0.00026194163,0.00048158132,0.0004771756,0.00011882202],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0038670904,0.000505274,0.00073959515,0.0023582084,0.0018327989,0.0053924853,0.0011532656,0.0015670373,0.0039669136],"category_scores_gemma":[0.0069971895,0.00050139456,0.0011613745,0.0024211647,0.010092755,0.0117959995,0.0022360245,0.003068562,0.0010164585],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000003352175,0.0000031963261,0.00002794877,0.000036134094,0.000004455894,0.000026916443,0.00011939243,0.00047654015,0.00012827617,0.995014,0.00033687332,0.003822874],"study_design_scores_gemma":[0.0000033644328,0.0000025640259,0.000022244109,0.000013778488,0.0000027706812,0.000030580573,0.00002733219,0.000989844,0.00010337129,0.9922766,0.006523695,0.0000037418238],"about_ca_topic_score_codex":0.0037881178,"about_ca_topic_score_gemma":0.0022247306,"teacher_disagreement_score":0.0053924853,"about_ca_system_score_codex":0.003300516,"about_ca_system_score_gemma":0.0021922614,"threshold_uncertainty_score":0.02394706},"labels":[],"label_agreement":null},{"id":"W2142696533","doi":"10.1017/s1755020313000087","title":"STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE","year":2013,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Completeness (order theory); Real line; Metric space; Mathematics; Space (punctuation); Metric (unit); Pure mathematics; Discrete mathematics; Mathematical analysis; Computer science","score_opus":0.033617575872152174,"score_gpt":0.2871383618909682,"score_spread":0.253520786018816,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2142696533","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.371387,0.0038456358,0.53801686,0.0065204296,0.00011773285,0.00015361761,0.0010736583,0.00039008647,0.07849508],"genre_scores_gemma":[0.9399592,0.0014115511,0.05000726,0.00042653613,0.00009519418,0.00011877936,0.0010682131,0.00006031305,0.0068529192],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9959383,0.0014962135,0.00045817433,0.00067278836,0.0011132528,0.00032122183],"domain_scores_gemma":[0.99293,0.003341069,0.0004695507,0.00089599856,0.0019745873,0.00038878183],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0038480107,0.00051603763,0.0010401402,0.0018182555,0.0016126496,0.0035288874,0.0012480363,0.0012140197,0.003987541],"category_scores_gemma":[0.0056726215,0.00047659106,0.0017326593,0.0019585895,0.0061235474,0.0076525845,0.00430153,0.0025386612,0.0005494671],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004337752,0.00001557085,0.00061943237,0.00017788056,0.000047921814,0.00009283748,0.00048131103,0.0028033862,0.0009027436,0.98751897,0.0008610163,0.006435604],"study_design_scores_gemma":[0.000018699033,0.000041316827,0.0006383054,0.000043314034,0.00002208108,0.00012010136,0.00034549844,0.010423781,0.0020849588,0.97644717,0.009793287,0.000021404574],"about_ca_topic_score_codex":0.004079628,"about_ca_topic_score_gemma":0.0028039974,"teacher_disagreement_score":0.004079628,"about_ca_system_score_codex":0.001998633,"about_ca_system_score_gemma":0.0021226862,"threshold_uncertainty_score":0.020350516},"labels":[],"label_agreement":null},{"id":"W2161181571","doi":"10.1017/s175502031300018x","title":"STRUCTURAL EQUATIONS AND BEYOND","year":2013,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Counterfactual thinking; Causation; Element (criminal law); Modalities; Causal model; Similarity (geometry); Counterfactual conditional; Ranking (information retrieval); Modality (human–computer interaction); Normality; Mathematical economics; Mathematics; Computer science; Epistemology; Artificial intelligence; Philosophy; Image (mathematics); Statistics; Sociology; Law","score_opus":0.03580201131816115,"score_gpt":0.2812095219799628,"score_spread":0.24540751066180164,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2161181571","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.01461073,0.020241711,0.7672927,0.04582114,0.00062641467,0.00008547865,0.00093878905,0.00039113095,0.1499919],"genre_scores_gemma":[0.8089941,0.01936695,0.14096794,0.0062411157,0.0017046588,0.00035789603,0.00092674774,0.00020218398,0.021238403],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9967822,0.0017254413,0.00014654051,0.000450559,0.00074075995,0.00015449862],"domain_scores_gemma":[0.99540025,0.0028555798,0.00040857584,0.00057703385,0.0006522639,0.00010638302],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0042490535,0.0007328622,0.00096300815,0.0024882015,0.0011637881,0.0029488504,0.0017867107,0.0025683714,0.008753978],"category_scores_gemma":[0.008573662,0.00046643108,0.0013251959,0.0022416806,0.009967968,0.007841407,0.0020983845,0.004119709,0.0009344972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[5.2846895e-7,7.437456e-7,0.000016648946,0.000011841096,0.0000032251241,0.0000038728663,0.00003888768,0.0005162874,0.000008183266,0.99829036,0.00027844522,0.0008308928],"study_design_scores_gemma":[9.997292e-7,5.3263346e-7,0.000011570765,0.000010485314,0.000001107858,0.0000037428138,0.0000060927086,0.0009368706,0.000005000625,0.99691236,0.002110283,0.0000010504154],"about_ca_topic_score_codex":0.004882569,"about_ca_topic_score_gemma":0.0038051067,"teacher_disagreement_score":0.008753978,"about_ca_system_score_codex":0.004381608,"about_ca_system_score_gemma":0.0020596432,"threshold_uncertainty_score":0},"labels":[],"label_agreement":null},{"id":"W2171830434","doi":"10.1017/s1755020309990311","title":"PASCH’S PHILOSOPHY OF MATHEMATICS","year":2010,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":35,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Empiricism; Epistemology; Philosophy of mathematics; Philosophy; Mathematics; Calculus (dental); Medicine","score_opus":0.058508983103409254,"score_gpt":0.3173999444220414,"score_spread":0.25889096131863215,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2171830434","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.011973422,0.072380915,0.05455721,0.08428281,0.0033978734,0.00007505781,0.00027360898,0.0002366255,0.77282244],"genre_scores_gemma":[0.6839348,0.057261728,0.04458595,0.021744547,0.012921915,0.0003941835,0.00022649032,0.00020971494,0.17872068],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99660504,0.0015859248,0.00008618335,0.0005179174,0.0010194553,0.0001854738],"domain_scores_gemma":[0.9989213,0.0005722642,0.00009928768,0.000108026834,0.00022844366,0.0000706963],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0019065684,0.00047603398,0.00045896324,0.0015208393,0.0026739482,0.0035302876,0.0007231037,0.0016625965,0.0030692066],"category_scores_gemma":[0.003584936,0.00029965548,0.00039982286,0.0011008652,0.011555775,0.0038170407,0.0018524536,0.0030748348,0.0015666716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000037385496,0.000003174494,0.000036380956,0.000024947241,0.000001921317,0.000018134955,0.00038361538,0.000089174966,0.000037061196,0.9859679,0.007062816,0.006371182],"study_design_scores_gemma":[0.0000065262816,0.00001553328,0.00020786132,0.000053583608,0.0000028793288,0.00013301348,0.00010956981,0.00043882942,0.00014647636,0.6200947,0.37878075,0.0000103000475],"about_ca_topic_score_codex":0.0029429959,"about_ca_topic_score_gemma":0.0016771475,"teacher_disagreement_score":0.0041225627,"about_ca_system_score_codex":0.0041225627,"about_ca_system_score_gemma":0.0030351516,"threshold_uncertainty_score":0.029911458},"labels":[],"label_agreement":null},{"id":"W2331073395","doi":"10.1017/s1755020314000021","title":"QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE","year":2014,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Modal logic; Mathematics; Multimodal logic; Linear subspace; Normal modal logic; Class (philosophy); Real line; Line (geometry); Topological space; S5; Dynamic logic (digital electronics); Topology (electrical circuits); Modal; Pure mathematics; Discrete mathematics; Computer science; Theoretical computer science; Artificial intelligence; Combinatorics; Physics; Description logic","score_opus":0.04627299118960957,"score_gpt":0.28825335169868405,"score_spread":0.24198036050907448,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2331073395","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.1628334,0.017586017,0.60586363,0.010943096,0.0003190897,0.00013216842,0.0011166679,0.00060204737,0.200604],"genre_scores_gemma":[0.9486667,0.0043155374,0.037261624,0.00076386833,0.00029596663,0.00008374891,0.0004829758,0.00004902289,0.008080447],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9975763,0.0010986599,0.00015437578,0.00030091574,0.00070392666,0.0001658586],"domain_scores_gemma":[0.99805295,0.00086089113,0.00018832978,0.00019037501,0.00061791134,0.00008952564],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0023272233,0.00048925745,0.0007555309,0.0022063472,0.00088501186,0.003965672,0.0008709054,0.0008149403,0.0034485331],"category_scores_gemma":[0.0028314,0.0003103713,0.00086160476,0.002568391,0.0068035508,0.006281205,0.0018181249,0.0020411226,0.00051986275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000011026618,0.0000034592651,0.00003898985,0.00004376991,0.000009042904,0.000032646247,0.00009571713,0.0014354114,0.0002030636,0.9952402,0.00042682246,0.002459894],"study_design_scores_gemma":[0.000012303262,0.0000071150016,0.00008573278,0.00003405343,0.000007427827,0.000024643618,0.00007354265,0.0055722576,0.00038409492,0.9865029,0.007287444,0.000008396051],"about_ca_topic_score_codex":0.0043575843,"about_ca_topic_score_gemma":0.00249081,"teacher_disagreement_score":0.0043575843,"about_ca_system_score_codex":0.0027464374,"about_ca_system_score_gemma":0.0013009333,"threshold_uncertainty_score":0.019926846},"labels":[],"label_agreement":null},{"id":"W2331774924","doi":"10.1017/s1755020312000147","title":"CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FOR<i>ABSTRACT</i>MATHEMATICS","year":2012,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":12,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Argument (complex analysis); Context (archaeology); Categorical variable; Epistemology; Mathematics; Philosophy; Biology; Statistics","score_opus":0.15164102425893064,"score_gpt":0.3798600361578378,"score_spread":0.22821901189890717,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2331774924","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.015784942,0.22408089,0.33564916,0.2011124,0.007139733,0.0000454936,0.00040554637,0.0005903504,0.21519157],"genre_scores_gemma":[0.78208,0.08731122,0.08033442,0.016491367,0.009798236,0.00018623234,0.00048773733,0.00029318334,0.023017634],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99772006,0.001268352,0.00012353445,0.0002013968,0.0005188421,0.00016781547],"domain_scores_gemma":[0.9933606,0.0043253643,0.000351581,0.0008884953,0.00075028016,0.00032366204],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005263683,0.00038102863,0.0008036221,0.0031198037,0.0015398345,0.006053036,0.0015368413,0.002928551,0.008407911],"category_scores_gemma":[0.007505983,0.00040356116,0.00080033945,0.0017910304,0.014902806,0.013301971,0.0024924728,0.0061932807,0.001923038],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000022564898,0.0000015745583,0.000023574055,0.00003721396,0.0000021204996,0.0000069905095,0.00005650141,0.000091312,0.000029510542,0.9954892,0.0017326826,0.0025271126],"study_design_scores_gemma":[0.0000023672385,0.000003125488,0.00004439502,0.00006968895,0.0000013104113,0.000014016967,0.00004784839,0.0002701057,0.00003215794,0.9783085,0.021203175,0.0000033080782],"about_ca_topic_score_codex":0.0016693098,"about_ca_topic_score_gemma":0.001568197,"teacher_disagreement_score":0.008407911,"about_ca_system_score_codex":0.0039345156,"about_ca_system_score_gemma":0.0026069852,"threshold_uncertainty_score":0.028547049},"labels":[],"label_agreement":null},{"id":"W2483635500","doi":"10.1017/s1755020316000204","title":"ADDENDA ET CORRIGENDA TO “THE ARITHMETIC OF THE EVEN AND THE ODD”","year":2016,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Arithmetic; Irrational number; Mathematics; Integer (computer science); Axiom; Square root; Square (algebra); Arithmetic function; Discrete mathematics; Computer science; Geometry","score_opus":0.048611727877596204,"score_gpt":0.31716237459320207,"score_spread":0.26855064671560586,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2483635500","genre_codex":"editorial","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0037470562,0.11481076,0.018431064,0.25533408,0.5088911,0.000025094052,0.00035777205,0.00060273736,0.09780028],"genre_scores_gemma":[0.21516772,0.10810277,0.015581904,0.11253662,0.3728294,0.00013144748,0.0005378479,0.001220121,0.17389224],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9953093,0.0018738814,0.00027431903,0.0008358518,0.0013895695,0.0003171616],"domain_scores_gemma":[0.989778,0.004634041,0.00058781897,0.001177847,0.003532,0.00029023597],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0039641657,0.00084309734,0.0008143216,0.0022242756,0.0018777774,0.00476668,0.0015532492,0.0025293145,0.012219505],"category_scores_gemma":[0.023555538,0.0003764365,0.00074824435,0.0013825702,0.009839881,0.0051499545,0.0025695001,0.006428566,0.005231481],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000077007266,0.000013397563,0.00026839293,0.0006201511,0.000033390494,0.00022776701,0.0006362091,0.00033610154,0.0002786736,0.50989264,0.4441117,0.043504577],"study_design_scores_gemma":[0.000010282654,0.000013531577,0.00017452337,0.00029502952,0.000018675304,0.00016762345,0.00011293658,0.00022760336,0.00033356893,0.051927242,0.9467016,0.000017498991],"about_ca_topic_score_codex":0.0051596845,"about_ca_topic_score_gemma":0.004446912,"teacher_disagreement_score":0.012219505,"about_ca_system_score_codex":0.0037578908,"about_ca_system_score_gemma":0.0023652024,"threshold_uncertainty_score":0.040878356},"labels":[],"label_agreement":null},{"id":"W2893109491","doi":"10.1017/s1755020318000229","title":"COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS","year":2018,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Propositional variable; Axiom; Intermediate logic; Intuitionistic logic; Well-formed formula; Modal logic; Propositional calculus; Mathematics; S5; Autoepistemic logic; Zeroth-order logic; Semantics (computer science); Discrete mathematics; Dynamic logic (digital electronics); T-norm fuzzy logics; Normal modal logic; Modal; Multimodal logic; Computer science; Theoretical computer science; Description logic; Artificial intelligence; Programming language; Fuzzy logic","score_opus":0.025659756564900844,"score_gpt":0.2890374436040479,"score_spread":0.26337768703914705,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2893109491","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.34001234,0.010431281,0.5734304,0.0067580333,0.00041901178,0.00013991649,0.0009550166,0.0010259383,0.06682812],"genre_scores_gemma":[0.9353204,0.0021459027,0.055779874,0.00084512593,0.00019711517,0.00010822033,0.00077383156,0.00007084407,0.004758667],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99586797,0.0015898214,0.00031673434,0.00059844396,0.0012374459,0.00038951632],"domain_scores_gemma":[0.99363834,0.0036621739,0.0005339737,0.00092513487,0.0010149598,0.00022539233],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004844591,0.0006150429,0.0011343029,0.0023088765,0.001744272,0.005267896,0.0018976108,0.0017913977,0.00294228],"category_scores_gemma":[0.0060305805,0.00065555604,0.0018260378,0.002201777,0.009074208,0.00900379,0.004286052,0.0028026483,0.00042556273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004942824,0.000015743422,0.00025592963,0.0001753045,0.00005128883,0.00008060536,0.0003168143,0.0030914536,0.0005863044,0.98507303,0.00081769296,0.009486508],"study_design_scores_gemma":[0.000025801934,0.000019077113,0.00022540275,0.000032137246,0.000021442143,0.00006494305,0.00012715632,0.007591591,0.0011124171,0.98559225,0.005169307,0.000018551216],"about_ca_topic_score_codex":0.0057442794,"about_ca_topic_score_gemma":0.0031407839,"teacher_disagreement_score":0.0057442794,"about_ca_system_score_codex":0.0026528174,"about_ca_system_score_gemma":0.003020833,"threshold_uncertainty_score":0.025620937},"labels":[],"label_agreement":null},{"id":"W2899830276","doi":"10.1017/s1755020317000302","title":"TWO SYLLOGISMS IN THE<i>MOZI</i>: CHINESE LOGIC AND LANGUAGE","year":2018,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Syntax, Semantics, Linguistic Variation","field":"Arts and Humanities","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Plural; Syllogism; Argument (complex analysis); Linguistics; Ambiguity; Distributive property; Philosophy; Mohism; Predicate (mathematical logic); Epistemology; Mathematics; Computer science; Pure mathematics","score_opus":0.031904687238672985,"score_gpt":0.3020528265774806,"score_spread":0.27014813933880766,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2899830276","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.4939893,0.01475975,0.04451772,0.02359499,0.00033399698,0.000080382495,0.00018657418,0.00014585486,0.42239133],"genre_scores_gemma":[0.99401337,0.0008210653,0.00153742,0.00027329405,0.00004885316,0.000014312635,0.00001968943,0.000010578203,0.0032614686],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9993774,0.0002870669,0.000030359703,0.00007960742,0.00015365351,0.00007185583],"domain_scores_gemma":[0.9994029,0.00034048798,0.00008134188,0.00004117322,0.0001033348,0.000030754087],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009856406,0.00024137429,0.00028579927,0.0014819977,0.0017971984,0.0032182885,0.0004488225,0.0006105411,0.001883523],"category_scores_gemma":[0.0011223482,0.00016482951,0.00027461143,0.0019714509,0.012350748,0.002219715,0.0009257531,0.0011215049,0.00015645426],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000010837296,0.0000027574881,0.00045553374,0.0000657377,0.000005087488,0.00011969254,0.0034575344,0.00018473802,0.00044521544,0.9907137,0.0005769538,0.0039621945],"study_design_scores_gemma":[0.00004374101,0.00003828323,0.009683936,0.00027319105,0.00005485164,0.00038954942,0.005220869,0.008783115,0.0032865584,0.88821507,0.083949246,0.00006153095],"about_ca_topic_score_codex":0.021256736,"about_ca_topic_score_gemma":0.015277584,"teacher_disagreement_score":0.021256736,"about_ca_system_score_codex":0.0052842856,"about_ca_system_score_gemma":0.0026141354,"threshold_uncertainty_score":0.04226601},"labels":[],"label_agreement":null},{"id":"W2914643333","doi":"10.1017/s1755020319000054","title":"BUNDER’S PARADOX","year":2019,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Prima facie; Class (philosophy); Resolution (logic); Logical consequence; Consistency (knowledge bases); Calculus (dental); Mathematics; Non-classical logic; Mathematical economics; Computer science; Discrete mathematics; Philosophy; Epistemology; Programming language","score_opus":0.016844996660568608,"score_gpt":0.26312019735235864,"score_spread":0.24627520069179004,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2914643333","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0659707,0.033070724,0.13531429,0.12834837,0.0022656054,0.000068826135,0.00034126482,0.00054650166,0.63407373],"genre_scores_gemma":[0.89286065,0.010993994,0.02749956,0.01554078,0.0012341443,0.00013643246,0.00015516987,0.0002364337,0.051342834],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99696225,0.0012757244,0.00013412969,0.0005082513,0.00090571604,0.00021390265],"domain_scores_gemma":[0.99760854,0.001313662,0.00017475542,0.0004151819,0.0003160633,0.00017175001],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0037748325,0.0003573229,0.00072592736,0.0015370928,0.0027642616,0.005434412,0.0012886077,0.0030571567,0.005766498],"category_scores_gemma":[0.007239683,0.00040170577,0.00061762315,0.0012185466,0.010911442,0.010522193,0.004172094,0.005429129,0.0010288797],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000042664738,0.0000033272295,0.000026612264,0.000014204215,0.000002778223,0.000027435957,0.00018065973,0.00014906781,0.000048862606,0.9953269,0.0021757055,0.002040192],"study_design_scores_gemma":[0.0000056719523,0.0000027896915,0.000029634424,0.000033621218,0.0000025991205,0.000053901404,0.00008064503,0.0006987508,0.00010100502,0.974968,0.024017392,0.000006039766],"about_ca_topic_score_codex":0.0035830066,"about_ca_topic_score_gemma":0.002797018,"teacher_disagreement_score":0.005766498,"about_ca_system_score_codex":0.0039249854,"about_ca_system_score_gemma":0.0020974772,"threshold_uncertainty_score":0.028477848},"labels":[],"label_agreement":null},{"id":"W2935729958","doi":"10.1017/s1755020319000170","title":"QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES","year":2019,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"","keywords":"Metrization theorem; Mathematics; Separable space; Countable set; Cardinality (data modeling); Constant (computer programming); Space (punctuation); Domain (mathematical analysis); Zero (linguistics); Real line; Zero-dimensional space; Discrete mathematics; Pure mathematics; Topological space; Topological vector space; Mathematical analysis; Computer science","score_opus":0.025079249016283587,"score_gpt":0.2841647421312685,"score_spread":0.2590854931149849,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2935729958","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.27369434,0.022778427,0.59214944,0.01040124,0.00027387196,0.000096246855,0.0007539708,0.0003600769,0.09949242],"genre_scores_gemma":[0.9553256,0.0035692817,0.03584909,0.0006048689,0.00023957425,0.00005661066,0.00026480568,0.000023815468,0.0040663383],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9975616,0.00085421494,0.00020183065,0.00035181368,0.0008538289,0.00017675075],"domain_scores_gemma":[0.997279,0.0015230357,0.0002737527,0.0002626808,0.00051295507,0.0001485234],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002749244,0.00044441276,0.00062082364,0.0019680744,0.0008803533,0.0035058318,0.0009774007,0.0007309863,0.0013961098],"category_scores_gemma":[0.003787789,0.0003880315,0.0007731667,0.0024118586,0.0063792346,0.0070965867,0.0022292167,0.0024922714,0.00020404003],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000012689962,0.0000069322773,0.0001221549,0.00008794855,0.000016682341,0.00003313765,0.00017243039,0.0014976384,0.00033706715,0.99414355,0.00028871812,0.0032811302],"study_design_scores_gemma":[0.000011894483,0.000010703058,0.0002712537,0.000048787606,0.00001263494,0.000046233577,0.00007566743,0.005482164,0.0005539438,0.9887925,0.004683517,0.000010730562],"about_ca_topic_score_codex":0.0027129177,"about_ca_topic_score_gemma":0.0017149631,"teacher_disagreement_score":0.0035058318,"about_ca_system_score_codex":0.0032189696,"about_ca_system_score_gemma":0.0013001338,"threshold_uncertainty_score":0.023355305},"labels":[],"label_agreement":null},{"id":"W2997587333","doi":"10.1017/s1755020320000015","title":"CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI","year":2020,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Natural deduction; Sequent; Sequent calculus; Cut-elimination theorem; Mathematics; Curry–Howard correspondence; Normalization (sociology); Calculus (dental); Mathematical proof; Discrete mathematics; Proof calculus","score_opus":0.04934596361689004,"score_gpt":0.29148811381295714,"score_spread":0.2421421501960671,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2997587333","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.051489577,0.013469344,0.88050056,0.002582975,0.000428752,0.00010339409,0.00014561047,0.0008361076,0.050443683],"genre_scores_gemma":[0.6406659,0.0053143,0.340208,0.0011029232,0.00055353576,0.00017604124,0.00029132894,0.00028258603,0.011405467],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99611497,0.0010388597,0.00024473603,0.00059782306,0.0017589028,0.00024474633],"domain_scores_gemma":[0.9961063,0.0020344695,0.00024197821,0.000707513,0.0007911885,0.00011841096],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004732994,0.00028984345,0.00091613596,0.0023672003,0.0010855845,0.003254644,0.0014870734,0.0010675921,0.0023929372],"category_scores_gemma":[0.00892412,0.0006559504,0.001206296,0.002143024,0.00485756,0.00487832,0.0021011652,0.0029640784,0.0007191271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000009139718,0.000009090082,0.00016278452,0.000072982344,0.000016406853,0.00008008116,0.00017073589,0.0013598478,0.00049480115,0.9761938,0.00086270797,0.0205677],"study_design_scores_gemma":[0.000009719455,0.0000047497765,0.00022351721,0.000043747128,0.00001727155,0.0001348846,0.00002168498,0.010753678,0.0014037355,0.97395974,0.013413163,0.000014085543],"about_ca_topic_score_codex":0.0021193346,"about_ca_topic_score_gemma":0.0020015102,"teacher_disagreement_score":0.004732994,"about_ca_system_score_codex":0.0032159996,"about_ca_system_score_gemma":0.0018485799,"threshold_uncertainty_score":0.025030792},"labels":[],"label_agreement":null},{"id":"W3040569033","doi":"10.1017/s1755020319000522","title":"KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS","year":2020,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Epistemology, Ethics, and Metaphysics","field":"Arts and Humanities","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Saskatchewan","funders":"Agence Nationale de la Recherche","keywords":"Internalism and externalism; Externalism; Axiom; Epistemology; Argument (complex analysis); Possession (linguistics); Axiomatic system; Philosophy; Mathematics; Linguistics","score_opus":0.15314799005203852,"score_gpt":0.3214384787004625,"score_spread":0.16829048864842397,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3040569033","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0928166,0.049334526,0.50773954,0.11302133,0.0010313052,0.000104868275,0.00043839202,0.00035772086,0.23515572],"genre_scores_gemma":[0.97577024,0.0036108762,0.014614179,0.0028872539,0.0004952577,0.000062643376,0.000109414745,0.000036260666,0.0024138992],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.991707,0.0049085375,0.00053236284,0.0008508242,0.0015756822,0.0004255624],"domain_scores_gemma":[0.9855285,0.010178136,0.0012309821,0.0011933602,0.0014990811,0.0003698575],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008132516,0.00050432177,0.0010019314,0.003078942,0.002094873,0.0069973315,0.0013757029,0.004495086,0.003963317],"category_scores_gemma":[0.014886903,0.00046106277,0.0010204299,0.0026327693,0.036711734,0.012558496,0.0035339782,0.0047599906,0.00058059284],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000005376143,0.000003408919,0.00008751823,0.00004764055,0.000007867445,0.000031875825,0.0002530249,0.00019932845,0.0000423854,0.99719244,0.00032770753,0.0018015306],"study_design_scores_gemma":[0.0000031726847,0.0000028412328,0.00006894518,0.000054435983,0.0000048253623,0.000025871263,0.0001018966,0.0004944626,0.00004910533,0.99711096,0.0020789353,0.0000044128083],"about_ca_topic_score_codex":0.0020734516,"about_ca_topic_score_gemma":0.0014011313,"teacher_disagreement_score":0.008132516,"about_ca_system_score_codex":0.004122396,"about_ca_system_score_gemma":0.0022417938,"threshold_uncertainty_score":0.0430094},"labels":[],"label_agreement":null},{"id":"W3043284895","doi":"10.1017/s1755020321000216","title":"QUANTIFIED MODAL RELEVANT LOGICS","year":2021,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Modal; Normal modal logic; Semantics (computer science); Converse; Accessibility relation; Modal logic; Kripke semantics; Computer science; S5; Algorithm; Calculus (dental); Mathematics; Theoretical computer science; Pure mathematics; Description logic; Multimodal logic; Programming language; Medicine; Geometry; Chemistry","score_opus":0.04842376448480241,"score_gpt":0.29308514291040044,"score_spread":0.24466137842559804,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3043284895","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.018133434,0.004152053,0.84036326,0.0068589975,0.00060165505,0.00018359681,0.00046477976,0.00069552445,0.12854679],"genre_scores_gemma":[0.70051146,0.0039845477,0.26969805,0.004147425,0.000952997,0.00040696294,0.00064508565,0.00019807155,0.019455416],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99672276,0.0012173769,0.00021708412,0.00045611747,0.0011618596,0.00022481332],"domain_scores_gemma":[0.99806076,0.00072751264,0.00017060424,0.00028266208,0.0006505957,0.00010782308],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0033842688,0.00061810366,0.0005792329,0.003082279,0.0014499271,0.0037850458,0.0018617928,0.0012936969,0.004180691],"category_scores_gemma":[0.004378926,0.00045882608,0.0011696868,0.002240027,0.0054485253,0.0068147155,0.0024088179,0.0032285,0.0007107828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000003124457,0.00000314823,0.000010316547,0.000022800614,0.0000030328047,0.000015517324,0.000068491434,0.00030606138,0.00015905869,0.99712175,0.00035329256,0.0019333854],"study_design_scores_gemma":[0.000007991018,0.000004553718,0.000035091874,0.00003603389,0.000008766604,0.00003679326,0.000047029418,0.0036623583,0.00038863005,0.98272336,0.013041217,0.000008271693],"about_ca_topic_score_codex":0.0026098185,"about_ca_topic_score_gemma":0.0019274381,"teacher_disagreement_score":0.004180691,"about_ca_system_score_codex":0.0039770515,"about_ca_system_score_gemma":0.0017148785,"threshold_uncertainty_score":0.028855622},"labels":[],"label_agreement":null},{"id":"W3043920080","doi":"10.1017/s1755020320000180","title":"CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D","year":2020,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Modal; Completeness (order theory); Mathematical proof; Accessibility relation; Interpretation (philosophy); Normal modal logic; Modular design; Mathematics; Algebra over a field; Relation (database); Calculus (dental); Pure mathematics; Modal logic; Computer science; Discrete mathematics; Mathematical analysis; Data mining; Geometry; Programming language","score_opus":0.08285298046001914,"score_gpt":0.2929221384889657,"score_spread":0.21006915802894655,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3043920080","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.103404835,0.0025171961,0.8678528,0.002771427,0.00012240738,0.00013494429,0.00024768672,0.0004966618,0.022452006],"genre_scores_gemma":[0.7341335,0.0011939616,0.2577682,0.00074671867,0.00015830988,0.0002679356,0.00030952826,0.00013534211,0.005286544],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9974367,0.0007011932,0.0001894362,0.00047392648,0.0009533771,0.00024542096],"domain_scores_gemma":[0.99087197,0.0062778792,0.00038244488,0.0010502562,0.0010945773,0.000322773],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0054932483,0.00040154954,0.0008709631,0.0021588,0.0018294766,0.0035932031,0.0016021935,0.0015153454,0.002744765],"category_scores_gemma":[0.0094183,0.00071171817,0.0026800614,0.0019426997,0.0063760225,0.005989365,0.0040712687,0.0037498698,0.0004583974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000015231708,0.000014730857,0.00018175296,0.00007109062,0.000018611323,0.000060495484,0.00020594404,0.0021126715,0.0006702732,0.9893686,0.00048264136,0.006798024],"study_design_scores_gemma":[0.000019430343,0.000008902708,0.00012764751,0.000024858091,0.0000104854535,0.00005973295,0.000036621885,0.019662522,0.0012457141,0.9765316,0.0022575187,0.000014985938],"about_ca_topic_score_codex":0.0028786736,"about_ca_topic_score_gemma":0.0021568984,"teacher_disagreement_score":0.0054932483,"about_ca_system_score_codex":0.003000298,"about_ca_system_score_gemma":0.0022577785,"threshold_uncertainty_score":0.029051423},"labels":[],"label_agreement":null},{"id":"W4392052380","doi":"10.1017/s1755020324000029","title":"CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS","year":2024,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Prince Edward Island","funders":"National Research, Development and Innovation Office; Nemzeti Kutatási Fejlesztési és Innovációs Hivatal","keywords":"Computer science; Epistemology; Philosophy","score_opus":0.0198412161129098,"score_gpt":0.3032918123619987,"score_spread":0.2834505962490889,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4392052380","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3372492,0.0134964585,0.5012105,0.0064478423,0.0005382251,0.00011455579,0.000455139,0.0002900179,0.14019811],"genre_scores_gemma":[0.96943474,0.0015738133,0.025478566,0.00038985733,0.00016524942,0.000057433368,0.00021988364,0.000025527743,0.0026548908],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99696773,0.001112646,0.0001770179,0.00058261794,0.0009827807,0.00017733216],"domain_scores_gemma":[0.9960924,0.001947647,0.0005138325,0.0004653854,0.0006951918,0.00028557592],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001723722,0.00032075756,0.0005299192,0.0023372988,0.001418054,0.0036482376,0.0012076037,0.0011645489,0.003433534],"category_scores_gemma":[0.00623462,0.00021888768,0.0006021615,0.0016966898,0.0057098013,0.00813309,0.002942344,0.0023219516,0.00049540086],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000006568113,0.0000035084563,0.00011130594,0.000025061245,0.000007766011,0.000018632038,0.00011344109,0.00047134087,0.00027362452,0.9959407,0.00012741527,0.0029005145],"study_design_scores_gemma":[0.0000034333925,0.000008575998,0.00018652991,0.000012692407,0.0000044229405,0.000051632614,0.000059688347,0.0014360966,0.00021145077,0.99531037,0.0027102581,0.0000049690098],"about_ca_topic_score_codex":0.00083404133,"about_ca_topic_score_gemma":0.00041632776,"teacher_disagreement_score":0.0036482376,"about_ca_system_score_codex":0.0019841224,"about_ca_system_score_gemma":0.00072655716,"threshold_uncertainty_score":0.014395833},"labels":[],"label_agreement":null},{"id":"W4411634444","doi":"10.1017/s1755020325100713","title":"FAILURE OF BETH’S THEOREM IN RELEVANCE LOGICS","year":2025,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Relevance (law); Mathematics; Calculus (dental); Mathematical economics; Discrete mathematics; Political science; Medicine; Law","score_opus":0.012887776347992444,"score_gpt":0.2777501249042412,"score_spread":0.2648623485562488,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4411634444","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3457432,0.025294622,0.35136184,0.03341547,0.0007495278,0.0001534696,0.00043751913,0.0011995304,0.24164483],"genre_scores_gemma":[0.98212415,0.0013211583,0.011425834,0.0013468347,0.00038254887,0.00004956018,0.00010107365,0.000054675213,0.0031942604],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99029934,0.0029571764,0.0005164778,0.0019586647,0.0033831717,0.00088512816],"domain_scores_gemma":[0.9830353,0.01288308,0.0007167389,0.0016901647,0.0012863136,0.00038835694],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009737884,0.00040196622,0.0017062846,0.002574015,0.002601366,0.0043952484,0.0017511452,0.0027026127,0.0032746927],"category_scores_gemma":[0.027320938,0.000909604,0.0012117028,0.0019172819,0.015572496,0.014714959,0.003855336,0.0046023442,0.0005429508],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000026791044,0.000012142105,0.00023660551,0.00006449223,0.000016446043,0.00009000862,0.0002498876,0.0005053347,0.00023957476,0.99143773,0.00087900565,0.006241914],"study_design_scores_gemma":[0.0000151647755,0.00000638351,0.00012220905,0.000017370721,0.0000069844336,0.00006047415,0.000031922937,0.0018596724,0.00032800727,0.99579513,0.0017492486,0.0000074449804],"about_ca_topic_score_codex":0.002823974,"about_ca_topic_score_gemma":0.0013031561,"teacher_disagreement_score":0.009737884,"about_ca_system_score_codex":0.004788779,"about_ca_system_score_gemma":0.001265019,"threshold_uncertainty_score":0.051499426},"labels":[],"label_agreement":null}]}