{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":52,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":52,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"3c82fe15dd3b","filters":{"venue":"Bulletin of Symbolic Logic"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Vladimir Pestov","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05920534042438599,"gpt":0.3214397735492765,"spread":0.2622344331248905,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003531416,0.000183898,0.0004022958,0.00008628456,0.0001373238,0.0000122503,0.0002518126,0.0001079319,0.0008074969],"category_scores_gemma":[0.0009816086,0.0001546238,0.00007125058,0.0001427367,0.0003665964,0.00002519487,0.0001864996,0.0002023212,0.0001554163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003119599,"about_ca_system_score_gemma":0.00005292555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005765982,"about_ca_topic_score_gemma":0.000002670985,"domain_scores_codex":[0.9984562,0.00008572162,0.0004095181,0.0003176814,0.0003691714,0.0003617538],"domain_scores_gemma":[0.9987754,0.00042415,0.00009836341,0.0004203451,0.0001509297,0.0001307844],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003081876,0.001453431,0.007605169,0.001123456,0.0002543278,0.0007582071,0.003708369,0.00003657704,0.01204736,0.7232274,0.2357244,0.01375308],"study_design_scores_gemma":[0.005946105,0.001502069,0.006903712,0.0002816276,0.00009880455,0.002180292,0.001433467,0.0003189662,0.009862752,0.2571334,0.7128159,0.001522907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9728421,0.00115041,0.001032622,0.001633592,0.0000577282,0.0006037706,0.00001025685,0.0001503831,0.02251914],"genre_scores_gemma":[0.9250889,0.0006880767,0.06545854,0.0005728264,0.0001896923,0.00008181694,0.000003975519,0.00006627928,0.00784984],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4770915,"threshold_uncertainty_score":0.8841525,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Stevo Todorčević","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06802927926390441,"gpt":0.3017472688134853,"spread":0.233717989549581,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007826774,0.000140303,0.0003491125,0.00008622571,0.00003909307,0.000002006839,0.0002522281,0.0001632708,0.003221182],"category_scores_gemma":[0.0006470889,0.0001167136,0.00006886398,0.00007481819,0.0003414067,0.0000149479,0.00007921114,0.0001944143,0.0001366545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001708189,"about_ca_system_score_gemma":0.00001699029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002575976,"about_ca_topic_score_gemma":0.000003280957,"domain_scores_codex":[0.9988829,0.0002662009,0.0003320634,0.0001810632,0.00009790847,0.0002398465],"domain_scores_gemma":[0.9988309,0.0006657245,0.0001377048,0.000291499,0.00003472392,0.00003950647],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002144453,0.0002042939,0.0007308531,0.0000389977,0.00001834958,0.00002190678,0.002336162,3.188779e-7,0.00005353646,0.9951083,0.00108935,0.0001834811],"study_design_scores_gemma":[0.0007722952,0.00009616559,0.001126729,0.00002809035,0.00001502302,0.00001069608,0.0007291696,5.317194e-7,0.001568945,0.9925283,0.002999227,0.0001248306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6897234,0.0003038072,0.0007228298,0.00027925,0.000658849,0.0003895976,0.00001094627,0.0001231731,0.3077881],"genre_scores_gemma":[0.9962056,0.00003094742,0.002600539,0.0002126895,0.00005747313,0.00002631184,0.00000193272,0.00001698787,0.000847486],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3069406,"threshold_uncertainty_score":0.99769,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Paolo Mancosu","is_ca":true},{"name":"Richard Zach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01949970764137757,"gpt":0.2356669271798566,"spread":0.216167219538479,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001111414,0.0002197049,0.0003872977,0.00006651633,0.0001342893,0.00004746941,0.001230753,0.0001070427,0.00006673733],"category_scores_gemma":[0.0004747412,0.00009793389,0.0001039347,0.0003152564,0.0004439328,0.00003828501,0.0004648147,0.0002482696,0.00006247869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001905567,"about_ca_system_score_gemma":0.00004884781,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003777357,"about_ca_topic_score_gemma":0.000003168865,"domain_scores_codex":[0.9981891,0.0002552385,0.00039297,0.0003921019,0.0004776492,0.0002929364],"domain_scores_gemma":[0.9976367,0.001046554,0.0002839096,0.0007740992,0.0001703796,0.00008831544],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008886391,0.00008975525,0.00007490905,0.00001557339,0.00001876313,0.000006086485,0.001003039,0.0006174722,0.000057965,0.9780898,0.007010552,0.0129272],"study_design_scores_gemma":[0.001322767,0.000477817,0.0007985702,0.00006071308,0.00001622766,0.00004911815,0.0001607272,0.0005468705,0.0005970313,0.9775267,0.01826034,0.0001831445],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.260148,0.01778811,0.3939173,0.1990141,0.001116549,0.003997485,0.00001336299,0.0004528688,0.1235523],"genre_scores_gemma":[0.9815909,0.0001652798,0.01430238,0.003623084,0.00006453139,0.00003631263,9.344323e-7,0.000009975501,0.0002065916],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7214429,"threshold_uncertainty_score":0.3993628,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Bernard Linsky","is_ca":true},{"name":"Edward N. Zalta","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01903675069324832,"gpt":0.2795127183004849,"spread":0.2604759676072366,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0002915744,0.0001280118,0.0002190696,0.0000450504,0.00005816847,0.00002428583,0.0003801541,0.0001380747,0.02254095],"category_scores_gemma":[0.00002699917,0.00009641189,0.00009834256,0.0001530169,0.0005736654,0.0000240039,0.00007416178,0.0001163799,0.003197287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009874574,"about_ca_system_score_gemma":0.000006556771,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000241049,"about_ca_topic_score_gemma":7.418095e-7,"domain_scores_codex":[0.9987947,0.00009101984,0.0002663161,0.0003244644,0.0001805288,0.0003429715],"domain_scores_gemma":[0.9992976,0.0001535525,0.00009743669,0.0003472998,0.00004107476,0.00006300414],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002246633,0.0001682847,0.0002228178,0.000004333516,0.000006972739,0.00001950595,0.0002043732,0.000002066699,0.0001993675,0.9784794,0.01875734,0.001913044],"study_design_scores_gemma":[0.0002945225,0.0001456112,0.009692742,0.00001683302,0.00001081459,0.00002598892,0.0001682957,0.00000211445,0.0006967877,0.8867822,0.1020192,0.0001448763],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08357535,0.001491408,0.0001078144,0.02167707,0.0007406761,0.0001332151,0.000004893942,0.00006844653,0.8922011],"genre_scores_gemma":[0.9877129,0.00004484129,0.0002322634,0.00479847,0.0002134884,0.00001545222,0.000002315315,0.000007138608,0.006973102],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9041376,"threshold_uncertainty_score":0.9975789,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Gregory Moore","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03573820724993328,"gpt":0.1996185184671025,"spread":0.1638803112171692,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001486112,0.0001294093,0.0002815931,0.00003591338,0.00003389039,0.000003125706,0.000318974,0.0000462544,0.007025926],"category_scores_gemma":[0.00001180099,0.00008990588,0.0002219859,0.00005170972,0.0002059669,0.00001348583,0.00006588541,0.00009101621,0.0001044018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003205231,"about_ca_system_score_gemma":0.00007493942,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001847205,"about_ca_topic_score_gemma":0.000002019844,"domain_scores_codex":[0.9990971,0.00007073115,0.0003321612,0.0001556534,0.0001527853,0.0001915824],"domain_scores_gemma":[0.9991959,0.00003276955,0.0002920059,0.0003513907,0.00007878519,0.00004918774],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009607981,0.0008584929,0.1769519,0.0000555429,0.0002833009,0.000001400414,0.003056569,0.000004434499,0.005443251,0.3125887,0.4978783,0.002782052],"study_design_scores_gemma":[0.001020072,0.00009906147,0.2159509,0.00004939484,0.00007559223,9.042943e-7,0.0001761037,0.000002966861,0.005393809,0.01120509,0.7657882,0.0002379573],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7330931,0.0004677115,0.00006621591,0.0004208235,0.0005226576,0.0001765706,0.00002750274,0.00002224125,0.2652032],"genre_scores_gemma":[0.9786277,0.000005657886,0.0008828693,0.0001764773,0.0001783075,0.00001513427,0.000001115215,0.00001371794,0.02009905],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3013836,"threshold_uncertainty_score":0.9938818,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02405949454966243,"gpt":0.2422270050147449,"spread":0.2181675104650824,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00113604,0.0002378785,0.000393046,0.0001026767,0.0001472172,0.00009747352,0.001214365,0.000141133,0.0004692687],"category_scores_gemma":[0.000257401,0.0002017048,0.00009963053,0.0001938767,0.0006256023,0.00005781812,0.0009789896,0.0003812992,0.0001260743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001562853,"about_ca_system_score_gemma":0.00004431439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001554909,"about_ca_topic_score_gemma":0.00001720987,"domain_scores_codex":[0.9980921,0.0001928342,0.0003905323,0.0006254514,0.0003105432,0.0003884945],"domain_scores_gemma":[0.9980851,0.0004497983,0.0001667906,0.0009838437,0.0001521635,0.0001623429],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001223051,0.0002413902,0.001439436,0.00005004854,0.00001681099,0.00001210809,0.0005172023,0.00001457863,0.001734828,0.9522417,0.002258079,0.04146161],"study_design_scores_gemma":[0.000735411,0.0002981314,0.1135343,0.00001988318,0.00001537519,0.000172144,0.000057059,0.006265936,0.0009727019,0.8336335,0.04376867,0.0005268597],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.760776,0.0006893885,0.1676632,0.01812738,0.002233704,0.0009405302,0.0000172252,0.0008336013,0.04871892],"genre_scores_gemma":[0.9170308,0.00001807614,0.08151127,0.0009436983,0.0001430206,0.00001291148,0.000001974944,0.00001215096,0.0003260808],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1562548,"threshold_uncertainty_score":0.8225283,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Raf Cluckers","is_ca":false},{"name":"Deirdre Haskell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04143279293261746,"gpt":0.2768023958299883,"spread":0.2353696028973708,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003356002,0.0001655664,0.0004417578,0.00008601788,0.00004030433,0.000008042291,0.0003073567,0.0001305752,0.001875178],"category_scores_gemma":[0.0003240554,0.0001391623,0.0001562224,0.0001024069,0.0001269204,0.00001468583,0.00008385471,0.0001295733,0.000141486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001356334,"about_ca_system_score_gemma":0.00001686207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001441908,"about_ca_topic_score_gemma":0.000004197912,"domain_scores_codex":[0.9987426,0.00004693044,0.0004797273,0.0002145101,0.0002507331,0.0002655103],"domain_scores_gemma":[0.9990039,0.0001891756,0.0002616128,0.0004052804,0.00008002877,0.00005999283],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001382412,0.001068844,0.008737881,0.0009865733,0.0001868967,0.00005235961,0.002883787,0.00001684207,0.002281307,0.9035417,0.07682988,0.00327569],"study_design_scores_gemma":[0.001929381,0.0004771042,0.01176539,0.0003958334,0.0001243936,0.00008456817,0.0006035966,0.00003906168,0.01562162,0.8902033,0.07814544,0.0006103186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9297689,0.0002062414,0.0008232749,0.001129469,0.0001114467,0.0002516917,0.000003529289,0.0000768457,0.06762858],"genre_scores_gemma":[0.9886107,0.0001236631,0.006463514,0.0002922047,0.0001334407,0.00001529382,0.000001820751,0.00002518339,0.004334182],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0632944,"threshold_uncertainty_score":0.9990373,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Isaac Goldbring","is_ca":false},{"name":"Bradd Hart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02473587065851415,"gpt":0.296803539593634,"spread":0.2720676689351199,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008587713,0.0001016925,0.0002903178,0.00001765002,0.00009077634,0.000003878728,0.0001427239,0.00007074349,0.0005312345],"category_scores_gemma":[0.0007243533,0.00004527026,0.00005281137,0.00002718526,0.001114343,0.00001050821,0.000101062,0.00007091801,0.00003082208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008322691,"about_ca_system_score_gemma":0.00000796724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000660656,"about_ca_topic_score_gemma":0.000001175214,"domain_scores_codex":[0.9991364,0.0002195309,0.0002473205,0.0001633681,0.00007362813,0.0001597457],"domain_scores_gemma":[0.9966864,0.002877247,0.0001304088,0.000231071,0.00004600864,0.0000288653],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009531884,0.00003619866,0.0002667241,0.00005387302,0.00002004925,0.000001213235,0.0004349576,0.000001524445,0.0001323733,0.9952847,0.0009199477,0.002753082],"study_design_scores_gemma":[0.001195401,0.00003226203,0.0002037013,0.00004370672,0.00001847397,0.00002340443,0.0002215262,0.000009161494,0.0003066163,0.9929173,0.004954941,0.00007350602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8666086,0.001094404,0.04077351,0.03436144,0.0002063555,0.001152186,0.00001588351,0.0002213861,0.05556623],"genre_scores_gemma":[0.9895733,0.00005504276,0.009135483,0.0002837963,0.00004238355,0.00001867599,2.108226e-7,0.000008368595,0.0008827526],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1229647,"threshold_uncertainty_score":0.5816646,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Canada Research Chairs; University of Toronto; Fleming College","funders":"","keywords":"Epistemology; Philosophy; Sociology; Humanities","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02166392970879951,"gpt":0.2722256405749766,"spread":0.2505617108661771,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0002378553,0.00007514202,0.0001311028,0.00002701668,0.00003095183,0.0000040588,0.0001723386,0.000067789,0.007861392],"category_scores_gemma":[0.00008007231,0.00004172338,0.00003177058,0.00005381807,0.0005212142,0.000007458675,0.00005558345,0.00004189711,0.001324533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004757433,"about_ca_system_score_gemma":0.000004454776,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002729915,"about_ca_topic_score_gemma":1.906857e-7,"domain_scores_codex":[0.9992952,0.0000585396,0.0001389082,0.0002138189,0.00009099464,0.0002025413],"domain_scores_gemma":[0.9994441,0.00020381,0.00004684008,0.0002002839,0.00001922292,0.00008569469],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002318073,0.00005284882,0.0003139737,0.000003513974,0.000006401244,0.00000581842,0.0001176455,1.874079e-8,0.001416282,0.9880295,0.002314516,0.007716261],"study_design_scores_gemma":[0.0005860601,0.0001858146,0.01870038,0.00002828086,0.000009833156,0.00003264197,0.00004217354,3.652147e-7,0.0007504933,0.8979149,0.08161572,0.0001332735],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1892726,0.0003280894,0.0002307109,0.01687109,0.0001675051,0.00008144289,0.000007071948,0.00003580529,0.7930057],"genre_scores_gemma":[0.9960058,0.00003684606,0.0001734589,0.0008881617,0.00007444168,0.000007223559,1.555047e-7,0.000004709014,0.002809229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8067332,"threshold_uncertainty_score":0.9994531,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Stanley Burris","is_ca":true},{"name":"H. P. Sankappanavar","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01634350927987275,"gpt":0.2210321596667982,"spread":0.2046886503869255,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001100594,0.0001463289,0.0002671467,0.00004071228,0.0001311895,0.00008908416,0.001172651,0.00008972092,0.0002670753],"category_scores_gemma":[0.0001886572,0.00008563454,0.0001315671,0.0001480513,0.0002762658,0.00004316137,0.0002688121,0.0001093334,0.0006401935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001431938,"about_ca_system_score_gemma":0.00004884321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003007345,"about_ca_topic_score_gemma":0.000002689448,"domain_scores_codex":[0.9983484,0.0002387206,0.0004251735,0.0002648794,0.0003755134,0.0003473696],"domain_scores_gemma":[0.9984075,0.0003220141,0.0002787863,0.0007048214,0.0002106108,0.00007625711],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004950608,0.00005907915,0.0002973538,0.00002099792,0.00002846135,0.0000019103,0.0003839543,0.000003449155,0.0002417074,0.9570192,0.01179496,0.03014402],"study_design_scores_gemma":[0.0005307096,0.000424881,0.006489559,0.000013513,0.00002060438,0.00003259617,0.0004145271,0.0002457884,0.005165983,0.5816594,0.4046859,0.0003164814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.110205,0.01345425,0.4485761,0.02618306,0.005145507,0.004269592,0.00000443605,0.001030497,0.3911316],"genre_scores_gemma":[0.9967154,0.00005233683,0.000939473,0.0002718788,0.0001261859,0.00005926762,5.280092e-7,0.000008440593,0.001826502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8865104,"threshold_uncertainty_score":0.8228606,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Pantelis E. Eleftheriou","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02127086282323093,"gpt":0.2794684834220449,"spread":0.258197620598814,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002442189,0.0001363069,0.0003241208,0.00004373537,0.00007383635,0.00001047462,0.0001390821,0.0001232751,0.002769439],"category_scores_gemma":[0.0002060328,0.0001066794,0.0000473699,0.00003963268,0.0003323198,0.00002766226,0.00008802546,0.0001300821,0.0002127394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008433385,"about_ca_system_score_gemma":0.000009565369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001780354,"about_ca_topic_score_gemma":0.000001442357,"domain_scores_codex":[0.9991815,0.00004656463,0.0002555084,0.0001879886,0.0001059518,0.0002225035],"domain_scores_gemma":[0.9991072,0.0004286003,0.0001311297,0.0002081332,0.00006090829,0.00006401602],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008953858,0.0001253952,0.001935544,0.000240114,0.00006301489,0.00001343669,0.001200122,0.000001375652,0.0008332893,0.9693974,0.02294428,0.003156552],"study_design_scores_gemma":[0.0005831817,0.0002210554,0.003884484,0.00003840055,0.00003180348,0.00003195176,0.0007427444,0.00001013357,0.0008628969,0.9825615,0.0108578,0.000174101],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9501802,0.0003415045,0.0008624616,0.002444832,0.00009138375,0.0003000201,0.000007414869,0.0000651909,0.04570703],"genre_scores_gemma":[0.9824291,0.00006937383,0.01502923,0.0003942247,0.00007146771,0.00002879281,0.000001415703,0.00001594076,0.001960427],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04374661,"threshold_uncertainty_score":0.9981422,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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)","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.05002920586700298,"gpt":0.3257549427987774,"spread":0.2757257369317744,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001526684,0.00009557918,0.0002323866,0.00002548781,0.00007666479,0.00000457777,0.00009939563,0.0000928939,0.007785221],"category_scores_gemma":[0.0004539657,0.00008887693,0.00008229416,0.00007032492,0.0001604908,0.00001224155,0.00007209035,0.0001299074,0.0001546788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001624204,"about_ca_system_score_gemma":0.00002962775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005246069,"about_ca_topic_score_gemma":0.000003998938,"domain_scores_codex":[0.9992326,0.0000789449,0.0002264054,0.0001667608,0.0000958213,0.0001994529],"domain_scores_gemma":[0.9991403,0.0003972326,0.00009290402,0.0002558503,0.00006895995,0.00004477413],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001159616,0.0001336979,0.0002474132,0.00003661807,0.00002777683,0.00002973696,0.0001197918,0.00001197182,0.0004916223,0.98737,0.01142002,0.00009974783],"study_design_scores_gemma":[0.0003480872,0.00003981887,0.0008805373,0.0000282238,0.00003348663,0.00003051914,0.0003656229,0.000002306475,0.004107505,0.9157914,0.07826138,0.0001111206],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6471891,0.0006492932,0.004371922,0.006009447,0.0003124099,0.0002394397,0.00003389022,0.0001891585,0.3410054],"genre_scores_gemma":[0.9803938,0.00005044453,0.00912135,0.0005378521,0.00006985863,0.00002395127,0.00000716259,0.00001464281,0.009780987],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3332047,"threshold_uncertainty_score":0.9931218,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"John Bell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01246683993135471,"gpt":0.2531375562636439,"spread":0.2406707163322891,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005926424,0.0001381115,0.0002463487,0.0001636724,0.00005027494,0.00001949627,0.0007114557,0.00007253049,0.0000761631],"category_scores_gemma":[0.00008167109,0.0001196639,0.00006072501,0.0003589679,0.00006522515,0.0000452969,0.000270524,0.0001422065,0.00008199413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003561687,"about_ca_system_score_gemma":0.00002494651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009100101,"about_ca_topic_score_gemma":0.000009990446,"domain_scores_codex":[0.9985892,0.00005315975,0.0003968718,0.0003289061,0.0002037558,0.0004280922],"domain_scores_gemma":[0.9992269,0.0001632352,0.0001332382,0.0003574668,0.00004874366,0.00007041902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002802382,0.0002783088,0.01097407,0.00007104262,0.00001342435,0.0003057897,0.001194471,0.001442596,0.006391446,0.8611356,0.001240127,0.1169251],"study_design_scores_gemma":[0.00358829,0.0005500789,0.3855801,0.0002256564,0.00001231093,0.0002927449,0.0005153982,0.00691327,0.01236367,0.4115628,0.1767809,0.001614759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4724969,0.000549114,0.4868529,0.004080612,0.0003622379,0.0003082972,0.000001728625,0.0002169704,0.03513129],"genre_scores_gemma":[0.8952947,0.00001144032,0.1028495,0.001540783,0.00008793359,0.000006298338,0.000001472621,0.000007028899,0.0002008272],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4495728,"threshold_uncertainty_score":0.4879753,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Disjoint sets; Mathematics; Combinatorics; Pure mathematics; Calculus (dental)","authors":[{"name":"Dilip Raghavan","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01826387651874557,"gpt":0.2855958297166394,"spread":0.2673319531978938,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002431823,0.0001080201,0.0003056956,0.00005081773,0.00005776111,0.000002720395,0.0001170005,0.0001126104,0.0007823969],"category_scores_gemma":[0.0008991103,0.00008774728,0.00005037217,0.00005021479,0.0005974837,0.00001206675,0.00007168923,0.0001474298,0.0000126634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002527956,"about_ca_system_score_gemma":0.0000141072,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001629615,"about_ca_topic_score_gemma":0.0000282407,"domain_scores_codex":[0.999292,0.00005153599,0.0002973102,0.0001398404,0.00008127638,0.000138083],"domain_scores_gemma":[0.9988205,0.0006531651,0.0001716175,0.0002349829,0.00007990679,0.00003977677],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001867706,0.0001343699,0.001781321,0.00008887502,0.00002722525,0.000002099591,0.0007594046,8.710344e-7,0.004375836,0.9897671,0.002457988,0.0005862179],"study_design_scores_gemma":[0.0005188331,0.00008858259,0.005568323,0.00003557721,0.00005019167,0.00002808245,0.0009049834,0.000006114012,0.007136661,0.9594945,0.026011,0.000157156],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9669264,0.0002456939,0.001821957,0.001316261,0.0001695891,0.0002108684,0.00003045703,0.00004714128,0.02923162],"genre_scores_gemma":[0.9899994,0.0001272541,0.008289566,0.0001312065,0.00004320322,0.00001186649,0.0000049643,0.00001259527,0.001379931],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03027261,"threshold_uncertainty_score":0.8566697,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Ilijas Farah","is_ca":false},{"name":"Saeed Ghasemi","is_ca":true},{"name":"Andrea Vaccaro","is_ca":false},{"name":"Alessandro Vignati","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04092922784996294,"gpt":0.2626419277069518,"spread":0.2217126998569888,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0005021736,0.0001300453,0.0004271994,0.0001985979,0.00005454936,0.0000182094,0.0003088801,0.0001242104,0.003178455],"category_scores_gemma":[0.000670202,0.000142978,0.0001155379,0.0002052633,0.0001005395,0.00001819482,0.0001118209,0.0001313247,0.001610408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001117268,"about_ca_system_score_gemma":0.00004554517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008553633,"about_ca_topic_score_gemma":0.000004873554,"domain_scores_codex":[0.9988495,0.00001595453,0.0005249119,0.0003079156,0.00003218594,0.0002695273],"domain_scores_gemma":[0.9991148,0.0001694627,0.0002381692,0.0003922759,0.00002969429,0.00005558503],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002321348,0.0001361183,0.06805028,0.0001185598,0.00005714158,0.000003623733,0.0001420754,0.00005186899,0.0000585882,0.8111076,0.1189957,0.001255234],"study_design_scores_gemma":[0.0005602618,0.00003863361,0.07933486,0.00002712126,0.000006333636,0.000001739994,0.00002029887,0.00005418497,0.0002030866,0.1302204,0.7893789,0.0001542357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2405098,0.004864601,0.002979293,0.01919843,0.001041337,0.0004298727,0.00009790829,0.0001336113,0.7307451],"genre_scores_gemma":[0.9848688,0.0002107166,0.0004084114,0.004589334,0.00005651661,0.00001258983,0.000005118897,0.000009732968,0.00983876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.744359,"threshold_uncertainty_score":0.999167,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Predicate (mathematical logic); Existentialism; Mathematics; Combinatorics; Discrete mathematics; Philosophy; Computer science; Epistemology","authors":[{"name":"John Corcoran","is_ca":false},{"name":"Hassan Masoud","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04302634368714552,"gpt":0.2582334533429406,"spread":0.215207109655795,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003532641,0.0001436603,0.0002754008,0.00007276438,0.00003837957,0.00003134384,0.0008273011,0.00006908069,0.0001319563],"category_scores_gemma":[0.0001392629,0.0001139097,0.00008435499,0.0001989918,0.00008449476,0.0000490929,0.0002913785,0.00009067473,0.0005152214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002163055,"about_ca_system_score_gemma":0.00005402431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001842283,"about_ca_topic_score_gemma":5.215474e-7,"domain_scores_codex":[0.9987611,0.00003432848,0.0003411091,0.0002699063,0.0003270778,0.0002664397],"domain_scores_gemma":[0.9988981,0.00005806394,0.0001866226,0.0005898441,0.0001165505,0.0001507982],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004409296,0.0002446055,0.0001756456,0.00004367966,0.00001730204,0.0000486834,0.0008983674,0.0001215582,0.0002111968,0.9740359,0.02065524,0.003543413],"study_design_scores_gemma":[0.001213931,0.0004678745,0.0007952466,0.0000604189,0.00002370505,0.0002666873,0.0004722823,0.001793053,0.002356021,0.6545913,0.3373638,0.0005957431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03931507,0.0009839992,0.5303631,0.006987748,0.0009959338,0.0004976637,0.000003455905,0.0006316205,0.4202213],"genre_scores_gemma":[0.7572657,0.00003877196,0.2386792,0.0009888522,0.0001196526,0.00001785554,0.000002427473,0.00001444422,0.002873138],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7179506,"threshold_uncertainty_score":0.6622301,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Román Sasyk","is_ca":false},{"name":"Asger Törnquist","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0596508672251124,"gpt":0.3453136072629261,"spread":0.2856627400378138,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005775261,0.0001422036,0.0003642122,0.00008695087,0.00005076221,0.000009976742,0.0002141034,0.0001126929,0.0002367748],"category_scores_gemma":[0.001069371,0.0001214501,0.00005873804,0.0001612869,0.0002601567,0.00003023708,0.00005799898,0.0001729038,0.00002119581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003390996,"about_ca_system_score_gemma":0.00003797534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000166507,"about_ca_topic_score_gemma":0.000001611479,"domain_scores_codex":[0.9985589,0.0001156218,0.0004735721,0.0003111048,0.0003140644,0.0002266852],"domain_scores_gemma":[0.9987253,0.0002470246,0.0002079807,0.0005265289,0.0002133944,0.0000797491],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001163019,0.0006516466,0.001762267,0.0003166259,0.00002862496,0.000003439262,0.0006177053,0.00000458914,0.0676627,0.9108418,0.007150622,0.01084366],"study_design_scores_gemma":[0.0008556488,0.0006600108,0.1427425,0.0001029625,0.00003950428,0.00002277046,0.0004906341,0.00007831296,0.02276913,0.8281315,0.003822727,0.0002842706],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9871687,0.000394464,0.0003196045,0.003399036,0.00003257998,0.0004007566,0.000007087744,0.00004920455,0.008228547],"genre_scores_gemma":[0.9883544,0.00009837849,0.01096437,0.00007945953,0.00004064795,0.000009263124,0.000003755688,0.00001364084,0.0004360206],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1409802,"threshold_uncertainty_score":0.495259,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Categorical variable; Type (biology); Content (measure theory); Mathematics; Computer science; Mathematics education; Statistics; Mathematical analysis","authors":[{"name":"R. A. G. Seely","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03089792881213636,"gpt":0.2875145548437843,"spread":0.2566166260316479,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00110119,0.0002922127,0.0007548717,0.00009547959,0.0001757232,0.00004735155,0.0006663542,0.0001210932,0.0002630074],"category_scores_gemma":[0.0006501573,0.0001769926,0.00008881041,0.0004243258,0.001271063,0.00008551829,0.0003757871,0.0002392442,0.00006924788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003017136,"about_ca_system_score_gemma":0.0000368483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003592386,"about_ca_topic_score_gemma":0.00000959021,"domain_scores_codex":[0.9978419,0.0003262508,0.0006846093,0.0004919902,0.0002796189,0.0003756197],"domain_scores_gemma":[0.9977667,0.001135634,0.0002591757,0.0005783573,0.0001898286,0.00007033518],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005805799,0.0002999786,0.0002890468,0.0002027793,0.00006795344,0.00001993207,0.003572814,0.0001325631,0.00004067439,0.9586892,0.00112882,0.03549824],"study_design_scores_gemma":[0.00150223,0.0003258431,0.001437681,0.00009868848,0.00005346882,0.00009727171,0.001484969,0.0008970036,0.00004810755,0.9789431,0.01479382,0.0003178024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4607209,0.3282501,0.04784779,0.05135334,0.002443848,0.007011916,0.00003614887,0.0009890398,0.1013469],"genre_scores_gemma":[0.9721239,0.01300534,0.01206528,0.001183272,0.00006730533,0.00005742606,0.000003281401,0.00001659097,0.001477573],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5114031,"threshold_uncertainty_score":0.721755,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01023640566797598,"gpt":0.2189480889604182,"spread":0.2087116832924422,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002272357,0.0000822143,0.0001770538,0.00005923102,0.0000499151,0.0000174943,0.0004089141,0.00004133565,0.0002136362],"category_scores_gemma":[0.00005727138,0.00006865508,0.00006604453,0.0001455211,0.00004123303,0.00002991802,0.00006499214,0.00006334458,0.00009066032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006421884,"about_ca_system_score_gemma":0.00001807245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002426493,"about_ca_topic_score_gemma":2.636718e-7,"domain_scores_codex":[0.9992794,0.00003766853,0.0002331927,0.0001687191,0.0001355148,0.0001454938],"domain_scores_gemma":[0.9993811,0.00006851745,0.0001260917,0.0003370154,0.00005272581,0.00003458822],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009920132,0.000285494,0.000218373,0.00003066168,0.00002963257,0.000008522117,0.0008498561,0.00035937,0.01631832,0.7685695,0.01863863,0.1946818],"study_design_scores_gemma":[0.003545877,0.004167876,0.1053953,0.0008205381,0.0001420453,0.0002643033,0.001404988,0.02187897,0.1111136,0.4140938,0.3348961,0.002276654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4843143,0.004872551,0.2319921,0.02369689,0.00108936,0.0005841468,0.00002142473,0.0007715924,0.2526576],"genre_scores_gemma":[0.9856303,0.00001660747,0.0129886,0.0007170766,0.00005135721,0.00000179537,0.000001502245,0.000003222043,0.0005895859],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.501316,"threshold_uncertainty_score":0.2799673,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01473107959221386,"gpt":0.2300295287839372,"spread":0.2152984491917233,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001043213,0.0005326973,0.0009732106,0.0002824912,0.0001569905,0.00007610145,0.0009727721,0.0004312442,0.00005449202],"category_scores_gemma":[0.002758619,0.0004449901,0.0001793207,0.0006281922,0.0001798024,0.0001839155,0.0003047901,0.0003925204,0.00002466475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002490813,"about_ca_system_score_gemma":0.0002711373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006379507,"about_ca_topic_score_gemma":0.0000357897,"domain_scores_codex":[0.996583,0.0001726499,0.0008641608,0.0009344773,0.0006059152,0.0008398028],"domain_scores_gemma":[0.9966716,0.001100752,0.000759404,0.0005795747,0.00073375,0.0001549277],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003608939,0.00151083,0.0006395628,0.00202491,0.000237235,0.00003574352,0.006040109,0.3824406,0.002963512,0.5970428,0.001971286,0.004732493],"study_design_scores_gemma":[0.003486152,0.0007436043,0.000977441,0.0003327846,0.00009524043,0.0000378,0.0001375555,0.007957239,0.00197675,0.9830197,0.000382993,0.0008527122],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01578752,0.005499179,0.9699597,0.006357403,0.0002214827,0.001333101,0.00006558037,0.0001798681,0.0005961189],"genre_scores_gemma":[0.9534919,0.000305526,0.04394059,0.00160231,0.0001001218,0.0001819421,0.00001897453,0.00004024884,0.0003184083],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9377044,"threshold_uncertainty_score":0.9998002,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.01316151427147114,"gpt":0.2553855654010436,"spread":0.2422240511295725,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009067602,0.0002452529,0.0004969693,0.0002009571,0.0001918403,0.0001052663,0.001185288,0.0002578988,0.0001299796],"category_scores_gemma":[0.0009550368,0.0002091767,0.0002557656,0.0004695831,0.00006194415,0.00005302281,0.000322025,0.0001653189,0.0002704697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001667139,"about_ca_system_score_gemma":0.0001337721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006204662,"about_ca_topic_score_gemma":0.000006656122,"domain_scores_codex":[0.9980099,0.0001269448,0.0004773246,0.0005528323,0.0002802931,0.0005526986],"domain_scores_gemma":[0.997987,0.0006393806,0.0003300412,0.0005896314,0.0003691298,0.00008483658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000120866,0.0001962537,0.002250871,0.0001060726,0.00008125636,0.000002561621,0.0003139886,0.00002117075,0.0003034799,0.8815694,0.1099385,0.005204299],"study_design_scores_gemma":[0.001857976,0.0003402656,0.01570368,0.0001232732,0.00009506667,0.000008590465,0.00008986561,0.001441591,0.002965594,0.3048598,0.6719651,0.0005491954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01002544,0.003999877,0.2314325,0.03730003,0.003105026,0.00182368,0.00002405965,0.0009209371,0.7113684],"genre_scores_gemma":[0.9247086,0.0002005483,0.01728737,0.003638942,0.0002937962,0.0001982127,0.00001248986,0.00001910754,0.05364092],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9146832,"threshold_uncertainty_score":0.852998,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Will Boney","is_ca":false},{"name":"Barbara F. Csima","is_ca":true},{"name":"Nancy A. Day","is_ca":true},{"name":"Matthew Harrison‐Trainor","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01711610350930148,"gpt":0.2464687603152606,"spread":0.2293526568059591,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002209337,0.0001904889,0.0003449235,0.0001306165,0.0001025691,0.00002907817,0.0006207063,0.00008278744,0.0001187112],"category_scores_gemma":[0.0000629908,0.0001588128,0.00004333147,0.0004920393,0.0001365321,0.0001151409,0.0003657937,0.0001275858,0.00001858052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001190999,"about_ca_system_score_gemma":0.00003629306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002125994,"about_ca_topic_score_gemma":0.00002492429,"domain_scores_codex":[0.9985002,0.0000851741,0.0003487762,0.0004325824,0.0002792876,0.000353951],"domain_scores_gemma":[0.9989784,0.0001438988,0.0002257379,0.000451307,0.00009930794,0.0001013672],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000133539,0.000904902,0.1865322,0.001246468,0.0002534244,0.0001796878,0.003364781,0.002630489,0.03746302,0.5795764,0.1580737,0.02964142],"study_design_scores_gemma":[0.00236052,0.00205663,0.3937441,0.0002177467,0.00006871641,0.0001716421,0.005497419,0.003262716,0.01333665,0.5460685,0.03182886,0.001386459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9905469,0.0008422204,0.002826479,0.003058734,0.0001565535,0.0002377853,0.00004165226,0.0002133481,0.002076273],"genre_scores_gemma":[0.9839043,0.0004303716,0.01469354,0.0007348169,0.00003520489,0.00001251398,0.0000230738,0.00001132057,0.0001548594],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2072119,"threshold_uncertainty_score":0.6476198,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Deirdre Haskell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09266267451947421,"gpt":0.312993138676007,"spread":0.2203304641565328,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007365929,0.0001367991,0.0004118766,0.00008904919,0.00006067438,0.000001106769,0.0001838582,0.000137223,0.0008667078],"category_scores_gemma":[0.0004995105,0.0001125975,0.0001305299,0.00006791147,0.0001884457,0.00003303299,0.00007680996,0.0001564348,0.00008795737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000976938,"about_ca_system_score_gemma":0.00001693228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000595113,"about_ca_topic_score_gemma":1.99487e-7,"domain_scores_codex":[0.9988819,0.0001654897,0.0004052375,0.0001294505,0.0001479448,0.0002699922],"domain_scores_gemma":[0.9985994,0.000678826,0.000240247,0.0003513586,0.00005470702,0.00007552282],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007994033,0.0005634958,0.0004858787,0.0000823914,0.00006714599,7.120393e-7,0.0004194921,0.0000674736,0.000177189,0.9799068,0.01780136,0.0003481348],"study_design_scores_gemma":[0.0003852397,0.00006951681,0.0001727,0.00002212639,0.0001091057,0.000008391084,0.0002566968,0.00007651195,0.0002525493,0.990917,0.00760504,0.000125094],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5975957,0.01319196,0.2180596,0.007701451,0.002168258,0.001378503,0.00008477578,0.0004505008,0.1593692],"genre_scores_gemma":[0.9824637,0.00004861382,0.006892286,0.0004852929,0.0001001264,0.00001662845,0.000003440711,0.00001795537,0.009971995],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.384868,"threshold_uncertainty_score":0.9489843,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02448580694802018,"gpt":0.2523356053962202,"spread":0.2278497984482001,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003935582,0.0004771716,0.0007731318,0.000299687,0.0002354997,0.0001050992,0.00153627,0.0002974632,0.0001134671],"category_scores_gemma":[0.0002877139,0.0004248342,0.0001169884,0.0006706464,0.000663075,0.0002371052,0.001036709,0.0004593496,0.00001127727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000250031,"about_ca_system_score_gemma":0.0001190962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002824292,"about_ca_topic_score_gemma":0.0007100212,"domain_scores_codex":[0.9961081,0.0005821693,0.0006881283,0.001316273,0.0004000823,0.0009052339],"domain_scores_gemma":[0.9977392,0.0003992343,0.0002946272,0.001010207,0.0002347853,0.000321948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004735522,0.001647694,0.006310808,0.0001364764,0.00002352378,0.00006749567,0.00249336,0.01072195,0.00004791065,0.9678259,0.002643907,0.007607406],"study_design_scores_gemma":[0.003972869,0.001840396,0.08487315,0.0001747537,0.0000612055,0.0001678344,0.001162734,0.06305949,0.0002743868,0.7674177,0.07541233,0.001583093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3986738,0.003093793,0.5352847,0.01825157,0.0006816508,0.003994233,0.00004579432,0.0006139105,0.03936049],"genre_scores_gemma":[0.9800687,0.0001735925,0.01826758,0.0005591857,0.0001895382,0.00001373088,0.0000139219,0.00002302814,0.0006907264],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5813949,"threshold_uncertainty_score":0.9998204,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Contradiction; Philosophy; Classics; Art history; Epistemology; Art","authors":[{"name":"Francis Jeffry Pelletier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01595898384507465,"gpt":0.1989125397890736,"spread":0.182953555943999,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004403392,0.0002796992,0.0004638187,0.00004120954,0.0006105253,0.00008726498,0.0004349526,0.0002373791,0.0002847193],"category_scores_gemma":[0.0000523491,0.000210712,0.0001576472,0.0000547974,0.002224668,0.00007108903,0.0001466697,0.0004867555,0.000004307761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002947385,"about_ca_system_score_gemma":0.00006643566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003096948,"about_ca_topic_score_gemma":0.0001448017,"domain_scores_codex":[0.9982922,0.0001327448,0.0004797655,0.00034622,0.0003782168,0.0003708721],"domain_scores_gemma":[0.9985504,0.0004341901,0.0003119176,0.0003555718,0.0001895519,0.0001583241],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001765364,0.0002042185,0.00001834659,0.00005872474,0.00007149625,0.000007449991,0.0003362307,0.000007824503,0.00005651216,0.9464722,0.05237775,0.0002127112],"study_design_scores_gemma":[0.0007355796,0.0001524892,0.00006311335,0.00003766267,0.00005431415,0.000005022119,0.0001049465,0.00002271676,0.00006026168,0.4067168,0.5918961,0.0001509758],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0191316,0.007707803,0.000128655,0.1206077,0.0007217493,0.0008057264,0.0004034639,0.0001665235,0.8503268],"genre_scores_gemma":[0.9910265,0.002035015,0.0000458147,0.000965165,0.001444744,0.000004588792,0.00004501147,0.00002730921,0.004405847],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9718949,"threshold_uncertainty_score":0.8592584,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"University of Toronto","funders":"","keywords":"Set (abstract data type); Computer science; Mathematical economics; Mathematics; Programming language","authors":[{"name":"Clovis Hamel","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01630175529355547,"gpt":0.2509629693685614,"spread":0.234661214075006,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008220454,0.00008192266,0.0001099773,0.0001304973,0.0000218122,0.00005943142,0.000172275,0.00005519322,0.0001424025],"category_scores_gemma":[0.0001139086,0.00006895988,0.00002799899,0.0001637189,0.00004784063,0.00004817155,0.00009191516,0.00009605833,0.00004170468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001479634,"about_ca_system_score_gemma":0.00007553628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002599355,"about_ca_topic_score_gemma":0.000003684011,"domain_scores_codex":[0.9992068,0.0001149369,0.0002067315,0.0002537257,0.00010073,0.0001170816],"domain_scores_gemma":[0.9994198,0.000290744,0.00003369943,0.0001892256,0.00001718487,0.00004932711],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002196275,0.000006368235,0.00001786379,0.00001548896,0.000004884943,0.000006959697,0.001202979,0.003337385,0.00004492706,0.9145727,0.003822546,0.07694598],"study_design_scores_gemma":[0.0007329597,0.00006335277,0.002267652,0.000144859,0.000009484536,0.00005046522,0.0001803891,0.1856265,0.0001862572,0.7996445,0.01085075,0.0002428076],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002568227,0.0008191699,0.9571494,0.006843386,0.0001552588,0.0001313989,0.000007069577,0.0001510702,0.03217503],"genre_scores_gemma":[0.9593489,0.000195797,0.03608451,0.0006027699,0.00002996784,0.000004161463,0.000002809344,0.00000653217,0.003724552],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9567807,"threshold_uncertainty_score":0.2812102,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.0321874011433024,"gpt":0.2440653142018485,"spread":0.2118779130585461,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002417353,0.00007898347,0.0001715444,0.000007368089,0.0001977511,0.00001052094,0.0001477702,0.00006777811,0.0007503296],"category_scores_gemma":[0.00006331812,0.00002904906,0.00009113097,0.0002759912,0.0000865753,0.000008630263,0.0000511537,0.00005703183,0.0005234313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007115531,"about_ca_system_score_gemma":0.000003191658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003276,"about_ca_topic_score_gemma":0.00004561697,"domain_scores_codex":[0.9992372,0.00004204446,0.000172296,0.0001602588,0.0001553127,0.0002328668],"domain_scores_gemma":[0.9995341,0.000257697,0.00006252969,0.00003594747,0.00006075701,0.00004895667],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004059591,0.000384353,0.03415527,0.0002544698,0.0000703106,0.00001564587,0.001607247,0.00001581099,0.02002526,0.0138857,0.9016401,0.02790526],"study_design_scores_gemma":[0.0001441486,0.0001911591,0.4037342,0.00002753465,0.000008716801,0.000001436396,0.002136254,0.000006006945,0.0002669163,0.004366546,0.58898,0.0001370613],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9548172,0.000445753,1.949809e-7,0.03384008,0.0001243479,0.0001279595,0.00002205885,0.0001546019,0.01046781],"genre_scores_gemma":[0.9951265,0.001552268,0.00007262939,0.001044154,0.0002814231,0.00001615888,0.00002281001,6.026692e-7,0.001883391],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.369579,"threshold_uncertainty_score":0.8215584,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"James Cummings","is_ca":false},{"name":"Guram Bezhanishvili","is_ca":false},{"name":"Katalin Bimbó","is_ca":true},{"name":"Paola Aquino","is_ca":false},{"name":"Peter Dybjer","is_ca":false},{"name":"Ali Enayat","is_ca":false},{"name":"Anca Muscholl","is_ca":false},{"name":"Arno Pauly","is_ca":false},{"name":"Graham Leach-Krouse","is_ca":false},{"name":"Bradd Hart","is_ca":false},{"name":"Marion Scheepers","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01029193317298568,"gpt":0.1877159112591546,"spread":0.1774239780861689,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001989499,0.0001334359,0.0002227641,0.00006638329,0.0001596551,0.00006645543,0.0002055305,0.00003226696,0.1430205],"category_scores_gemma":[0.00001650481,0.0001250703,0.00005529765,0.0001040232,0.00006450588,0.00007248043,0.0004485314,0.000119439,0.01200853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001987696,"about_ca_system_score_gemma":0.000009113215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001574764,"about_ca_topic_score_gemma":0.000004290303,"domain_scores_codex":[0.9990837,0.00001158801,0.0002130864,0.0002403145,0.000242185,0.0002091318],"domain_scores_gemma":[0.9994961,0.00001471728,0.0002350254,0.000200471,0.00004380366,0.000009870923],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003891458,0.00007716211,0.03348729,0.00009591698,0.00001460893,0.00001888161,0.00004826351,0.00005718313,0.0001219278,0.003991893,0.961185,0.000862978],"study_design_scores_gemma":[0.0003474555,0.00001713244,0.0395674,0.00001001185,0.00002385047,0.000005479705,0.0001461189,0.00007869692,0.000008019508,0.001212297,0.958425,0.0001585748],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5726316,0.001031381,0.0000441226,0.03033797,0.0006534895,0.0004158057,0.00002492126,0.0001001651,0.3947606],"genre_scores_gemma":[0.9086685,0.00002325052,0.00006535226,0.01950821,0.000588614,0.0000371922,0.0000194937,0.00002275031,0.07106661],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.336037,"threshold_uncertainty_score":0.9887607,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Juris Steprāns","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0289150997370778,"gpt":0.2786753492775415,"spread":0.2497602495404637,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000724015,0.0001931784,0.000392548,0.0001913068,0.0001658016,0.00001070871,0.0001799274,0.0001723094,0.001810421],"category_scores_gemma":[0.0009311691,0.0001612106,0.00009839765,0.0002281527,0.0003970179,0.00002886646,0.0001205676,0.0002525584,0.000193966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003404174,"about_ca_system_score_gemma":0.0000335911,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009466556,"about_ca_topic_score_gemma":0.000003531059,"domain_scores_codex":[0.9986821,0.0001520813,0.0003527261,0.0002919119,0.0001963223,0.0003248742],"domain_scores_gemma":[0.9988495,0.0004546549,0.0001588825,0.0003496753,0.00009127196,0.00009599599],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001106984,0.0002323446,0.001094959,0.00009005411,0.00008312923,0.00001214764,0.0002802749,0.00003304715,0.0001240817,0.9893374,0.003062688,0.005539148],"study_design_scores_gemma":[0.001998199,0.0003934854,0.008707823,0.00008260083,0.0002705258,0.0004368876,0.000838349,0.00005207538,0.0005779116,0.8663247,0.1197701,0.0005473769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7596527,0.004329719,0.03541908,0.006770745,0.0003471177,0.0009977882,0.00007034255,0.0003402093,0.1920723],"genre_scores_gemma":[0.9859972,0.00008805528,0.009493761,0.000261258,0.0001507652,0.0000306461,0.000004207258,0.00002327879,0.003950848],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2263445,"threshold_uncertainty_score":0.9991021,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Series (stratigraphy); Geometry; Volume (thermodynamics); Mathematics; Philosophy; Physics; Thermodynamics; Geology","authors":[{"name":"Julia Gordon","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009615579014842541,"gpt":0.2325154689957461,"spread":0.2228998899809036,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004717166,0.0004412288,0.000724924,0.00007564473,0.0003490523,0.0001054642,0.000120303,0.0002060804,0.00003096134],"category_scores_gemma":[0.0005274081,0.0003372753,0.00004475228,0.0001021285,0.001086516,0.0003176256,0.000462754,0.000372088,0.000002059807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003241682,"about_ca_system_score_gemma":0.00002751334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005601105,"about_ca_topic_score_gemma":0.000007144431,"domain_scores_codex":[0.998323,0.0001467825,0.0003742213,0.0005706737,0.0002268624,0.0003585082],"domain_scores_gemma":[0.9977707,0.001260062,0.0002647859,0.0002745527,0.0001741434,0.0002557414],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00177469,0.001605593,0.0008506783,0.008212291,0.001047316,0.00002774639,0.01681215,0.00005401379,0.01391433,0.8008206,0.1492422,0.005638453],"study_design_scores_gemma":[0.01407463,0.003932384,0.005175498,0.003475615,0.002742084,0.00235895,0.01787317,0.1557923,0.01315612,0.7638322,0.01296898,0.004618114],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9456318,0.003004662,0.04644536,0.002209658,0.00002997526,0.001269054,0.0001617692,0.0001053598,0.001142332],"genre_scores_gemma":[0.9539099,0.004618334,0.03478471,0.0001461779,0.00005938693,0.00003165433,0.00002754697,0.00006698234,0.006355259],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1557383,"threshold_uncertainty_score":0.9999079,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"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","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.0282450976825387,"gpt":0.2789836985161712,"spread":0.2507386008336325,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001987253,0.0002784935,0.0004575781,0.0000536071,0.0004762912,0.00004488473,0.0003338698,0.00026612,0.0002569021],"category_scores_gemma":[0.001073163,0.0001956274,0.0001055508,0.000176007,0.0002248928,0.00002426698,0.00006816899,0.0002211111,0.00006369308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002752798,"about_ca_system_score_gemma":0.00009932384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004670768,"about_ca_topic_score_gemma":0.007036121,"domain_scores_codex":[0.9978289,0.0003591576,0.0005588277,0.0004327895,0.0003747109,0.0004456404],"domain_scores_gemma":[0.9950626,0.003573089,0.0004549058,0.0005081957,0.0002965768,0.0001045816],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005781979,0.0005749783,0.0001990418,0.0002979876,0.0002550829,6.260232e-7,0.0008928133,0.00001200078,0.001640778,0.4538026,0.5369973,0.00474862],"study_design_scores_gemma":[0.001832002,0.000529934,0.001583305,0.00009013545,0.0002744156,0.00001817664,0.0008053656,0.0002797674,0.01002443,0.2929937,0.6909016,0.0006672067],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8588957,0.00220061,0.03135658,0.03667173,0.002790978,0.01391686,0.001700079,0.0007801572,0.05168736],"genre_scores_gemma":[0.9867282,0.0000696986,0.0006193508,0.001355175,0.0004038386,0.0004218303,0.0000483498,0.00004088757,0.01031268],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1608089,"threshold_uncertainty_score":0.7977453,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Brian van den Broek","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02223570225226261,"gpt":0.2270528545989003,"spread":0.2048171523466376,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003210665,0.0002551022,0.000486685,0.0000616551,0.0002621285,0.00001299366,0.0005022688,0.0001848286,0.002167455],"category_scores_gemma":[0.0001956918,0.0002223303,0.0001327543,0.0002629756,0.001144523,0.00003449998,0.0001822108,0.0002310534,0.00006185208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003703975,"about_ca_system_score_gemma":0.00003572032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001465824,"about_ca_topic_score_gemma":0.000005743886,"domain_scores_codex":[0.9982371,0.0001489547,0.0003137709,0.0004945944,0.000298718,0.0005068116],"domain_scores_gemma":[0.9987051,0.0002992873,0.0002115294,0.0004359404,0.0001309308,0.0002172466],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001172752,0.0004146728,0.0001704407,0.00003547072,0.0001075497,0.00007746643,0.001058555,0.000002673151,0.0002605415,0.9755887,0.02197734,0.000189312],"study_design_scores_gemma":[0.002066091,0.0004101682,0.00492849,0.00007153881,0.0001823277,0.0001624718,0.0009418793,0.00007870022,0.0006576279,0.1299903,0.8598094,0.000701023],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08317883,0.000982532,0.0001132938,0.00194709,0.0002837795,0.0004316567,0.00005520538,0.0001431048,0.9128645],"genre_scores_gemma":[0.9842734,0.001299556,0.002146932,0.0003377908,0.0001340274,0.000007247919,0.000008086979,0.00002430245,0.0117686],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9010959,"threshold_uncertainty_score":0.9987447,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Zanyar A. Ameen","is_ca":true},{"name":"Mirna Džamonja","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03163716309990259,"gpt":0.2643375969880448,"spread":0.2327004338881422,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003214376,0.0001999592,0.0004646934,0.00006816738,0.0001387657,0.000004815995,0.0002470218,0.0002314394,0.004074874],"category_scores_gemma":[0.0005221299,0.0001696327,0.00008693839,0.00007531122,0.00158893,0.00001792222,0.0001093179,0.0001792144,0.00008013391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001738884,"about_ca_system_score_gemma":0.00002074373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007528689,"about_ca_topic_score_gemma":0.00002607292,"domain_scores_codex":[0.9987936,0.0002388054,0.000227342,0.0003031426,0.0001777126,0.000259395],"domain_scores_gemma":[0.9986534,0.000635629,0.000202921,0.0002657273,0.0001482058,0.00009409102],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002127504,0.001066515,0.002230005,0.0001570924,0.0003388445,0.00008325717,0.006001072,0.00000234733,0.002913671,0.7484584,0.229499,0.00712224],"study_design_scores_gemma":[0.004281845,0.004576806,0.007609311,0.0003208017,0.0002761181,0.0000598786,0.0181427,0.00002334777,0.01947865,0.7871397,0.1570792,0.001011622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9651896,0.000896345,0.0006227358,0.002450245,0.0000948645,0.0002926126,0.0001949641,0.00007077371,0.0301878],"genre_scores_gemma":[0.9944513,0.0002019979,0.002702245,0.0002523637,0.0000648229,0.000001357462,0.00001033035,0.00001335398,0.002302268],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07241976,"threshold_uncertainty_score":0.9968355,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Absoluteness; Mathematics; Forcing (mathematics); Philosophy; Epistemology; Mathematical analysis","authors":[{"name":"Paul Larson","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01484431232295818,"gpt":0.2116670115056542,"spread":0.196822699182696,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001732887,0.0007345621,0.001433882,0.0003810692,0.0005803525,0.0002794356,0.001001748,0.0002833938,0.0001256859],"category_scores_gemma":[0.0004586352,0.0005064227,0.0001627386,0.0006743381,0.001223167,0.0006567562,0.0008642558,0.0006316776,0.00002251456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008224681,"about_ca_system_score_gemma":0.00005386527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003760258,"about_ca_topic_score_gemma":0.00004976631,"domain_scores_codex":[0.9956619,0.0004837544,0.001312213,0.0008854227,0.0006876371,0.0009691366],"domain_scores_gemma":[0.9966175,0.0008954029,0.0008999917,0.0006885267,0.0005315185,0.0003670597],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002663095,0.004490318,0.05605289,0.009306139,0.002477837,0.001632975,0.1767305,0.003031046,0.01576109,0.5186036,0.08731608,0.1219345],"study_design_scores_gemma":[0.09361608,0.011321,0.08977579,0.006979864,0.003567781,0.01474172,0.06736541,0.09218302,0.004924808,0.5089573,0.09426936,0.01229786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9310321,0.03696826,0.01445095,0.01222739,0.0005877366,0.001993222,0.00002558192,0.0001355277,0.002579235],"genre_scores_gemma":[0.9778683,0.009183751,0.01001627,0.002084359,0.0001760236,0.00003849446,0.000005083693,0.00006096563,0.0005667592],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1096366,"threshold_uncertainty_score":0.9997388,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Claude Laflamme","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1378739711235548,"gpt":0.3188109660815387,"spread":0.1809369949579839,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007149667,0.000272487,0.0007834117,0.0001092472,0.0001024484,0.00000523424,0.0004347446,0.0002079499,0.001122324],"category_scores_gemma":[0.001510657,0.0002438158,0.0001396227,0.0002086187,0.0003742274,0.0000533209,0.0002894409,0.000214402,0.00007812821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004315995,"about_ca_system_score_gemma":0.0000515729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001753201,"about_ca_topic_score_gemma":0.00001024897,"domain_scores_codex":[0.9983141,0.000172073,0.0005351085,0.0003779523,0.0002372443,0.0003634809],"domain_scores_gemma":[0.9977944,0.0003310403,0.0005505236,0.0007116035,0.000466665,0.0001458008],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002284001,0.0004852269,0.00004663696,0.0005428477,0.0002541648,0.00001366479,0.00601857,0.00003106939,0.0002048657,0.6051062,0.3864973,0.0005711173],"study_design_scores_gemma":[0.00119567,0.0007060204,0.0001832106,0.0002921836,0.0002889337,0.00003890573,0.01391039,0.000009519973,0.0174626,0.4712892,0.4940103,0.0006131007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.6426176,0.01565578,0.05327443,0.04405123,0.009230093,0.009758352,0.0002785798,0.001612246,0.2235216],"genre_scores_gemma":[0.2270955,0.009121771,0.4110122,0.001363832,0.002706613,0.00003678331,0.00002794223,0.0002412134,0.3483942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4155222,"threshold_uncertainty_score":0.9997908,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"J. I. Zucker","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05652480084469567,"gpt":0.2702466826500361,"spread":0.2137218818053404,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006064986,0.0002833917,0.0003895557,0.00008895376,0.000160322,0.0000734656,0.001296566,0.0001391452,0.00004606927],"category_scores_gemma":[0.00007728288,0.0001774469,0.00004407084,0.0003164543,0.0001819265,0.00008990749,0.0004000031,0.0002089961,0.0001052983],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001431752,"about_ca_system_score_gemma":0.00002622403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007058072,"about_ca_topic_score_gemma":0.000009027617,"domain_scores_codex":[0.9978741,0.000083086,0.0003968032,0.0008476914,0.0004646787,0.0003335792],"domain_scores_gemma":[0.9978583,0.000185539,0.000344037,0.001195165,0.0002660066,0.0001509546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005355243,0.004699127,0.000832015,0.000441978,0.0002485437,0.00002258348,0.005721212,0.01512144,0.002603751,0.3981715,0.141531,0.4300713],"study_design_scores_gemma":[0.01011111,0.01190421,0.2316946,0.0008058073,0.0005461111,0.0006264459,0.003113685,0.4445975,0.01244035,0.1164166,0.1613559,0.006387604],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3553143,0.008391213,0.3429031,0.02081667,0.0007753668,0.008311314,0.0002697183,0.001162118,0.2620561],"genre_scores_gemma":[0.9865257,0.0001355316,0.01158159,0.001352642,0.0001418009,0.00005109774,0.00007613581,0.00001852928,0.0001170264],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6312113,"threshold_uncertainty_score":0.7236075,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"André Nies","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Henry Towsner","is_ca":true},{"name":"Steffen Lempp","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Bernard Linsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01808147212119636,"gpt":0.2028324585637734,"spread":0.1847509864425771,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0002081978,0.0001462245,0.0002442337,0.00005448175,0.0000414017,0.00009292344,0.0001611855,0.00006812967,0.01907684],"category_scores_gemma":[0.00004598559,0.0001230864,0.00004344726,0.00007705531,0.0000867485,0.0001151006,0.0001860561,0.00007438043,0.03734299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001459189,"about_ca_system_score_gemma":0.00001301489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001853544,"about_ca_topic_score_gemma":0.0000085613,"domain_scores_codex":[0.9991372,0.000007266955,0.0002153195,0.0002209057,0.0002093669,0.0002099168],"domain_scores_gemma":[0.9994285,0.00001125401,0.0002150493,0.0002041847,0.0001198548,0.00002119321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003366639,0.00004901897,0.04263041,0.00008247309,0.00001144583,0.00001213793,0.00004981337,0.00001262042,0.00004554327,0.002563918,0.953739,0.0007699164],"study_design_scores_gemma":[0.0004919832,0.00001415375,0.03475871,0.00002898319,0.00002521648,0.000003677839,0.0001075318,0.0000628566,0.00001506029,0.001950537,0.9623781,0.0001631679],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4288062,0.0009712671,0.00008733952,0.02090713,0.0005192184,0.0002941382,0.000006877936,0.00008646909,0.5483214],"genre_scores_gemma":[0.9125171,0.00002771253,0.0001854277,0.01430903,0.0011598,0.00001195049,0.00001301511,0.0000244601,0.07175153],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4837108,"threshold_uncertainty_score":0.9818199,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"André Nies","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Henry Towsner","is_ca":true},{"name":"Steffen Lempp","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Bernard Linsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01841126974220148,"gpt":0.2029903686890366,"spread":0.1845790989468351,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0002093295,0.0001462523,0.0002441963,0.00005450048,0.00004139455,0.00009291366,0.0001611719,0.00006812293,0.01895351],"category_scores_gemma":[0.00004657941,0.0001230957,0.00004345332,0.0000770889,0.00008675652,0.0001151119,0.0001859378,0.00007438236,0.03819524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001465049,"about_ca_system_score_gemma":0.00001308566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001856268,"about_ca_topic_score_gemma":0.000008569927,"domain_scores_codex":[0.999137,0.000007261986,0.0002153196,0.0002209797,0.00020947,0.0002099828],"domain_scores_gemma":[0.9994271,0.0000113182,0.0002147612,0.0002042743,0.0001212992,0.00002119457],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003422258,0.00004920506,0.04432408,0.00008352339,0.0000114807,0.00001199134,0.00004996811,0.00001260934,0.00004762834,0.002508926,0.952104,0.0007623397],"study_design_scores_gemma":[0.0004948518,0.00001410406,0.0350667,0.00002925378,0.00002502219,0.000003625147,0.0001079728,0.00006330935,0.00001549335,0.00193658,0.9620798,0.0001632628],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4350099,0.0009621849,0.00009015483,0.02096032,0.0005224395,0.0002953162,0.000006942122,0.00008655213,0.5420662],"genre_scores_gemma":[0.9122254,0.000027087,0.0001856024,0.01415129,0.001144146,0.00001183407,0.00001258574,0.00002424686,0.07221786],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4772154,"threshold_uncertainty_score":0.9819433,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"André Nies","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Henry Towsner","is_ca":true},{"name":"Steffen Lempp","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Bernard Linsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01875143601304487,"gpt":0.203294383072439,"spread":0.1845429470593942,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0002094329,0.0001462747,0.0002441691,0.00005452033,0.00004139843,0.00009270599,0.0001612825,0.00006812924,0.01946536],"category_scores_gemma":[0.00004659305,0.0001231299,0.00004345634,0.00007712009,0.00008674979,0.0001150154,0.0001860844,0.00007439894,0.03776196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001458737,"about_ca_system_score_gemma":0.00001307778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001833604,"about_ca_topic_score_gemma":0.000008506875,"domain_scores_codex":[0.999137,0.000007269619,0.0002152152,0.0002210848,0.0002094236,0.0002100004],"domain_scores_gemma":[0.9994279,0.00001142847,0.0002147244,0.000204609,0.0001201434,0.00002119655],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003371388,0.00004881655,0.04388731,0.00008130693,0.00001139443,0.00001173605,0.000049545,0.00001249894,0.00004709915,0.002504858,0.9525678,0.0007439821],"study_design_scores_gemma":[0.0004877765,0.00001413399,0.03531121,0.000029339,0.0000252848,0.000003664585,0.0001085986,0.00006323696,0.00001514377,0.001931583,0.9618467,0.0001633402],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4345366,0.0009618714,0.00009007736,0.02117964,0.0005198022,0.0002968951,0.000007099784,0.00008713446,0.5423208],"genre_scores_gemma":[0.9132044,0.00002681049,0.0001889964,0.01423763,0.001135904,0.000012143,0.00001289179,0.00002437635,0.07115681],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4786678,"threshold_uncertainty_score":0.981431,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"André Nies","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"John Burgess","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Matthias Wille","is_ca":true},{"name":"Steffen Lempp","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008513827356009572,"gpt":0.1846978952485449,"spread":0.1761840678925353,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001996398,0.0001485998,0.0002525041,0.00005279667,0.00006278055,0.00008862085,0.000164112,0.00006781604,0.03493938],"category_scores_gemma":[0.00003850032,0.0001252997,0.00005074666,0.00006383861,0.00008629511,0.00009030327,0.0001565171,0.00007551233,0.03408667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007660632,"about_ca_system_score_gemma":0.000004605527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001012795,"about_ca_topic_score_gemma":0.000010433,"domain_scores_codex":[0.9991623,0.000008849714,0.0002163078,0.0002340577,0.0001650346,0.0002134135],"domain_scores_gemma":[0.9994541,0.00002087587,0.0002253406,0.0002187149,0.00006818845,0.00001277151],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002413321,0.0000481901,0.04849182,0.0001601152,0.00001231702,0.000003678437,0.0000239259,0.00001417776,0.0001953406,0.006665835,0.9424599,0.001900501],"study_design_scores_gemma":[0.0003483404,0.00001253598,0.05809102,0.00003363932,0.00002440117,0.000001927788,0.00002284527,0.0001662295,0.00002040259,0.001884597,0.9392337,0.0001603344],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3292567,0.0004096214,0.0003011242,0.02337214,0.0004327563,0.0002816303,0.000006224921,0.0000920859,0.6458477],"genre_scores_gemma":[0.9188814,0.00002422364,0.0001606868,0.01824614,0.001228558,0.00001045483,0.00001235385,0.0000230117,0.06141319],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5896247,"threshold_uncertainty_score":0.9666654,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"André Nies","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"John Burgess","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Matthias Wille","is_ca":true},{"name":"Steffen Lempp","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008443321003186684,"gpt":0.1843676330414292,"spread":0.1759243120382425,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001994648,0.0001485885,0.000252439,0.00005276984,0.00006274643,0.00008856936,0.0001639802,0.00006780977,0.03556666],"category_scores_gemma":[0.00003909718,0.0001252737,0.00005074236,0.00006384752,0.00008627817,0.00009028885,0.0001564519,0.00007551488,0.03483662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007692973,"about_ca_system_score_gemma":0.000004624463,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001022703,"about_ca_topic_score_gemma":0.00001038643,"domain_scores_codex":[0.9991624,0.000008850976,0.0002162231,0.000234032,0.0001650459,0.000213387],"domain_scores_gemma":[0.9994529,0.00002083195,0.0002252984,0.000218588,0.00006959951,0.00001277075],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002376589,0.00004796983,0.04818434,0.0001608477,0.00001226724,0.000003649769,0.0000238034,0.00001433912,0.0001978653,0.006385573,0.9430511,0.001894466],"study_design_scores_gemma":[0.0003497567,0.00001230316,0.05779059,0.00003354247,0.00002419536,0.000001905625,0.00002276332,0.0001655557,0.00002086505,0.001863432,0.9395549,0.0001602519],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3297684,0.0004068377,0.0002982115,0.02335222,0.0004357846,0.0002805712,0.000006270605,0.00009169054,0.64536],"genre_scores_gemma":[0.9162535,0.00002432565,0.0001611734,0.01830161,0.001247367,0.00001049799,0.00001239803,0.00002311486,0.06396603],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5864851,"threshold_uncertainty_score":0.9659148,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"André Nies","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"John Burgess","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Matthias Wille","is_ca":true},{"name":"Steffen Lempp","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01660542501265704,"gpt":0.18331214663517,"spread":0.1667067216225129,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004223897,0.0001217722,0.0004137942,0.0000869311,0.0000709301,0.00004086911,0.0001630375,0.00006549772,0.1738706],"category_scores_gemma":[0.00005419692,0.0001254394,0.0000698299,0.00003187343,0.0001736085,0.00002922156,0.0001339381,0.00005710456,0.277171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002073991,"about_ca_system_score_gemma":0.000002857536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000238951,"about_ca_topic_score_gemma":8.466163e-7,"domain_scores_codex":[0.9989977,0.000009961733,0.000377201,0.0003640939,0.00002374213,0.0002273167],"domain_scores_gemma":[0.9994417,0.00003306132,0.000204743,0.0002438732,0.00001775234,0.00005882454],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00000559913,0.00002997944,0.02796059,0.00002659334,0.00003030913,4.323989e-7,0.0002777704,0.00001771846,0.000002658047,0.01470597,0.9567527,0.0001896643],"study_design_scores_gemma":[0.0003223902,0.00003076131,0.01816455,0.00000718372,0.000005405854,0.000001826966,0.00009801039,0.0001570275,0.000007780904,0.00358726,0.9774656,0.0001522405],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.02280262,0.00117146,0.0002053076,0.003681754,0.000885847,0.0001137387,0.0001259344,0.00001953089,0.9709938],"genre_scores_gemma":[0.3015588,0.0001512551,0.0005491478,0.002023108,0.0001466754,0.000009612184,0.000004942231,0.00001222865,0.6955442],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2787562,"threshold_uncertainty_score":0.8268846,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Giuseppe Longo","is_ca":true},{"name":"Pat Scott","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0772364388004295,"gpt":0.2999520152793829,"spread":0.2227155764789534,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002139596,0.0001393578,0.0004057382,0.00005717683,0.00004986781,0.00003055438,0.0004555832,0.0000779628,0.0004587892],"category_scores_gemma":[0.0006513841,0.0000941746,0.00004875681,0.0001420141,0.0001378776,0.00002987864,0.00006600561,0.0001092541,0.00002311602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001541389,"about_ca_system_score_gemma":0.00004979154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005128522,"about_ca_topic_score_gemma":0.00002147011,"domain_scores_codex":[0.9987198,0.0001940725,0.0005580577,0.000147705,0.000219525,0.00016085],"domain_scores_gemma":[0.9986457,0.0005229642,0.0003711519,0.0003729143,0.00004980759,0.00003743864],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004413026,0.0005816515,0.0001639847,0.0006052612,0.00001728125,0.000001266687,0.009188375,0.000002071409,0.00007634305,0.9861052,0.001526708,0.001727459],"study_design_scores_gemma":[0.0005945102,0.0001524019,0.00005506704,0.0002479871,0.00003711507,0.00003613011,0.002326878,0.000007781447,0.0001913619,0.9631739,0.03306067,0.0001162033],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5409592,0.0006706895,0.01513827,0.001894777,0.0001650235,0.00551087,0.000003190951,0.00008039254,0.4355776],"genre_scores_gemma":[0.8273764,0.00004297127,0.16965,0.0001004374,0.00002083931,0.000071952,0.000002628877,0.00002845202,0.002706342],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4328713,"threshold_uncertainty_score":0.502342,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Wright; George (robot); Classics; Philosophy; Philosophy of mathematics; Theology; Art history; History; Epistemology","authors":[{"name":"William Demopoulos","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03768592735554417,"gpt":0.2446799126902659,"spread":0.2069939853347217,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","open_science","research_integrity"],"consensus_categories":["metaepi_narrow","sts","research_integrity"],"category_scores_codex":[0.006476128,0.004702455,0.00668876,0.001341863,0.002996159,0.0008355944,0.009579562,0.003113347,0.0002922949],"category_scores_gemma":[0.001274714,0.003232898,0.001529623,0.004719087,0.01219206,0.001531912,0.007027102,0.005810875,0.0000101064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005422127,"about_ca_system_score_gemma":0.0008672898,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00817598,"about_ca_topic_score_gemma":0.0007039959,"domain_scores_codex":[0.9761926,0.005088793,0.005974955,0.004147767,0.004878404,0.003717487],"domain_scores_gemma":[0.9708853,0.01239013,0.007653714,0.006188857,0.0007985164,0.002083414],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.02559783,0.01360057,0.006857445,0.01168299,0.01076537,0.0003301873,0.04080871,0.001196516,0.001571627,0.4686689,0.4148726,0.004047282],"study_design_scores_gemma":[0.02542532,0.003895504,0.001318037,0.007047358,0.00680649,0.0005030416,0.01136037,0.006286487,0.001117312,0.141603,0.790013,0.004624023],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6064822,0.1363046,0.004778153,0.1407956,0.002686869,0.03856971,0.03058421,0.001602714,0.0381959],"genre_scores_gemma":[0.7138615,0.2476635,0.01619652,0.005959237,0.00384739,0.0002897221,0.002591185,0.001858047,0.007732844],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3751405,"threshold_uncertainty_score":0.9984286,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Annals; Partition (number theory); Mathematics; Consistency (knowledge bases); Order (exchange); Combinatorics; Discrete mathematics; Geography; Archaeology","authors":[{"name":"Juris Steprāns","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01767132372290438,"gpt":0.2187039630896651,"spread":0.2010326393667607,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000524885,0.0002621071,0.0006736877,0.00006078541,0.0001444722,0.00003021021,0.000380214,0.0001576633,0.0000390353],"category_scores_gemma":[0.0002686138,0.0001502097,0.00008137475,0.0001772211,0.00115678,0.000055431,0.0001622008,0.0001738738,0.000002244502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006000867,"about_ca_system_score_gemma":0.00001776388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001846858,"about_ca_topic_score_gemma":0.000004365293,"domain_scores_codex":[0.9983081,0.0001462817,0.0005580181,0.0004193894,0.0002687225,0.0002995257],"domain_scores_gemma":[0.9977323,0.0008391009,0.0006018913,0.0004693457,0.0002906891,0.00006669398],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003327305,0.0001168065,0.0001213204,0.0002480288,0.00007605557,0.000002492869,0.001046149,0.00006826071,0.02937763,0.9624832,0.002793914,0.003333422],"study_design_scores_gemma":[0.00415345,0.001499805,0.004726137,0.000199918,0.0001449661,0.00006829553,0.0008541059,0.0005415178,0.1499677,0.8349252,0.00240461,0.0005143175],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9854304,0.005534975,0.0008656934,0.004421937,0.0001294148,0.001386915,0.00009548713,0.00004235621,0.002092818],"genre_scores_gemma":[0.9947961,0.00303582,0.000946209,0.00108862,0.00004961194,0.00003327136,0.000004872151,0.00001431468,0.00003116085],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.127558,"threshold_uncertainty_score":0.6125373,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Content (measure theory); Computer science; Philosophy; Mathematics","authors":[{"name":"David DeVidi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01190490713823545,"gpt":0.2133161788503368,"spread":0.2014112717121013,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005290933,0.0003436525,0.0004451472,0.0001421741,0.000259968,0.0001034895,0.001408377,0.0001835076,0.00006328436],"category_scores_gemma":[0.0001801652,0.0003101086,0.0001325247,0.0005698983,0.0001646197,0.0003428549,0.0006444364,0.0002596461,0.0004199072],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002018596,"about_ca_system_score_gemma":0.0001893373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006747354,"about_ca_topic_score_gemma":0.00001102466,"domain_scores_codex":[0.9974598,0.0001524964,0.0003676852,0.0008889307,0.0003771529,0.0007538975],"domain_scores_gemma":[0.9979594,0.00003371276,0.0002148495,0.0009944239,0.0004576294,0.0003399237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008787277,0.0005183039,0.0001810314,0.00005841455,0.00003760072,0.0001037156,0.0004882717,0.0007332854,0.0004893954,0.780357,0.2148208,0.002124316],"study_design_scores_gemma":[0.001664829,0.001138765,0.01604726,0.00003903677,0.00004328761,0.0002540484,0.0001529884,0.0002593833,0.003289298,0.0003340769,0.9760475,0.0007295095],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2180588,0.002538438,0.3696937,0.02552144,0.004876812,0.002754975,0.00008924818,0.001771217,0.3746954],"genre_scores_gemma":[0.9310184,0.0003519142,0.04138353,0.001679501,0.001766512,0.00001644678,0.00003122746,0.0000424448,0.02371009],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7800229,"threshold_uncertainty_score":0.9999351,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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","authors":[{"name":"Phokion G. Kolaitis","is_ca":false},{"name":"Santa Cruz","is_ca":false},{"name":"Christina Brech","is_ca":false},{"name":"Bahareh Afshari","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01544619433393148,"gpt":0.2238597344180463,"spread":0.2084135400841148,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000449956,0.0001225677,0.0002187913,0.00008559416,0.0002300475,0.00003813178,0.001368635,0.00003380634,0.001966143],"category_scores_gemma":[0.00008028605,0.0001062753,0.0001012653,0.0002686405,0.00006542604,0.00002868162,0.0009134625,0.0001641775,0.000349268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003456564,"about_ca_system_score_gemma":0.00005257067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007641575,"about_ca_topic_score_gemma":0.000001260881,"domain_scores_codex":[0.9987006,0.0001358811,0.0002260671,0.0003330374,0.0003210262,0.0002833907],"domain_scores_gemma":[0.9991133,0.0001302083,0.0001492038,0.0004810035,0.0000566546,0.00006962093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001168841,0.0003807957,0.00117323,0.00003974262,0.00002892929,0.00005407177,0.002109667,0.000420476,0.0003209061,0.9153655,0.06915604,0.01093893],"study_design_scores_gemma":[0.0005588051,0.0004222849,0.00453617,0.000008849104,0.00001242938,0.00006267148,0.0002615374,0.001430779,0.0006154717,0.02106664,0.9706914,0.0003329163],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08296507,0.004207219,0.01747658,0.01572561,0.002304344,0.0005642546,0.00001200562,0.0007252984,0.8760196],"genre_scores_gemma":[0.9885463,0.00001694664,0.005825916,0.001134967,0.00008545858,0.00003846457,0.000001939334,0.000007697631,0.004342273],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9055813,"threshold_uncertainty_score":0.9989462,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Laurent Bienvenu","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Samuel Coskey","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Henry Towsner","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true},{"name":"Steffen Lempp","is_ca":true},{"name":"Bernard Linsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009948089279718844,"gpt":0.1888818065830428,"spread":0.1789337173033239,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001419136,0.0001454838,0.0002273133,0.00005400133,0.00005181513,0.00005858448,0.0001616198,0.00006461415,0.08579651],"category_scores_gemma":[0.00003626441,0.000095174,0.00005173079,0.00005721058,0.0001074342,0.0001212215,0.0001705861,0.00004547401,0.04741654],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001248538,"about_ca_system_score_gemma":0.000006748906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000728095,"about_ca_topic_score_gemma":0.00000514049,"domain_scores_codex":[0.9991518,0.00000634044,0.0002152893,0.0002391158,0.0001652088,0.0002222981],"domain_scores_gemma":[0.9994562,0.00002417898,0.0002198749,0.0002149259,0.00007232009,0.00001249955],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003330711,0.00004499198,0.06257232,0.00009269207,0.00001456807,0.000009508804,0.00001477366,8.958308e-7,0.0007512572,0.004832312,0.9275775,0.00405586],"study_design_scores_gemma":[0.0004483974,0.00001015777,0.08376022,0.0000639896,0.00002032917,0.000002445651,0.00001961651,0.000006524576,0.00005341485,0.001834804,0.9136258,0.000154324],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5289839,0.0006017815,0.0002504149,0.04471868,0.0004741095,0.000337234,0.00001493116,0.0001052898,0.4245136],"genre_scores_gemma":[0.8842757,0.0000685871,0.00008884971,0.01009752,0.0008613366,0.00001224241,0.000003517228,0.00002142508,0.1045708],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3552918,"threshold_uncertainty_score":0.9533252,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Frank R. Wagner","is_ca":true},{"name":"Laurent Bienvenu","is_ca":true},{"name":"Deirdre Haskell","is_ca":true},{"name":"Patricia Blanchette","is_ca":true},{"name":"Menachem Kojman","is_ca":true},{"name":"Andrea Cantini","is_ca":true},{"name":"Leonid Libkin","is_ca":true},{"name":"Thierry Coquand","is_ca":true},{"name":"Ernest Schimmerling","is_ca":true},{"name":"Mark Colyvan","is_ca":true},{"name":"Bernard Linsky","is_ca":true},{"name":"Samuel Coskey","is_ca":true},{"name":"Colin McLarty","is_ca":true},{"name":"Anuj Dawar","is_ca":true},{"name":"Rahim Moosa","is_ca":true},{"name":"Michael Fourman","is_ca":true},{"name":"Henry Towsner","is_ca":true},{"name":"Steffen Lempp","is_ca":true},{"name":"Kai F. Wehmeier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01952764586222681,"gpt":0.187822670493963,"spread":0.1682950246317362,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0003033988,0.0001192839,0.0003734908,0.0000888391,0.00005850058,0.00002722425,0.0001606407,0.00006253026,0.3348409],"category_scores_gemma":[0.00005030722,0.00009565306,0.00007116685,0.00002859778,0.00021574,0.00003905427,0.0001454527,0.00003456599,0.3477753],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003346771,"about_ca_system_score_gemma":0.000004140152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001732486,"about_ca_topic_score_gemma":4.336514e-7,"domain_scores_codex":[0.9989844,0.000007147965,0.0003761113,0.0003719124,0.00002377371,0.0002366408],"domain_scores_gemma":[0.9994463,0.00003820889,0.0001997878,0.000239593,0.00001848389,0.00005766905],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000008336802,0.0000290789,0.03966644,0.00001630265,0.00003718634,0.000001161136,0.0001786502,0.000001178042,0.00001062929,0.01154533,0.9480913,0.0004144101],"study_design_scores_gemma":[0.0004271864,0.00002632612,0.02796093,0.00001396229,0.000004616791,0.000002354934,0.00008601439,0.000006673922,0.00002085904,0.003601559,0.9676995,0.0001499927],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.04193918,0.001835642,0.000192836,0.007472953,0.00102926,0.0001454582,0.0003089225,0.00002374556,0.947052],"genre_scores_gemma":[0.2912673,0.000379603,0.0002719235,0.001000401,0.00009072397,0.00000976954,0.000001223361,0.0000101397,0.7069689],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2493281,"threshold_uncertainty_score":0.6657672,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Bernard Linsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02427898802891608,"gpt":0.2675341383693766,"spread":0.2432551503404605,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0006785078,0.0003695155,0.0006143668,0.00007909283,0.0001368468,0.00003186048,0.000482341,0.0004151776,0.0109888],"category_scores_gemma":[0.0001502009,0.0002954978,0.0001337864,0.0002828864,0.001319865,0.00005516254,0.00007480433,0.0005606167,0.0006767401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000298584,"about_ca_system_score_gemma":0.00002113614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003661609,"about_ca_topic_score_gemma":0.00001691438,"domain_scores_codex":[0.9971616,0.0003352163,0.0006098873,0.0008526015,0.0003602379,0.0006804683],"domain_scores_gemma":[0.9985024,0.0005148567,0.0001194546,0.000572173,0.00003584208,0.0002553136],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001137167,0.0007182421,0.0006150554,0.00006009098,0.00003153154,0.0001483866,0.0008103549,0.00003265386,0.0002287294,0.9877478,0.001651487,0.006818518],"study_design_scores_gemma":[0.001596169,0.0009616131,0.01473795,0.0001317102,0.00002468092,0.0001014284,0.0001074944,0.00001086654,0.0004623828,0.9532401,0.02815485,0.0004707645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3875917,0.001800662,0.0000197897,0.02208381,0.0001812325,0.0003999822,0.00002786453,0.00007761693,0.5878173],"genre_scores_gemma":[0.9936604,0.0008601915,0.0002357216,0.003618554,0.0002000938,0.00004472597,0.000007833071,0.00002082313,0.001351614],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6060687,"threshold_uncertainty_score":0.9999497,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}