{"meta":{"query_hash":"1386fa49e501","filters":{"venue":"Studies in universal logic"},"cohort_total":5,"direct_labels_cover":0,"predictions_cover":5,"exported":5,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/1386fa49e501","api":"https://metacan.xera.ac/api/v1/cohort?venue=Studies+in+universal+logic"},"results":[{"id":"W2477682768","doi":"10.1007/978-3-319-22087-1_4","title":"Kronecker’s Foundational Programme in Contemporary Mathematics","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Kronecker delta; Mathematics; Algebra over a field; Algebraic number; Pure mathematics; Mathematical analysis; Physics","score_opus":0.37121986789176553,"score_gpt":0.3980378208204076,"score_spread":0.026817952928642086,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2477682768","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0006954349,0.003657038,0.00011256975,0.0007386177,0.0007407177,0.0008901594,0.000030030671,0.000091159054,0.99304426],"genre_scores_gemma":[0.08203532,0.001363046,0.03437004,0.00037504866,0.00053573336,0.00013175127,0.00019035011,0.00021447962,0.8807842],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99797213,0.00008690433,0.0007221891,0.00048140952,0.00031078918,0.0004265799],"domain_scores_gemma":[0.9980599,0.0008929796,0.0003844757,0.00039779895,0.00019229829,0.000072534305],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008017891,0.00045892366,0.0010980843,0.0003963765,0.000063980675,0.000008731541,0.00038296983,0.000635948,0.00040348485],"category_scores_gemma":[0.0006417211,0.00042630738,0.0001252844,0.00008492269,0.0012649707,0.0000824285,0.00038955236,0.00077084074,0.00016227644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000043022694,0.00014104065,0.00007642218,0.0001834316,0.00023375396,0.0010528023,0.002725722,0.0000014407564,3.3974996e-7,0.98873204,0.0061500636,0.0006599376],"study_design_scores_gemma":[0.0009728192,0.00021930413,0.000005464002,0.0002932746,0.000048694077,0.000056140503,0.0034273393,0.000008718774,5.353632e-7,0.9261607,0.06844104,0.00036597846],"about_ca_topic_score_codex":0.000014826794,"about_ca_topic_score_gemma":0.000583014,"teacher_disagreement_score":0.112260036,"about_ca_system_score_codex":0.0007023928,"about_ca_system_score_gemma":0.00037065605,"threshold_uncertainty_score":0.99981886},"labels":[],"label_agreement":null},{"id":"W2480076450","doi":"10.1007/978-3-319-22087-1_1","title":"Introduction: The Internal Logic of Arithmetic","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Arithmetic; Computer science; Mathematics","score_opus":0.06705543254667436,"score_gpt":0.30100694301819375,"score_spread":0.2339515104715194,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2480076450","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00013675271,0.003043736,0.0032641657,0.0030005975,0.0010924615,0.0004456912,0.000099274184,0.000024489222,0.98889285],"genre_scores_gemma":[0.651302,0.0007620088,0.00042697336,0.00009928609,0.0033230097,0.00003436888,0.00007580149,0.00005578673,0.34392077],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99919444,0.000018201175,0.00024616712,0.00025549752,0.00015027486,0.00013540513],"domain_scores_gemma":[0.9991776,0.00006698397,0.00022232223,0.00031411165,0.00019312464,0.000025872052],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00018327229,0.00019579851,0.00034061464,0.000080215665,0.000069719346,0.0000067964825,0.0002951295,0.000058256708,0.0005050976],"category_scores_gemma":[0.000008571015,0.00013590614,0.0001104084,0.000058675098,0.0003210524,0.000026163783,0.00024964113,0.00033231324,0.00005848131],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000007789184,0.000021066673,0.00000818457,0.000009808003,0.0001558369,0.000002643839,0.0001669047,0.000024608129,0.0000033795138,0.9871222,0.0113237,0.0011538863],"study_design_scores_gemma":[0.00014833594,0.00006431004,0.0000028145469,0.00003854762,0.000060251277,0.0000012853757,0.0013753012,0.000037250364,0.0000052340265,0.78028166,0.21787049,0.00011452394],"about_ca_topic_score_codex":0.000030158963,"about_ca_topic_score_gemma":0.000010323712,"teacher_disagreement_score":0.65116525,"about_ca_system_score_codex":0.000084549676,"about_ca_system_score_gemma":0.000046860776,"threshold_uncertainty_score":0.5542092},"labels":[],"label_agreement":null},{"id":"W2481447568","doi":"10.1007/978-3-319-22087-1_7","title":"The Internal Consistency of Arithmetic with Infinite Descent: A Syntactical Proof","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Second-order arithmetic; Peano axioms; Mathematics; Transfinite number; Axiom; Consistency (knowledge bases); Gödel's incompleteness theorems; Mathematical induction; Algebra over a field; Reverse mathematics; Arithmetic function; Completeness (order theory); Calculus (dental); Discrete mathematics; Arithmetic; Pure mathematics; Computer science; Gödel","score_opus":0.1325774809664702,"score_gpt":0.33502390223778794,"score_spread":0.20244642127131773,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2481447568","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00014418906,0.0017764079,0.0012477607,0.00048387662,0.00009136279,0.00042730308,0.000019064079,0.0000318853,0.99577814],"genre_scores_gemma":[0.5680875,0.0025604966,0.012176486,0.00012856914,0.0002394177,0.00004412982,0.000009270014,0.00017297007,0.41658115],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99818605,0.000080147925,0.00060988776,0.00030498995,0.000530572,0.00028833366],"domain_scores_gemma":[0.99600047,0.0026839445,0.00035486626,0.00041684636,0.00044970683,0.000094190545],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005855963,0.0003588583,0.0009972292,0.00014101835,0.000093781324,0.000014424672,0.00036281353,0.00017122674,0.00015529893],"category_scores_gemma":[0.0014377098,0.00018520263,0.0001995266,0.00010231223,0.0026979505,0.00003295165,0.00038105762,0.0005261514,0.000020617392],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00017454641,0.00008636172,0.000010306512,0.00041050746,0.00085765886,0.00017149723,0.0003922819,0.0000010900212,3.2673913e-7,0.99717873,0.00022141445,0.000495256],"study_design_scores_gemma":[0.00040725642,0.00036745117,9.909182e-7,0.0011363688,0.00066398375,0.00003110731,0.0011222737,0.000089891335,0.00000607223,0.9937507,0.0021911906,0.00023271615],"about_ca_topic_score_codex":0.0000051223374,"about_ca_topic_score_gemma":0.000109474844,"teacher_disagreement_score":0.579197,"about_ca_system_score_codex":0.00015905421,"about_ca_system_score_gemma":0.00008311894,"threshold_uncertainty_score":0.9940711},"labels":[],"label_agreement":null},{"id":"W2494919598","doi":"10.1007/978-3-319-22087-1_5","title":"Arithmetical Foundations for Physical Theories","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Von Neumann architecture; Formalism (music); Mathematical practice; Theoretical physics; Mathematics; Algebra over a field; Epistemology; Pure mathematics; Philosophy; Physics","score_opus":0.09941756727923887,"score_gpt":0.35865165480855465,"score_spread":0.25923408752931576,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2494919598","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0000751198,0.00040642224,0.026078133,0.00058726827,0.0003968217,0.0007134793,0.00048137552,0.00004506025,0.9712163],"genre_scores_gemma":[0.71558917,0.00013781214,0.0020063205,0.00008651611,0.0022045644,0.00025834568,0.0005416614,0.00010663336,0.27906895],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9992242,0.000008952596,0.00016163848,0.00029823423,0.00011696758,0.00019000674],"domain_scores_gemma":[0.99919623,0.00023653316,0.00009322939,0.00021495754,0.00021115522,0.00004789136],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00010291999,0.00022559096,0.00037568592,0.00007252324,0.00014324092,0.000015688582,0.00017154672,0.000064644744,0.00009849841],"category_scores_gemma":[0.000015065987,0.00020073791,0.00015116319,0.000039826355,0.0002891735,0.00004023927,0.00014604817,0.00020881732,0.00005819233],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000011588258,0.000043940927,0.0000019970535,0.000010589175,0.00013662403,0.0000011528944,0.00023147471,0.000006427009,0.0000013196438,0.9959329,0.0023467885,0.001275223],"study_design_scores_gemma":[0.00024713422,0.00008790386,4.9721547e-7,0.000029466097,0.000080189995,1.717912e-7,0.00090926024,0.00021550198,0.0000019825723,0.8137092,0.184542,0.00017667691],"about_ca_topic_score_codex":0.0000055567607,"about_ca_topic_score_gemma":0.00000841806,"teacher_disagreement_score":0.71551406,"about_ca_system_score_codex":0.00009686527,"about_ca_system_score_gemma":0.000082240935,"threshold_uncertainty_score":0.8185854},"labels":[],"label_agreement":null},{"id":"W4315697839","doi":"10.1007/978-3-030-94452-0_8","title":"Lewis Carroll’s Almost Diagrammatic Logic Notation","year":2022,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Data Visualization and Analytics","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Bishop's University","funders":"","keywords":"Diagrammatic reasoning; Notation; Symbol (formal); Computer science; Object (grammar); Proposition; Mathematics; Epistemology; Programming language; Artificial intelligence; Arithmetic; Philosophy","score_opus":0.09019739851246239,"score_gpt":0.32589037987366415,"score_spread":0.23569298136120176,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4315697839","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.000018078072,0.0036480986,0.031922348,0.0016494985,0.0020141143,0.0005775936,0.00009680213,0.00034835856,0.9597251],"genre_scores_gemma":[0.06400227,0.019880947,0.010187909,0.005758082,0.00044586515,0.00005042271,0.00086108915,0.00015014372,0.8986633],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99830055,0.000068445304,0.0003680176,0.00056064996,0.00043423788,0.0002681078],"domain_scores_gemma":[0.99879396,0.00020966213,0.00027934622,0.00052984507,0.00013183393,0.000055367025],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002494807,0.00032028588,0.00048225353,0.00039552976,0.00022518504,0.000053718348,0.0009468056,0.00011558668,0.00028251694],"category_scores_gemma":[0.00011454362,0.00030649322,0.00011968098,0.00025513917,0.00021721778,0.00021282544,0.0011593049,0.00033875124,0.0001121541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000032648306,0.000019987838,0.000018914328,0.0000564358,0.000088126006,0.00027941572,0.0011537716,0.0005060587,5.708157e-7,0.9925106,0.0034836943,0.0018791193],"study_design_scores_gemma":[0.0010371923,0.00045572902,0.000049532893,0.0001884342,0.00015169253,0.000025193893,0.002628036,0.012908445,0.0000025902395,0.47403133,0.50728285,0.0012389601],"about_ca_topic_score_codex":0.0000216127,"about_ca_topic_score_gemma":0.00009567068,"teacher_disagreement_score":0.51847935,"about_ca_system_score_codex":0.00048567014,"about_ca_system_score_gemma":0.000090765905,"threshold_uncertainty_score":0.9999387},"labels":[],"label_agreement":null}]}