{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":12,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":12,"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":"3ee5f500e745","filters":{"venue":"The Australasian Journal of Logic"}},"results":[{"id":"W1640057716","doi":"10.26686/ajl.v3i0.1769","title":"Justification of Argumentation Schemes","year":2005,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Winnipeg","funders":"","keywords":"Argumentation theory; Argument (complex analysis); Defeasible estate; Inference; Epistemology; Computer science; Scheme (mathematics); Key (lock); Argumentation framework; Artificial intelligence; Mathematics; Philosophy; Computer security","authors":[{"name":"Douglas Walton","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04089321282050327,"gpt":0.2948102660106069,"spread":0.2539170531901036,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005558726,0.0000557704,0.0001040402,0.0000744505,0.00004699802,0.00003482058,0.0004385338,0.00002707646,0.00002710936],"category_scores_gemma":[0.00002696266,0.00003427088,0.0000632749,0.0001475513,0.00002526994,0.0004413923,0.00001727724,0.00008588533,0.00002053684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002917121,"about_ca_system_score_gemma":0.00002771482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001939801,"about_ca_topic_score_gemma":9.4285e-7,"domain_scores_codex":[0.9991419,0.00007806594,0.0004059062,0.00006441344,0.0002243778,0.00008539193],"domain_scores_gemma":[0.998998,0.00003540038,0.0006321392,0.0001835814,0.0001172018,0.00003364818],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00008188835,0.0006744182,0.01249844,0.0001522058,0.0002359275,0.00001819804,0.01381337,0.01436358,0.3322982,0.2936992,0.008991243,0.3231733],"study_design_scores_gemma":[0.00383119,0.001319284,0.4487728,0.0004427381,0.0002172274,0.00106726,0.002371646,0.04237381,0.4638579,0.01732176,0.01778202,0.0006422841],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6074143,0.0002033056,0.3815409,0.009694538,0.0004077721,0.0001481747,7.366373e-7,0.00001571697,0.0005745014],"genre_scores_gemma":[0.9826834,0.00002019705,0.01692271,0.0000522757,0.0001578757,7.557351e-7,4.009604e-7,0.000002146858,0.0001601955],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4362744,"threshold_uncertainty_score":0.1397526,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2620887081","doi":"10.26686/ajl.v14i1.4026","title":"Resolving Quine's Confict: A Neo-Quinean View of the Rational Revisability of Logic","year":2017,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Quine; Argument (complex analysis); Epistemology; Philosophy; Exegesis; Subject (documents); Computer science; Theology","authors":[{"name":"Amanda Bryant","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09137614410707275,"gpt":0.2870633837069518,"spread":0.1956872395998791,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001301474,0.0001221135,0.0003388168,0.00004991712,0.0007336647,0.00009580335,0.001252248,0.00003019873,0.000911503],"category_scores_gemma":[0.0003051712,0.00005981359,0.0002749886,0.00003084464,0.002495817,0.0002840624,0.00007812925,0.0002794254,0.000007617176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003748578,"about_ca_system_score_gemma":0.0001396536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004605468,"about_ca_topic_score_gemma":0.0001117903,"domain_scores_codex":[0.998551,0.0001685101,0.000619408,0.0001073361,0.0003877485,0.0001659875],"domain_scores_gemma":[0.9976559,0.000101413,0.001300541,0.0005664862,0.0003191002,0.00005656276],"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.0001204622,0.0002312587,0.003203071,0.0001832354,0.00008298596,0.00001249746,0.01844545,0.00007560987,0.002317928,0.9686552,0.00518432,0.00148795],"study_design_scores_gemma":[0.002426166,0.002480231,0.1541103,0.001748765,0.0005865936,0.0004133215,0.01088875,0.0001080507,0.001555722,0.5782048,0.2467319,0.000745452],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6741285,0.002096119,0.00004328651,0.0337052,0.002782007,0.00052014,0.00005298058,0.00001638394,0.2866553],"genre_scores_gemma":[0.9977295,0.00004004556,0.00006027035,0.0001845661,0.0006584994,9.183383e-7,3.622488e-7,0.0000052828,0.001320572],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3904505,"threshold_uncertainty_score":0.9980319,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2295763493","doi":"10.26686/ajl.v13i1.3926","title":"Relevance Logic: Problems Open and Closed","year":2016,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Relevance (law); Fragment (logic); Semilattice; Mathematics; Decision problem; Algebra over a field; Computer science; Discrete mathematics; Algorithm; Pure mathematics","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04184020616646513,"gpt":0.2815974418179703,"spread":0.2397572356515052,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00116552,0.0001594329,0.0002804707,0.00005944669,0.0001587927,0.0002686634,0.002515349,0.00006709595,0.00004629392],"category_scores_gemma":[0.0002207842,0.00006625951,0.00008387833,0.000201949,0.0001910085,0.0007971278,0.0004388845,0.0002233151,0.00005922876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003769416,"about_ca_system_score_gemma":0.00008801689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002993079,"about_ca_topic_score_gemma":0.000004924402,"domain_scores_codex":[0.9986543,0.0001911508,0.0003863127,0.000220379,0.0002184231,0.000329418],"domain_scores_gemma":[0.9985669,0.0002483887,0.0004576869,0.0004200176,0.000149642,0.0001573854],"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.0001102497,0.0002671783,0.006801646,0.00004372484,0.0001445012,0.0005300071,0.003095627,0.00004334703,0.0125078,0.7462922,0.01283114,0.2173326],"study_design_scores_gemma":[0.002876308,0.002007,0.04028182,0.0004210863,0.00004747336,0.004461204,0.00017813,0.0001300924,0.002446828,0.9213159,0.02536534,0.0004687877],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2838761,0.005181709,0.4588748,0.1402143,0.003001801,0.001768479,0.000007645352,0.0002297115,0.1068455],"genre_scores_gemma":[0.9873546,0.000322493,0.009397529,0.0002972777,0.0001726484,0.000003068935,5.950317e-8,0.000007039002,0.002445328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7034785,"threshold_uncertainty_score":0.4674186,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1529320093","doi":"10.26686/ajl.v4i0.1778","title":"Some non-standard interpretations of the axiomatic basis of Leśniewski’s Ontology","year":2006,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Axiom; Ontology; Meaning (existential); Functor; Statement (logic); Basis (linear algebra); Mathematics; Semantics (computer science); Constant (computer programming); Axiomatic system; Natural language processing; Epistemology; Computer science; Discrete mathematics; Philosophy; Programming language","authors":[{"name":"Rafał Urbaniak","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01658101990030346,"gpt":0.2585725854186751,"spread":0.2419915655183716,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005858793,0.0001098726,0.000365568,0.0001089807,0.0000731625,0.00002806834,0.001618211,0.00005518274,0.00001394156],"category_scores_gemma":[0.0001148689,0.00005346062,0.0002409854,0.000282493,0.000314477,0.0002417009,0.000114628,0.0001873951,0.00000301355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002762219,"about_ca_system_score_gemma":0.0001230294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003690439,"about_ca_topic_score_gemma":0.00004135372,"domain_scores_codex":[0.9985614,0.0001841486,0.0006851547,0.00009201456,0.0002884449,0.0001888817],"domain_scores_gemma":[0.9982681,0.0002430924,0.0008483558,0.0004541784,0.0001580921,0.00002823497],"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.0002485452,0.0007951722,0.06637897,0.0004227067,0.000701761,0.0001942215,0.01407967,0.008917671,0.03607179,0.8333808,0.01413675,0.02467197],"study_design_scores_gemma":[0.001319579,0.001243192,0.4373938,0.0004862673,0.0002265613,0.001292888,0.001703031,0.002104786,0.05273726,0.5010588,0.0001829933,0.0002507935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8810266,0.0007134174,0.09862469,0.01607192,0.0009742872,0.000200533,0.000004431965,0.00001696781,0.002367124],"genre_scores_gemma":[0.9918416,0.00001737637,0.007873988,0.00009375823,0.00006366173,0.000001098339,9.297985e-8,0.000003497059,0.0001049495],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3710148,"threshold_uncertainty_score":0.3007065,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2874049253","doi":"10.26686/ajl.v15i2.4066","title":"Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics","year":2018,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Relevance (law); Semantics (computer science); Proof-theoretic semantics; Relation (database); Set (abstract data type); Kripke semantics; Presentation (obstetrics); Mathematics; Computer science; Natural language processing; Epistemology; Algebra over a field; Artificial intelligence; Programming language; Operational semantics; Philosophy; Description logic; Pure mathematics; Denotational semantics; Data mining; Intermediate logic","authors":[{"name":"Katalin Bimbó","is_ca":true},{"name":"J. Michael Dunn","is_ca":false},{"name":"Nicholas Ferenz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03799325354492111,"gpt":0.27567773915424,"spread":0.2376844856093189,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001768739,0.000318668,0.0005202245,0.0000567962,0.0005198011,0.0002100984,0.004022482,0.0001309741,0.00004223868],"category_scores_gemma":[0.0003298658,0.0001491853,0.0003683848,0.0005022339,0.0007453039,0.0003769534,0.000342102,0.0006542312,0.00003854642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001516041,"about_ca_system_score_gemma":0.0001589793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002854029,"about_ca_topic_score_gemma":0.00003358776,"domain_scores_codex":[0.9972612,0.0003137017,0.00079907,0.0003208556,0.0006706629,0.0006345551],"domain_scores_gemma":[0.9965801,0.0004364358,0.001180381,0.001099745,0.0005566698,0.0001466424],"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.0003161808,0.001672265,0.006764387,0.0001587791,0.0008650737,0.0000306025,0.007709436,0.0002604588,0.04640058,0.65333,0.2683885,0.01410377],"study_design_scores_gemma":[0.008196483,0.007504382,0.01566375,0.001076874,0.001308046,0.001504387,0.002209038,0.005784666,0.1645988,0.4492122,0.3409169,0.002024478],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2662961,0.006979971,0.6115974,0.09151979,0.006626802,0.002266474,0.0001325899,0.0001735116,0.0144073],"genre_scores_gemma":[0.9881735,0.0002827713,0.007349751,0.0007735507,0.0007126719,0.000006642052,0.000001490237,0.00002307743,0.002676479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7218775,"threshold_uncertainty_score":0.747484,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1559028082","doi":"10.26686/ajl.v12i5.3891","title":"First degree formulas in quantified S5","year":2015,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Degree (music); Context (archaeology); Mathematics; Modal logic; Modal; Algebra over a field; Algorithm; Calculus (dental); Pure mathematics; Physics; Chemistry; Geography; Medicine","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1232084964079367,"gpt":0.2971933102502508,"spread":0.1739848138423142,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001659233,0.0001285948,0.0002503442,0.0001292878,0.00006912874,0.0001602342,0.001393055,0.00007161569,0.000008648559],"category_scores_gemma":[0.00009754863,0.00007137864,0.0001108634,0.0003640942,0.00006723613,0.0004092625,0.0001018725,0.0003075738,0.0000831783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006540531,"about_ca_system_score_gemma":0.0001142274,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003681237,"about_ca_topic_score_gemma":0.00009132055,"domain_scores_codex":[0.9985754,0.0001381183,0.0004807652,0.0001347937,0.0003515414,0.0003193961],"domain_scores_gemma":[0.9988871,0.00007634964,0.0003676834,0.0003733192,0.0001341881,0.0001613692],"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.000139175,0.0004281874,0.03230931,0.00006708794,0.0001187294,0.001699763,0.01393525,0.002373807,0.0001581211,0.8963097,0.01145486,0.04100598],"study_design_scores_gemma":[0.005403124,0.003356684,0.05711808,0.0001060986,0.00006187138,0.006804964,0.003503979,0.006115839,0.0009914123,0.8622296,0.05347507,0.0008332136],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.225506,0.001887458,0.7077808,0.02460267,0.005576737,0.0008370534,8.049456e-7,0.0001637738,0.03364476],"genre_scores_gemma":[0.99646,0.00001005142,0.002862329,0.00008922843,0.0001863394,0.000001829572,1.525515e-7,0.000005606252,0.0003844297],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7709541,"threshold_uncertainty_score":0.2910737,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4317796404","doi":"10.26686/ajl.v19i5.7540","title":"Minimally Nonstandard K3 and FDE","year":2022,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Paraconsistent logic; Sequent; Propositional calculus; Mathematics; Sequent calculus; Classical logic; Many-valued logic; Logical consequence; Intermediate logic; Order (exchange); Intuitionistic logic; Computer science; Calculus (dental); Higher-order logic; Algorithm; Algebra over a field; Discrete mathematics; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Medicine","authors":[{"name":"Rea Golan","is_ca":false},{"name":"Ulf Hlobil","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03186449682996105,"gpt":0.3090543199662029,"spread":0.2771898231362418,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00109171,0.00007146097,0.0001331015,0.00004647999,0.0002309438,0.00002197809,0.0004553342,0.00002244579,0.002813344],"category_scores_gemma":[0.00004410637,0.00004220577,0.00006874988,0.0001625975,0.0004058072,0.00005039024,0.00008496189,0.0004203228,0.00002045398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002345673,"about_ca_system_score_gemma":0.0000300057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001376024,"about_ca_topic_score_gemma":2.755212e-7,"domain_scores_codex":[0.9989705,0.0002640866,0.0002230818,0.00009545961,0.0002440629,0.0002027721],"domain_scores_gemma":[0.9994239,0.000138643,0.0001652473,0.0001405867,0.00002601992,0.000105574],"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.0003557434,0.0001015803,0.0008536488,0.000001770887,0.00004759995,0.0004413213,0.00201461,0.00002762578,0.0008293049,0.9873008,0.00186174,0.006164267],"study_design_scores_gemma":[0.001022299,0.002516999,0.0240807,0.00001362235,0.00006988594,0.006194187,0.003846359,0.000005860505,0.0001204898,0.9514646,0.01050332,0.0001616901],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7830024,0.0003891458,0.0001413502,0.02492078,0.0006926658,0.00008402391,0.00001456037,0.000009488555,0.1907455],"genre_scores_gemma":[0.9987327,0.000005969074,0.0001748874,0.0005731202,0.0001342217,0.00000200415,1.34841e-7,0.00000405219,0.0003728511],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2157303,"threshold_uncertainty_score":0.9980982,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3130255400","doi":"10.26686/ajl.v18i1.6539","title":"Ehrenfeucht-Fraïssé games without identity","year":2021,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Game Theory and Applications","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Identity (music); Relation (database); Binary relation; Mathematics; Identity function; Binary number; Linguistics; Computer science; Discrete mathematics; Arithmetic; Philosophy; Data mining","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1365999605084593,"gpt":0.4161479154486735,"spread":0.2795479549402142,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.003727212,0.0001137142,0.0003004612,0.000100771,0.0002019742,0.0003316444,0.00143142,0.00005475654,0.002121122],"category_scores_gemma":[0.001620852,0.00006028564,0.0002576374,0.0007542083,0.0002446464,0.0005128593,0.0001185728,0.0003815859,0.0005585916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001988695,"about_ca_system_score_gemma":0.0001363429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.688649e-7,"about_ca_topic_score_gemma":0.00001028756,"domain_scores_codex":[0.9974618,0.0004868939,0.000745158,0.0001795649,0.0009123676,0.0002142065],"domain_scores_gemma":[0.9974334,0.0005844946,0.0006291654,0.000654847,0.000556284,0.0001417653],"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.000237604,0.0007573499,0.06035595,0.00001566754,0.0003308037,0.0007424682,0.005271077,0.001659182,0.04773475,0.7319075,0.05012862,0.100859],"study_design_scores_gemma":[0.0002627476,0.00006896154,0.04911023,0.00001894187,0.00004716341,0.001169772,0.002417722,0.00001583711,0.003661842,0.9327788,0.01036163,0.00008632145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9511466,0.0004429515,0.01751193,0.01860118,0.0004668318,0.00008467263,0.000006414334,0.00001553145,0.01172388],"genre_scores_gemma":[0.9920546,0.0000296647,0.001472725,0.0003831745,0.0002525038,0.00000145925,3.802726e-7,0.000006003667,0.005799436],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2008713,"threshold_uncertainty_score":0.9987911,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1535419843","doi":"10.26686/ajl.v2i0.1768","title":"Limiting Cases for Spectrum Closure Results","year":2004,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Spectrum (functional analysis); Closure (psychology); Mathematics; Class (philosophy); Image (mathematics); Function (biology); Limiting; Set (abstract data type); Sentence; Order (exchange); Pure mathematics; Spectral line; Combinatorics; Discrete mathematics; Computer science; Artificial intelligence; Physics; Quantum mechanics","authors":[{"name":"Aaron Hunter","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03882682308431577,"gpt":0.2751550541640256,"spread":0.2363282310797099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001067175,0.0001149479,0.0001796843,0.00007125881,0.0001617755,0.0001344412,0.001065595,0.00004392232,0.000004448689],"category_scores_gemma":[0.0002221408,0.00006679384,0.0001782422,0.0001867691,0.00006533256,0.0003196628,0.00006337009,0.0002210755,0.00001044284],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004094253,"about_ca_system_score_gemma":0.00008273326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003340796,"about_ca_topic_score_gemma":0.000002650981,"domain_scores_codex":[0.9989116,0.00005973276,0.0004186062,0.0001323412,0.000192159,0.0002855827],"domain_scores_gemma":[0.998813,0.0003022177,0.0004241299,0.0003160011,0.00006330251,0.00008136388],"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.0004248216,0.0003269646,0.000442979,0.00005573392,0.0001998832,0.002213347,0.004586854,0.01068049,0.003622483,0.9448714,0.00541281,0.02716219],"study_design_scores_gemma":[0.003823327,0.00280097,0.007836495,0.0003023618,0.00006869186,0.01395222,0.001127957,0.0004723006,0.01872809,0.947741,0.002774528,0.000372007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7036264,0.0005122544,0.2129801,0.0792723,0.001232235,0.0003201421,0.00001691714,0.0001157266,0.001923921],"genre_scores_gemma":[0.9794344,0.0000166856,0.01966842,0.0003420098,0.0004372533,0.000001136083,4.446729e-7,0.000006652296,0.0000930107],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.275808,"threshold_uncertainty_score":0.2723774,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2167149036","doi":"10.26686/ajl.v6i0.1799","title":"Collapsing Arguments for Facts and Propositions","year":2008,"lang":"en","type":"article","venue":"The Australasian Journal of 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":"","keywords":"Quine; Epistemology; Axiom; Argument (complex analysis); Philosophy; Class (philosophy); Linguistics; Mathematics","authors":[{"name":"John Howard Sobel","is_ca":true}],"retraction":null,"screen_n_in":0,"score":{"opus":0.06306229818843614,"gpt":0.3321463581922036,"spread":0.2690840600037674,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003021705,0.00005935964,0.0001058256,0.00003254234,0.0002358442,0.00001498746,0.0001758133,0.00003421209,0.000120253],"category_scores_gemma":[0.00004421842,0.00003293304,0.00005306119,0.00008903992,0.0003997833,0.00007244327,0.000009575259,0.0001247148,0.00001351401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001203283,"about_ca_system_score_gemma":0.00001700237,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.083454e-7,"about_ca_topic_score_gemma":1.617098e-7,"domain_scores_codex":[0.9994134,0.00007012209,0.0001751619,0.00007097593,0.0000994062,0.00017096],"domain_scores_gemma":[0.9995224,0.0001255606,0.0001277305,0.00008433254,0.00004667595,0.00009322754],"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.0003228289,0.0002761543,0.00159528,0.00001015059,0.0001141237,0.0002201787,0.00591574,0.00002264515,0.00316274,0.9835977,0.002249647,0.002512824],"study_design_scores_gemma":[0.0009590094,0.001154252,0.03851067,0.00003392862,0.00005841002,0.004330018,0.0005705807,0.000007534212,0.000862906,0.9526594,0.0007482306,0.0001050286],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9605676,0.0001005082,0.001422255,0.009656375,0.0003752333,0.0001925941,0.000006384716,0.000006897161,0.02767214],"genre_scores_gemma":[0.9983931,0.00001083457,0.0008663106,0.0002203748,0.0001313605,0.000001618637,1.640175e-7,0.000003244705,0.0003730347],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03782544,"threshold_uncertainty_score":0.1813947,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4366003179","doi":"10.26686/ajl.v20i1.8086","title":"Geometry of Relevant Implication II","year":2023,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Simple (philosophy); Mathematics; Fragment (logic); Variable (mathematics); Geometry; Algebra over a field; Calculus (dental); Pure mathematics; Algorithm; Mathematical analysis; Philosophy; Epistemology; Medicine","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03860147774022106,"gpt":0.2863669516867643,"spread":0.2477654739465432,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001218773,0.00008294712,0.0001911205,0.0001712527,0.0001080687,0.00004297125,0.001073758,0.00005024456,0.00001149064],"category_scores_gemma":[0.00008224382,0.00004651387,0.0001268096,0.0007987819,0.00006529393,0.0001909191,0.0001356866,0.0001804498,0.00005842296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002064754,"about_ca_system_score_gemma":0.00005135337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005643426,"about_ca_topic_score_gemma":6.326574e-7,"domain_scores_codex":[0.9988623,0.00008822226,0.0004383608,0.0001050219,0.0002948549,0.0002112669],"domain_scores_gemma":[0.9987995,0.00007994447,0.0005377863,0.000375446,0.000142027,0.00006531125],"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.00002740292,0.0001697326,0.005652159,0.00008569549,0.000152272,0.0001383341,0.004391816,0.0005325866,0.01542576,0.8694044,0.01079074,0.09322907],"study_design_scores_gemma":[0.001757982,0.004238087,0.212276,0.00008129478,0.0001185712,0.003441804,0.002377922,0.001520884,0.01905071,0.7166578,0.03788785,0.0005911241],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6714695,0.0006510387,0.3006523,0.02031994,0.002134902,0.0004471083,0.000001723447,0.0002058684,0.004117623],"genre_scores_gemma":[0.9979939,0.00004311034,0.001121285,0.00003498954,0.0001419517,0.000001519117,4.421873e-7,0.000004473795,0.0006582634],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3265245,"threshold_uncertainty_score":0.1995328,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4400722659","doi":"10.26686/ajl.v21i3.7409","title":"Condorcet-Style Paradoxes for Majority Rule with Infinte Candidates","year":2024,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Douglas College","funders":"European Commission; Yale University","keywords":"Condorcet method; Style (visual arts); Majority rule; Computer science; Mathematical economics; Mathematics; Artificial intelligence; Political science; Law; Voting; Art; Literature","authors":[{"name":"Matthew Rachar","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03478268939167749,"gpt":0.2533978271974986,"spread":0.2186151378058211,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00147413,0.000127562,0.0003552974,0.0001232248,0.00009495643,0.0001592635,0.0003101922,0.0000552225,0.0001755448],"category_scores_gemma":[0.0000760556,0.00007882017,0.0001567722,0.0001462766,0.0001098346,0.0001815037,0.0000146101,0.0002550551,0.0001377841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003716735,"about_ca_system_score_gemma":0.00002897656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002253855,"about_ca_topic_score_gemma":0.000006401794,"domain_scores_codex":[0.9990075,0.00003487462,0.0005470515,0.0001411704,0.00003795279,0.0002314477],"domain_scores_gemma":[0.9991712,0.0001945378,0.0003612218,0.0001686303,0.00003806079,0.00006634532],"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.0003220639,0.00007105635,0.02234686,0.0002859973,0.0005359059,0.00009469494,0.002496755,0.0004399529,0.000187479,0.9669796,0.005172593,0.001067001],"study_design_scores_gemma":[0.002161246,0.002230964,0.01261516,0.0006706094,0.0001617478,0.002171358,0.002170625,0.001363557,0.001488083,0.8763623,0.09796374,0.0006406375],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9741632,0.003658425,0.007416138,0.00462583,0.001113208,0.0003291102,0.0001359049,0.00004259137,0.008515646],"genre_scores_gemma":[0.9959694,0.00003290125,0.0004412873,0.00007237046,0.0003349501,0.000006175448,0.000001935556,0.00001646947,0.003124521],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09279114,"threshold_uncertainty_score":0.3214193,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}