{"meta":{"query_hash":"8547dc033b1c","filters":{"venue":"Journal of Philosophical Logic"},"cohort_total":21,"direct_labels_cover":0,"predictions_cover":21,"exported":21,"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/8547dc033b1c","api":"https://metacan.xera.ac/api/v1/cohort?venue=Journal+of+Philosophical+Logic"},"results":[{"id":"W1745228384","doi":"10.1007/s10992-015-9370-x","title":"Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)","year":2015,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"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; Arrow; Absurdity; Simple (philosophy); Classical logic; Calculus (dental); Propositional calculus; Natural number","score_opus":0.060282583258138275,"score_gpt":0.2709156767648104,"score_spread":0.2106330935066721,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1745228384","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.37642854,0.016898217,0.47125,0.118223436,0.010075912,0.0007159953,0.000011729396,0.00010603556,0.0062901275],"genre_scores_gemma":[0.994799,0.000022851897,0.0025561685,0.00059172855,0.0018495091,0.000004882884,2.9269137e-7,0.000006975343,0.00016855945],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99896646,0.0001018126,0.00024625473,0.00020658427,0.00028659467,0.00019230663],"domain_scores_gemma":[0.99847746,0.0006450439,0.00020159845,0.00012427477,0.00036399488,0.00018761097],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008476086,0.00013793093,0.00022264784,0.000078884696,0.00016776424,0.0001284954,0.0002801787,0.000091883376,0.000011761577],"category_scores_gemma":[0.0006844531,0.000075012234,0.00011135035,0.000098232005,0.00017301468,0.00035495343,0.00008599529,0.00034653384,0.0000044336653],"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.0003394361,0.00013574219,0.0013186405,0.000015789348,0.0001335666,0.000014120236,0.0005318967,0.00009920525,0.0009778044,0.9888738,0.002060745,0.005499275],"study_design_scores_gemma":[0.0024227798,0.00118288,0.016331753,0.000024708692,0.00007506492,0.0012898943,0.000113270675,0.013474787,0.00024545492,0.96019197,0.0044282796,0.00021916852],"about_ca_topic_score_codex":0.000001894986,"about_ca_topic_score_gemma":0.000001772996,"teacher_disagreement_score":0.6183705,"about_ca_system_score_codex":0.00005199125,"about_ca_system_score_gemma":0.000079369514,"threshold_uncertainty_score":0.30589104},"labels":[],"label_agreement":null},{"id":"W1966325497","doi":"10.1023/a:1026520223346","title":"Remarks on the Modal Logic of Henry Bradford Smith","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Modal logic; Possible world; Modality (human–computer interaction); Modal; Philosophy; Epistemology; S5; Beneficiary; Philosophical logic; Accessibility relation; Computer science; Artificial intelligence; Law; Political science","score_opus":0.03128535650661957,"score_gpt":0.25749640876098606,"score_spread":0.2262110522543665,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1966325497","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.28219104,0.0038501066,0.043208364,0.21063136,0.001765905,0.0006146901,0.000009051967,0.00016525533,0.45756423],"genre_scores_gemma":[0.9930697,0.00019415349,0.0031703727,0.0025530842,0.0007693661,0.0000018172743,2.5453664e-7,0.000009510494,0.0002317354],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9977569,0.0002923814,0.00068649446,0.00026486782,0.0006602311,0.0003391246],"domain_scores_gemma":[0.9980465,0.0005432595,0.00045178138,0.00054128474,0.0002225301,0.00019460639],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010560481,0.00022462064,0.00047063298,0.00012379463,0.00014674953,0.000073969975,0.0017414836,0.00017409676,0.00042007543],"category_scores_gemma":[0.00032082383,0.00011589469,0.00037891886,0.0004075618,0.00022188367,0.00025783648,0.00013378356,0.0007812716,0.00009816483],"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.00014331155,0.00046010697,0.00019190008,0.000017513868,0.0000537635,0.00017968728,0.0001978728,0.00037373597,0.0002204945,0.9853902,0.0014455584,0.011325864],"study_design_scores_gemma":[0.0005851638,0.0016948638,0.0031770647,0.00009570477,0.000022882163,0.00040187224,0.000009297148,0.0029233443,0.0002972595,0.98844236,0.0021644717,0.00018571953],"about_ca_topic_score_codex":0.0000020409484,"about_ca_topic_score_gemma":4.846629e-7,"teacher_disagreement_score":0.7108787,"about_ca_system_score_codex":0.000056966586,"about_ca_system_score_gemma":0.00012811954,"threshold_uncertainty_score":0.47260484},"labels":[],"label_agreement":null},{"id":"W1975161136","doi":"10.1007/s10992-010-9135-5","title":"Anderson and Belnap’s Invitation to Sin","year":2010,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Tautology (logic); Quine; Modal logic; Nominalization; Epistemology; Philosophy; Modal; Normal modal logic; Calculus (dental); Linguistics; Computer science; Mathematics; Multimodal logic; Programming language; Zeroth-order logic; Description logic","score_opus":0.038218935895641605,"score_gpt":0.2806048830763099,"score_spread":0.24238594718066828,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1975161136","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.25861922,0.00046051882,0.5530706,0.17827079,0.0033461053,0.0004037943,6.4973574e-7,0.00010268001,0.0057256324],"genre_scores_gemma":[0.98593247,0.0000059821446,0.011824411,0.0015943911,0.00061972236,0.0000014155216,1.9409035e-7,0.000004242239,0.000017162047],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990345,0.00005962925,0.00029634964,0.00015765765,0.00029243712,0.00015943086],"domain_scores_gemma":[0.9991679,0.00009140088,0.00018770667,0.0001638777,0.0001599988,0.00022911812],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006338731,0.00009493292,0.00019171467,0.00013226921,0.000074927535,0.00013672303,0.00037613534,0.00010441272,0.0000084301555],"category_scores_gemma":[0.00022995361,0.000065504,0.00006136813,0.00019814966,0.00004628602,0.00029626628,0.00008589261,0.00036184216,0.000022705079],"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.000014686232,0.00007712378,0.0007357183,0.000012001296,0.00001277392,0.00006970348,0.0003868283,0.0000066100874,0.008622261,0.9758732,0.00037612327,0.013812997],"study_design_scores_gemma":[0.000366553,0.0007731573,0.004156774,0.000004717352,0.000008168376,0.00033581862,0.000015944246,0.00037083265,0.0002609097,0.9889256,0.0046606525,0.00012088925],"about_ca_topic_score_codex":0.0000035099501,"about_ca_topic_score_gemma":0.000006438955,"teacher_disagreement_score":0.7273133,"about_ca_system_score_codex":0.0000141055425,"about_ca_system_score_gemma":0.00003309616,"threshold_uncertainty_score":0.26711756},"labels":[],"label_agreement":null},{"id":"W1996583871","doi":"10.1007/s10992-011-9170-x","title":"Embedding If and Only If","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"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":"University of Nottingham; University of Leeds","keywords":"Embedding; Interpretation (philosophy); Triviality; Mathematics; Computer science; Artificial intelligence; Pure mathematics; Programming language","score_opus":0.07626222733691729,"score_gpt":0.3348656494363541,"score_spread":0.2586034220994368,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1996583871","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.427523,0.00056036183,0.001649386,0.014303557,0.001114553,0.00010422781,0.0000049730884,0.000033469518,0.5547065],"genre_scores_gemma":[0.9964383,0.000023604469,0.00133462,0.0013845024,0.000765838,0.0000010236298,1.6469534e-7,0.000009399541,0.00004253113],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985789,0.00016165861,0.00045580813,0.0002138815,0.00028356473,0.00030618746],"domain_scores_gemma":[0.99892086,0.00019815753,0.00025024018,0.00018271402,0.00009374307,0.00035426806],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007439346,0.00014527557,0.0003013068,0.00011282603,0.00009100678,0.000020468047,0.00038444734,0.00016480283,0.0018074742],"category_scores_gemma":[0.00023842166,0.00009850837,0.00013271855,0.00018106862,0.0005414931,0.00016300677,0.00008275442,0.0005496923,0.00012367913],"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.00019298928,0.0002259962,0.000690668,0.000004450563,0.000034800538,0.00036918168,0.0005620588,0.0000010309396,0.00018624567,0.99562943,0.000048708167,0.00205445],"study_design_scores_gemma":[0.000465609,0.00084597303,0.016259609,0.000026517979,0.000036224275,0.0011467071,0.00004813687,0.000027135793,0.000043158714,0.980741,0.00023347413,0.00012645156],"about_ca_topic_score_codex":0.0000030351584,"about_ca_topic_score_gemma":1.1829178e-7,"teacher_disagreement_score":0.56891537,"about_ca_system_score_codex":0.00001986486,"about_ca_system_score_gemma":0.000026812027,"threshold_uncertainty_score":0.99910504},"labels":[],"label_agreement":null},{"id":"W2001917952","doi":"10.1007/s10992-007-9062-2","title":"SYNONYMOUS LOGICS: A CORRECTION","year":2007,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Modal; Mathematical economics; Computer science; Accessibility relation; Mathematics; Modal logic; Epistemology; Discrete mathematics; Philosophy","score_opus":0.026437651428603073,"score_gpt":0.2751352111698898,"score_spread":0.24869755974128674,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2001917952","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.019706,0.0012494387,0.8653484,0.009033621,0.0061558643,0.00013578562,4.783234e-7,0.00014881454,0.09822163],"genre_scores_gemma":[0.9875014,0.000049537855,0.009545993,0.0010670888,0.0016910055,6.183037e-7,2.717272e-7,0.000006467185,0.00013765253],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9981869,0.00009642419,0.00062300963,0.00023339436,0.00048694471,0.00037332298],"domain_scores_gemma":[0.99820286,0.00035685473,0.0004749311,0.00027866132,0.00039588643,0.0002907972],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0016487819,0.0001748536,0.00034081395,0.00024152776,0.00013009574,0.00009729248,0.0009233523,0.00019135486,0.000044036806],"category_scores_gemma":[0.00060813024,0.00012011385,0.00025678388,0.00047089186,0.00009142048,0.00039430536,0.00015342797,0.00063482876,0.000109169916],"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.00014627112,0.00071445963,0.0014012787,0.000018993027,0.0000679309,0.0017500027,0.0005819813,0.00014103699,0.0018426586,0.9454055,0.00281942,0.04511047],"study_design_scores_gemma":[0.0009014966,0.0018978735,0.0064397226,0.000057993107,0.00003250721,0.0039477297,0.00003949522,0.002668745,0.0010658404,0.9759272,0.0066863843,0.0003350166],"about_ca_topic_score_codex":0.0000019994752,"about_ca_topic_score_gemma":0.0000025752017,"teacher_disagreement_score":0.9677954,"about_ca_system_score_codex":0.00012205798,"about_ca_system_score_gemma":0.00008852345,"threshold_uncertainty_score":0.48981005},"labels":[],"label_agreement":null},{"id":"W2046267553","doi":"10.1007/s10992-013-9280-8","title":"Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Perimeter Institute","funders":"Institut Périmètre de physique théorique; Engineering and Physical Sciences Research Council; University of Oxford","keywords":"Categorical quantum mechanics; Symmetric monoidal category; Mathematics; Compact space; Duality (order theory); Closed monoidal category; Closure (psychology); Pure mathematics; Enriched category; Quantum; Quantum operation; Quantum mechanics; Functor; Open quantum system; Physics","score_opus":0.04564277945081551,"score_gpt":0.29041231432506415,"score_spread":0.24476953487424863,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2046267553","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8078477,0.00029885373,0.15849876,0.03027051,0.00017930943,0.00058203057,0.00017010806,0.0000080925,0.00214466],"genre_scores_gemma":[0.99851453,0.0000058672354,0.0008591988,0.00014471618,0.0004324375,0.0000089378955,0.000015555222,0.000009102068,0.00000964892],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99916375,0.000025946845,0.00042161785,0.00009856271,0.00016628661,0.00012381881],"domain_scores_gemma":[0.9989134,0.00014828166,0.00029315086,0.00009653001,0.00042924963,0.000119367054],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00017456255,0.00011151377,0.000335822,0.000054073917,0.00008427431,0.000045027857,0.00014139124,0.00004680203,0.0001381928],"category_scores_gemma":[0.000009756035,0.00007944855,0.00012665079,0.00007579856,0.00008053888,0.0002016983,0.000020655803,0.00016627923,0.0000031205977],"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.00001740162,0.00016366258,0.00090076216,0.000014619517,0.000067070316,2.0118588e-7,0.00003181511,0.0001857174,0.001405628,0.99647254,0.00053403445,0.00020653836],"study_design_scores_gemma":[0.0005767805,0.00018594683,0.0010958002,0.000016449818,0.00003855505,0.0000066372168,0.00006545299,0.015095003,0.0006715111,0.9819883,0.00017118252,0.00008836297],"about_ca_topic_score_codex":0.000023041377,"about_ca_topic_score_gemma":1.3867154e-7,"teacher_disagreement_score":0.19066687,"about_ca_system_score_codex":0.000008505179,"about_ca_system_score_gemma":0.00005676024,"threshold_uncertainty_score":0.3239818},"labels":[],"label_agreement":null},{"id":"W2049735587","doi":"10.1023/a:1026564222011","title":"Sets and Classes as Many","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Set (abstract data type); Labelling; Computer science; Set theory; Class (philosophy); Theoretical computer science; Mathematics; Algebra over a field; Discrete mathematics; Artificial intelligence; Pure mathematics; Programming language; Biology","score_opus":0.0239217590449745,"score_gpt":0.28140646454252755,"score_spread":0.25748470549755303,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2049735587","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7604781,0.003639446,0.04520182,0.1436025,0.0005786902,0.00017487025,0.00000192801,0.0001329095,0.046189778],"genre_scores_gemma":[0.98150337,0.00035625635,0.014503756,0.0032530592,0.00028778127,5.9965737e-7,1.2926881e-7,0.0000046945706,0.000090335416],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99895465,0.000065101936,0.00032193566,0.00017466919,0.00028882996,0.00019480319],"domain_scores_gemma":[0.9992902,0.0001231604,0.00013964875,0.00018064976,0.00007001739,0.000196296],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00020233,0.00011950412,0.00023404196,0.000075373115,0.00008133027,0.00007269029,0.0005048481,0.00008147655,0.00022368101],"category_scores_gemma":[0.00007044396,0.000081134385,0.00008814217,0.00017653995,0.00008794669,0.00048402412,0.000073405,0.0003360242,0.00009030725],"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.00003891462,0.00012006386,0.00016738113,0.000008532973,0.00001969014,0.00068098,0.000065302316,0.00011727978,0.0004008819,0.9315221,0.00019644033,0.06666248],"study_design_scores_gemma":[0.00034499107,0.0005679019,0.0027079785,0.000018054016,0.000007685874,0.0015594793,0.0000033102722,0.0005592805,0.00008029178,0.99028003,0.0037621544,0.000108855114],"about_ca_topic_score_codex":4.265136e-7,"about_ca_topic_score_gemma":1.0397566e-7,"teacher_disagreement_score":0.22102533,"about_ca_system_score_codex":0.00001806292,"about_ca_system_score_gemma":0.000035424968,"threshold_uncertainty_score":0.3308564},"labels":[],"label_agreement":null},{"id":"W2082167645","doi":"10.1007/s10992-008-9086-2","title":"Iterated Belief Change and the Recovery Axiom","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Kensington Health","funders":"Australian Research Council; National ICT Australia; New South Wales Government; Australian Government; University of Sydney; Australian National University","keywords":"Axiom; Iterated function; Axiom of choice; Mathematical economics; Counterexample; Mathematics; Representation theorem; Peano axioms; Computer science; Discrete mathematics; Set (abstract data type); Set theory; Programming language","score_opus":0.07301883437600006,"score_gpt":0.25120086866369545,"score_spread":0.1781820342876954,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2082167645","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.42192984,0.03788786,0.0819286,0.3962728,0.0055132727,0.0011121229,0.000008411516,0.0002913208,0.055055767],"genre_scores_gemma":[0.99248314,0.0010848839,0.0018192179,0.0032247056,0.0013044078,0.0000036187964,3.0796676e-7,0.000006023953,0.00007368394],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9986443,0.00022349521,0.00039362488,0.00018551383,0.0003272824,0.0002257825],"domain_scores_gemma":[0.9987261,0.0003360506,0.00030473137,0.0002444289,0.00022665733,0.00016197795],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007351967,0.00014807843,0.00034823007,0.000110885354,0.00023638715,0.000091234324,0.00071684964,0.000108547385,0.000020760783],"category_scores_gemma":[0.00031215965,0.00007604627,0.00017064289,0.00032348136,0.00028733604,0.00048749935,0.00020866153,0.00044319843,0.000028932594],"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.00029751024,0.00029177146,0.0010056744,0.000019024168,0.00009595323,0.0010156526,0.0023262792,0.000011704703,0.00018110963,0.9836935,0.0013249678,0.009736882],"study_design_scores_gemma":[0.0027103615,0.0009461804,0.011344228,0.000055727265,0.000027853457,0.0047230218,0.000008214133,0.0026458753,0.00006522549,0.97413665,0.0031098707,0.00022677865],"about_ca_topic_score_codex":0.000003602787,"about_ca_topic_score_gemma":6.930646e-7,"teacher_disagreement_score":0.5705533,"about_ca_system_score_codex":0.000028607621,"about_ca_system_score_gemma":0.000054506752,"threshold_uncertainty_score":0.31010768},"labels":[],"label_agreement":null},{"id":"W2095033023","doi":"10.1007/s10992-014-9314-x","title":"What Should I Believe About What Would Have Been the Case?","year":2014,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and History of Science","field":"Arts and Humanities","cited_by":10,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Counterfactual conditional; Metaphysics; Epistemology; Probabilistic logic; Section (typography); Mathematical economics; Econometrics; Counterfactual thinking; Computer science; Philosophy; Mathematics","score_opus":0.12059264408398286,"score_gpt":0.28693561808935014,"score_spread":0.1663429740053673,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2095033023","genre_codex":"commentary","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07401197,0.01735126,0.00017512773,0.782584,0.012840076,0.0004229123,0.000017284785,0.00009105686,0.1125063],"genre_scores_gemma":[0.97072124,0.0007305689,0.000059468675,0.020532954,0.0073227994,0.0000035787998,0.0000010556773,0.000017817098,0.00061048596],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9978829,0.00019885064,0.0006692958,0.00025055226,0.00064126507,0.0003571613],"domain_scores_gemma":[0.99820757,0.000356499,0.00052036264,0.00034147385,0.00032035992,0.00025374762],"candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0013490496,0.0002512119,0.00043072185,0.00015830569,0.001023062,0.0011957253,0.0008021421,0.00019959231,0.000903185],"category_scores_gemma":[0.00015278537,0.00014425082,0.00035642128,0.000060260223,0.0015273553,0.002855383,0.000103613194,0.0014533474,0.000104296334],"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.00007794225,0.00014975276,0.000005715741,0.000020189193,0.00004629012,0.0006104842,0.0074748895,0.00003822802,0.00007207132,0.9807622,0.0022867697,0.0084555],"study_design_scores_gemma":[0.00033326575,0.00077206735,0.00002746388,0.0001579022,0.0000694399,0.0013339557,0.0026500155,0.00010351234,0.000016674901,0.74638635,0.24794328,0.0002060625],"about_ca_topic_score_codex":0.000015613248,"about_ca_topic_score_gemma":0.00009124581,"teacher_disagreement_score":0.8967093,"about_ca_system_score_codex":0.00007376062,"about_ca_system_score_gemma":0.000050623614,"threshold_uncertainty_score":0.99984115},"labels":[],"label_agreement":null},{"id":"W2100260968","doi":"10.1007/s10992-007-9071-1","title":"SUPERVALUATION FIXED-POINT LOGICS OF TRUTH","year":2008,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Epistemology; Mathematical economics; Calculus (dental); Philosophy","score_opus":0.07778070247620184,"score_gpt":0.28006082350439854,"score_spread":0.2022801210281967,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2100260968","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.33602005,0.00073144963,0.630326,0.028480995,0.0016899229,0.00026947042,0.0000049317396,0.00009292908,0.0023842994],"genre_scores_gemma":[0.91995543,0.00007849529,0.07889695,0.0004584437,0.0005941399,0.0000014487031,8.050841e-7,0.000008213162,0.0000060796638],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9967697,0.00034500204,0.0011699314,0.0003263488,0.0010876183,0.0003013841],"domain_scores_gemma":[0.9970208,0.0006773942,0.00068282784,0.0005534439,0.0008393498,0.00022619842],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015295324,0.00022029174,0.00061903335,0.00024942332,0.00011418495,0.000034816185,0.0013859831,0.00017539634,0.00007159333],"category_scores_gemma":[0.001165133,0.00016188582,0.00038671974,0.0006033314,0.00027106365,0.00055451365,0.0003541269,0.0005500562,0.000021960263],"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.0002055673,0.0031094707,0.006864593,0.0001241198,0.00018233669,0.00122711,0.0016196064,0.011225728,0.0048626475,0.9448943,0.0007703368,0.024914173],"study_design_scores_gemma":[0.0008705374,0.0017580789,0.018763434,0.00003074872,0.000023517,0.0015085132,0.000011315943,0.025992757,0.0010466863,0.9496649,0.00010930091,0.00022020795],"about_ca_topic_score_codex":0.0000029411108,"about_ca_topic_score_gemma":3.2607628e-7,"teacher_disagreement_score":0.5839354,"about_ca_system_score_codex":0.00011988516,"about_ca_system_score_gemma":0.00022809263,"threshold_uncertainty_score":0.66015124},"labels":[],"label_agreement":null},{"id":"W2120747446","doi":"10.1007/s10992-011-9191-5","title":"On the Ternary Relation and Conditionality","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":121,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Conditionality; Relation (database); Ternary operation; Semantics (computer science); Mathematical economics; Epistemology; Binary relation; Mathematics; Computer science; Discrete mathematics; Philosophy; Political science; Law; Data mining; Programming language","score_opus":0.07743447063397903,"score_gpt":0.2576858007410835,"score_spread":0.18025133010710448,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2120747446","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.56824523,0.0011919409,0.124889225,0.095323116,0.0014714731,0.00029601416,0.0000046418695,0.00009452732,0.20848382],"genre_scores_gemma":[0.9963286,0.000021446183,0.0019390803,0.001432046,0.00025258132,9.281585e-7,2.123118e-7,0.0000024302058,0.0000226871],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99916893,0.00013924316,0.00023850736,0.0001157456,0.00023693206,0.00010062147],"domain_scores_gemma":[0.9991026,0.00031847728,0.00022083084,0.00016150018,0.000109527486,0.000087043154],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00059489516,0.00007894911,0.00012445352,0.000049048693,0.00010810046,0.000034935652,0.00040933266,0.000065115724,0.000096065596],"category_scores_gemma":[0.00026583337,0.00004094318,0.000077209,0.00009283896,0.00010626469,0.00023005345,0.000083619605,0.00031789203,0.000033244203],"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.000018247893,0.000086480424,0.0009062122,0.000002048889,0.000012226651,0.00004880941,0.00016661451,0.0000019789609,0.00005171425,0.99809563,0.00028064832,0.00032935958],"study_design_scores_gemma":[0.00017750234,0.00037948455,0.0674885,0.000016689703,0.00000660128,0.00020799377,0.000003238421,0.00049608,0.000060862138,0.93100077,0.000109795925,0.00005249775],"about_ca_topic_score_codex":8.831715e-7,"about_ca_topic_score_gemma":1.5228649e-7,"teacher_disagreement_score":0.42808333,"about_ca_system_score_codex":0.000020045607,"about_ca_system_score_gemma":0.000026950129,"threshold_uncertainty_score":0.16696145},"labels":[],"label_agreement":null},{"id":"W2158711753","doi":"10.1007/s10992-013-9269-3","title":"A Closer Look at Manifest Consequence","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Relation (database); GRASP; Epistemology; Class (philosophy); Identity (music); Domain (mathematical analysis); Semantics (computer science); Field (mathematics); Computer science; Mathematics; Philosophy; Pure mathematics; Programming language; Aesthetics","score_opus":0.042784166417310476,"score_gpt":0.31035255211793883,"score_spread":0.26756838570062835,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2158711753","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5160123,0.0005362444,0.00024979428,0.07007418,0.0010565931,0.00022234066,0.0000060046636,0.000035528217,0.41180697],"genre_scores_gemma":[0.9930629,0.000017540264,0.0003633648,0.0051737237,0.0009911,0.000008879617,5.610989e-7,0.000012525855,0.0003693868],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99792075,0.00024514893,0.0006423314,0.00027292754,0.00047520775,0.00044361863],"domain_scores_gemma":[0.9982109,0.0004085245,0.00036214644,0.00031804363,0.00023126217,0.00046913567],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00057117135,0.00019322944,0.00036197883,0.00010480012,0.00012467589,0.000042251602,0.00067871565,0.00021024054,0.013376446],"category_scores_gemma":[0.00029838382,0.0001290173,0.00029002473,0.00023793172,0.00092626136,0.00023248505,0.00013335184,0.00060760067,0.0045941095],"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.000114105904,0.0002482794,0.0006296385,0.000005723537,0.000046902016,0.0008596923,0.00007099456,0.0000027024787,0.003516042,0.9930813,0.0009827544,0.00044186425],"study_design_scores_gemma":[0.0005588213,0.0006549142,0.011724945,0.000026988457,0.000031317446,0.0028450908,0.000018734569,0.00001045481,0.00014347387,0.9831566,0.00065978913,0.00016883804],"about_ca_topic_score_codex":0.000009501034,"about_ca_topic_score_gemma":4.343846e-7,"teacher_disagreement_score":0.4770506,"about_ca_system_score_codex":0.00009094065,"about_ca_system_score_gemma":0.000039414426,"threshold_uncertainty_score":0.99618095},"labels":[],"label_agreement":null},{"id":"W3207154427","doi":"10.1007/s10992-021-09637-1","title":"Neighbourhood Semantics for Quantified Relevant Logics","year":2021,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"Grantová Agentura České Republiky","keywords":"Kripke semantics; T-norm fuzzy logics; Computer science; Semantics (computer science); Algebraic semantics; Mathematics; Calculus (dental); Algebra over a field; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Programming language; Intermediate logic; Medicine","score_opus":0.052837766866093976,"score_gpt":0.29403859866754606,"score_spread":0.24120083180145208,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3207154427","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.008765736,0.0027771345,0.89793795,0.07804034,0.0027242394,0.00020493343,0.000006985869,0.00009103297,0.009451619],"genre_scores_gemma":[0.93191177,0.00024012229,0.06477574,0.001589476,0.0013246656,0.0000026291768,0.000002224717,0.000014340882,0.00013902364],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9978,0.0001618564,0.0007710232,0.00035984596,0.00048203382,0.0004252577],"domain_scores_gemma":[0.9970498,0.000612061,0.00053751876,0.0004759711,0.0010443446,0.00028026797],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00087913236,0.00022583327,0.0005666886,0.0001199216,0.00017532035,0.00021033901,0.0010420516,0.00022667847,0.00004557937],"category_scores_gemma":[0.0016874268,0.00016094244,0.00048720388,0.00042195004,0.000083611936,0.0003282879,0.00026650203,0.0005279621,0.00003747734],"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.000036582904,0.00038318336,0.00015764014,0.000045752375,0.00006165354,0.0005782114,0.000117546115,0.00007161426,0.0024503232,0.99278647,0.0008189951,0.0024920527],"study_design_scores_gemma":[0.0010947809,0.0007795859,0.0008258637,0.0000624601,0.000055462886,0.0010836599,0.000020388987,0.0066427616,0.0023021323,0.98217314,0.004703044,0.00025674122],"about_ca_topic_score_codex":4.2802884e-7,"about_ca_topic_score_gemma":0.0000016105902,"teacher_disagreement_score":0.92314607,"about_ca_system_score_codex":0.00006222449,"about_ca_system_score_gemma":0.00031337238,"threshold_uncertainty_score":0.6563042},"labels":[],"label_agreement":null},{"id":"W4206046586","doi":"10.1007/s10992-014-9330-x","title":"Guest Editors’ Introduction","year":2014,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science","score_opus":0.017172200330879486,"score_gpt":0.24629256994569004,"score_spread":0.22912036961481055,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4206046586","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.008289623,0.00066697696,0.5660621,0.28822997,0.09867509,0.00017968132,8.942231e-7,0.00023515179,0.037660524],"genre_scores_gemma":[0.8322575,0.00001962651,0.006821957,0.0005205123,0.16031769,8.063855e-7,4.2834608e-7,0.000006191129,0.000055301953],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985089,0.00017632051,0.00043455488,0.0002241728,0.00042404133,0.00023203096],"domain_scores_gemma":[0.99861497,0.0001515238,0.00035390334,0.00032652495,0.0003454489,0.00020763098],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010076197,0.0001389359,0.00029192783,0.00014073848,0.0001018928,0.000101925965,0.00087726914,0.00012952501,0.00003582906],"category_scores_gemma":[0.00085100444,0.00009425291,0.00017386401,0.00026707567,0.00008243993,0.0004614118,0.00014298875,0.00046853017,0.0001446417],"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.000019752144,0.00022058676,0.00021445571,0.00001186341,0.000022987266,0.000034802517,0.000093019364,0.000047890786,0.0010834833,0.94662446,0.04768866,0.0039380556],"study_design_scores_gemma":[0.00047896308,0.0009593163,0.001065172,0.000016555314,0.000017295311,0.00045856123,0.0000026649154,0.0015892889,0.0005335687,0.8089651,0.1857405,0.00017305995],"about_ca_topic_score_codex":6.702742e-7,"about_ca_topic_score_gemma":2.6092238e-7,"teacher_disagreement_score":0.8239679,"about_ca_system_score_codex":0.00005318769,"about_ca_system_score_gemma":0.000046742174,"threshold_uncertainty_score":0.3843522},"labels":[],"label_agreement":null},{"id":"W4244929417","doi":"10.1023/a:1024248828122","title":"Synonymous Logics","year":2003,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto; University of Alberta","funders":"","keywords":"Axiom; Equivalence (formal languages); Accessibility relation; Logical equivalence; Modal logic; Simple (philosophy); Mathematics; Logical consequence; Relation (database); Equivalence relation; Classical logic; Modal; Translation (biology); Axiomatic system; Mathematical economics; Computer science; Epistemology; Discrete mathematics; Artificial intelligence; Philosophy","score_opus":0.03407663729605738,"score_gpt":0.26282667466863896,"score_spread":0.2287500373725816,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4244929417","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.023159234,0.0055782087,0.59964955,0.027966162,0.0041596843,0.00025983804,0.00000182684,0.00021012423,0.33901536],"genre_scores_gemma":[0.9756154,0.00009393626,0.02229228,0.0013248645,0.00053251267,0.0000010619326,1.5727764e-7,0.000008327626,0.00013146435],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99813783,0.00023965798,0.00055137614,0.00024114555,0.00047529093,0.00035468978],"domain_scores_gemma":[0.9983709,0.00023291429,0.0003956382,0.00036409573,0.00033601178,0.0003004348],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00096661376,0.00019197576,0.00039325832,0.00014960622,0.000121882345,0.000117250594,0.0010970989,0.00017310707,0.00009186028],"category_scores_gemma":[0.00093034253,0.00012762567,0.00027829042,0.00040309434,0.00010075953,0.00036043153,0.00011637707,0.0005726836,0.00014247127],"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.000008565443,0.00021910969,0.00030197433,0.000007678419,0.000022693888,0.00043054402,0.00007648323,0.000052177347,0.00028629706,0.9966358,0.0006398164,0.0013188921],"study_design_scores_gemma":[0.00053704483,0.00069216656,0.0005231482,0.00001955568,0.000017440556,0.001662681,0.000007556718,0.0003552997,0.0004031621,0.98579425,0.0097930245,0.00019465864],"about_ca_topic_score_codex":4.2220816e-7,"about_ca_topic_score_gemma":3.2120923e-7,"teacher_disagreement_score":0.9524562,"about_ca_system_score_codex":0.000070315524,"about_ca_system_score_gemma":0.00015243991,"threshold_uncertainty_score":0.52044237},"labels":[],"label_agreement":null},{"id":"W4324152536","doi":"10.1007/s10992-022-09696-y","title":"Varieties of Self-Reference in Metamathematics","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Azrieli Foundation; Leverhulme Trust","keywords":"Diagonal; Computer science; Coding (social sciences); Sentence; Operator (biology); Accidental; Mathematics; Algebra over a field; Pure mathematics; Artificial intelligence; Physics; Geometry","score_opus":0.061611550115633636,"score_gpt":0.2971888337484152,"score_spread":0.23557728363278158,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4324152536","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5677455,0.001414922,0.3664953,0.04929837,0.001439716,0.00041714768,0.00000560842,0.00041515054,0.012768242],"genre_scores_gemma":[0.9599726,0.00013283247,0.03960683,0.00018655209,0.000080537146,0.0000012828049,2.3349054e-7,0.0000045190973,0.000014594638],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985095,0.00009202303,0.00064139697,0.00012983139,0.0004275869,0.00019965018],"domain_scores_gemma":[0.9987973,0.00032704027,0.00039814337,0.00023616887,0.00015993549,0.000081414415],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00071431603,0.0001113223,0.0003932829,0.00028726805,0.000028064196,0.000021557576,0.00084853,0.000087879685,0.000013684583],"category_scores_gemma":[0.0002872324,0.00007592675,0.000111438465,0.00086206966,0.000060508013,0.0003155408,0.00018540859,0.00035871213,0.000029141953],"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.0000071263107,0.0001362076,0.0001734707,0.00003759767,0.000018596482,0.00012622056,0.0002799177,0.00048449112,0.0006740909,0.99746215,0.00003853126,0.00056158507],"study_design_scores_gemma":[0.00026777983,0.000292802,0.0021888968,0.000032709562,0.000009484084,0.00006758261,0.000020950178,0.0035031475,0.00031426162,0.9931085,0.00011146837,0.00008240423],"about_ca_topic_score_codex":3.9584103e-7,"about_ca_topic_score_gemma":2.971762e-7,"teacher_disagreement_score":0.39222708,"about_ca_system_score_codex":0.000024982075,"about_ca_system_score_gemma":0.00006522558,"threshold_uncertainty_score":0.3096203},"labels":[],"label_agreement":null},{"id":"W4327544648","doi":"10.1007/s10992-022-09690-4","title":"Modus Ponens and the Logic of Decision","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Modus ponens; Counterexample; Normative; Prima facie; Epistemology; Non-classical logic; Argument (complex analysis); Assertion; Negation; Logical consequence; Logical equivalence; Incompatibilism; Mathematics; Spurious relationship; Rule of inference; Philosophy; Equivalence (formal languages); Computer science; Inference; Linguistics; Discrete mathematics; Determinism","score_opus":0.05439717415429019,"score_gpt":0.3448644979927846,"score_spread":0.29046732383849444,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4327544648","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7308756,0.0013627688,0.00187852,0.15777445,0.0014260015,0.000258103,0.00001368664,0.000042726755,0.1063681],"genre_scores_gemma":[0.99800545,0.000118323,0.00022770885,0.0011627099,0.00044869914,0.0000020431996,3.189911e-7,0.0000066179814,0.000028109194],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99826795,0.00028305873,0.0005710275,0.00017597868,0.00045343838,0.00024855055],"domain_scores_gemma":[0.9974019,0.0017542425,0.00031308786,0.00024321882,0.00012488932,0.00016269706],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0020869889,0.000119461525,0.0003894168,0.0001424146,0.00009399099,0.000016296584,0.00048770793,0.00014070196,0.00030383133],"category_scores_gemma":[0.001025274,0.000058685204,0.0001943914,0.0005428986,0.0012604763,0.000069770016,0.00013730318,0.00045045555,0.000108945926],"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.0007907495,0.00009172722,0.000068564324,0.000004424471,0.000031725736,0.00018439116,0.0001742544,0.00004528643,0.00036538695,0.99590355,0.0001418653,0.0021980824],"study_design_scores_gemma":[0.0014561934,0.00045654914,0.006269319,0.000028983566,0.000035884103,0.00026716897,0.000039615577,0.00019471424,0.00002854235,0.991033,0.00011996263,0.0000700248],"about_ca_topic_score_codex":0.0000023441396,"about_ca_topic_score_gemma":1.6970095e-7,"teacher_disagreement_score":0.26712984,"about_ca_system_score_codex":0.00001160073,"about_ca_system_score_gemma":0.000017113105,"threshold_uncertainty_score":0.46442774},"labels":[],"label_agreement":null},{"id":"W4385469305","doi":"10.1007/s10992-023-09717-4","title":"Quantum Epistemology and Constructivism","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"National Center of Competence in Research Quantum Science and Technology; Social Sciences and Humanities Research Council; Foundational Questions Institute","keywords":"Constructivism (international relations); Epistemology; Formal epistemology; Inference; Philosophy; Mathematics; Social epistemology","score_opus":0.0348466878439347,"score_gpt":0.2885277078438908,"score_spread":0.2536810199999561,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4385469305","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.95474446,0.00008208653,0.010062995,0.032163873,0.00030869152,0.000094405346,0.000018505794,0.000024186367,0.0025007827],"genre_scores_gemma":[0.99912107,0.000014230663,0.00019123,0.000113256785,0.0005341529,0.000002911747,0.0000025073186,0.0000071638005,0.00001350087],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.999337,0.000036325215,0.00027911013,0.00009893611,0.00010963253,0.00013896103],"domain_scores_gemma":[0.9994284,0.00011939991,0.00018843604,0.00008892879,0.000071985625,0.00010283569],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00023794368,0.000079368314,0.00020638116,0.00008437718,0.000075395474,0.000017678924,0.00011086687,0.000040800085,0.000098608645],"category_scores_gemma":[0.000015223443,0.00006007223,0.00008195752,0.00017069512,0.000084155334,0.000048975806,0.000047616082,0.00022775275,0.000045743578],"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.0000065663316,0.00003197571,0.00077658135,0.0000034690277,0.000025071588,0.000011301536,0.000012513207,0.0000030726899,0.0012338455,0.9963695,0.00021811693,0.0013080115],"study_design_scores_gemma":[0.00028021002,0.0001126664,0.0013672443,0.000009465996,0.000018307777,0.00005774334,0.000042304186,0.0009668876,0.000076183744,0.9960267,0.000976968,0.0000652942],"about_ca_topic_score_codex":0.000002017818,"about_ca_topic_score_gemma":3.9186393e-8,"teacher_disagreement_score":0.04437657,"about_ca_system_score_codex":0.0000055400665,"about_ca_system_score_gemma":0.000028902517,"threshold_uncertainty_score":0.24496745},"labels":[],"label_agreement":null},{"id":"W4390087301","doi":"10.1007/s10992-023-09729-0","title":"Tarski’s Theory of the Formal Correctness of Definitions","year":2023,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Calculus (dental); Epistemology; Mathematics; Programming language; Philosophy; Medicine","score_opus":0.11485618831360535,"score_gpt":0.3258815039496001,"score_spread":0.21102531563599475,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4390087301","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7067648,0.0002655495,0.0012363613,0.02483165,0.0027371321,0.00020305831,0.000072016745,0.00003114923,0.26385826],"genre_scores_gemma":[0.9991692,0.000017826158,0.00006749207,0.00040507843,0.0002936439,0.0000027534331,8.888986e-7,0.0000074560276,0.00003571419],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99813807,0.00037522885,0.0006511458,0.000119840035,0.0004428564,0.0002728553],"domain_scores_gemma":[0.9979411,0.00095713773,0.0005144455,0.0002831531,0.00019143647,0.00011274873],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015809785,0.00010889417,0.00032769746,0.00013541002,0.00009635771,0.0000054317434,0.00072397257,0.00013369585,0.0005883235],"category_scores_gemma":[0.00073214545,0.00006084228,0.00034503153,0.0008112598,0.0011186006,0.00010648129,0.00014192532,0.0004569571,0.00005933479],"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.00021629944,0.00022656056,0.00034855618,0.00001275378,0.000042866897,0.000028265253,0.0002591361,0.000040571013,0.0009803372,0.99703586,0.000095744545,0.0007130347],"study_design_scores_gemma":[0.0004231259,0.00040628956,0.017189179,0.00005567145,0.000051716088,0.00014125629,0.00011053262,0.00001623828,0.0005673625,0.9809191,0.00005232071,0.000067172936],"about_ca_topic_score_codex":0.0000015239555,"about_ca_topic_score_gemma":3.278708e-7,"teacher_disagreement_score":0.29240432,"about_ca_system_score_codex":0.00001513086,"about_ca_system_score_gemma":0.000053579868,"threshold_uncertainty_score":0.644173},"labels":[],"label_agreement":null},{"id":"W4410015847","doi":"10.1007/s10992-025-09796-5","title":"Logical Rationalism","year":2025,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Epistemology; Non-classical logic; Logical consequence; Philosophy; Computer science; Mathematics","score_opus":0.04442947032869038,"score_gpt":0.36302847081372147,"score_spread":0.3185990004850311,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4410015847","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.02358906,0.00076912064,0.00843725,0.17301509,0.0019428567,0.00010263792,0.00000456522,0.000028395996,0.79211104],"genre_scores_gemma":[0.9911738,0.000009981758,0.00051363395,0.007177052,0.00082782144,0.0000028419379,6.633694e-7,0.0000037525915,0.00029047017],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9984629,0.00022048147,0.0005473262,0.0001897227,0.0003393326,0.00024020547],"domain_scores_gemma":[0.99880856,0.00046323935,0.00018799302,0.00018980478,0.00018148449,0.00016889928],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007964252,0.00012272313,0.00028910144,0.00015096586,0.00009393103,0.000027847807,0.0005133582,0.00018343229,0.002150481],"category_scores_gemma":[0.0005237754,0.000080099155,0.00021487116,0.00041803412,0.00045611343,0.0000968312,0.000068400215,0.0005403971,0.00018006255],"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.00017880661,0.00030431684,0.00013297852,0.0000034787254,0.000043133165,0.00016660918,0.000034505352,0.000009399218,0.00041458083,0.9966647,0.0009635944,0.0010838705],"study_design_scores_gemma":[0.0005578658,0.00030108623,0.0058233356,0.000024042178,0.000030063771,0.00014227036,0.000011943082,0.000014288274,0.000057472742,0.9893362,0.0036181638,0.000083292005],"about_ca_topic_score_codex":7.8750753e-7,"about_ca_topic_score_gemma":9.7945346e-8,"teacher_disagreement_score":0.9675847,"about_ca_system_score_codex":0.000039324612,"about_ca_system_score_gemma":0.000056910565,"threshold_uncertainty_score":0.9987617},"labels":[],"label_agreement":null},{"id":"W4410480514","doi":"10.1007/s10992-025-09798-3","title":"Mīmāṃsā on ‘better-not’ Permissions","year":2025,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Indian and Buddhist Studies","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"Social Sciences and Humanities Research Council; Social Sciences and Humanities Research Council of Canada; Austrian Science Fund; European Commission","keywords":"Computer science; Mathematics; Art","score_opus":0.07313588520802602,"score_gpt":0.29107937314107385,"score_spread":0.21794348793304782,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4410480514","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.08373226,0.00038141507,0.0000184958,0.21622175,0.0021408824,0.00008405942,0.000015109513,0.000031376978,0.69737464],"genre_scores_gemma":[0.97786117,0.00004194727,0.00005149549,0.0141766,0.0022687586,0.0000012386481,7.054107e-7,0.000006275219,0.0055917967],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99905044,0.00004988048,0.0003852021,0.00010591206,0.00023715424,0.00017139029],"domain_scores_gemma":[0.9993183,0.00014950524,0.00015565826,0.00011284803,0.000190513,0.00007318288],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00019216156,0.00012797277,0.00027552308,0.00020768994,0.00039531282,0.00008052195,0.00021564012,0.000059041053,0.0014072371],"category_scores_gemma":[0.00015616983,0.00007875204,0.00022651424,0.000042264164,0.00025961152,0.00008525754,0.000045432545,0.000432817,0.00011692849],"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.00009613271,0.00017284004,0.00010872238,0.000019185787,0.000066593544,0.00009933422,0.0007240285,0.000004585954,0.000060172035,0.9850427,0.012590413,0.0010153078],"study_design_scores_gemma":[0.00058075,0.00050166796,0.0013978105,0.00016844788,0.000055143886,0.000017777058,0.00020454229,0.000008295073,0.00008456027,0.6362713,0.36057198,0.00013771327],"about_ca_topic_score_codex":0.0000017480037,"about_ca_topic_score_gemma":0.000002597948,"teacher_disagreement_score":0.8941289,"about_ca_system_score_codex":0.00004563191,"about_ca_system_score_gemma":0.00004508085,"threshold_uncertainty_score":0.99950564},"labels":[],"label_agreement":null}]}