{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":5,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":5,"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":"1386fa49e501","filters":{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Yvon Gauthier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.3712198678917655,"gpt":0.3980378208204076,"spread":0.02681795292864209,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008017891,0.0004589237,0.001098084,0.0003963765,0.00006398067,0.000008731541,0.0003829698,0.000635948,0.0004034849],"category_scores_gemma":[0.0006417211,0.0004263074,0.0001252844,0.00008492269,0.001264971,0.0000824285,0.0003895524,0.0007708407,0.0001622764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007023928,"about_ca_system_score_gemma":0.0003706561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001482679,"about_ca_topic_score_gemma":0.000583014,"domain_scores_codex":[0.9979721,0.00008690433,0.0007221891,0.0004814095,0.0003107892,0.0004265799],"domain_scores_gemma":[0.9980599,0.0008929796,0.0003844757,0.000397799,0.0001922983,0.00007253431],"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.00004302269,0.0001410407,0.00007642218,0.0001834316,0.000233754,0.001052802,0.002725722,0.000001440756,3.3975e-7,0.988732,0.006150064,0.0006599376],"study_design_scores_gemma":[0.0009728192,0.0002193041,0.000005464002,0.0002932746,0.00004869408,0.0000561405,0.003427339,0.000008718774,5.353632e-7,0.9261607,0.06844104,0.0003659785],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0006954349,0.003657038,0.0001125698,0.0007386177,0.0007407177,0.0008901594,0.00003003067,0.00009115905,0.9930443],"genre_scores_gemma":[0.08203532,0.001363046,0.03437004,0.0003750487,0.0005357334,0.0001317513,0.0001903501,0.0002144796,0.8807842],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.11226,"threshold_uncertainty_score":0.9998189,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"","keywords":"Arithmetic; Computer science; Mathematics","authors":[{"name":"Yvon Gauthier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06705543254667436,"gpt":0.3010069430181938,"spread":0.2339515104715194,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001832723,0.0001957985,0.0003406146,0.00008021566,0.00006971935,0.000006796482,0.0002951295,0.00005825671,0.0005050976],"category_scores_gemma":[0.000008571015,0.0001359061,0.0001104084,0.0000586751,0.0003210524,0.00002616378,0.0002496411,0.0003323132,0.00005848131],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008454968,"about_ca_system_score_gemma":0.00004686078,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003015896,"about_ca_topic_score_gemma":0.00001032371,"domain_scores_codex":[0.9991944,0.00001820118,0.0002461671,0.0002554975,0.0001502749,0.0001354051],"domain_scores_gemma":[0.9991776,0.00006698397,0.0002223222,0.0003141116,0.0001931246,0.00002587205],"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.000007789184,0.00002106667,0.00000818457,0.000009808003,0.0001558369,0.000002643839,0.0001669047,0.00002460813,0.000003379514,0.9871222,0.0113237,0.001153886],"study_design_scores_gemma":[0.0001483359,0.00006431004,0.000002814547,0.00003854762,0.00006025128,0.000001285376,0.001375301,0.00003725036,0.000005234027,0.7802817,0.2178705,0.0001145239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0001367527,0.003043736,0.003264166,0.003000597,0.001092462,0.0004456912,0.00009927418,0.00002448922,0.9888929],"genre_scores_gemma":[0.651302,0.0007620088,0.0004269734,0.00009928609,0.00332301,0.00003436888,0.00007580149,0.00005578673,0.3439208],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.6511652,"threshold_uncertainty_score":0.5542092,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Yvon Gauthier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1325774809664702,"gpt":0.3350239022377879,"spread":0.2024464212713177,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005855963,0.0003588583,0.0009972292,0.0001410183,0.00009378132,0.00001442467,0.0003628135,0.0001712267,0.0001552989],"category_scores_gemma":[0.00143771,0.0001852026,0.0001995266,0.0001023122,0.00269795,0.00003295165,0.0003810576,0.0005261514,0.00002061739],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001590542,"about_ca_system_score_gemma":0.00008311894,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005122337,"about_ca_topic_score_gemma":0.0001094748,"domain_scores_codex":[0.9981861,0.00008014793,0.0006098878,0.00030499,0.000530572,0.0002883337],"domain_scores_gemma":[0.9960005,0.002683945,0.0003548663,0.0004168464,0.0004497068,0.00009419055],"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.0001745464,0.00008636172,0.00001030651,0.0004105075,0.0008576589,0.0001714972,0.0003922819,0.000001090021,3.267391e-7,0.9971787,0.0002214144,0.000495256],"study_design_scores_gemma":[0.0004072564,0.0003674512,9.909182e-7,0.001136369,0.0006639838,0.00003110731,0.001122274,0.00008989133,0.00000607223,0.9937507,0.002191191,0.0002327161],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0001441891,0.001776408,0.001247761,0.0004838766,0.00009136279,0.0004273031,0.00001906408,0.0000318853,0.9957781],"genre_scores_gemma":[0.5680875,0.002560497,0.01217649,0.0001285691,0.0002394177,0.00004412982,0.000009270014,0.0001729701,0.4165812],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.579197,"threshold_uncertainty_score":0.9940711,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Yvon Gauthier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09941756727923887,"gpt":0.3586516548085547,"spread":0.2592340875293158,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00010292,0.000225591,0.0003756859,0.00007252324,0.0001432409,0.00001568858,0.0001715467,0.00006464474,0.00009849841],"category_scores_gemma":[0.00001506599,0.0002007379,0.0001511632,0.00003982635,0.0002891735,0.00004023927,0.0001460482,0.0002088173,0.00005819233],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009686527,"about_ca_system_score_gemma":0.00008224093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005556761,"about_ca_topic_score_gemma":0.00000841806,"domain_scores_codex":[0.9992242,0.000008952596,0.0001616385,0.0002982342,0.0001169676,0.0001900067],"domain_scores_gemma":[0.9991962,0.0002365332,0.00009322939,0.0002149575,0.0002111552,0.00004789136],"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.00001158826,0.00004394093,0.000001997053,0.00001058917,0.000136624,0.000001152894,0.0002314747,0.000006427009,0.000001319644,0.9959329,0.002346789,0.001275223],"study_design_scores_gemma":[0.0002471342,0.00008790386,4.972155e-7,0.0000294661,0.00008019,1.717912e-7,0.0009092602,0.000215502,0.000001982572,0.8137092,0.184542,0.0001766769],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0000751198,0.0004064222,0.02607813,0.0005872683,0.0003968217,0.0007134793,0.0004813755,0.00004506025,0.9712163],"genre_scores_gemma":[0.7155892,0.0001378121,0.002006321,0.00008651611,0.002204564,0.0002583457,0.0005416614,0.0001066334,0.2790689],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.7155141,"threshold_uncertainty_score":0.8185854,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"George Englebretsen","is_ca":true},{"name":"Amirouche Moktefi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09019739851246239,"gpt":0.3258903798736641,"spread":0.2356929813612018,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002494807,0.0003202859,0.0004822535,0.0003955298,0.000225185,0.00005371835,0.0009468056,0.0001155867,0.0002825169],"category_scores_gemma":[0.0001145436,0.0003064932,0.000119681,0.0002551392,0.0002172178,0.0002128254,0.001159305,0.0003387512,0.0001121541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004856701,"about_ca_system_score_gemma":0.00009076591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000216127,"about_ca_topic_score_gemma":0.00009567068,"domain_scores_codex":[0.9983006,0.0000684453,0.0003680176,0.00056065,0.0004342379,0.0002681078],"domain_scores_gemma":[0.998794,0.0002096621,0.0002793462,0.0005298451,0.0001318339,0.00005536703],"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.000003264831,0.00001998784,0.00001891433,0.0000564358,0.00008812601,0.0002794157,0.001153772,0.0005060587,5.708157e-7,0.9925106,0.003483694,0.001879119],"study_design_scores_gemma":[0.001037192,0.000455729,0.00004953289,0.0001884342,0.0001516925,0.00002519389,0.002628036,0.01290844,0.00000259024,0.4740313,0.5072829,0.00123896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001807807,0.003648099,0.03192235,0.001649498,0.002014114,0.0005775936,0.00009680213,0.0003483586,0.9597251],"genre_scores_gemma":[0.06400227,0.01988095,0.01018791,0.005758082,0.0004458652,0.00005042271,0.0008610892,0.0001501437,0.8986633],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5184793,"threshold_uncertainty_score":0.9999387,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}