{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":21,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":21,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"8547dc033b1c","filters":{"venue":"Journal of Philosophical Logic"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Jc Beall","is_ca":false},{"name":"Ross T. Brady","is_ca":false},{"name":"J. Michael Dunn","is_ca":false},{"name":"Allen Hazen","is_ca":true},{"name":"Edwin Mares","is_ca":false},{"name":"Robert K. Meyer","is_ca":false},{"name":"Graham Priest","is_ca":false},{"name":"Greg Restall","is_ca":false},{"name":"David Ripley","is_ca":false},{"name":"John Slaney","is_ca":false},{"name":"Richard Sylvan","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07743447063397903,"gpt":0.2576858007410835,"spread":0.1802513301071045,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005948952,0.00007894911,0.0001244535,0.00004904869,0.0001081005,0.00003493565,0.0004093327,0.00006511572,0.0000960656],"category_scores_gemma":[0.0002658334,0.00004094318,0.000077209,0.00009283896,0.0001062647,0.0002300535,0.0000836196,0.000317892,0.0000332442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002004561,"about_ca_system_score_gemma":0.00002695013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.831715e-7,"about_ca_topic_score_gemma":1.522865e-7,"domain_scores_codex":[0.9991689,0.0001392432,0.0002385074,0.0001157456,0.0002369321,0.0001006215],"domain_scores_gemma":[0.9991026,0.0003184773,0.0002208308,0.0001615002,0.0001095275,0.00008704315],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001824789,0.00008648042,0.0009062122,0.000002048889,0.00001222665,0.00004880941,0.0001666145,0.000001978961,0.00005171425,0.9980956,0.0002806483,0.0003293596],"study_design_scores_gemma":[0.0001775023,0.0003794846,0.0674885,0.0000166897,0.00000660128,0.0002079938,0.000003238421,0.00049608,0.00006086214,0.9310008,0.0001097959,0.00005249775],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5682452,0.001191941,0.1248892,0.09532312,0.001471473,0.0002960142,0.00000464187,0.00009452732,0.2084838],"genre_scores_gemma":[0.9963286,0.00002144618,0.00193908,0.001432046,0.0002525813,9.281585e-7,2.123118e-7,0.000002430206,0.0000226871],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4280833,"threshold_uncertainty_score":0.1669614,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Francis Jeffry Pelletier","is_ca":true},{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03407663729605738,"gpt":0.262826674668639,"spread":0.2287500373725816,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009666138,0.0001919758,0.0003932583,0.0001496062,0.0001218823,0.0001172506,0.001097099,0.0001731071,0.00009186028],"category_scores_gemma":[0.0009303425,0.0001276257,0.0002782904,0.0004030943,0.0001007595,0.0003604315,0.0001163771,0.0005726836,0.0001424713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007031552,"about_ca_system_score_gemma":0.0001524399,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.222082e-7,"about_ca_topic_score_gemma":3.212092e-7,"domain_scores_codex":[0.9981378,0.000239658,0.0005513761,0.0002411455,0.0004752909,0.0003546898],"domain_scores_gemma":[0.9983709,0.0002329143,0.0003956382,0.0003640957,0.0003360118,0.0003004348],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008565443,0.0002191097,0.0003019743,0.000007678419,0.00002269389,0.000430544,0.00007648323,0.00005217735,0.0002862971,0.9966358,0.0006398164,0.001318892],"study_design_scores_gemma":[0.0005370448,0.0006921666,0.0005231482,0.00001955568,0.00001744056,0.001662681,0.000007556718,0.0003552997,0.0004031621,0.9857942,0.009793025,0.0001946586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02315923,0.005578209,0.5996495,0.02796616,0.004159684,0.000259838,0.00000182684,0.0002101242,0.3390154],"genre_scores_gemma":[0.9756154,0.00009393626,0.02229228,0.001324864,0.0005325127,0.000001061933,1.572776e-7,0.000008327626,0.0001314643],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9524562,"threshold_uncertainty_score":0.5204424,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Howard Barnum","is_ca":true},{"name":"Ross Duncan","is_ca":false},{"name":"Alexander Wilce","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04564277945081551,"gpt":0.2904123143250641,"spread":0.2447695348742486,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001745625,0.0001115138,0.000335822,0.00005407392,0.00008427431,0.00004502786,0.0001413912,0.00004680203,0.0001381928],"category_scores_gemma":[0.000009756035,0.00007944855,0.0001266508,0.00007579856,0.00008053888,0.0002016983,0.0000206558,0.0001662792,0.000003120598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008505179,"about_ca_system_score_gemma":0.00005676024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002304138,"about_ca_topic_score_gemma":1.386715e-7,"domain_scores_codex":[0.9991637,0.00002594685,0.0004216178,0.00009856271,0.0001662866,0.0001238188],"domain_scores_gemma":[0.9989134,0.0001482817,0.0002931509,0.00009653001,0.0004292496,0.0001193671],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001740162,0.0001636626,0.0009007622,0.00001461952,0.00006707032,2.011859e-7,0.00003181511,0.0001857174,0.001405628,0.9964725,0.0005340345,0.0002065384],"study_design_scores_gemma":[0.0005767805,0.0001859468,0.0010958,0.00001644982,0.00003855505,0.000006637217,0.00006545299,0.015095,0.0006715111,0.9819883,0.0001711825,0.00008836297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8078477,0.0002988537,0.1584988,0.03027051,0.0001793094,0.0005820306,0.0001701081,0.0000080925,0.00214466],"genre_scores_gemma":[0.9985145,0.000005867235,0.0008591988,0.0001447162,0.0004324375,0.000008937895,0.00001555522,0.000009102068,0.00000964892],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1906669,"threshold_uncertainty_score":0.3239818,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Samir Chopra","is_ca":false},{"name":"Aditya Ghose","is_ca":false},{"name":"Thomas Meyer","is_ca":false},{"name":"Ka-Shu Wong","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07301883437600006,"gpt":0.2512008686636955,"spread":0.1781820342876954,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007351967,0.0001480784,0.0003482301,0.0001108854,0.0002363871,0.00009123432,0.0007168496,0.0001085474,0.00002076078],"category_scores_gemma":[0.0003121597,0.00007604627,0.0001706429,0.0003234814,0.000287336,0.0004874993,0.0002086615,0.0004431984,0.00002893259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002860762,"about_ca_system_score_gemma":0.00005450675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003602787,"about_ca_topic_score_gemma":6.930646e-7,"domain_scores_codex":[0.9986443,0.0002234952,0.0003936249,0.0001855138,0.0003272824,0.0002257825],"domain_scores_gemma":[0.9987261,0.0003360506,0.0003047314,0.0002444289,0.0002266573,0.000161978],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002975102,0.0002917715,0.001005674,0.00001902417,0.00009595323,0.001015653,0.002326279,0.0000117047,0.0001811096,0.9836935,0.001324968,0.009736882],"study_design_scores_gemma":[0.002710361,0.0009461804,0.01134423,0.00005572727,0.00002785346,0.004723022,0.000008214133,0.002645875,0.00006522549,0.9741367,0.003109871,0.0002267786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4219298,0.03788786,0.0819286,0.3962728,0.005513273,0.001112123,0.000008411516,0.0002913208,0.05505577],"genre_scores_gemma":[0.9924831,0.001084884,0.001819218,0.003224706,0.001304408,0.000003618796,3.079668e-7,0.000006023953,0.00007368394],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5705533,"threshold_uncertainty_score":0.3101077,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Francis Jeffry Pelletier","is_ca":true},{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02643765142860307,"gpt":0.2751352111698898,"spread":0.2486975597412867,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001648782,0.0001748536,0.0003408139,0.0002415278,0.0001300957,0.00009729248,0.0009233523,0.0001913549,0.00004403681],"category_scores_gemma":[0.0006081302,0.0001201139,0.0002567839,0.0004708919,0.00009142048,0.0003943054,0.000153428,0.0006348288,0.0001091699],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000122058,"about_ca_system_score_gemma":0.00008852345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001999475,"about_ca_topic_score_gemma":0.000002575202,"domain_scores_codex":[0.9981869,0.00009642419,0.0006230096,0.0002333944,0.0004869447,0.000373323],"domain_scores_gemma":[0.9982029,0.0003568547,0.0004749311,0.0002786613,0.0003958864,0.0002907972],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001462711,0.0007144596,0.001401279,0.00001899303,0.0000679309,0.001750003,0.0005819813,0.000141037,0.001842659,0.9454055,0.00281942,0.04511047],"study_design_scores_gemma":[0.0009014966,0.001897873,0.006439723,0.00005799311,0.00003250721,0.00394773,0.00003949522,0.002668745,0.00106584,0.9759272,0.006686384,0.0003350166],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.019706,0.001249439,0.8653484,0.009033621,0.006155864,0.0001357856,4.783234e-7,0.0001488145,0.09822163],"genre_scores_gemma":[0.9875014,0.00004953786,0.009545993,0.001067089,0.001691006,6.183037e-7,2.717272e-7,0.000006467185,0.0001376525],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9677954,"threshold_uncertainty_score":0.48981,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Andrew Tedder","is_ca":false},{"name":"Nicholas Ferenz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05283776686609398,"gpt":0.2940385986675461,"spread":0.2412008318014521,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008791324,0.0002258333,0.0005666886,0.0001199216,0.0001753204,0.000210339,0.001042052,0.0002266785,0.00004557937],"category_scores_gemma":[0.001687427,0.0001609424,0.0004872039,0.00042195,0.00008361194,0.0003282879,0.000266502,0.0005279621,0.00003747734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006222449,"about_ca_system_score_gemma":0.0003133724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.280288e-7,"about_ca_topic_score_gemma":0.00000161059,"domain_scores_codex":[0.9978,0.0001618564,0.0007710232,0.000359846,0.0004820338,0.0004252577],"domain_scores_gemma":[0.9970498,0.000612061,0.0005375188,0.0004759711,0.001044345,0.000280268],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000365829,0.0003831834,0.0001576401,0.00004575237,0.00006165354,0.0005782114,0.0001175461,0.00007161426,0.002450323,0.9927865,0.0008189951,0.002492053],"study_design_scores_gemma":[0.001094781,0.0007795859,0.0008258637,0.0000624601,0.00005546289,0.00108366,0.00002038899,0.006642762,0.002302132,0.9821731,0.004703044,0.0002567412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008765736,0.002777135,0.897938,0.07804034,0.002724239,0.0002049334,0.000006985869,0.00009103297,0.009451619],"genre_scores_gemma":[0.9319118,0.0002401223,0.06477574,0.001589476,0.001324666,0.000002629177,0.000002224717,0.00001434088,0.0001390236],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9231461,"threshold_uncertainty_score":0.6563042,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Franz Huber","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1205926440839829,"gpt":0.2869356180893501,"spread":0.1663429740053673,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00134905,0.0002512119,0.0004307218,0.0001583057,0.001023062,0.001195725,0.0008021421,0.0001995923,0.000903185],"category_scores_gemma":[0.0001527854,0.0001442508,0.0003564213,0.00006026022,0.001527355,0.002855383,0.0001036132,0.001453347,0.0001042963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007376062,"about_ca_system_score_gemma":0.00005062361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001561325,"about_ca_topic_score_gemma":0.00009124581,"domain_scores_codex":[0.9978829,0.0001988506,0.0006692958,0.0002505523,0.0006412651,0.0003571613],"domain_scores_gemma":[0.9982076,0.000356499,0.0005203626,0.0003414738,0.0003203599,0.0002537476],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007794225,0.0001497528,0.000005715741,0.00002018919,0.00004629012,0.0006104842,0.00747489,0.00003822802,0.00007207132,0.9807622,0.00228677,0.0084555],"study_design_scores_gemma":[0.0003332658,0.0007720673,0.00002746388,0.0001579022,0.0000694399,0.001333956,0.002650016,0.0001035123,0.0000166749,0.7463863,0.2479433,0.0002060625],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.07401197,0.01735126,0.0001751277,0.782584,0.01284008,0.0004229123,0.00001728478,0.00009105686,0.1125063],"genre_scores_gemma":[0.9707212,0.0007305689,0.00005946868,0.02053295,0.007322799,0.0000035788,0.000001055677,0.0000178171,0.000610486],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8967093,"threshold_uncertainty_score":0.9998412,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"John Bell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0239217590449745,"gpt":0.2814064645425275,"spread":0.257484705497553,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00020233,0.0001195041,0.000234042,0.00007537311,0.00008133027,0.00007269029,0.0005048481,0.00008147655,0.000223681],"category_scores_gemma":[0.00007044396,0.00008113439,0.00008814217,0.00017654,0.00008794669,0.0004840241,0.000073405,0.0003360242,0.00009030725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001806292,"about_ca_system_score_gemma":0.00003542497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.265136e-7,"about_ca_topic_score_gemma":1.039757e-7,"domain_scores_codex":[0.9989547,0.00006510194,0.0003219357,0.0001746692,0.00028883,0.0001948032],"domain_scores_gemma":[0.9992902,0.0001231604,0.0001396487,0.0001806498,0.00007001739,0.000196296],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003891462,0.0001200639,0.0001673811,0.000008532973,0.00001969014,0.00068098,0.00006530232,0.0001172798,0.0004008819,0.9315221,0.0001964403,0.06666248],"study_design_scores_gemma":[0.0003449911,0.0005679019,0.002707978,0.00001805402,0.000007685874,0.001559479,0.000003310272,0.0005592805,0.00008029178,0.99028,0.003762154,0.0001088551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7604781,0.003639446,0.04520182,0.1436025,0.0005786902,0.0001748702,0.00000192801,0.0001329095,0.04618978],"genre_scores_gemma":[0.9815034,0.0003562564,0.01450376,0.003253059,0.0002877813,5.996574e-7,1.292688e-7,0.000004694571,0.00009033542],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2210253,"threshold_uncertainty_score":0.3308564,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03821893589564161,"gpt":0.2806048830763099,"spread":0.2423859471806683,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006338731,0.00009493292,0.0001917147,0.0001322692,0.00007492754,0.000136723,0.0003761353,0.0001044127,0.000008430156],"category_scores_gemma":[0.0002299536,0.000065504,0.00006136813,0.0001981497,0.00004628602,0.0002962663,0.00008589261,0.0003618422,0.00002270508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001410554,"about_ca_system_score_gemma":0.00003309616,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000350995,"about_ca_topic_score_gemma":0.000006438955,"domain_scores_codex":[0.9990345,0.00005962925,0.0002963496,0.0001576576,0.0002924371,0.0001594309],"domain_scores_gemma":[0.9991679,0.00009140088,0.0001877067,0.0001638777,0.0001599988,0.0002291181],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001468623,0.00007712378,0.0007357183,0.0000120013,0.00001277392,0.00006970348,0.0003868283,0.000006610087,0.008622261,0.9758732,0.0003761233,0.013813],"study_design_scores_gemma":[0.000366553,0.0007731573,0.004156774,0.000004717352,0.000008168376,0.0003358186,0.00001594425,0.0003708327,0.0002609097,0.9889256,0.004660652,0.0001208892],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2586192,0.0004605188,0.5530706,0.1782708,0.003346105,0.0004037943,6.497357e-7,0.00010268,0.005725632],"genre_scores_gemma":[0.9859325,0.000005982145,0.01182441,0.001594391,0.0006197224,0.000001415522,1.940903e-7,0.000004242239,0.00001716205],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7273133,"threshold_uncertainty_score":0.2671176,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Max Weiss","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04278416641731048,"gpt":0.3103525521179388,"spread":0.2675683857006284,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0005711713,0.0001932294,0.0003619788,0.0001048001,0.0001246759,0.0000422516,0.0006787156,0.0002102405,0.01337645],"category_scores_gemma":[0.0002983838,0.0001290173,0.0002900247,0.0002379317,0.0009262614,0.0002324851,0.0001333518,0.0006076007,0.004594109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009094065,"about_ca_system_score_gemma":0.00003941443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009501034,"about_ca_topic_score_gemma":4.343846e-7,"domain_scores_codex":[0.9979208,0.0002451489,0.0006423314,0.0002729275,0.0004752078,0.0004436186],"domain_scores_gemma":[0.9982109,0.0004085245,0.0003621464,0.0003180436,0.0002312622,0.0004691357],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001141059,0.0002482794,0.0006296385,0.000005723537,0.00004690202,0.0008596923,0.00007099456,0.000002702479,0.003516042,0.9930813,0.0009827544,0.0004418642],"study_design_scores_gemma":[0.0005588213,0.0006549142,0.01172495,0.00002698846,0.00003131745,0.002845091,0.00001873457,0.00001045481,0.0001434739,0.9831566,0.0006597891,0.000168838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5160123,0.0005362444,0.0002497943,0.07007418,0.001056593,0.0002223407,0.000006004664,0.00003552822,0.411807],"genre_scores_gemma":[0.9930629,0.00001754026,0.0003633648,0.005173724,0.0009911,0.000008879617,5.610989e-7,0.00001252585,0.0003693868],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4770506,"threshold_uncertainty_score":0.996181,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Mary C. MacLeod","is_ca":false},{"name":"Peter Κ. Schotch","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03128535650661957,"gpt":0.2574964087609861,"spread":0.2262110522543665,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001056048,0.0002246206,0.000470633,0.0001237946,0.0001467495,0.00007396998,0.001741484,0.0001740968,0.0004200754],"category_scores_gemma":[0.0003208238,0.0001158947,0.0003789189,0.0004075618,0.0002218837,0.0002578365,0.0001337836,0.0007812716,0.00009816483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005696659,"about_ca_system_score_gemma":0.0001281195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002040948,"about_ca_topic_score_gemma":4.846629e-7,"domain_scores_codex":[0.9977569,0.0002923814,0.0006864945,0.0002648678,0.0006602311,0.0003391246],"domain_scores_gemma":[0.9980465,0.0005432595,0.0004517814,0.0005412847,0.0002225301,0.0001946064],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001433116,0.000460107,0.0001919001,0.00001751387,0.0000537635,0.0001796873,0.0001978728,0.000373736,0.0002204945,0.9853902,0.001445558,0.01132586],"study_design_scores_gemma":[0.0005851638,0.001694864,0.003177065,0.00009570477,0.00002288216,0.0004018722,0.000009297148,0.002923344,0.0002972595,0.9884424,0.002164472,0.0001857195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.282191,0.003850107,0.04320836,0.2106314,0.001765905,0.0006146901,0.000009051967,0.0001652553,0.4575642],"genre_scores_gemma":[0.9930697,0.0001941535,0.003170373,0.002553084,0.0007693661,0.000001817274,2.545366e-7,0.000009510494,0.0002317354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7108787,"threshold_uncertainty_score":0.4726048,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Epistemology; Mathematical economics; Calculus (dental); Philosophy","authors":[{"name":"Philip Kremer","is_ca":true},{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07778070247620184,"gpt":0.2800608235043985,"spread":0.2022801210281967,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001529532,0.0002202917,0.0006190334,0.0002494233,0.0001141849,0.00003481618,0.001385983,0.0001753963,0.00007159333],"category_scores_gemma":[0.001165133,0.0001618858,0.0003867197,0.0006033314,0.0002710636,0.0005545137,0.0003541269,0.0005500562,0.00002196026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001198852,"about_ca_system_score_gemma":0.0002280926,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002941111,"about_ca_topic_score_gemma":3.260763e-7,"domain_scores_codex":[0.9967697,0.000345002,0.001169931,0.0003263488,0.001087618,0.0003013841],"domain_scores_gemma":[0.9970208,0.0006773942,0.0006828278,0.0005534439,0.0008393498,0.0002261984],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002055673,0.003109471,0.006864593,0.0001241198,0.0001823367,0.00122711,0.001619606,0.01122573,0.004862648,0.9448943,0.0007703368,0.02491417],"study_design_scores_gemma":[0.0008705374,0.001758079,0.01876343,0.00003074872,0.000023517,0.001508513,0.00001131594,0.02599276,0.001046686,0.9496649,0.0001093009,0.0002202079],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3360201,0.0007314496,0.630326,0.028481,0.001689923,0.0002694704,0.00000493174,0.00009292908,0.002384299],"genre_scores_gemma":[0.9199554,0.00007849529,0.07889695,0.0004584437,0.0005941399,0.000001448703,8.050841e-7,0.000008213162,0.000006079664],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5839354,"threshold_uncertainty_score":0.6601512,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Natural deduction; Arrow; Absurdity; Simple (philosophy); Classical logic; Calculus (dental); Propositional calculus; Natural number","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.06028258325813828,"gpt":0.2709156767648104,"spread":0.2106330935066721,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008476086,0.0001379309,0.0002226478,0.0000788847,0.0001677642,0.0001284954,0.0002801787,0.00009188338,0.00001176158],"category_scores_gemma":[0.0006844531,0.00007501223,0.0001113504,0.00009823201,0.0001730147,0.0003549534,0.00008599529,0.0003465338,0.000004433665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005199125,"about_ca_system_score_gemma":0.00007936951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001894986,"about_ca_topic_score_gemma":0.000001772996,"domain_scores_codex":[0.9989665,0.0001018126,0.0002462547,0.0002065843,0.0002865947,0.0001923066],"domain_scores_gemma":[0.9984775,0.0006450439,0.0002015985,0.0001242748,0.0003639949,0.000187611],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003394361,0.0001357422,0.001318641,0.00001578935,0.0001335666,0.00001412024,0.0005318967,0.00009920525,0.0009778044,0.9888738,0.002060745,0.005499275],"study_design_scores_gemma":[0.00242278,0.00118288,0.01633175,0.00002470869,0.00007506492,0.001289894,0.0001132707,0.01347479,0.0002454549,0.960192,0.00442828,0.0002191685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3764285,0.01689822,0.47125,0.1182234,0.01007591,0.0007159953,0.0000117294,0.0001060356,0.006290128],"genre_scores_gemma":[0.994799,0.0000228519,0.002556168,0.0005917285,0.001849509,0.000004882884,2.926914e-7,0.000006975343,0.0001685594],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6183705,"threshold_uncertainty_score":0.305891,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Balthasar Grabmayr","is_ca":false},{"name":"Volker Halbach","is_ca":false},{"name":"Lingyuan Ye","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06161155011563364,"gpt":0.2971888337484152,"spread":0.2355772836327816,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000714316,0.0001113223,0.0003932829,0.000287268,0.0000280642,0.00002155758,0.00084853,0.00008787969,0.00001368458],"category_scores_gemma":[0.0002872324,0.00007592675,0.0001114385,0.0008620697,0.00006050801,0.0003155408,0.0001854086,0.0003587121,0.00002914195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002498208,"about_ca_system_score_gemma":0.00006522558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.95841e-7,"about_ca_topic_score_gemma":2.971762e-7,"domain_scores_codex":[0.9985095,0.00009202303,0.000641397,0.0001298314,0.0004275869,0.0001996502],"domain_scores_gemma":[0.9987973,0.0003270403,0.0003981434,0.0002361689,0.0001599355,0.00008141442],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007126311,0.0001362076,0.0001734707,0.00003759767,0.00001859648,0.0001262206,0.0002799177,0.0004844911,0.0006740909,0.9974622,0.00003853126,0.0005615851],"study_design_scores_gemma":[0.0002677798,0.000292802,0.002188897,0.00003270956,0.000009484084,0.00006758261,0.00002095018,0.003503148,0.0003142616,0.9931085,0.0001114684,0.00008240423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5677455,0.001414922,0.3664953,0.04929837,0.001439716,0.0004171477,0.00000560842,0.0004151505,0.01276824],"genre_scores_gemma":[0.9599726,0.0001328325,0.03960683,0.0001865521,0.00008053715,0.000001282805,2.334905e-7,0.000004519097,0.00001459464],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3922271,"threshold_uncertainty_score":0.3096203,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Calculus (dental); Epistemology; Mathematics; Programming language; Philosophy; Medicine","authors":[{"name":"David Hitchcock","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1148561883136053,"gpt":0.3258815039496001,"spread":0.2110253156359947,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001580979,0.0001088942,0.0003276975,0.00013541,0.00009635771,0.000005431743,0.0007239726,0.0001336959,0.0005883235],"category_scores_gemma":[0.0007321454,0.00006084228,0.0003450315,0.0008112598,0.001118601,0.0001064813,0.0001419253,0.0004569571,0.00005933479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001513086,"about_ca_system_score_gemma":0.00005357987,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001523955,"about_ca_topic_score_gemma":3.278708e-7,"domain_scores_codex":[0.9981381,0.0003752288,0.0006511458,0.00011984,0.0004428564,0.0002728553],"domain_scores_gemma":[0.9979411,0.0009571377,0.0005144455,0.0002831531,0.0001914365,0.0001127487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002162994,0.0002265606,0.0003485562,0.00001275378,0.0000428669,0.00002826525,0.0002591361,0.00004057101,0.0009803372,0.9970359,0.00009574454,0.0007130347],"study_design_scores_gemma":[0.0004231259,0.0004062896,0.01718918,0.00005567145,0.00005171609,0.0001412563,0.0001105326,0.00001623828,0.0005673625,0.9809191,0.00005232071,0.00006717294],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7067648,0.0002655495,0.001236361,0.02483165,0.002737132,0.0002030583,0.00007201674,0.00003114923,0.2638583],"genre_scores_gemma":[0.9991692,0.00001782616,0.00006749207,0.0004050784,0.0002936439,0.000002753433,8.888986e-7,0.000007456028,0.00003571419],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2924043,"threshold_uncertainty_score":0.644173,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Adam Sennet","is_ca":false},{"name":"Jonathan Weisberg","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07626222733691729,"gpt":0.3348656494363541,"spread":0.2586034220994368,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007439346,0.0001452756,0.0003013068,0.000112826,0.00009100678,0.00002046805,0.0003844473,0.0001648028,0.001807474],"category_scores_gemma":[0.0002384217,0.00009850837,0.0001327185,0.0001810686,0.0005414931,0.0001630068,0.00008275442,0.0005496923,0.0001236791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001986486,"about_ca_system_score_gemma":0.00002681203,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003035158,"about_ca_topic_score_gemma":1.182918e-7,"domain_scores_codex":[0.9985789,0.0001616586,0.0004558081,0.0002138815,0.0002835647,0.0003061875],"domain_scores_gemma":[0.9989209,0.0001981575,0.0002502402,0.000182714,0.00009374307,0.0003542681],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001929893,0.0002259962,0.000690668,0.000004450563,0.00003480054,0.0003691817,0.0005620588,0.00000103094,0.0001862457,0.9956294,0.00004870817,0.00205445],"study_design_scores_gemma":[0.000465609,0.000845973,0.01625961,0.00002651798,0.00003622428,0.001146707,0.00004813687,0.00002713579,0.00004315871,0.980741,0.0002334741,0.0001264516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.427523,0.0005603618,0.001649386,0.01430356,0.001114553,0.0001042278,0.000004973088,0.00003346952,0.5547065],"genre_scores_gemma":[0.9964383,0.00002360447,0.00133462,0.001384502,0.000765838,0.00000102363,1.646953e-7,0.000009399541,0.00004253113],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5689154,"threshold_uncertainty_score":0.999105,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Nate Charlow","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05439717415429019,"gpt":0.3448644979927846,"spread":0.2904673238384944,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002086989,0.0001194615,0.0003894168,0.0001424146,0.00009399099,0.00001629658,0.0004877079,0.000140702,0.0003038313],"category_scores_gemma":[0.001025274,0.0000586852,0.0001943914,0.0005428986,0.001260476,0.00006977002,0.0001373032,0.0004504556,0.0001089459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001160073,"about_ca_system_score_gemma":0.00001711311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000234414,"about_ca_topic_score_gemma":1.69701e-7,"domain_scores_codex":[0.9982679,0.0002830587,0.0005710275,0.0001759787,0.0004534384,0.0002485506],"domain_scores_gemma":[0.9974019,0.001754242,0.0003130879,0.0002432188,0.0001248893,0.0001626971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007907495,0.00009172722,0.00006856432,0.000004424471,0.00003172574,0.0001843912,0.0001742544,0.00004528643,0.0003653869,0.9959036,0.0001418653,0.002198082],"study_design_scores_gemma":[0.001456193,0.0004565491,0.006269319,0.00002898357,0.0000358841,0.000267169,0.00003961558,0.0001947142,0.00002854235,0.991033,0.0001199626,0.0000700248],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7308756,0.001362769,0.00187852,0.1577744,0.001426002,0.000258103,0.00001368664,0.00004272676,0.1063681],"genre_scores_gemma":[0.9980054,0.000118323,0.0002277088,0.00116271,0.0004486991,0.0000020432,3.189911e-7,0.000006617981,0.00002810919],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2671298,"threshold_uncertainty_score":0.4644277,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Eric P. Wilkinson","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04442947032869038,"gpt":0.3630284708137215,"spread":0.3185990004850311,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007964252,0.0001227231,0.0002891014,0.0001509659,0.00009393103,0.00002784781,0.0005133582,0.0001834323,0.002150481],"category_scores_gemma":[0.0005237754,0.00008009915,0.0002148712,0.0004180341,0.0004561134,0.0000968312,0.00006840022,0.0005403971,0.0001800625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003932461,"about_ca_system_score_gemma":0.00005691057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.875075e-7,"about_ca_topic_score_gemma":9.794535e-8,"domain_scores_codex":[0.9984629,0.0002204815,0.0005473262,0.0001897227,0.0003393326,0.0002402055],"domain_scores_gemma":[0.9988086,0.0004632394,0.000187993,0.0001898048,0.0001814845,0.0001688993],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001788066,0.0003043168,0.0001329785,0.000003478725,0.00004313316,0.0001666092,0.00003450535,0.000009399218,0.0004145808,0.9966647,0.0009635944,0.001083871],"study_design_scores_gemma":[0.0005578658,0.0003010862,0.005823336,0.00002404218,0.00003006377,0.0001422704,0.00001194308,0.00001428827,0.00005747274,0.9893362,0.003618164,0.00008329201],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02358906,0.0007691206,0.00843725,0.1730151,0.001942857,0.0001026379,0.00000456522,0.000028396,0.792111],"genre_scores_gemma":[0.9911738,0.000009981758,0.0005136339,0.007177052,0.0008278214,0.000002841938,6.633694e-7,0.000003752592,0.0002904702],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9675847,"threshold_uncertainty_score":0.9987617,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Patrick Fraser","is_ca":true},{"name":"Nuriya Nurgalieva","is_ca":false},{"name":"Lídia del Rio","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0348466878439347,"gpt":0.2885277078438908,"spread":0.2536810199999561,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002379437,0.00007936831,0.0002063812,0.00008437718,0.00007539547,0.00001767892,0.0001108669,0.00004080009,0.00009860865],"category_scores_gemma":[0.00001522344,0.00006007223,0.00008195752,0.0001706951,0.00008415533,0.00004897581,0.00004761608,0.0002277528,0.00004574358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005540066,"about_ca_system_score_gemma":0.00002890252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002017818,"about_ca_topic_score_gemma":3.918639e-8,"domain_scores_codex":[0.999337,0.00003632521,0.0002791101,0.00009893611,0.0001096325,0.000138961],"domain_scores_gemma":[0.9994284,0.0001193999,0.000188436,0.00008892879,0.00007198563,0.0001028357],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006566332,0.00003197571,0.0007765813,0.000003469028,0.00002507159,0.00001130154,0.00001251321,0.00000307269,0.001233845,0.9963695,0.0002181169,0.001308011],"study_design_scores_gemma":[0.00028021,0.0001126664,0.001367244,0.000009465996,0.00001830778,0.00005774334,0.00004230419,0.0009668876,0.00007618374,0.9960267,0.000976968,0.0000652942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9547445,0.00008208653,0.010063,0.03216387,0.0003086915,0.00009440535,0.00001850579,0.00002418637,0.002500783],"genre_scores_gemma":[0.9991211,0.00001423066,0.00019123,0.0001132568,0.0005341529,0.000002911747,0.000002507319,0.000007163801,0.00001350087],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04437657,"threshold_uncertainty_score":0.2449674,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science","authors":[{"name":"James P. Delgrande","is_ca":true},{"name":"Jérôme Lang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01717220033087949,"gpt":0.24629256994569,"spread":0.2291203696148106,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00100762,0.0001389359,0.0002919278,0.0001407385,0.0001018928,0.000101926,0.0008772691,0.000129525,0.00003582906],"category_scores_gemma":[0.0008510044,0.00009425291,0.000173864,0.0002670757,0.00008243993,0.0004614118,0.0001429887,0.0004685302,0.0001446417],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005318769,"about_ca_system_score_gemma":0.00004674217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.702742e-7,"about_ca_topic_score_gemma":2.609224e-7,"domain_scores_codex":[0.9985089,0.0001763205,0.0004345549,0.0002241728,0.0004240413,0.000232031],"domain_scores_gemma":[0.998615,0.0001515238,0.0003539033,0.000326525,0.0003454489,0.000207631],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001975214,0.0002205868,0.0002144557,0.00001186341,0.00002298727,0.00003480252,0.00009301936,0.00004789079,0.001083483,0.9466245,0.04768866,0.003938056],"study_design_scores_gemma":[0.0004789631,0.0009593163,0.001065172,0.00001655531,0.00001729531,0.0004585612,0.000002664915,0.001589289,0.0005335687,0.8089651,0.1857405,0.0001730599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008289623,0.000666977,0.5660621,0.28823,0.09867509,0.0001796813,8.942231e-7,0.0002351518,0.03766052],"genre_scores_gemma":[0.8322575,0.00001962651,0.006821957,0.0005205123,0.1603177,8.063855e-7,4.283461e-7,0.000006191129,0.00005530195],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8239679,"threshold_uncertainty_score":0.3843522,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Agata Ciabattoni","is_ca":false},{"name":"Josephine Dik","is_ca":false},{"name":"Elisa Freschi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07313588520802602,"gpt":0.2910793731410738,"spread":0.2179434879330478,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001921616,0.0001279728,0.0002755231,0.0002076899,0.0003953128,0.00008052195,0.0002156401,0.00005904105,0.001407237],"category_scores_gemma":[0.0001561698,0.00007875204,0.0002265142,0.00004226416,0.0002596115,0.00008525754,0.00004543255,0.000432817,0.0001169285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004563191,"about_ca_system_score_gemma":0.00004508085,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001748004,"about_ca_topic_score_gemma":0.000002597948,"domain_scores_codex":[0.9990504,0.00004988048,0.0003852021,0.0001059121,0.0002371542,0.0001713903],"domain_scores_gemma":[0.9993183,0.0001495052,0.0001556583,0.000112848,0.000190513,0.00007318288],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009613271,0.00017284,0.0001087224,0.00001918579,0.00006659354,0.00009933422,0.0007240285,0.000004585954,0.00006017203,0.9850427,0.01259041,0.001015308],"study_design_scores_gemma":[0.00058075,0.000501668,0.001397811,0.0001684479,0.00005514389,0.00001777706,0.0002045423,0.000008295073,0.00008456027,0.6362713,0.360572,0.0001377133],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08373226,0.0003814151,0.0000184958,0.2162217,0.002140882,0.00008405942,0.00001510951,0.00003137698,0.6973746],"genre_scores_gemma":[0.9778612,0.00004194727,0.00005149549,0.0141766,0.002268759,0.000001238648,7.054107e-7,0.000006275219,0.005591797],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8941289,"threshold_uncertainty_score":0.9995056,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}