{"meta":{"query_hash":"3c82fe15dd3b","filters":{"venue":"Bulletin of Symbolic Logic"},"cohort_total":52,"direct_labels_cover":0,"predictions_cover":52,"exported":52,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/3c82fe15dd3b","api":"https://metacan.xera.ac/api/v1/cohort?venue=Bulletin+of+Symbolic+Logic"},"results":[{"id":"W1510091077","doi":"10.2307/421081","title":"Jan Dejnožka. Bertrand Russell on modality and logical relevance. Avebury series in philosophy. Ashgate, Aldershot, Brookfield, Vt., etc., 1999, ix + 241 pp.","year":2000,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Relevance (law); Modality (human–computer interaction); Content (measure theory); Series (stratigraphy); Philosophy; Mathematical economics; Mathematics; Computer science; Law; Artificial intelligence; Political science","score_opus":0.02427898802891608,"score_gpt":0.2675341383693766,"score_spread":0.24325515034046052,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1510091077","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.38759172,0.0018006623,0.000019789702,0.022083808,0.00018123246,0.00039998218,0.000027864533,0.00007761693,0.5878173],"genre_scores_gemma":[0.99366045,0.0008601915,0.00023572159,0.0036185537,0.00020009378,0.000044725974,0.000007833071,0.000020823134,0.0013516137],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99716157,0.0003352163,0.0006098873,0.00085260154,0.00036023787,0.0006804683],"domain_scores_gemma":[0.9985024,0.0005148567,0.00011945457,0.00057217304,0.000035842084,0.00025531364],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00067850784,0.0003695155,0.00061436684,0.00007909283,0.00013684682,0.000031860483,0.00048234095,0.0004151776,0.010988802],"category_scores_gemma":[0.00015020087,0.00029549777,0.00013378637,0.00028288635,0.0013198655,0.000055162538,0.00007480433,0.00056061667,0.00067674014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0011371674,0.0007182421,0.00061505544,0.000060090984,0.000031531545,0.00014838664,0.0008103549,0.000032653865,0.0002287294,0.9877478,0.0016514871,0.0068185176],"study_design_scores_gemma":[0.0015961692,0.0009616131,0.01473795,0.00013171024,0.000024680921,0.00010142838,0.000107494365,0.000010866538,0.00046238277,0.9532401,0.028154846,0.00047076453],"about_ca_topic_score_codex":0.0003661609,"about_ca_topic_score_gemma":0.000016914384,"teacher_disagreement_score":0.60606873,"about_ca_system_score_codex":0.0000298584,"about_ca_system_score_gemma":0.000021136138,"threshold_uncertainty_score":0.9999497},"labels":[],"label_agreement":null},{"id":"W1510655993","doi":"10.2178/bsl/1182353937","title":"Itay Neeman and Jindřich Zapletal. <i>Proper forcings and absoluteness in L(ℝ)</i>. <b>Commentationes mathematicae Universitatis Carolinae</b>, vol. 39 (1998), pp. 281–301. - Itay Neeman and Jindřich Zapletal. <i>Proper forcing and L(ℝ)</i>. The journal of symbolic logic, vol. 66 (2001), pp. 801–810.","year":2002,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Absoluteness; Mathematics; Forcing (mathematics); Philosophy; Epistemology; Mathematical analysis","score_opus":0.014844312322958178,"score_gpt":0.2116670115056542,"score_spread":0.19682269918269601,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1510655993","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.93103206,0.036968265,0.014450954,0.012227385,0.0005877366,0.0019932217,0.000025581916,0.00013552766,0.0025792345],"genre_scores_gemma":[0.9778683,0.009183751,0.010016273,0.0020843593,0.00017602362,0.000038494458,0.000005083693,0.000060965627,0.0005667592],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99566185,0.00048375438,0.0013122135,0.0008854227,0.00068763713,0.0009691366],"domain_scores_gemma":[0.9966175,0.0008954029,0.0008999917,0.00068852666,0.0005315185,0.00036705972],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0017328872,0.0007345621,0.0014338823,0.00038106923,0.0005803525,0.0002794356,0.001001748,0.0002833938,0.00012568585],"category_scores_gemma":[0.00045863516,0.00050642266,0.0001627386,0.00067433814,0.001223167,0.00065675616,0.00086425577,0.00063167757,0.000022514558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0026630946,0.004490318,0.05605289,0.009306139,0.0024778373,0.0016329748,0.17673045,0.003031046,0.01576109,0.5186036,0.08731608,0.12193449],"study_design_scores_gemma":[0.09361608,0.011321,0.08977579,0.0069798636,0.0035677808,0.014741723,0.06736541,0.092183016,0.004924808,0.5089573,0.09426936,0.012297864],"about_ca_topic_score_codex":0.0003760258,"about_ca_topic_score_gemma":0.000049766306,"teacher_disagreement_score":0.10963662,"about_ca_system_score_codex":0.00008224681,"about_ca_system_score_gemma":0.000053865275,"threshold_uncertainty_score":0.99973875},"labels":[],"label_agreement":null},{"id":"W1514429014","doi":"10.1017/s1079898600005849","title":"Grothendieck Rings of ℤ-Valued Fields","year":2001,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":12,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Bijection; Triviality; Mathematics; Residue field; Discrete valuation ring; Construct (python library); Ring (chemistry); Field (mathematics); Pure mathematics; Valuation (finance); Discrete mathematics; Computer science; Chemistry","score_opus":0.04143279293261746,"score_gpt":0.2768023958299883,"score_spread":0.23536960289737083,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1514429014","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9297689,0.00020624141,0.0008232749,0.0011294693,0.00011144666,0.0002516917,0.0000035292894,0.000076845696,0.067628585],"genre_scores_gemma":[0.9886107,0.00012366308,0.0064635137,0.0002922047,0.00013344067,0.00001529382,0.000001820751,0.00002518339,0.004334182],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987426,0.000046930443,0.00047972728,0.00021451015,0.00025073314,0.00026551035],"domain_scores_gemma":[0.9990039,0.0001891756,0.00026161276,0.00040528039,0.00008002877,0.00005999283],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00033560023,0.00016556637,0.00044175785,0.00008601788,0.000040304327,0.0000080422915,0.0003073567,0.00013057524,0.0018751777],"category_scores_gemma":[0.00032405544,0.0001391623,0.0001562224,0.000102406884,0.00012692036,0.000014685831,0.00008385471,0.0001295733,0.00014148602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00013824124,0.0010688445,0.008737881,0.0009865733,0.00018689668,0.000052359606,0.0028837873,0.000016842072,0.0022813075,0.9035417,0.07682988,0.0032756904],"study_design_scores_gemma":[0.0019293812,0.00047710424,0.01176539,0.00039583337,0.00012439355,0.00008456817,0.00060359656,0.000039061677,0.015621616,0.8902033,0.078145444,0.0006103186],"about_ca_topic_score_codex":0.00014419081,"about_ca_topic_score_gemma":0.0000041979124,"teacher_disagreement_score":0.0632944,"about_ca_system_score_codex":0.000013563342,"about_ca_system_score_gemma":0.000016862074,"threshold_uncertainty_score":0.99903727},"labels":[],"label_agreement":null},{"id":"W1591780081","doi":"10.2178/bsl/1182353933","title":"Solomon Feferman. <i>Computation on abstract data types. The extensional approach, with an application to streams</i>. <b>Annals of pure and applied logic</b>, vol. 81 (1996), pp. 75–113.","year":2002,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Annals; Extensional definition; STREAMS; Computer science; Computation; Mathematics; Discrete mathematics; Arithmetic; Algorithm; Classics; Biology; History; Computer network","score_opus":0.05652480084469567,"score_gpt":0.2702466826500361,"score_spread":0.21372188180534044,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1591780081","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.35531434,0.008391213,0.3429031,0.020816665,0.00077536685,0.008311314,0.00026971832,0.0011621179,0.26205614],"genre_scores_gemma":[0.98652565,0.00013553165,0.011581588,0.0013526417,0.00014180086,0.000051097744,0.00007613581,0.000018529281,0.00011702644],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99787414,0.000083086,0.0003968032,0.00084769144,0.0004646787,0.0003335792],"domain_scores_gemma":[0.9978583,0.00018553904,0.00034403705,0.0011951649,0.00026600657,0.00015095458],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006064986,0.00028339165,0.00038955567,0.000088953755,0.00016032196,0.0000734656,0.0012965658,0.0001391452,0.00004606927],"category_scores_gemma":[0.00007728288,0.0001774469,0.000044070835,0.00031645433,0.00018192649,0.00008990749,0.00040000313,0.00020899608,0.00010529827],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00053552433,0.0046991273,0.000832015,0.00044197796,0.00024854374,0.000022583483,0.005721212,0.015121441,0.0026037507,0.39817154,0.14153102,0.43007126],"study_design_scores_gemma":[0.010111107,0.011904211,0.23169462,0.0008058073,0.00054611114,0.0006264459,0.0031136854,0.44459754,0.012440349,0.116416626,0.16135588,0.006387604],"about_ca_topic_score_codex":0.00007058072,"about_ca_topic_score_gemma":0.000009027617,"teacher_disagreement_score":0.6312113,"about_ca_system_score_codex":0.000014317521,"about_ca_system_score_gemma":0.000026224032,"threshold_uncertainty_score":0.7236075},"labels":[],"label_agreement":null},{"id":"W1595871249","doi":"10.2178/bsl/1182353878","title":"Uri Abraham, Matatyahu Rubin, and Saharon Shelah. <i>On the consistency of some partition theorems for continuous colorings, and the structure of ℵ<sub>1</sub>-dense real order types</i>. Annals of pure and applied logic, vol. 29 (1985), pp. 123–206.","year":2002,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Annals; Partition (number theory); Mathematics; Consistency (knowledge bases); Order (exchange); Combinatorics; Discrete mathematics; Geography; Archaeology","score_opus":0.017671323722904385,"score_gpt":0.21870396308966514,"score_spread":0.20103263936676075,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1595871249","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9854304,0.0055349753,0.00086569344,0.0044219373,0.00012941481,0.0013869145,0.00009548713,0.00004235621,0.0020928185],"genre_scores_gemma":[0.9947961,0.0030358203,0.00094620895,0.00108862,0.00004961194,0.00003327136,0.000004872151,0.0000143146835,0.00003116085],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99830806,0.00014628166,0.0005580181,0.0004193894,0.0002687225,0.00029952568],"domain_scores_gemma":[0.9977323,0.0008391009,0.0006018913,0.0004693457,0.00029068906,0.00006669398],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00052488496,0.0002621071,0.00067368767,0.000060785405,0.00014447219,0.00003021021,0.000380214,0.00015766331,0.000039035298],"category_scores_gemma":[0.0002686138,0.00015020967,0.00008137475,0.00017722114,0.0011567798,0.000055431003,0.00016220077,0.00017387384,0.0000022445024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00033273053,0.00011680652,0.000121320445,0.00024802875,0.00007605557,0.0000024928693,0.0010461491,0.00006826071,0.02937763,0.96248317,0.0027939142,0.0033334217],"study_design_scores_gemma":[0.0041534505,0.001499805,0.0047261366,0.00019991802,0.00014496608,0.00006829553,0.0008541059,0.0005415178,0.14996767,0.83492523,0.00240461,0.00051431754],"about_ca_topic_score_codex":0.000018468581,"about_ca_topic_score_gemma":0.0000043652926,"teacher_disagreement_score":0.12755798,"about_ca_system_score_codex":0.0000060008674,"about_ca_system_score_gemma":0.000017763883,"threshold_uncertainty_score":0.61253726},"labels":[],"label_agreement":null},{"id":"W1600248067","doi":"10.2307/421214","title":"Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.","year":2000,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Categorical variable; Type (biology); Content (measure theory); Mathematics; Computer science; Mathematics education; Statistics; Mathematical analysis","score_opus":0.030897928812136363,"score_gpt":0.2875145548437843,"score_spread":0.2566166260316479,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1600248067","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.46072087,0.3282501,0.047847785,0.051353343,0.0024438477,0.007011916,0.000036148867,0.0009890398,0.10134694],"genre_scores_gemma":[0.9721239,0.013005344,0.012065282,0.0011832723,0.00006730533,0.000057426056,0.0000032814012,0.000016590973,0.0014775731],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9978419,0.0003262508,0.0006846093,0.00049199024,0.0002796189,0.0003756197],"domain_scores_gemma":[0.9977667,0.0011356343,0.00025917572,0.00057835726,0.00018982858,0.000070335176],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011011896,0.00029221273,0.0007548717,0.00009547959,0.00017572317,0.000047351547,0.0006663542,0.00012109322,0.0002630074],"category_scores_gemma":[0.0006501573,0.00017699265,0.00008881041,0.0004243258,0.0012710635,0.00008551829,0.0003757871,0.00023924415,0.00006924788],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000058057994,0.00029997862,0.0002890468,0.00020277931,0.00006795344,0.000019932075,0.0035728144,0.00013256309,0.000040674386,0.95868915,0.0011288199,0.03549824],"study_design_scores_gemma":[0.0015022302,0.00032584308,0.0014376809,0.00009868848,0.00005346882,0.00009727171,0.0014849694,0.00089700357,0.00004810755,0.9789431,0.01479382,0.00031780242],"about_ca_topic_score_codex":0.00003592386,"about_ca_topic_score_gemma":0.00000959021,"teacher_disagreement_score":0.5114031,"about_ca_system_score_codex":0.000030171359,"about_ca_system_score_gemma":0.000036848298,"threshold_uncertainty_score":0.721755},"labels":[],"label_agreement":null},{"id":"W1972032521","doi":"10.2178/bsl.1901020","title":"Non-standard lattices and o-minimal groups","year":2013,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Lattice (music); Mathematics; Invariant (physics); Group structure; Pure mathematics; Combinatorics; Discrete mathematics; Physics; Mathematical physics","score_opus":0.021270862823230933,"score_gpt":0.2794684834220449,"score_spread":0.25819762059881396,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1972032521","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9501802,0.0003415045,0.0008624616,0.0024448324,0.00009138375,0.00030002012,0.000007414869,0.0000651909,0.045707032],"genre_scores_gemma":[0.98242915,0.000069373826,0.0150292255,0.00039422474,0.00007146771,0.000028792805,0.0000014157026,0.000015940763,0.0019604273],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9991815,0.00004656463,0.00025550838,0.00018798857,0.0001059518,0.00022250347],"domain_scores_gemma":[0.99910724,0.0004286003,0.00013112965,0.00020813325,0.000060908285,0.00006401602],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00024421894,0.0001363069,0.00032412077,0.000043735374,0.000073836345,0.000010474623,0.00013908207,0.00012327512,0.0027694395],"category_scores_gemma":[0.00020603284,0.00010667942,0.0000473699,0.000039632676,0.00033231982,0.000027662256,0.00008802546,0.00013008206,0.00021273937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008953858,0.00012539519,0.0019355441,0.00024011404,0.00006301489,0.000013436693,0.0012001221,0.0000013756521,0.00083328935,0.96939737,0.022944277,0.0031565516],"study_design_scores_gemma":[0.0005831817,0.00022105542,0.0038844843,0.00003840055,0.000031803484,0.000031951757,0.00074274436,0.000010133573,0.0008628969,0.98256147,0.010857804,0.00017410099],"about_ca_topic_score_codex":0.000017803544,"about_ca_topic_score_gemma":0.0000014423571,"teacher_disagreement_score":0.043746606,"about_ca_system_score_codex":0.000008433385,"about_ca_system_score_gemma":0.000009565369,"threshold_uncertainty_score":0.9981422},"labels":[],"label_agreement":null},{"id":"W1985992542","doi":"10.2178/bsl/1318855631","title":"Early History of the Generalized Continuum Hypothesis: 1878–1938","year":2011,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Origins and Evolution of Life","field":"Physics and Astronomy","cited_by":25,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Consistency (knowledge bases); Continuum hypothesis; Hausdorff space; Mathematics; Pure mathematics; Epistemology; Calculus (dental); Theoretical physics; Philosophy; Physics; Discrete mathematics; Mathematical analysis; Medicine","score_opus":0.03573820724993328,"score_gpt":0.19961851846710252,"score_spread":0.16388031121716923,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1985992542","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7330931,0.0004677115,0.00006621591,0.00042082355,0.00052265765,0.00017657064,0.000027502738,0.00002224125,0.26520318],"genre_scores_gemma":[0.9786277,0.0000056578856,0.0008828693,0.00017647733,0.00017830751,0.000015134267,0.0000011152151,0.000013717941,0.020099046],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9990971,0.00007073115,0.00033216117,0.00015565335,0.00015278535,0.00019158237],"domain_scores_gemma":[0.9991959,0.00003276955,0.00029200595,0.0003513907,0.00007878519,0.000049187744],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00014861122,0.00012940934,0.00028159312,0.000035913385,0.00003389039,0.0000031257064,0.00031897402,0.000046254398,0.0070259264],"category_scores_gemma":[0.000011800991,0.00008990588,0.00022198593,0.000051709718,0.00020596692,0.000013485826,0.00006588541,0.000091016205,0.00010440178],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000096079806,0.00085849286,0.1769519,0.000055542896,0.00028330093,0.0000014004141,0.0030565688,0.000004434499,0.005443251,0.31258872,0.49787825,0.0027820524],"study_design_scores_gemma":[0.0010200723,0.00009906147,0.21595088,0.00004939484,0.00007559223,9.042943e-7,0.00017610371,0.0000029668606,0.0053938087,0.011205094,0.7657882,0.00023795728],"about_ca_topic_score_codex":0.0018472055,"about_ca_topic_score_gemma":0.0000020198436,"teacher_disagreement_score":0.30138364,"about_ca_system_score_codex":0.00003205231,"about_ca_system_score_gemma":0.000074939424,"threshold_uncertainty_score":0.99388176},"labels":[],"label_agreement":null},{"id":"W2001758601","doi":"10.2178/bsl/1174668216","title":"Incompleteness in a General Setting","year":2007,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematical proof; Predicate (mathematical logic); Mathematics; Property (philosophy); Formal system; Syntax; Gödel's incompleteness theorems; Discrete mathematics; Algebra over a field; Pure mathematics; Mathematical economics; Calculus (dental); Linguistics; Computer science; Epistemology; Programming language; Philosophy; Gödel","score_opus":0.012466839931354714,"score_gpt":0.25313755626364387,"score_spread":0.24067071633228915,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2001758601","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.47249687,0.00054911396,0.48685288,0.0040806117,0.0003622379,0.0003082972,0.0000017286252,0.00021697035,0.035131294],"genre_scores_gemma":[0.8952947,0.000011440323,0.10284947,0.0015407825,0.00008793359,0.000006298338,0.000001472621,0.0000070288993,0.00020082724],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985892,0.000053159747,0.0003968718,0.00032890614,0.00020375576,0.00042809223],"domain_scores_gemma":[0.99922687,0.0001632352,0.00013323822,0.00035746684,0.000048743663,0.00007041902],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005926424,0.00013811153,0.00024634867,0.00016367242,0.00005027494,0.000019496267,0.0007114557,0.00007253049,0.0000761631],"category_scores_gemma":[0.00008167109,0.00011966391,0.000060725008,0.0003589679,0.000065225155,0.000045296903,0.00027052397,0.00014220648,0.00008199413],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000028023818,0.00027830875,0.010974071,0.000071042625,0.000013424346,0.00030578973,0.0011944714,0.0014425957,0.0063914456,0.8611356,0.0012401268,0.11692512],"study_design_scores_gemma":[0.0035882902,0.0005500789,0.38558012,0.00022565643,0.000012310929,0.00029274487,0.0005153982,0.0069132703,0.0123636685,0.4115628,0.17678088,0.0016147589],"about_ca_topic_score_codex":0.000091001006,"about_ca_topic_score_gemma":0.000009990446,"teacher_disagreement_score":0.44957277,"about_ca_system_score_codex":0.000035616868,"about_ca_system_score_gemma":0.00002494651,"threshold_uncertainty_score":0.48797527},"labels":[],"label_agreement":null},{"id":"W2025524923","doi":"10.2178/bsl/1246453975","title":"Enumerating Types of Boolean Functions","year":2009,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Boolean function; Maximum satisfiability problem; Boolean data type; Boolean expression; Variable (mathematics); Computer science; Mathematics; Discrete mathematics; Combinatorics","score_opus":0.010236405667975979,"score_gpt":0.2189480889604182,"score_spread":0.20871168329244222,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2025524923","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.48431432,0.0048725507,0.2319921,0.023696894,0.0010893599,0.00058414676,0.000021424732,0.00077159243,0.25265762],"genre_scores_gemma":[0.9856303,0.00001660747,0.012988598,0.00071707665,0.00005135721,0.0000017953698,0.0000015022447,0.0000032220435,0.00058958586],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99927944,0.000037668528,0.00023319267,0.00016871911,0.00013551483,0.00014549382],"domain_scores_gemma":[0.99938107,0.000068517445,0.00012609166,0.00033701537,0.000052725805,0.000034588218],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022723565,0.000082214305,0.00017705376,0.00005923102,0.000049915103,0.000017494303,0.00040891414,0.000041335647,0.00021363625],"category_scores_gemma":[0.00005727138,0.000068655085,0.00006604453,0.00014552107,0.000041233034,0.000029918025,0.00006499214,0.00006334458,0.000090660316],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000099201325,0.00028549397,0.00021837298,0.00003066168,0.000029632567,0.000008522117,0.0008498561,0.00035937002,0.016318316,0.76856947,0.018638628,0.19468176],"study_design_scores_gemma":[0.0035458768,0.004167876,0.10539529,0.0008205381,0.00014204533,0.00026430332,0.0014049885,0.021878975,0.11111357,0.41409376,0.33489615,0.0022766544],"about_ca_topic_score_codex":0.000024264926,"about_ca_topic_score_gemma":2.6367175e-7,"teacher_disagreement_score":0.50131595,"about_ca_system_score_codex":0.000006421884,"about_ca_system_score_gemma":0.000018072453,"threshold_uncertainty_score":0.2799673},"labels":[],"label_agreement":null},{"id":"W2028356475","doi":"10.2178/bsl.1901040","title":"The Horn theory of Boole's partial algebras","year":2013,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"French horn; Algebra over a field; Foundation (evidence); Mathematics; Calculus (dental); Pure mathematics; Physics; Law; Political science","score_opus":0.016343509279872746,"score_gpt":0.2210321596667982,"score_spread":0.20468865038692546,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2028356475","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.11020498,0.013454245,0.4485761,0.026183063,0.0051455074,0.0042695925,0.00000443605,0.0010304968,0.39113158],"genre_scores_gemma":[0.99671537,0.000052336833,0.00093947304,0.0002718788,0.00012618594,0.00005926762,5.280092e-7,0.000008440593,0.001826502],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99834836,0.0002387206,0.00042517346,0.0002648794,0.00037551337,0.0003473696],"domain_scores_gemma":[0.9984075,0.0003220141,0.00027878632,0.0007048214,0.00021061083,0.000076257114],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011005944,0.00014632891,0.00026714665,0.000040712282,0.0001311895,0.00008908416,0.0011726512,0.000089720925,0.00026707526],"category_scores_gemma":[0.0001886572,0.000085634536,0.00013156711,0.00014805132,0.00027626584,0.000043161366,0.00026881215,0.00010933337,0.0006401935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000004950608,0.00005907915,0.00029735378,0.000020997924,0.000028461347,0.0000019103002,0.0003839543,0.0000034491554,0.0002417074,0.95701915,0.011794957,0.030144019],"study_design_scores_gemma":[0.00053070957,0.000424881,0.006489559,0.0000135129985,0.000020604384,0.000032596174,0.00041452705,0.00024578837,0.0051659835,0.58165944,0.40468594,0.00031648137],"about_ca_topic_score_codex":0.00030073448,"about_ca_topic_score_gemma":0.0000026894481,"teacher_disagreement_score":0.88651043,"about_ca_system_score_codex":0.000014319381,"about_ca_system_score_gemma":0.000048843212,"threshold_uncertainty_score":0.8228606},"labels":[],"label_agreement":null},{"id":"W2054741405","doi":"10.2178/bsl/1140640944","title":"What is Neologicism?","year":2006,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":29,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Foundations of mathematics; Axiom; Mathematics; Infinity; Axiom of choice; Set theory; Set (abstract data type); Mathematical logic; Propositional calculus; Epistemology; Calculus (dental); Algebra over a field; Discrete mathematics; Pure mathematics; Computer science; Mathematics education; Algorithm; Philosophy","score_opus":0.01903675069324832,"score_gpt":0.2795127183004849,"score_spread":0.26047596760723657,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2054741405","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.08357535,0.0014914082,0.000107814354,0.02167707,0.0007406761,0.00013321513,0.000004893942,0.000068446534,0.8922011],"genre_scores_gemma":[0.9877129,0.000044841287,0.00023226338,0.00479847,0.00021348844,0.00001545222,0.0000023153145,0.000007138608,0.0069731018],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987947,0.000091019836,0.0002663161,0.00032446437,0.00018052882,0.00034297153],"domain_scores_gemma":[0.9992976,0.00015355254,0.00009743669,0.00034729982,0.000041074763,0.00006300414],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00029157437,0.00012801182,0.00021906955,0.0000450504,0.000058168465,0.000024285828,0.00038015415,0.00013807467,0.022540946],"category_scores_gemma":[0.00002699917,0.00009641189,0.000098342556,0.00015301685,0.00057366537,0.000024003903,0.000074161784,0.00011637991,0.0031972874],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000022466329,0.00016828468,0.00022281783,0.0000043335162,0.000006972739,0.00001950595,0.00020437322,0.000002066699,0.00019936753,0.97847944,0.018757336,0.0019130438],"study_design_scores_gemma":[0.00029452247,0.0001456112,0.009692742,0.000016833019,0.000010814587,0.000025988918,0.00016829572,0.00000211445,0.00069678767,0.8867822,0.10201918,0.00014487632],"about_ca_topic_score_codex":0.00024104895,"about_ca_topic_score_gemma":7.418095e-7,"teacher_disagreement_score":0.90413755,"about_ca_system_score_codex":0.000009874574,"about_ca_system_score_gemma":0.0000065567715,"threshold_uncertainty_score":0.99757886},"labels":[],"label_agreement":null},{"id":"W2055744007","doi":"10.1017/s1079898600004194","title":"Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.","year":2004,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical logic; Association (psychology); Model theory; Philosophy; Mathematics; Mathematical economics; Artificial intelligence; Humanities; Computer science; Epistemology; Algorithm; Discrete mathematics","score_opus":0.014731079592213864,"score_gpt":0.2300295287839372,"score_spread":0.21529844919172333,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2055744007","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.015787516,0.0054991795,0.96995974,0.0063574035,0.00022148274,0.0013331008,0.00006558037,0.00017986806,0.00059611886],"genre_scores_gemma":[0.95349187,0.000305526,0.043940593,0.0016023102,0.00010012179,0.00018194206,0.00001897453,0.000040248844,0.00031840827],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.996583,0.00017264995,0.00086416083,0.0009344773,0.0006059152,0.0008398028],"domain_scores_gemma":[0.9966716,0.0011007523,0.000759404,0.00057957467,0.00073375,0.00015492768],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0010432126,0.0005326973,0.00097321055,0.0002824912,0.00015699054,0.00007610145,0.00097277213,0.0004312442,0.00005449202],"category_scores_gemma":[0.0027586194,0.00044499012,0.00017932075,0.00062819215,0.00017980237,0.00018391554,0.00030479013,0.0003925204,0.00002466475],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0003608939,0.0015108298,0.0006395628,0.0020249097,0.00023723498,0.00003574352,0.006040109,0.38244063,0.0029635115,0.5970428,0.001971286,0.0047324933],"study_design_scores_gemma":[0.0034861516,0.0007436043,0.000977441,0.0003327846,0.00009524043,0.0000378,0.00013755554,0.007957239,0.0019767503,0.9830197,0.00038299302,0.0008527122],"about_ca_topic_score_codex":0.000063795065,"about_ca_topic_score_gemma":0.000035789697,"teacher_disagreement_score":0.9377044,"about_ca_system_score_codex":0.00024908135,"about_ca_system_score_gemma":0.0002711373,"threshold_uncertainty_score":0.9998002},"labels":[],"label_agreement":null},{"id":"W2065342370","doi":"10.2178/bsl/1294186662","title":"Combinatorial Dichotomies in Set Theory","year":2011,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":29,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Uncountable set; Dichotomy; Set (abstract data type); Compact space; Computer science; Line (geometry); Set theory; Mathematics; Epistemology; Discrete mathematics; Pure mathematics; Philosophy; Programming language; Geometry","score_opus":0.06802927926390441,"score_gpt":0.30174726881348535,"score_spread":0.23371798954958095,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2065342370","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.68972343,0.00030380717,0.0007228298,0.00027925,0.000658849,0.00038959758,0.000010946268,0.0001231731,0.30778813],"genre_scores_gemma":[0.9962056,0.000030947416,0.0026005388,0.00021268953,0.000057473135,0.000026311836,0.0000019327201,0.000016987875,0.00084748596],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988829,0.0002662009,0.00033206336,0.00018106317,0.000097908465,0.00023984647],"domain_scores_gemma":[0.99883085,0.00066572445,0.00013770483,0.000291499,0.000034723922,0.00003950647],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007826774,0.00014030296,0.00034911247,0.00008622571,0.000039093065,0.000002006839,0.00025222814,0.00016327079,0.003221182],"category_scores_gemma":[0.00064708886,0.00011671361,0.00006886398,0.00007481819,0.00034140667,0.000014947901,0.00007921114,0.00019441429,0.00013665446],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00021444533,0.00020429393,0.00073085306,0.0000389977,0.000018349576,0.000021906784,0.0023361624,3.1887785e-7,0.000053536456,0.9951083,0.0010893497,0.0001834811],"study_design_scores_gemma":[0.00077229517,0.00009616559,0.0011267286,0.000028090348,0.000015023023,0.000010696083,0.0007291696,5.3171937e-7,0.0015689448,0.9925283,0.002999227,0.0001248306],"about_ca_topic_score_codex":0.000025759759,"about_ca_topic_score_gemma":0.0000032809567,"teacher_disagreement_score":0.30694064,"about_ca_system_score_codex":0.000017081893,"about_ca_system_score_gemma":0.000016990285,"threshold_uncertainty_score":0.99769},"labels":[],"label_agreement":null},{"id":"W2065551785","doi":"10.2178/bsl/1344861887","title":"Model Theory of Analytic Functions: Some Historical Comments","year":2012,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Conjecture; Exponential function; Analytic function; Mathematics; Function (biology); Calculus (dental); Mathematical economics; Exponential polynomial; Pure mathematics; Epistemology; Algebra over a field; Philosophy; Mathematical analysis","score_opus":0.09266267451947421,"score_gpt":0.31299313867600703,"score_spread":0.22033046415653282,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2065551785","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5975957,0.013191959,0.21805964,0.0077014514,0.0021682577,0.0013785029,0.00008477578,0.00045050078,0.15936923],"genre_scores_gemma":[0.98246366,0.00004861382,0.006892286,0.00048529287,0.000100126395,0.000016628448,0.0000034407115,0.00001795537,0.009971995],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9988819,0.00016548972,0.00040523752,0.0001294505,0.00014794478,0.00026999225],"domain_scores_gemma":[0.99859935,0.000678826,0.00024024697,0.00035135864,0.000054707016,0.00007552282],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007365929,0.00013679908,0.00041187656,0.000089049194,0.000060674378,0.0000011067694,0.0001838582,0.000137223,0.00086670776],"category_scores_gemma":[0.0004995105,0.0001125975,0.00013052985,0.000067911475,0.00018844569,0.000033032986,0.000076809956,0.00015643479,0.00008795737],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00007994033,0.0005634958,0.00048587867,0.0000823914,0.000067145986,7.120393e-7,0.00041949213,0.0000674736,0.00017718898,0.9799068,0.01780136,0.00034813475],"study_design_scores_gemma":[0.00038523975,0.000069516806,0.0001727,0.00002212639,0.000109105735,0.000008391084,0.00025669683,0.00007651195,0.00025254933,0.990917,0.0076050395,0.00012509395],"about_ca_topic_score_codex":0.00000595113,"about_ca_topic_score_gemma":1.9948703e-7,"teacher_disagreement_score":0.384868,"about_ca_system_score_codex":0.000097693795,"about_ca_system_score_gemma":0.000016932285,"threshold_uncertainty_score":0.94898427},"labels":[],"label_agreement":null},{"id":"W2084784291","doi":"10.2178/bsl/1294171130","title":"Von Neumann, Gödel and Complexity Theory","year":2010,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Von Neumann architecture; Von Neumann algebra; Algebra over a field; Mathematics; Computer science; Pure mathematics","score_opus":0.02405949454966243,"score_gpt":0.24222700501474487,"score_spread":0.21816751046508243,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2084784291","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.76077604,0.00068938854,0.16766322,0.018127376,0.0022337036,0.0009405302,0.000017225197,0.00083360134,0.048718918],"genre_scores_gemma":[0.9170308,0.000018076144,0.08151127,0.00094369834,0.00014302062,0.000012911477,0.0000019749436,0.000012150962,0.0003260808],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9980921,0.0001928342,0.00039053225,0.00062545144,0.00031054323,0.00038849455],"domain_scores_gemma":[0.9980851,0.00044979833,0.00016679059,0.0009838437,0.00015216354,0.00016234285],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011360402,0.00023787847,0.00039304598,0.00010267667,0.0001472172,0.00009747352,0.0012143651,0.00014113296,0.00046926868],"category_scores_gemma":[0.000257401,0.0002017048,0.00009963053,0.00019387674,0.0006256023,0.00005781812,0.0009789896,0.00038129918,0.00012607427],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000012230514,0.00024139021,0.001439436,0.000050048537,0.000016810995,0.0000121080875,0.0005172023,0.000014578631,0.0017348285,0.95224166,0.0022580791,0.041461613],"study_design_scores_gemma":[0.00073541095,0.00029813143,0.11353432,0.000019883177,0.00001537519,0.00017214398,0.000057059,0.0062659364,0.0009727019,0.83363354,0.043768667,0.00052685966],"about_ca_topic_score_codex":0.00015549091,"about_ca_topic_score_gemma":0.000017209866,"teacher_disagreement_score":0.15625478,"about_ca_system_score_codex":0.000015628531,"about_ca_system_score_gemma":0.000044314394,"threshold_uncertainty_score":0.8225283},"labels":[],"label_agreement":null},{"id":"W2098371411","doi":"10.2178/bsl/1130335207","title":"Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole Principle","year":2005,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"York University","funders":"","keywords":"Pigeonhole principle; Mathematics; Null (SQL); Measure (data warehouse); Euclidean space; Harmonic measure; Set (abstract data type); Space (punctuation); Euclidean geometry; Pure mathematics; Set theory; Discrete mathematics; Harmonic function; Combinatorics; Geometry; Computer science","score_opus":0.028915099737077805,"score_gpt":0.2786753492775415,"score_spread":0.2497602495404637,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2098371411","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.7596527,0.0043297186,0.035419084,0.0067707454,0.00034711766,0.0009977882,0.000070342554,0.0003402093,0.1920723],"genre_scores_gemma":[0.9859972,0.000088055276,0.009493761,0.000261258,0.00015076523,0.0000306461,0.000004207258,0.000023278788,0.003950848],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9986821,0.00015208128,0.0003527261,0.0002919119,0.0001963223,0.00032487424],"domain_scores_gemma":[0.9988495,0.00045465495,0.00015888248,0.0003496753,0.000091271955,0.00009599599],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000724015,0.00019317844,0.000392548,0.0001913068,0.00016580164,0.000010708708,0.00017992742,0.00017230936,0.0018104215],"category_scores_gemma":[0.00093116914,0.0001612106,0.00009839765,0.00022815265,0.00039701787,0.000028866463,0.00012056761,0.00025255844,0.00019396603],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00011069838,0.00023234458,0.0010949592,0.00009005411,0.000083129235,0.000012147641,0.00028027492,0.000033047152,0.00012408166,0.98933744,0.0030626876,0.0055391476],"study_design_scores_gemma":[0.0019981994,0.0003934854,0.008707823,0.00008260083,0.00027052584,0.00043688758,0.00083834905,0.000052075382,0.00057791156,0.86632466,0.11977007,0.00054737687],"about_ca_topic_score_codex":0.000009466556,"about_ca_topic_score_gemma":0.0000035310593,"teacher_disagreement_score":0.2263445,"about_ca_system_score_codex":0.000034041735,"about_ca_system_score_gemma":0.000033591103,"threshold_uncertainty_score":0.99910206},"labels":[],"label_agreement":null},{"id":"W2106420227","doi":"10.1017/s1079898600004534","title":"New Programs and Open Problems in the Foundation of Mathematics","year":2003,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Foundation (evidence); Content (measure theory); Computer science; Link (geometry); Mathematics education; Mathematics; Computer network; Political science; Mathematical analysis; Law","score_opus":0.0772364388004295,"score_gpt":0.2999520152793829,"score_spread":0.2227155764789534,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2106420227","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5409592,0.0006706895,0.015138271,0.0018947773,0.00016502352,0.0055108704,0.0000031909506,0.000080392536,0.4355776],"genre_scores_gemma":[0.82737637,0.000042971275,0.16965002,0.000100437384,0.000020839314,0.000071952,0.0000026288767,0.00002845202,0.0027063417],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987198,0.00019407246,0.0005580577,0.00014770498,0.00021952504,0.00016084996],"domain_scores_gemma":[0.9986457,0.0005229642,0.00037115192,0.00037291428,0.000049807593,0.000037438644],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0021395963,0.00013935778,0.00040573822,0.000057176832,0.000049867813,0.000030554376,0.00045558318,0.0000779628,0.00045878917],"category_scores_gemma":[0.00065138406,0.000094174604,0.000048756807,0.0001420141,0.00013787758,0.000029878638,0.00006600561,0.00010925413,0.000023116021],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000004413026,0.0005816515,0.00016398467,0.00060526124,0.000017281252,0.0000012666874,0.009188375,0.000002071409,0.00007634305,0.9861052,0.0015267085,0.0017274586],"study_design_scores_gemma":[0.00059451023,0.00015240192,0.00005506704,0.0002479871,0.000037115075,0.00003613011,0.0023268785,0.0000077814475,0.0001913619,0.9631739,0.033060666,0.00011620334],"about_ca_topic_score_codex":0.00005128522,"about_ca_topic_score_gemma":0.000021470109,"teacher_disagreement_score":0.43287125,"about_ca_system_score_codex":0.000015413885,"about_ca_system_score_gemma":0.00004979154,"threshold_uncertainty_score":0.502342},"labels":[],"label_agreement":null},{"id":"W2132944459","doi":"10.2178/bsl/1243948485","title":"Borel Reductibility and Classification of von Neumann Algebras","year":2009,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"University of Toronto; University of Ottawa","keywords":"Separable space; Abelian von Neumann algebra; Von Neumann architecture; Affiliated operator; Borel equivalence relation; Tomita–Takesaki theory; Isomorphism (crystallography); Mathematics; Pure mathematics; Borel hierarchy; Von Neumann algebra; Borel set; Relation (database); Algebra over a field; Borel measure; Discrete mathematics; Jordan algebra; Mathematical analysis; Computer science; Algebra representation; Chemistry","score_opus":0.0596508672251124,"score_gpt":0.34531360726292615,"score_spread":0.2856627400378138,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2132944459","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9871687,0.000394464,0.00031960447,0.0033990357,0.000032579985,0.00040075657,0.000007087744,0.00004920455,0.008228547],"genre_scores_gemma":[0.98835444,0.00009837849,0.010964369,0.00007945953,0.00004064795,0.0000092631235,0.0000037556883,0.0000136408435,0.0004360206],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99855894,0.000115621784,0.00047357214,0.00031110476,0.00031406438,0.00022668518],"domain_scores_gemma":[0.9987253,0.00024702458,0.00020798067,0.0005265289,0.00021339444,0.0000797491],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00057752605,0.0001422036,0.00036421217,0.000086950866,0.00005076221,0.000009976742,0.00021410342,0.0001126929,0.00023677477],"category_scores_gemma":[0.0010693707,0.00012145008,0.000058738042,0.00016128688,0.00026015667,0.000030237079,0.000057998976,0.00017290378,0.000021195812],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00011630195,0.00065164664,0.0017622665,0.0003166259,0.000028624956,0.0000034392617,0.00061770534,0.00000458914,0.0676627,0.9108418,0.007150622,0.010843658],"study_design_scores_gemma":[0.00085564883,0.0006600108,0.14274251,0.00010296254,0.000039504284,0.000022770457,0.0004906341,0.00007831296,0.022769129,0.8281315,0.0038227267,0.00028427065],"about_ca_topic_score_codex":0.0000166507,"about_ca_topic_score_gemma":0.0000016114786,"teacher_disagreement_score":0.14098024,"about_ca_system_score_codex":0.00003390996,"about_ca_system_score_gemma":0.000037975336,"threshold_uncertainty_score":0.49525905},"labels":[],"label_agreement":null},{"id":"W2136227282","doi":"10.2178/bsl/1286889125","title":"Almost Disjoint Families and Diagonalizations of Length Continuum","year":2010,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Disjoint sets; Mathematics; Combinatorics; Pure mathematics; Calculus (dental)","score_opus":0.018263876518745573,"score_gpt":0.2855958297166394,"score_spread":0.2673319531978938,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2136227282","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9669264,0.00024569387,0.0018219574,0.0013162615,0.00016958908,0.0002108684,0.000030457026,0.00004714128,0.029231623],"genre_scores_gemma":[0.9899994,0.0001272541,0.008289566,0.00013120654,0.000043203218,0.00001186649,0.0000049643004,0.00001259527,0.0013799313],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99929196,0.00005153599,0.00029731024,0.00013984041,0.000081276376,0.00013808304],"domain_scores_gemma":[0.99882054,0.0006531651,0.00017161749,0.00023498286,0.00007990679,0.000039776773],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00024318228,0.00010802015,0.0003056956,0.00005081773,0.000057761114,0.0000027203948,0.000117000476,0.000112610374,0.0007823969],"category_scores_gemma":[0.00089911034,0.000087747285,0.00005037217,0.000050214785,0.0005974837,0.000012066752,0.00007168923,0.00014742976,0.000012663405],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00001867706,0.00013436988,0.0017813215,0.00008887502,0.000027225246,0.0000020995913,0.00075940456,8.710344e-7,0.004375836,0.98976713,0.0024579882,0.00058621785],"study_design_scores_gemma":[0.0005188331,0.000088582594,0.0055683227,0.00003557721,0.000050191666,0.00002808245,0.00090498343,0.0000061140117,0.0071366606,0.9594945,0.026010996,0.000157156],"about_ca_topic_score_codex":0.00001629615,"about_ca_topic_score_gemma":0.000028240698,"teacher_disagreement_score":0.030272612,"about_ca_system_score_codex":0.0000025279564,"about_ca_system_score_gemma":0.000014107195,"threshold_uncertainty_score":0.8566697},"labels":[],"label_agreement":null},{"id":"W2153827714","doi":"10.2178/bsl/1231081461","title":"Hyperlinear and Sofic Groups: A Brief Guide","year":2008,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":172,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Mathematics; Countable set; Conjecture; Embedding; Unitary state; Free group; Group (periodic table); Amenable group; Pure mathematics; Group theory; Ultraproduct; Metric (unit); Discrete mathematics; Algebra over a field","score_opus":0.05920534042438599,"score_gpt":0.3214397735492765,"score_spread":0.26223443312489053,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2153827714","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9728421,0.0011504096,0.0010326223,0.0016335916,0.000057728197,0.0006037706,0.000010256851,0.00015038306,0.022519143],"genre_scores_gemma":[0.92508894,0.0006880767,0.065458536,0.00057282636,0.00018969226,0.00008181694,0.0000039755187,0.00006627928,0.00784984],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9984562,0.00008572162,0.00040951808,0.00031768138,0.00036917144,0.0003617538],"domain_scores_gemma":[0.9987754,0.00042414997,0.00009836341,0.00042034505,0.00015092966,0.00013078442],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00035314163,0.00018389798,0.00040229576,0.00008628456,0.0001373238,0.000012250298,0.00025181257,0.00010793188,0.0008074969],"category_scores_gemma":[0.0009816086,0.00015462376,0.00007125058,0.00014273665,0.00036659636,0.000025194868,0.0001864996,0.00020232123,0.00015541629],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00030818756,0.0014534313,0.0076051685,0.0011234558,0.0002543278,0.00075820705,0.003708369,0.00003657704,0.012047362,0.72322744,0.2357244,0.013753079],"study_design_scores_gemma":[0.0059461053,0.0015020694,0.0069037117,0.00028162758,0.00009880455,0.002180292,0.0014334666,0.00031896617,0.009862752,0.2571334,0.7128159,0.0015229072],"about_ca_topic_score_codex":0.00005765982,"about_ca_topic_score_gemma":0.0000026709847,"teacher_disagreement_score":0.4770915,"about_ca_system_score_codex":0.000031195992,"about_ca_system_score_gemma":0.000052925552,"threshold_uncertainty_score":0.8841525},"labels":[],"label_agreement":null},{"id":"W2155437720","doi":"10.1017/bsl.2015.10","title":"HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Habilitation; Axiom; Decision problem; Algebra over a field; Modal logic; Computer science; Order (exchange); Decision table; Calculus (dental); Mathematics; Algorithm; Artificial intelligence; Philosophy; Modal; Pure mathematics; Humanities","score_opus":0.01949970764137757,"score_gpt":0.23566692717985657,"score_spread":0.216167219538479,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2155437720","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.26014796,0.017788107,0.39391726,0.1990141,0.0011165495,0.003997485,0.000013362988,0.0004528688,0.1235523],"genre_scores_gemma":[0.9815909,0.00016527984,0.014302377,0.003623084,0.00006453139,0.000036312627,9.3443225e-7,0.000009975501,0.00020659156],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9981891,0.00025523847,0.00039297002,0.00039210194,0.00047764918,0.0002929364],"domain_scores_gemma":[0.99763674,0.0010465537,0.00028390964,0.0007740992,0.00017037957,0.00008831544],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011114136,0.00021970487,0.00038729765,0.00006651633,0.00013428925,0.00004746941,0.0012307535,0.00010704271,0.00006673733],"category_scores_gemma":[0.00047474122,0.000097933895,0.00010393468,0.00031525642,0.0004439328,0.000038285012,0.00046481466,0.0002482696,0.00006247869],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008886391,0.00008975525,0.000074909054,0.000015573389,0.000018763127,0.000006086485,0.0010030394,0.00061747216,0.000057964997,0.9780898,0.007010552,0.012927198],"study_design_scores_gemma":[0.0013227666,0.00047781703,0.0007985702,0.00006071308,0.000016227657,0.00004911815,0.00016072718,0.0005468705,0.00059703126,0.97752666,0.018260336,0.00018314454],"about_ca_topic_score_codex":0.000037773574,"about_ca_topic_score_gemma":0.0000031688653,"teacher_disagreement_score":0.72144294,"about_ca_system_score_codex":0.000019055673,"about_ca_system_score_gemma":0.00004884781,"threshold_uncertainty_score":0.39936283},"labels":[],"label_agreement":null},{"id":"W2260577857","doi":"10.2178/bsl/1203350881","title":"Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp.","year":2007,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof theory; Model theory; Computability; Mathematical logic; Computability theory; Mathematics; Calculus (dental); Computer science; Cognitive science; Discrete mathematics; Algorithm; Psychology; Mathematical proof","score_opus":0.024485806948020182,"score_gpt":0.25233560539622024,"score_spread":0.22784979844820005,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2260577857","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.39867383,0.003093793,0.5352847,0.018251568,0.00068165077,0.0039942325,0.000045794324,0.0006139105,0.03936049],"genre_scores_gemma":[0.9800687,0.00017359252,0.018267581,0.00055918575,0.00018953823,0.0000137308825,0.000013921903,0.000023028142,0.00069072645],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9961081,0.00058216933,0.0006881283,0.0013162734,0.00040008232,0.0009052339],"domain_scores_gemma":[0.9977392,0.00039923427,0.0002946272,0.0010102065,0.0002347853,0.00032194797],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003935582,0.00047717162,0.00077313185,0.000299687,0.00023549965,0.000105099236,0.0015362696,0.00029746324,0.0001134671],"category_scores_gemma":[0.00028771392,0.0004248342,0.00011698841,0.00067064643,0.000663075,0.00023710523,0.0010367094,0.00045934957,0.000011277274],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0004735522,0.0016476938,0.0063108085,0.00013647642,0.000023523782,0.00006749567,0.0024933596,0.010721949,0.000047910646,0.9678259,0.0026439072,0.0076074065],"study_design_scores_gemma":[0.0039728694,0.0018403959,0.08487315,0.00017475375,0.0000612055,0.00016783443,0.0011627339,0.06305949,0.00027438678,0.7674177,0.07541233,0.001583093],"about_ca_topic_score_codex":0.00028242922,"about_ca_topic_score_gemma":0.00071002124,"teacher_disagreement_score":0.58139485,"about_ca_system_score_codex":0.000250031,"about_ca_system_score_gemma":0.000119096236,"threshold_uncertainty_score":0.99982035},"labels":[],"label_agreement":null},{"id":"W2313787739","doi":"10.1017/s1079898600003620","title":"Peter Smith. An introduction to formal logic. Cambridge University Press, Cambridge, 2003, viii + 357 pp.","year":2004,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Content (measure theory); Computer science; Philosophy; Mathematics","score_opus":0.011904907138235448,"score_gpt":0.21331617885033677,"score_spread":0.20141127171210133,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2313787739","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.21805881,0.0025384382,0.36969367,0.025521442,0.004876812,0.0027549746,0.00008924818,0.0017712173,0.37469536],"genre_scores_gemma":[0.93101835,0.00035191418,0.04138353,0.0016795014,0.0017665118,0.00001644678,0.000031227464,0.000042444797,0.023710094],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9974598,0.00015249643,0.00036768516,0.0008889307,0.00037715287,0.0007538975],"domain_scores_gemma":[0.99795943,0.000033712757,0.00021484945,0.0009944239,0.00045762936,0.00033992375],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005290933,0.0003436525,0.00044514716,0.0001421741,0.000259968,0.000103489496,0.0014083766,0.00018350761,0.00006328436],"category_scores_gemma":[0.00018016524,0.00031010862,0.0001325247,0.00056989834,0.00016461969,0.00034285488,0.0006444364,0.0002596461,0.00041990724],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008787277,0.0005183039,0.00018103141,0.000058414545,0.000037600716,0.00010371555,0.0004882717,0.0007332854,0.0004893954,0.780357,0.21482082,0.0021243156],"study_design_scores_gemma":[0.0016648293,0.0011387649,0.016047264,0.000039036768,0.000043287608,0.00025404835,0.00015298839,0.0002593833,0.0032892982,0.00033407687,0.9760475,0.00072950945],"about_ca_topic_score_codex":0.0006747354,"about_ca_topic_score_gemma":0.000011024656,"teacher_disagreement_score":0.7800229,"about_ca_system_score_codex":0.0002018596,"about_ca_system_score_gemma":0.00018933731,"threshold_uncertainty_score":0.9999351},"labels":[],"label_agreement":null},{"id":"W2314560663","doi":"10.1017/bsl.2015.2","title":"EXISTENTIAL-IMPORT MATHEMATICS","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Predicate (mathematical logic); Existentialism; Mathematics; Combinatorics; Discrete mathematics; Philosophy; Computer science; Epistemology","score_opus":0.043026343687145516,"score_gpt":0.25823345334294057,"score_spread":0.21520710965579504,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2314560663","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.039315075,0.0009839992,0.53036314,0.006987748,0.0009959338,0.0004976637,0.0000034559055,0.00063162047,0.42022133],"genre_scores_gemma":[0.7572657,0.000038771956,0.23867919,0.0009888522,0.000119652635,0.000017855544,0.0000024274734,0.000014444217,0.0028731378],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987611,0.00003432848,0.00034110915,0.0002699063,0.00032707784,0.00026643975],"domain_scores_gemma":[0.99889815,0.000058063943,0.00018662258,0.00058984413,0.00011655051,0.00015079824],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00035326413,0.00014366033,0.00027540076,0.00007276438,0.000038379574,0.000031343836,0.00082730106,0.00006908069,0.00013195633],"category_scores_gemma":[0.00013926289,0.00011390971,0.000084354986,0.00019899177,0.000084494764,0.000049092898,0.00029137853,0.00009067473,0.00051522144],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000004409296,0.00024460547,0.00017564565,0.000043679658,0.000017302043,0.000048683403,0.00089836743,0.00012155824,0.00021119685,0.9740359,0.020655243,0.0035434135],"study_design_scores_gemma":[0.0012139311,0.00046787455,0.00079524657,0.0000604189,0.000023705048,0.0002666873,0.0004722823,0.0017930532,0.002356021,0.65459126,0.33736378,0.00059574307],"about_ca_topic_score_codex":0.000018422827,"about_ca_topic_score_gemma":5.215474e-7,"teacher_disagreement_score":0.7179506,"about_ca_system_score_codex":0.000021630549,"about_ca_system_score_gemma":0.00005402431,"threshold_uncertainty_score":0.6622301},"labels":[],"label_agreement":null},{"id":"W2333067331","doi":"10.1017/s1079898600002882","title":"The law of non-contradiction: New philosophical essays, edited by Graham Priest, J.C. Beall, and Bradley Armour-Garb, Oxford University Press, Oxford, 2004, xii + 443 pp.","year":2006,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Philosophical Ethics and Theory","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Contradiction; Philosophy; Classics; Art history; Epistemology; Art","score_opus":0.015958983845074645,"score_gpt":0.19891253978907364,"score_spread":0.18295355594399898,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2333067331","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0191316,0.007707803,0.00012865498,0.12060767,0.0007217493,0.0008057264,0.0004034639,0.00016652347,0.85032684],"genre_scores_gemma":[0.9910265,0.0020350146,0.000045814697,0.00096516503,0.0014447442,0.0000045887923,0.000045011475,0.00002730921,0.0044058473],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9982922,0.00013274478,0.00047976547,0.00034621995,0.0003782168,0.00037087212],"domain_scores_gemma":[0.9985504,0.00043419012,0.0003119176,0.00035557183,0.00018955191,0.00015832414],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00044033915,0.00027969916,0.0004638187,0.000041209543,0.0006105253,0.000087264976,0.00043495256,0.00023737909,0.00028471928],"category_scores_gemma":[0.0000523491,0.00021071195,0.00015764724,0.0000547974,0.002224668,0.00007108903,0.0001466697,0.00048675548,0.000004307761],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00017653643,0.00020421854,0.000018346585,0.00005872474,0.00007149625,0.000007449991,0.0003362307,0.000007824503,0.000056512163,0.9464722,0.052377746,0.00021271117],"study_design_scores_gemma":[0.0007355796,0.00015248917,0.00006311335,0.000037662667,0.000054314147,0.0000050221192,0.00010494646,0.000022716757,0.000060261682,0.40671676,0.5918961,0.00015097584],"about_ca_topic_score_codex":0.003096948,"about_ca_topic_score_gemma":0.0001448017,"teacher_disagreement_score":0.9718949,"about_ca_system_score_codex":0.000029473853,"about_ca_system_score_gemma":0.00006643566,"threshold_uncertainty_score":0.85925835},"labels":[],"label_agreement":null},{"id":"W2468512922","doi":"10.1017/bsl.2016.5","title":"COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM","year":2016,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Ultraproduct; Embedding; Mathematics; Statement (logic); Computability; Separable space; Embedding problem; Pure mathematics; Discrete mathematics; Algebra over a field; Philosophy; Linguistics; Computer science; Artificial intelligence; Mathematical analysis","score_opus":0.024735870658514153,"score_gpt":0.29680353959363404,"score_spread":0.2720676689351199,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2468512922","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8666086,0.0010944039,0.04077351,0.03436144,0.00020635551,0.0011521861,0.000015883514,0.00022138613,0.055566233],"genre_scores_gemma":[0.9895733,0.000055042758,0.009135483,0.0002837963,0.000042383548,0.000018675986,2.108226e-7,0.000008368595,0.00088275265],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9991364,0.00021953095,0.0002473205,0.00016336807,0.00007362813,0.00015974572],"domain_scores_gemma":[0.9966864,0.0028772473,0.00013040884,0.00023107095,0.000046008638,0.000028865301],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00085877127,0.00010169248,0.0002903178,0.000017650018,0.00009077634,0.0000038787275,0.00014272393,0.00007074349,0.00053123455],"category_scores_gemma":[0.0007243533,0.000045270255,0.00005281137,0.000027185257,0.001114343,0.000010508211,0.00010106197,0.00007091801,0.000030822077],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00009531884,0.00003619866,0.0002667241,0.00005387302,0.000020049249,0.0000012132349,0.00043495762,0.0000015244449,0.0001323733,0.99528474,0.00091994775,0.0027530817],"study_design_scores_gemma":[0.0011954013,0.000032262033,0.00020370129,0.000043706725,0.00001847397,0.00002340443,0.00022152624,0.000009161494,0.00030661633,0.9929173,0.0049549406,0.000073506024],"about_ca_topic_score_codex":0.00000660656,"about_ca_topic_score_gemma":0.000001175214,"teacher_disagreement_score":0.12296469,"about_ca_system_score_codex":0.000008322691,"about_ca_system_score_gemma":0.00000796724,"threshold_uncertainty_score":0.58166456},"labels":[],"label_agreement":null},{"id":"W2489032979","doi":"10.1017/s1079898600001736","title":"Nathan Salmon. Metaphysics, mathematics, and meaning. Collected papers, vol. 1. Oxford University Press, Oxford, 2005, xiv + 419 pp.","year":2008,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Metaphysics; Meaning (existential); Content (measure theory); Library science; Media studies; Sociology; Computer science; Philosophy; Mathematics; Epistemology; Mathematical analysis","score_opus":0.022235702252262613,"score_gpt":0.22705285459890026,"score_spread":0.20481715234663764,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2489032979","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.08317883,0.000982532,0.00011329381,0.0019470903,0.00028377955,0.00043165666,0.00005520538,0.00014310483,0.9128645],"genre_scores_gemma":[0.98427343,0.0012995556,0.0021469323,0.00033779076,0.00013402739,0.000007247919,0.000008086979,0.000024302453,0.011768605],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99823713,0.00014895467,0.00031377087,0.0004945944,0.000298718,0.0005068116],"domain_scores_gemma":[0.9987051,0.00029928726,0.00021152945,0.00043594037,0.00013093076,0.00021724656],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00032106653,0.0002551022,0.000486685,0.0000616551,0.00026212854,0.000012993658,0.0005022688,0.00018482863,0.0021674547],"category_scores_gemma":[0.00019569181,0.00022233026,0.00013275427,0.00026297563,0.0011445229,0.00003449998,0.00018221082,0.00023105345,0.00006185208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0001172752,0.00041467283,0.00017044072,0.00003547072,0.00010754969,0.00007746643,0.001058555,0.0000026731514,0.00026054148,0.9755887,0.021977337,0.00018931198],"study_design_scores_gemma":[0.0020660914,0.00041016823,0.0049284897,0.00007153881,0.00018232768,0.00016247181,0.0009418793,0.00007870022,0.00065762794,0.12999031,0.8598094,0.00070102303],"about_ca_topic_score_codex":0.00014658239,"about_ca_topic_score_gemma":0.0000057438856,"teacher_disagreement_score":0.9010959,"about_ca_system_score_codex":0.000037039747,"about_ca_system_score_gemma":0.000035720317,"threshold_uncertainty_score":0.9987447},"labels":[],"label_agreement":null},{"id":"W2492975596","doi":"10.1017/s1079898600000585","title":"Stevo Todorcevic. Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174. Princeton University Press, New Jersey, 2010, 287 pp.","year":2011,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Annals; Library science; Mathematics; Media studies; Mathematical economics; Mathematics education; Computer science; Sociology; Classics; Art","score_opus":0.1378739711235548,"score_gpt":0.3188109660815387,"score_spread":0.1809369949579839,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2492975596","genre_codex":"empirical","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.64261764,0.015655778,0.053274434,0.044051234,0.009230093,0.009758352,0.00027857983,0.0016122457,0.22352165],"genre_scores_gemma":[0.22709547,0.009121771,0.4110122,0.0013638323,0.002706613,0.000036783305,0.000027942235,0.00024121342,0.3483942],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99831414,0.00017207296,0.0005351085,0.00037795227,0.00023724428,0.00036348085],"domain_scores_gemma":[0.9977944,0.00033104027,0.0005505236,0.0007116035,0.00046666505,0.00014580083],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007149667,0.000272487,0.00078341167,0.000109247245,0.000102448415,0.0000052342402,0.00043474464,0.00020794988,0.0011223243],"category_scores_gemma":[0.0015106568,0.00024381581,0.00013962275,0.00020861873,0.00037422744,0.000053320902,0.00028944094,0.00021440198,0.00007812821],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00022840007,0.00048522686,0.00004663696,0.0005428477,0.0002541648,0.00001366479,0.0060185697,0.000031069387,0.00020486566,0.6051062,0.3864973,0.0005711173],"study_design_scores_gemma":[0.00119567,0.0007060204,0.00018321058,0.00029218357,0.00028893375,0.000038905735,0.013910392,0.000009519973,0.017462598,0.47128916,0.4940103,0.0006131007],"about_ca_topic_score_codex":0.00017532009,"about_ca_topic_score_gemma":0.000010248968,"teacher_disagreement_score":0.41552216,"about_ca_system_score_codex":0.000043159955,"about_ca_system_score_gemma":0.000051572904,"threshold_uncertainty_score":0.9997908},"labels":[],"label_agreement":null},{"id":"W2501685118","doi":"10.2178/bsl.1902030","title":"Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press, Cambridge, 2011, 346 and 262 pp.","year":2013,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"advanced mathematical theories","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Series (stratigraphy); Geometry; Volume (thermodynamics); Mathematics; Philosophy; Physics; Thermodynamics; Geology","score_opus":0.009615579014842541,"score_gpt":0.2325154689957461,"score_spread":0.22289988998090357,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2501685118","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9456318,0.0030046625,0.046445362,0.0022096576,0.000029975263,0.0012690541,0.00016176919,0.00010535982,0.0011423324],"genre_scores_gemma":[0.95390993,0.004618334,0.034784712,0.00014617795,0.00005938693,0.00003165433,0.000027546972,0.00006698234,0.006355259],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99832296,0.00014678246,0.00037422133,0.00057067367,0.00022686244,0.00035850817],"domain_scores_gemma":[0.9977707,0.0012600623,0.00026478586,0.0002745527,0.00017414338,0.0002557414],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00047171663,0.0004412288,0.00072492403,0.00007564473,0.0003490523,0.000105464176,0.00012030304,0.00020608035,0.000030961342],"category_scores_gemma":[0.0005274081,0.00033727533,0.000044752283,0.00010212849,0.0010865162,0.00031762559,0.00046275402,0.00037208802,0.0000020598068],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0017746903,0.0016055935,0.0008506783,0.008212291,0.0010473159,0.000027746393,0.016812153,0.000054013788,0.013914334,0.8008206,0.14924216,0.005638453],"study_design_scores_gemma":[0.014074631,0.003932384,0.0051754983,0.0034756146,0.0027420837,0.0023589504,0.01787317,0.15579228,0.013156117,0.76383215,0.012968975,0.004618114],"about_ca_topic_score_codex":0.000056011053,"about_ca_topic_score_gemma":0.0000071444306,"teacher_disagreement_score":0.15573826,"about_ca_system_score_codex":0.000032416825,"about_ca_system_score_gemma":0.000027513335,"threshold_uncertainty_score":0.9999079},"labels":[],"label_agreement":null},{"id":"W2567698334","doi":"10.1017/bsl.2016.35","title":"RUSSELL AND GÖDEL","year":2016,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":7,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Canada Research Chairs; University of Toronto; Fleming College","funders":"","keywords":"Epistemology; Philosophy; Sociology; Humanities","score_opus":0.02166392970879951,"score_gpt":0.2722256405749766,"score_spread":0.2505617108661771,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2567698334","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.18927255,0.00032808943,0.0002307109,0.016871095,0.00016750515,0.00008144289,0.0000070719484,0.000035805286,0.7930057],"genre_scores_gemma":[0.9960058,0.00003684606,0.00017345889,0.00088816165,0.000074441676,0.000007223559,1.5550467e-7,0.0000047090143,0.0028092288],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9992952,0.000058539605,0.00013890825,0.00021381886,0.00009099464,0.00020254134],"domain_scores_gemma":[0.9994441,0.00020381002,0.00004684008,0.00020028395,0.00001922292,0.000085694686],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00023785532,0.00007514202,0.0001311028,0.000027016684,0.000030951825,0.0000040588,0.00017233855,0.000067789,0.007861392],"category_scores_gemma":[0.000080072314,0.000041723375,0.00003177058,0.00005381807,0.00052121416,0.000007458675,0.00005558345,0.00004189711,0.0013245333],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000023180733,0.000052848816,0.00031397367,0.0000035139738,0.000006401244,0.00000581842,0.00011764547,1.8740794e-8,0.0014162825,0.98802954,0.002314516,0.0077162613],"study_design_scores_gemma":[0.00058606005,0.00018581457,0.01870038,0.000028280858,0.000009833156,0.00003264197,0.000042173542,3.6521467e-7,0.0007504933,0.89791495,0.081615716,0.00013327347],"about_ca_topic_score_codex":0.000027299155,"about_ca_topic_score_gemma":1.9068574e-7,"teacher_disagreement_score":0.8067332,"about_ca_system_score_codex":0.000004757433,"about_ca_system_score_gemma":0.0000044547764,"threshold_uncertainty_score":0.99945307},"labels":[],"label_agreement":null},{"id":"W2885216076","doi":"10.1017/bsl.2023.1","title":"WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?","year":2023,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Omega; Intersection (aeronautics); Mathematics; Sentence; Combinatorics; Order (exchange); Discrete mathematics; Pure mathematics; Computer science; Linguistics; Philosophy; Artificial intelligence","score_opus":0.017116103509301477,"score_gpt":0.2464687603152606,"score_spread":0.22935265680595912,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2885216076","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.99054694,0.00084222044,0.002826479,0.0030587343,0.00015655348,0.00023778527,0.000041652263,0.00021334809,0.002076273],"genre_scores_gemma":[0.9839043,0.0004303716,0.014693541,0.00073481695,0.00003520489,0.000012513976,0.0000230738,0.000011320567,0.00015485937],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985002,0.0000851741,0.00034877617,0.00043258237,0.0002792876,0.00035395098],"domain_scores_gemma":[0.9989784,0.00014389877,0.00022573792,0.00045130705,0.000099307945,0.00010136721],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022093374,0.0001904889,0.0003449235,0.00013061649,0.00010256911,0.000029078172,0.0006207063,0.00008278744,0.00011871116],"category_scores_gemma":[0.000062990795,0.00015881279,0.000043331474,0.0004920393,0.00013653212,0.00011514085,0.00036579368,0.00012758575,0.000018580518],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00013353904,0.000904902,0.18653218,0.0012464682,0.00025342437,0.00017968776,0.0033647814,0.0026304887,0.037463024,0.5795764,0.15807372,0.029641416],"study_design_scores_gemma":[0.0023605197,0.00205663,0.39374408,0.00021774674,0.00006871641,0.00017164212,0.005497419,0.0032627156,0.013336649,0.54606855,0.03182886,0.0013864586],"about_ca_topic_score_codex":0.00021259942,"about_ca_topic_score_gemma":0.000024924293,"teacher_disagreement_score":0.20721188,"about_ca_system_score_codex":0.000011909992,"about_ca_system_score_gemma":0.000036293055,"threshold_uncertainty_score":0.6476198},"labels":[],"label_agreement":null},{"id":"W2887463062","doi":"10.1017/bsl.2018.37","title":"Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja","year":2018,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Hôtel-Dieu Grace Healthcare","funders":"","keywords":"Action (physics); Finitely-generated abelian group; Mathematics; Content (measure theory); Computer science; Topology (electrical circuits); Discrete mathematics; Combinatorics; Mathematical analysis; Physics","score_opus":0.03163716309990259,"score_gpt":0.2643375969880448,"score_spread":0.23270043388814224,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2887463062","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.96518964,0.00089634495,0.0006227358,0.0024502447,0.0000948645,0.00029261256,0.00019496409,0.00007077371,0.030187797],"genre_scores_gemma":[0.9944513,0.00020199794,0.0027022448,0.00025236374,0.000064822896,0.0000013574617,0.000010330351,0.000013353982,0.0023022676],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987936,0.0002388054,0.00022734198,0.0003031426,0.0001777126,0.00025939496],"domain_scores_gemma":[0.9986534,0.000635629,0.00020292103,0.00026572726,0.00014820577,0.00009409102],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003214376,0.00019995919,0.00046469338,0.00006816738,0.00013876568,0.0000048159955,0.00024702176,0.0002314394,0.0040748743],"category_scores_gemma":[0.0005221299,0.00016963265,0.00008693839,0.00007531122,0.00158893,0.000017922222,0.000109317865,0.00017921437,0.00008013391],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0021275035,0.0010665151,0.002230005,0.00015709244,0.0003388445,0.00008325717,0.0060010725,0.0000023473297,0.0029136706,0.74845845,0.229499,0.00712224],"study_design_scores_gemma":[0.004281845,0.0045768055,0.007609311,0.00032080174,0.00027611814,0.0000598786,0.018142702,0.000023347775,0.019478645,0.7871397,0.15707923,0.0010116223],"about_ca_topic_score_codex":0.000075286895,"about_ca_topic_score_gemma":0.000026072921,"teacher_disagreement_score":0.07241976,"about_ca_system_score_codex":0.000017388837,"about_ca_system_score_gemma":0.000020743733,"threshold_uncertainty_score":0.99683553},"labels":[],"label_agreement":null},{"id":"W3005951108","doi":"10.1017/bsl.2021.5","title":"STRONG COLORINGS OVER PARTITIONS","year":2021,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Countable set; Finite set; Partition (number theory); Class (philosophy); Property (philosophy)","score_opus":0.05002920586700298,"score_gpt":0.3257549427987774,"score_spread":0.27572573693177443,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3005951108","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.6471891,0.0006492932,0.0043719215,0.006009447,0.00031240986,0.00023943975,0.00003389022,0.0001891585,0.34100538],"genre_scores_gemma":[0.98039377,0.000050444534,0.00912135,0.00053785206,0.00006985863,0.000023951274,0.00000716259,0.000014642809,0.009780987],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9992326,0.000078944904,0.00022640545,0.00016676076,0.0000958213,0.00019945286],"domain_scores_gemma":[0.99914026,0.00039723262,0.00009290402,0.0002558503,0.00006895995,0.000044774133],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00015266844,0.000095579184,0.00023238656,0.00002548781,0.000076664786,0.00000457777,0.000099395635,0.000092893904,0.007785221],"category_scores_gemma":[0.00045396565,0.00008887693,0.00008229416,0.000070324924,0.00016049076,0.000012241553,0.00007209035,0.00012990739,0.0001546788],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000011596164,0.00013369786,0.00024741318,0.000036618072,0.000027776834,0.000029736959,0.00011979182,0.0000119718225,0.0004916223,0.98737,0.011420025,0.00009974783],"study_design_scores_gemma":[0.00034808717,0.000039818868,0.0008805373,0.0000282238,0.00003348663,0.00003051914,0.0003656229,0.0000023064754,0.004107505,0.9157914,0.07826138,0.00011112061],"about_ca_topic_score_codex":0.000005246069,"about_ca_topic_score_gemma":0.000003998938,"teacher_disagreement_score":0.3332047,"about_ca_system_score_codex":0.00001624204,"about_ca_system_score_gemma":0.000029627747,"threshold_uncertainty_score":0.9931218},"labels":[],"label_agreement":null},{"id":"W3031922188","doi":"10.2307/420985","title":"George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N<sup>=</sup> (‘Hume's principle’). The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–405.","year":2000,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Wright; George (robot); Classics; Philosophy; Philosophy of mathematics; Theology; Art history; History; Epistemology","score_opus":0.03768592735554417,"score_gpt":0.24467991269026593,"score_spread":0.20699398533472174,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3031922188","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.6064822,0.13630462,0.004778153,0.1407956,0.0026868694,0.038569715,0.030584214,0.0016027138,0.038195904],"genre_scores_gemma":[0.7138615,0.24766351,0.016196517,0.0059592365,0.0038473897,0.00028972208,0.002591185,0.0018580472,0.0077328435],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9761926,0.0050887926,0.005974955,0.0041477666,0.004878404,0.003717487],"domain_scores_gemma":[0.97088534,0.012390133,0.007653714,0.006188857,0.00079851644,0.0020834145],"candidate_categories":["metaepi_narrow","sts","open_science","research_integrity"],"consensus_categories":["metaepi_narrow","sts","research_integrity"],"category_scores_codex":[0.006476128,0.004702455,0.0066887597,0.0013418633,0.0029961588,0.00083559443,0.009579562,0.0031133469,0.00029229492],"category_scores_gemma":[0.0012747138,0.0032328977,0.0015296233,0.0047190874,0.012192061,0.001531912,0.0070271017,0.0058108745,0.0000101064],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.025597828,0.013600575,0.006857445,0.011682985,0.010765367,0.00033018732,0.040808707,0.0011965159,0.0015716265,0.46866894,0.41487256,0.0040472816],"study_design_scores_gemma":[0.02542532,0.003895504,0.001318037,0.0070473584,0.00680649,0.0005030416,0.011360372,0.0062864865,0.001117312,0.14160304,0.790013,0.004624023],"about_ca_topic_score_codex":0.00817598,"about_ca_topic_score_gemma":0.00070399593,"teacher_disagreement_score":0.37514046,"about_ca_system_score_codex":0.00054221274,"about_ca_system_score_gemma":0.0008672898,"threshold_uncertainty_score":0.99842864},"labels":[],"label_agreement":null},{"id":"W4220992003","doi":"10.1017/bsl.2022.9","title":"NOTICES","year":2022,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"California State University, Northridge; University of California, Irvine; College of Veterinary Medicine, Cornell University; Háskólinn í Reykjavík; Universidad de Costa Rica; McMaster University; California State University; National Science Foundation","keywords":"Content (measure theory); Computer science; Mathematics","score_opus":0.015446194333931476,"score_gpt":0.22385973441804632,"score_spread":0.20841354008411483,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4220992003","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.08296507,0.0042072185,0.017476585,0.015725605,0.0023043442,0.0005642546,0.000012005625,0.00072529836,0.8760196],"genre_scores_gemma":[0.9885463,0.00001694664,0.0058259163,0.0011349673,0.00008545858,0.000038464572,0.0000019393337,0.000007697631,0.0043422733],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9987006,0.00013588113,0.00022606715,0.00033303743,0.0003210262,0.00028339075],"domain_scores_gemma":[0.9991133,0.00013020828,0.00014920376,0.0004810035,0.000056654604,0.00006962093],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00044995596,0.00012256774,0.0002187913,0.00008559416,0.00023004747,0.000038131784,0.0013686355,0.000033806336,0.001966143],"category_scores_gemma":[0.00008028605,0.00010627533,0.00010126526,0.00026864046,0.00006542604,0.000028681621,0.0009134625,0.00016417755,0.00034926797],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000011688415,0.0003807957,0.0011732304,0.000039742623,0.000028929286,0.00005407177,0.002109667,0.00042047596,0.00032090614,0.9153655,0.06915604,0.010938926],"study_design_scores_gemma":[0.00055880507,0.00042228488,0.0045361696,0.000008849104,0.000012429383,0.00006267148,0.00026153744,0.0014307786,0.00061547174,0.021066641,0.97069144,0.00033291627],"about_ca_topic_score_codex":0.00007641575,"about_ca_topic_score_gemma":0.0000012608812,"teacher_disagreement_score":0.9055813,"about_ca_system_score_codex":0.00003456564,"about_ca_system_score_gemma":0.00005257067,"threshold_uncertainty_score":0.9989462},"labels":[],"label_agreement":null},{"id":"W4231038708","doi":"10.1017/bsl.2016.7","title":"BSL volume 22 issue 1 Cover and Front matter","year":2016,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Action (physics); Computer science; Environmental science; Geography; Physics; Mathematics; Engineering; Meteorology; Mechanical engineering; Thermodynamics","score_opus":0.009948089279718844,"score_gpt":0.18888180658304277,"score_spread":0.1789337173033239,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4231038708","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5289839,0.0006017815,0.00025041495,0.044718675,0.00047410955,0.00033723403,0.000014931162,0.00010528982,0.42451364],"genre_scores_gemma":[0.88427573,0.0000685871,0.00008884971,0.01009752,0.0008613366,0.000012242408,0.0000035172282,0.000021425078,0.10457081],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99915177,0.0000063404395,0.00021528933,0.00023911576,0.00016520882,0.0002222981],"domain_scores_gemma":[0.9994562,0.000024178982,0.00021987488,0.0002149259,0.00007232009,0.000012499548],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00014191355,0.0001454838,0.00022731328,0.00005400133,0.000051815132,0.00005858448,0.00016161983,0.00006461415,0.08579651],"category_scores_gemma":[0.000036264406,0.000095174,0.000051730793,0.000057210582,0.00010743417,0.00012122154,0.00017058614,0.000045474007,0.047416538],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000033307108,0.000044991975,0.062572315,0.00009269207,0.000014568065,0.000009508804,0.0000147736555,8.958308e-7,0.00075125723,0.0048323115,0.9275775,0.0040558595],"study_design_scores_gemma":[0.0004483974,0.000010157765,0.083760224,0.000063989595,0.000020329166,0.000002445651,0.000019616507,0.0000065245763,0.000053414846,0.0018348037,0.9136258,0.00015432396],"about_ca_topic_score_codex":0.00072809495,"about_ca_topic_score_gemma":0.00000514049,"teacher_disagreement_score":0.35529178,"about_ca_system_score_codex":0.000012485382,"about_ca_system_score_gemma":0.0000067489063,"threshold_uncertainty_score":0.95332515},"labels":[],"label_agreement":null},{"id":"W4231121126","doi":"10.1017/bsl.2019.31","title":"BSL volume 25 issue 2 Cover and Front matter","year":2019,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Tarbiat Modares University; Universidade Federal de Pernambuco; University of Illinois at Urbana-Champaign; Universität Wien; University of Toronto; Göteborgs Universitet; Technische Universität Wien; University of Cambridge","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Action (physics); Computer science; Mathematics; Geography; Physics; Engineering; Mechanical engineering; Meteorology; Thermodynamics; Mathematical analysis","score_opus":0.01569670681141685,"score_gpt":0.18362693583603515,"score_spread":0.1679302290246183,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4231121126","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.107144244,0.0016006811,0.000021349677,0.0020415976,0.001101217,0.00017008788,0.00013541673,0.00001540968,0.88777],"genre_scores_gemma":[0.34304675,0.00016329177,0.00022522152,0.0011521426,0.000057757705,0.0000059868075,0.000003252862,0.0000092007385,0.6553364],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9989863,0.000006352318,0.00036827882,0.00038619534,0.000025001482,0.00022785527],"domain_scores_gemma":[0.9994431,0.000024913086,0.00020208879,0.00026406028,0.000017320986,0.000048527836],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00029337543,0.000121310455,0.00042796927,0.00009273759,0.00004455178,0.000038630493,0.00016499429,0.00006788266,0.36199224],"category_scores_gemma":[0.000022663853,0.00012516556,0.000075049764,0.000035267487,0.0001165178,0.000035658948,0.00015087072,0.00006070133,0.5465317],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000072437474,0.00003433195,0.10213941,0.000041421303,0.00004326149,8.138991e-7,0.00037220307,0.000014997363,0.0000044070302,0.01313359,0.8841221,0.00008623253],"study_design_scores_gemma":[0.00037842922,0.0000309865,0.044054702,0.000009157818,0.000004462277,0.0000020056023,0.00021209507,0.00006170839,0.000007207595,0.0015976314,0.9534869,0.00015469045],"about_ca_topic_score_codex":0.00028837603,"about_ca_topic_score_gemma":3.9540083e-7,"teacher_disagreement_score":0.23590252,"about_ca_system_score_codex":0.00002715803,"about_ca_system_score_gemma":0.0000042376437,"threshold_uncertainty_score":0.638591},"labels":[],"label_agreement":null},{"id":"W4234810121","doi":"10.1017/bsl.2018.78","title":"WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018","year":2018,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Benford’s Law and Fraud Detection","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"","keywords":"Computability; Association (psychology); Computer science; Mathematical logic; Content (measure theory); Theoretical computer science; World Wide Web; Mathematics; Programming language; Epistemology; Philosophy","score_opus":0.0282450976825387,"score_gpt":0.2789836985161712,"score_spread":0.25073860083363253,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4234810121","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.85889566,0.00220061,0.031356577,0.036671728,0.0027909784,0.013916858,0.0017000786,0.00078015716,0.051687364],"genre_scores_gemma":[0.9867282,0.000069698595,0.00061935076,0.0013551746,0.0004038386,0.00042183028,0.000048349797,0.00004088757,0.010312684],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9978289,0.00035915757,0.00055882765,0.0004327895,0.00037471094,0.00044564044],"domain_scores_gemma":[0.99506265,0.0035730887,0.00045490576,0.0005081957,0.00029657676,0.00010458161],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0019872529,0.00027849348,0.00045757808,0.000053607102,0.00047629117,0.00004488473,0.0003338698,0.00026612,0.00025690207],"category_scores_gemma":[0.001073163,0.00019562739,0.00010555082,0.00017600696,0.00022489279,0.000024266985,0.000068168985,0.00022111107,0.00006369308],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00057819794,0.0005749783,0.00019904184,0.00029798763,0.0002550829,6.260232e-7,0.0008928133,0.000012000775,0.0016407778,0.45380265,0.53699726,0.0047486196],"study_design_scores_gemma":[0.0018320021,0.00052993395,0.0015833048,0.00009013545,0.00027441556,0.000018176635,0.0008053656,0.00027976744,0.010024427,0.29299372,0.6909016,0.00066720665],"about_ca_topic_score_codex":0.0046707676,"about_ca_topic_score_gemma":0.0070361206,"teacher_disagreement_score":0.16080892,"about_ca_system_score_codex":0.00027527983,"about_ca_system_score_gemma":0.000099323835,"threshold_uncertainty_score":0.79774535},"labels":[],"label_agreement":null},{"id":"W4235100174","doi":"10.1017/bsl.2014.22","title":"BSL volume 20 issue 2 Cover and Front matter","year":2014,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Front (military); Volume (thermodynamics); Content (measure theory); Action (physics); Computer science; Geography; Mathematics; Engineering; Physics; Meteorology; Mechanical engineering; Thermodynamics","score_opus":0.016605425012657042,"score_gpt":0.18331214663516998,"score_spread":0.16670672162251293,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4235100174","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.022802623,0.0011714596,0.00020530763,0.0036817542,0.000885847,0.00011373871,0.00012593437,0.000019530888,0.9709938],"genre_scores_gemma":[0.30155882,0.00015125512,0.00054914784,0.0020231083,0.00014667539,0.000009612184,0.0000049422315,0.000012228648,0.6955442],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9989977,0.000009961733,0.00037720095,0.0003640939,0.000023742126,0.0002273167],"domain_scores_gemma":[0.99944174,0.00003306132,0.00020474297,0.0002438732,0.000017752342,0.00005882454],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00042238965,0.00012177218,0.0004137942,0.000086931104,0.0000709301,0.00004086911,0.00016303748,0.00006549772,0.17387061],"category_scores_gemma":[0.000054196917,0.00012543937,0.000069829905,0.00003187343,0.00017360851,0.00002922156,0.00013393807,0.000057104557,0.27717105],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000055991304,0.000029979441,0.027960595,0.00002659334,0.000030309135,4.323989e-7,0.0002777704,0.000017718457,0.0000026580472,0.014705968,0.9567527,0.00018966432],"study_design_scores_gemma":[0.00032239023,0.000030761308,0.018164545,0.0000071837203,0.0000054058537,0.000001826966,0.00009801039,0.00015702746,0.000007780904,0.00358726,0.97746557,0.00015224046],"about_ca_topic_score_codex":0.000238951,"about_ca_topic_score_gemma":8.4661633e-7,"teacher_disagreement_score":0.2787562,"about_ca_system_score_codex":0.000020739906,"about_ca_system_score_gemma":0.0000028575357,"threshold_uncertainty_score":0.82688457},"labels":[],"label_agreement":null},{"id":"W4236593608","doi":"10.1017/bsl.2015.29","title":"BSL volume 21 issue 3 Cover and Front matter","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Computer science; Action (physics); Mathematics; Geography; Physics; Engineering; Meteorology; Mechanical engineering; Thermodynamics","score_opus":0.018411269742201482,"score_gpt":0.20299036868903658,"score_spread":0.1845790989468351,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4236593608","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.4350099,0.00096218486,0.00009015483,0.020960322,0.0005224395,0.00029531616,0.000006942122,0.00008655213,0.54206616],"genre_scores_gemma":[0.91222537,0.000027086999,0.0001856024,0.014151286,0.0011441461,0.0000118340695,0.00001258574,0.000024246858,0.07221786],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.999137,0.0000072619855,0.00021531964,0.00022097967,0.00020947003,0.00020998277],"domain_scores_gemma":[0.99942714,0.000011318204,0.0002147612,0.00020427431,0.00012129918,0.000021194566],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00020932949,0.00014625229,0.0002441963,0.00005450048,0.000041394545,0.00009291366,0.00016117192,0.00006812293,0.018953511],"category_scores_gemma":[0.000046579407,0.0001230957,0.00004345332,0.0000770889,0.000086756525,0.00011511192,0.00018593777,0.00007438236,0.038195238],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000034222583,0.000049205064,0.044324078,0.00008352339,0.000011480701,0.000011991341,0.00004996811,0.000012609338,0.00004762834,0.0025089264,0.95210403,0.00076233974],"study_design_scores_gemma":[0.00049485185,0.000014104056,0.0350667,0.000029253777,0.00002502219,0.0000036251474,0.00010797278,0.00006330935,0.000015493351,0.0019365804,0.9620798,0.00016326281],"about_ca_topic_score_codex":0.0018562678,"about_ca_topic_score_gemma":0.000008569927,"teacher_disagreement_score":0.47721544,"about_ca_system_score_codex":0.000014650489,"about_ca_system_score_gemma":0.000013085664,"threshold_uncertainty_score":0.9819433},"labels":[],"label_agreement":null},{"id":"W4237016270","doi":"10.1017/bsl.2015.20","title":"BSL volume 21 issue 2 Cover and Front matter","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Front (military); Volume (thermodynamics); Content (measure theory); Action (physics); Computer science; Environmental science; Geography; Physics; Mathematics; Engineering; Meteorology; Mechanical engineering; Thermodynamics","score_opus":0.018081472121196356,"score_gpt":0.2028324585637734,"score_spread":0.18475098644257706,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4237016270","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.42880622,0.0009712671,0.00008733952,0.020907126,0.00051921845,0.00029413818,0.0000068779364,0.00008646909,0.54832137],"genre_scores_gemma":[0.9125171,0.000027712525,0.00018542768,0.014309035,0.0011598004,0.000011950489,0.000013015106,0.000024460098,0.071751535],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9991372,0.000007266955,0.00021531945,0.00022090573,0.00020936695,0.00020991678],"domain_scores_gemma":[0.99942845,0.0000112540065,0.00021504925,0.00020418466,0.000119854754,0.000021193206],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00020819776,0.00014622448,0.0002442337,0.000054481752,0.000041401705,0.000092923445,0.00016118553,0.00006812967,0.019076835],"category_scores_gemma":[0.00004598559,0.00012308641,0.00004344726,0.00007705531,0.0000867485,0.00011510059,0.00018605612,0.000074380434,0.03734299],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000033666394,0.000049018974,0.042630408,0.00008247309,0.000011445832,0.00001213793,0.00004981337,0.000012620419,0.000045543275,0.002563918,0.95373905,0.0007699164],"study_design_scores_gemma":[0.0004919832,0.000014153747,0.034758706,0.000028983193,0.000025216483,0.0000036778395,0.00010753183,0.000062856605,0.00001506029,0.0019505371,0.96237814,0.00016316788],"about_ca_topic_score_codex":0.0018535445,"about_ca_topic_score_gemma":0.0000085613,"teacher_disagreement_score":0.48371083,"about_ca_system_score_codex":0.000014591887,"about_ca_system_score_gemma":0.000013014892,"threshold_uncertainty_score":0.98181987},"labels":[],"label_agreement":null},{"id":"W4242472004","doi":"10.1017/bsl.2014.43","title":"BSL volume 20 issue 4 Cover and Front matter","year":2014,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Action (physics); Computer science; Mathematics; Geography; Physics; Engineering; Meteorology; Mechanical engineering; Thermodynamics","score_opus":0.008513827356009572,"score_gpt":0.1846978952485449,"score_spread":0.17618406789253532,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4242472004","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.32925665,0.00040962137,0.0003011242,0.023372144,0.0004327563,0.00028163032,0.0000062249214,0.0000920859,0.64584774],"genre_scores_gemma":[0.91888136,0.000024223638,0.00016068679,0.01824614,0.0012285581,0.000010454834,0.000012353854,0.000023011704,0.061413195],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9991623,0.000008849714,0.00021630776,0.0002340577,0.00016503462,0.0002134135],"domain_scores_gemma":[0.9994541,0.000020875872,0.00022534058,0.00021871486,0.00006818845,0.000012771514],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00019963978,0.00014859984,0.00025250413,0.00005279667,0.00006278055,0.00008862085,0.00016411199,0.000067816036,0.03493938],"category_scores_gemma":[0.000038500322,0.0001252997,0.000050746658,0.00006383861,0.00008629511,0.00009030327,0.00015651708,0.000075512326,0.034086667],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00002413321,0.000048190104,0.048491824,0.00016011522,0.000012317025,0.0000036784375,0.0000239259,0.000014177759,0.00019534062,0.0066658347,0.94245994,0.0019005013],"study_design_scores_gemma":[0.0003483404,0.0000125359775,0.058091022,0.000033639324,0.000024401168,0.0000019277884,0.000022845266,0.0001662295,0.000020402586,0.0018845969,0.9392337,0.00016033444],"about_ca_topic_score_codex":0.0010127951,"about_ca_topic_score_gemma":0.000010433004,"teacher_disagreement_score":0.5896247,"about_ca_system_score_codex":0.000007660632,"about_ca_system_score_gemma":0.0000046055275,"threshold_uncertainty_score":0.9666654},"labels":[],"label_agreement":null},{"id":"W4246010628","doi":"10.1017/bsl.2015.8","title":"BSL volume 21 issue 1 Cover and Front matter","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Computer science; Mathematics; Physics; Engineering; Mechanical engineering; Meteorology; Thermodynamics","score_opus":0.018751436013044874,"score_gpt":0.20329438307243905,"score_spread":0.18454294705939417,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4246010628","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.43453664,0.00096187135,0.00009007736,0.021179644,0.0005198022,0.0002968951,0.0000070997844,0.00008713446,0.54232085],"genre_scores_gemma":[0.91320443,0.000026810492,0.00018899645,0.01423763,0.001135904,0.000012142999,0.000012891793,0.000024376346,0.071156815],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.999137,0.0000072696193,0.00021521523,0.00022108483,0.00020942358,0.00021000043],"domain_scores_gemma":[0.9994279,0.00001142847,0.00021472441,0.00020460901,0.000120143355,0.000021196545],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00020943294,0.00014627473,0.00024416912,0.000054520326,0.000041398427,0.00009270599,0.00016128253,0.000068129244,0.019465363],"category_scores_gemma":[0.00004659305,0.00012312991,0.000043456344,0.000077120094,0.000086749795,0.00011501542,0.00018608439,0.000074398944,0.037761956],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000033713877,0.000048816546,0.04388731,0.00008130693,0.0000113944325,0.000011736047,0.000049544997,0.000012498939,0.000047099154,0.0025048582,0.95256776,0.00074398215],"study_design_scores_gemma":[0.0004877765,0.0000141339915,0.035311207,0.000029339002,0.000025284799,0.0000036645854,0.0001085986,0.000063236956,0.000015143773,0.0019315828,0.9618467,0.00016334018],"about_ca_topic_score_codex":0.0018336038,"about_ca_topic_score_gemma":0.000008506875,"teacher_disagreement_score":0.4786678,"about_ca_system_score_codex":0.000014587371,"about_ca_system_score_gemma":0.000013077779,"threshold_uncertainty_score":0.981431},"labels":[],"label_agreement":null},{"id":"W4251648338","doi":"10.1017/bsl.2014.36","title":"BSL volume 20 issue 3 Cover and Front matter","year":2014,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Front (military); Cover (algebra); Volume (thermodynamics); Content (measure theory); Action (physics); Computer science; Mathematics; Physics; Engineering; Mechanical engineering; Thermodynamics","score_opus":0.008443321003186684,"score_gpt":0.1843676330414292,"score_spread":0.17592431203824252,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4251648338","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3297684,0.00040683767,0.0002982115,0.02335222,0.00043578458,0.00028057117,0.000006270605,0.00009169054,0.64536],"genre_scores_gemma":[0.9162535,0.000024325649,0.00016117338,0.018301608,0.0012473672,0.00001049799,0.000012398027,0.000023114855,0.06396603],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99916244,0.000008850976,0.00021622311,0.000234032,0.0001650459,0.00021338696],"domain_scores_gemma":[0.9994529,0.000020831952,0.00022529837,0.00021858803,0.00006959951,0.000012770751],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00019946476,0.00014858854,0.000252439,0.00005276984,0.000062746425,0.00008856936,0.00016398016,0.00006780977,0.03556666],"category_scores_gemma":[0.000039097176,0.0001252737,0.000050742365,0.000063847525,0.000086278174,0.00009028885,0.0001564519,0.00007551488,0.03483662],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000023765888,0.000047969832,0.048184343,0.0001608477,0.000012267241,0.0000036497686,0.0000238034,0.000014339116,0.00019786533,0.0063855727,0.9430511,0.0018944658],"study_design_scores_gemma":[0.00034975668,0.000012303162,0.05779059,0.000033542467,0.000024195364,0.0000019056255,0.000022763315,0.00016555574,0.000020865047,0.0018634323,0.93955487,0.00016025186],"about_ca_topic_score_codex":0.0010227025,"about_ca_topic_score_gemma":0.000010386435,"teacher_disagreement_score":0.5864851,"about_ca_system_score_codex":0.000007692973,"about_ca_system_score_gemma":0.000004624463,"threshold_uncertainty_score":0.96591485},"labels":[],"label_agreement":null},{"id":"W4253700321","doi":"10.1017/bsl.2016.43","title":"BSL volume 22 issue 4 Cover and Front matter","year":2016,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Action (physics); Computer science; Mathematics; Geography; Physics; Engineering; Mechanical engineering; Meteorology; Thermodynamics; Mathematical analysis","score_opus":0.01952764586222681,"score_gpt":0.18782267049396298,"score_spread":0.16829502463173618,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4253700321","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.04193918,0.0018356424,0.00019283596,0.0074729533,0.0010292596,0.00014545817,0.00030892246,0.00002374556,0.947052],"genre_scores_gemma":[0.2912673,0.00037960304,0.00027192346,0.001000401,0.00009072397,0.00000976954,0.0000012233612,0.000010139697,0.7069689],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9989844,0.000007147965,0.0003761113,0.00037191244,0.000023773713,0.00023664084],"domain_scores_gemma":[0.9994463,0.000038208895,0.00019978776,0.00023959304,0.000018483886,0.000057669055],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00030339882,0.000119283875,0.0003734908,0.0000888391,0.000058500584,0.000027224245,0.00016064075,0.000062530264,0.33484086],"category_scores_gemma":[0.000050307215,0.00009565306,0.00007116685,0.00002859778,0.00021574002,0.000039054274,0.00014545268,0.000034565986,0.34777528],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000008336802,0.000029078898,0.039666444,0.000016302654,0.00003718634,0.0000011611359,0.00017865017,0.000001178042,0.000010629292,0.011545335,0.94809127,0.0004144101],"study_design_scores_gemma":[0.0004271864,0.000026326124,0.027960926,0.000013962287,0.000004616791,0.000002354934,0.00008601439,0.000006673922,0.000020859045,0.0036015594,0.9676995,0.00014999275],"about_ca_topic_score_codex":0.00017324861,"about_ca_topic_score_gemma":4.3365142e-7,"teacher_disagreement_score":0.2493281,"about_ca_system_score_codex":0.000033467706,"about_ca_system_score_gemma":0.000004140152,"threshold_uncertainty_score":0.6657672},"labels":[],"label_agreement":null},{"id":"W4320028417","doi":"10.1017/bsl.2022.42","title":"BSL volume 28 issue 4 Cover and Front matter","year":2022,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Corporate Governance and Law","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"University of California, Irvine; Universiteit van Tilburg; University of East Anglia; University of Cambridge; University of Hawai'i; Universidade de São Paulo; University of Hawai'i at Mānoa; Massachusetts Institute of Technology","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Content (measure theory); Action (physics); Computer science; Mathematics; Engineering; Physics; Mechanical engineering; Thermodynamics; Mathematical analysis","score_opus":0.010291933172985676,"score_gpt":0.1877159112591546,"score_spread":0.17742397808616892,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4320028417","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5726316,0.001031381,0.000044122597,0.03033797,0.0006534895,0.00041580567,0.000024921259,0.000100165125,0.39476058],"genre_scores_gemma":[0.9086685,0.000023250517,0.00006535226,0.019508211,0.00058861397,0.000037192203,0.000019493698,0.000022750308,0.07106661],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9990837,0.000011588015,0.0002130864,0.0002403145,0.000242185,0.0002091318],"domain_scores_gemma":[0.9994961,0.0000147172805,0.00023502539,0.00020047097,0.00004380366,0.000009870923],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00019894987,0.00013343588,0.00022276408,0.00006638329,0.00015965506,0.00006645543,0.00020553045,0.00003226696,0.14302051],"category_scores_gemma":[0.000016504815,0.00012507028,0.000055297645,0.00010402322,0.000064505875,0.000072480434,0.00044853144,0.000119439006,0.012008527],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000038914583,0.00007716211,0.033487286,0.00009591698,0.000014608928,0.000018881607,0.00004826351,0.000057183126,0.00012192784,0.003991893,0.961185,0.000862978],"study_design_scores_gemma":[0.00034745553,0.000017132443,0.039567403,0.000010011853,0.000023850467,0.000005479705,0.00014611885,0.000078696925,0.000008019508,0.0012122974,0.958425,0.00015857484],"about_ca_topic_score_codex":0.0015747644,"about_ca_topic_score_gemma":0.0000042903025,"teacher_disagreement_score":0.33603695,"about_ca_system_score_codex":0.000019876956,"about_ca_system_score_gemma":0.000009113215,"threshold_uncertainty_score":0.9887607},"labels":[],"label_agreement":null},{"id":"W4384704024","doi":"10.1017/bsl.2023.19","title":"NOTICES","year":2023,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Nutrition, Health, and Society Studies","field":"Agricultural and Biological Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"University of Illinois at Chicago; Univerza v Ljubljani; Nankai University; University of Illinois at Urbana-Champaign; Dalhousie University; American Mathematical Society; Yonsei University; University of Cambridge; Università degli Studi di Milano","keywords":"Content (measure theory); Computer science; Mathematics","score_opus":0.0321874011433024,"score_gpt":0.24406531420184852,"score_spread":0.2118779130585461,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4384704024","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9548172,0.00044575302,1.9498093e-7,0.033840075,0.00012434792,0.00012795947,0.000022058846,0.00015460186,0.010467809],"genre_scores_gemma":[0.99512655,0.0015522678,0.00007262939,0.001044154,0.0002814231,0.000016158878,0.000022810013,6.026692e-7,0.0018833907],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99923724,0.00004204446,0.00017229596,0.00016025883,0.00015531271,0.00023286685],"domain_scores_gemma":[0.99953413,0.00025769701,0.00006252969,0.000035947472,0.000060757015,0.000048956666],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00024173534,0.000078983474,0.00017154444,0.0000073680894,0.00019775108,0.000010520942,0.00014777025,0.00006777811,0.00075032964],"category_scores_gemma":[0.00006331812,0.000029049064,0.00009113097,0.00027599125,0.0000865753,0.0000086302625,0.0000511537,0.00005703183,0.00052343134],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004059591,0.000384353,0.034155272,0.00025446984,0.0000703106,0.000015645872,0.0016072469,0.000015810992,0.02002526,0.0138856955,0.90164006,0.02790526],"study_design_scores_gemma":[0.00014414861,0.00019115911,0.4037342,0.000027534648,0.000008716801,0.0000014363964,0.0021362542,0.0000060069447,0.00026691632,0.004366546,0.58898,0.00013706126],"about_ca_topic_score_codex":0.00032760005,"about_ca_topic_score_gemma":0.000045616973,"teacher_disagreement_score":0.36957896,"about_ca_system_score_codex":0.000007115531,"about_ca_system_score_gemma":0.000003191658,"threshold_uncertainty_score":0.82155836},"labels":[],"label_agreement":null},{"id":"W4393443551","doi":"10.1017/bsl.2024.20","title":"BSL volume 30 issue 1 Cover and Front matter","year":2024,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Front cover; Cover (algebra); Volume (thermodynamics); Front (military); Environmental science; Geography; Physics; Engineering; Meteorology; Mechanical engineering; Thermodynamics","score_opus":0.020848815057401097,"score_gpt":0.19866020077075647,"score_spread":0.17781138571335536,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4393443551","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.016663989,0.011726014,0.00011001553,0.0045904475,0.0018512118,0.00013590093,0.00028037044,0.000044083055,0.96459794],"genre_scores_gemma":[0.2640011,0.0005291864,0.0002558929,0.000994162,0.00014883149,0.000011935699,0.000004015981,0.0000144591195,0.7340404],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99898547,0.000005747047,0.000361824,0.00040973665,0.000023609968,0.0002136253],"domain_scores_gemma":[0.99963033,0.000031815503,0.00008704578,0.0001893266,0.000012172266,0.00004933227],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0003210163,0.00012142955,0.0003450046,0.000117424956,0.000054633845,0.00009068928,0.000133871,0.000063807216,0.3661129],"category_scores_gemma":[0.000025010537,0.00012130142,0.00008171696,0.00004626195,0.0001581778,0.000036723613,0.00012966114,0.00007144683,0.48310274],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000029293237,0.000019565836,0.0050830767,0.00007227327,0.00005767814,0.0000042364063,0.00050435297,0.000008707366,0.000002091515,0.021888291,0.97210485,0.0002519331],"study_design_scores_gemma":[0.00013921365,0.000020987582,0.0061359215,0.000021275444,0.000007900485,0.0000038127957,0.00016400169,0.00019159786,0.0000062113063,0.0038216317,0.9893412,0.0001462567],"about_ca_topic_score_codex":0.00022467501,"about_ca_topic_score_gemma":2.9462893e-7,"teacher_disagreement_score":0.24733712,"about_ca_system_score_codex":0.000032227137,"about_ca_system_score_gemma":0.0000059578842,"threshold_uncertainty_score":0.6344666},"labels":[],"label_agreement":null},{"id":"W4408555454","doi":"10.1017/bsl.2024.4","title":"New Results in Model Theory and Set Theory","year":2024,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Set (abstract data type); Computer science; Mathematical economics; Mathematics; Programming language","score_opus":0.016301755293555473,"score_gpt":0.25096296936856144,"score_spread":0.23466121407500595,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4408555454","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0025682268,0.00081916986,0.9571494,0.006843386,0.00015525876,0.00013139892,0.000007069577,0.00015107024,0.03217503],"genre_scores_gemma":[0.9593489,0.00019579702,0.036084514,0.0006027699,0.000029967836,0.0000041614635,0.0000028093443,0.0000065321697,0.0037245522],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9992068,0.000114936905,0.00020673146,0.00025372568,0.00010072998,0.00011708162],"domain_scores_gemma":[0.9994198,0.00029074404,0.000033699434,0.0001892256,0.000017184871,0.000049327115],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008220454,0.00008192266,0.00010997727,0.00013049733,0.000021812197,0.000059431415,0.000172275,0.00005519322,0.00014240254],"category_scores_gemma":[0.00011390863,0.00006895988,0.000027998985,0.0001637189,0.000047840633,0.000048171554,0.00009191516,0.00009605833,0.000041704683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000021962749,0.000006368235,0.000017863793,0.000015488962,0.000004884943,0.0000069596967,0.0012029795,0.0033373851,0.00004492706,0.91457266,0.0038225462,0.076945975],"study_design_scores_gemma":[0.00073295966,0.000063352774,0.002267652,0.00014485905,0.000009484536,0.00005046522,0.00018038912,0.18562654,0.00018625717,0.7996445,0.010850751,0.00024280757],"about_ca_topic_score_codex":0.000025993553,"about_ca_topic_score_gemma":0.0000036840113,"teacher_disagreement_score":0.9567807,"about_ca_system_score_codex":0.000014796343,"about_ca_system_score_gemma":0.00007553628,"threshold_uncertainty_score":0.28121024},"labels":[],"label_agreement":null},{"id":"W4409507843","doi":"10.1017/bsl.2025.13","title":"ASSOCIATION FOR SYMBOLIC LOGIC","year":2025,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Nankai University; University of Leeds; Division of Mathematical Sciences; Universiteit van Amsterdam; University of Cambridge; McMaster University; University of Madras; University of Notre Dame; University of Pennsylvania","keywords":"Association (psychology); Computer science; Programming language; Psychology","score_opus":0.013161514271471136,"score_gpt":0.2553855654010436,"score_spread":0.2422240511295725,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4409507843","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.010025437,0.003999877,0.2314325,0.03730003,0.0031050255,0.0018236802,0.000024059655,0.0009209371,0.71136844],"genre_scores_gemma":[0.9247086,0.00020054825,0.017287366,0.003638942,0.0002937962,0.00019821269,0.000012489862,0.000019107536,0.053640924],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9980099,0.00012694478,0.00047732456,0.0005528323,0.00028029314,0.00055269856],"domain_scores_gemma":[0.997987,0.0006393806,0.00033004125,0.0005896314,0.0003691298,0.00008483658],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009067602,0.00024525286,0.00049696927,0.00020095706,0.00019184033,0.00010526632,0.0011852878,0.00025789876,0.00012997963],"category_scores_gemma":[0.0009550368,0.00020917674,0.00025576563,0.00046958314,0.00006194415,0.000053022814,0.00032202498,0.00016531891,0.0002704697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000012086601,0.0001962537,0.002250871,0.00010607256,0.00008125636,0.0000025616212,0.0003139886,0.000021170748,0.00030347993,0.88156945,0.10993849,0.0052042985],"study_design_scores_gemma":[0.0018579762,0.00034026563,0.015703678,0.00012327317,0.000095066665,0.000008590465,0.00008986561,0.0014415912,0.0029655944,0.3048598,0.6719651,0.0005491954],"about_ca_topic_score_codex":0.000062046616,"about_ca_topic_score_gemma":0.000006656122,"teacher_disagreement_score":0.91468316,"about_ca_system_score_codex":0.00016671386,"about_ca_system_score_gemma":0.00013377208,"threshold_uncertainty_score":0.85299796},"labels":[],"label_agreement":null},{"id":"W4411834892","doi":"10.1017/bsl.2025.10084","title":"CORONA RIGIDITY","year":2025,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"COVID-19 Pandemic Impacts","field":"Economics, Econometrics and Finance","cited_by":4,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Lakehead University","funders":"Natural Sciences and Engineering Research Council of Canada; Institut Universitaire de France; Deutsche Forschungsgemeinschaft; European Commission","keywords":"Rigidity (electromagnetism); Materials science; Environmental science; Composite material","score_opus":0.04092922784996294,"score_gpt":0.26264192770695177,"score_spread":0.22171269985698883,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4411834892","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.24050984,0.004864601,0.0029792928,0.019198429,0.0010413366,0.00042987274,0.00009790829,0.00013361135,0.73074514],"genre_scores_gemma":[0.9848688,0.00021071664,0.00040841143,0.004589334,0.00005651661,0.000012589831,0.000005118897,0.000009732968,0.00983876],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9988495,0.000015954529,0.0005249119,0.00030791562,0.000032185937,0.0002695273],"domain_scores_gemma":[0.9991148,0.00016946266,0.00023816923,0.0003922759,0.000029694289,0.00005558503],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00050217356,0.00013004532,0.0004271994,0.00019859792,0.00005454936,0.000018209395,0.0003088801,0.0001242104,0.0031784552],"category_scores_gemma":[0.00067020196,0.00014297798,0.00011553793,0.00020526329,0.000100539524,0.000018194818,0.0001118209,0.00013132468,0.0016104083],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00002321348,0.00013611827,0.06805028,0.00011855977,0.000057141577,0.0000036237327,0.00014207538,0.000051868992,0.000058588197,0.8111076,0.11899571,0.0012552342],"study_design_scores_gemma":[0.00056026183,0.000038633614,0.07933486,0.000027121258,0.000006333636,0.0000017399935,0.000020298872,0.000054184973,0.0002030866,0.13022035,0.7893789,0.00015423572],"about_ca_topic_score_codex":0.0008553633,"about_ca_topic_score_gemma":0.000004873554,"teacher_disagreement_score":0.74435896,"about_ca_system_score_codex":0.00011172684,"about_ca_system_score_gemma":0.00004554517,"threshold_uncertainty_score":0.99916697},"labels":[],"label_agreement":null}]}