{"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"},"query_hash":"eca183634adb","filters":{"venue":"Electronic Notes in Theoretical Informatics and Computer Science"}},"results":[{"id":"W4388940514","doi":"10.46298/entics.12292","title":"Propositional Logics for the Lawvere Quantale","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"School of Informatics, University of Edinburgh; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Pure mathematics; Mathematical economics","retraction":null,"screen_n_in":null,"score":{"opus":0.009747418406165097,"gpt":0.2616938535063769,"spread":0.2519464351002118,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001157874,0.0001132168,0.0001137063,0.0001096488,0.0004117918,0.0002965688,0.001113794,0.00003523028,0.000004391246],"category_scores_gemma":[0.00007651105,0.00006996483,0.00003561765,0.0009980693,0.001102886,0.0005438391,0.0005488552,0.0001818523,0.00001547864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004879504,"about_ca_system_score_gemma":0.0001630908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.087851e-7,"about_ca_topic_score_gemma":9.959697e-7,"domain_scores_codex":[0.9986014,0.00001713644,0.000250027,0.0001997293,0.0003013483,0.000630365],"domain_scores_gemma":[0.9986573,0.0008440914,0.00005445641,0.000311069,0.00006614975,0.00006696551],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000337892,0.00001129395,0.00002099953,0.000008449499,0.000001989011,7.480602e-7,0.0003759913,0.001959814,0.0000152838,0.9513211,0.00001305331,0.04626794],"study_design_scores_gemma":[0.0001092302,0.0001229836,0.0001822481,0.000006436122,9.866957e-7,0.00001471208,0.00001280742,0.5562772,0.000210185,0.4428702,0.0001247259,0.00006830315],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01691753,0.00009782128,0.9809681,0.001358549,0.0001615629,0.0002638214,0.000001527463,0.00009179366,0.0001393277],"genre_scores_gemma":[0.9407154,0.00007562878,0.05790049,0.001224174,0.00004296533,0.00003292791,0.000001718283,0.00000315965,0.000003513705],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9237979,"threshold_uncertainty_score":0.4063629,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4321480286","doi":"10.46298/entics.10360","title":"A Categorical Normalization Proof for the Modal Lambda-Calculus","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Simply typed lambda calculus; Church encoding; Typed lambda calculus; System F; Modal; Computer science; Lambda calculus; Programming language; Normalization (sociology); Calculus (dental); Curry–Howard correspondence; Mathematics; Algorithm; Theoretical computer science","retraction":null,"screen_n_in":null,"score":{"opus":0.01114079662424359,"gpt":0.2516470990599794,"spread":0.2405063024357358,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002161052,0.0001373436,0.0001572922,0.000159577,0.0003658789,0.0005527044,0.001168651,0.00005726452,0.00000163711],"category_scores_gemma":[0.0001163481,0.00008560703,0.00004452906,0.001465891,0.0006996003,0.0005356694,0.00053413,0.000178711,0.00001348213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007171273,"about_ca_system_score_gemma":0.0002199205,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007688554,"about_ca_topic_score_gemma":0.000004770311,"domain_scores_codex":[0.9981894,0.0000336539,0.0003687917,0.0002367997,0.0003953554,0.0007759325],"domain_scores_gemma":[0.9988441,0.000488509,0.00008249788,0.0003825528,0.0001089136,0.00009337811],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003576421,0.00001502338,0.00004437814,0.00001856009,0.000003528123,8.45159e-7,0.001249799,0.001263038,0.000005199809,0.9175043,0.00001811418,0.07987362],"study_design_scores_gemma":[0.0001669964,0.0001656735,0.00008635293,0.000002107014,0.000002235549,0.00001854059,0.00001679683,0.6812218,0.0002155651,0.3175165,0.0004952324,0.00009219366],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002878542,0.00008308313,0.9951833,0.0007431345,0.000305331,0.0004665679,2.803743e-7,0.0001076911,0.0002320599],"genre_scores_gemma":[0.9933964,0.00003275693,0.006109685,0.0002946473,0.00007855836,0.00007230747,0.000001930704,0.000004899285,0.000008831502],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9905179,"threshold_uncertainty_score":0.5329742,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4388940344","doi":"10.46298/entics.12278","title":"Cartesian Differential Kleisli Categories","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Australian Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Monad (category theory); Cartesian closed category; Mathematics; Differential (mechanical device); Cartesian coordinate system; Pure mathematics; Cartesian product; Algebra over a field; Differential algebra; Discrete mathematics; Functor; Geometry; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.01090246973508173,"gpt":0.2773178541487263,"spread":0.2664153844136446,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009949114,0.0001578565,0.0002497669,0.0002421471,0.0002214167,0.0001041956,0.0004840573,0.00009773923,0.00006597572],"category_scores_gemma":[0.0001997604,0.0001272268,0.00003532378,0.0007366846,0.002656617,0.0001888199,0.0003781661,0.000334562,0.00003482653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005381752,"about_ca_system_score_gemma":0.000166355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003687077,"about_ca_topic_score_gemma":0.000009491575,"domain_scores_codex":[0.9982492,0.000053756,0.0003978166,0.0001934424,0.0002588078,0.0008469209],"domain_scores_gemma":[0.9987968,0.000694254,0.00006614201,0.0002956869,0.00004216973,0.0001049362],"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.000006194372,0.0000218238,0.0002299091,0.00002083929,0.000005863729,0.000005105938,0.002051909,0.00001125544,0.00002259242,0.9837387,0.0000191416,0.01386669],"study_design_scores_gemma":[0.0002173511,0.0001713696,0.0003986143,0.00001163516,0.000006176274,0.00004677511,0.00007545706,0.1624289,0.000783285,0.8356854,0.00003668415,0.0001383624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7401257,0.0000156812,0.2580991,0.000495419,0.0002404932,0.0001337201,0.000001105125,0.0001126515,0.0007761359],"genre_scores_gemma":[0.9954811,0.00003833089,0.004191821,0.0001915572,0.00006061644,0.00001523917,0.000002082758,0.000007472197,0.00001182037],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2553554,"threshold_uncertainty_score":0.9788418,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4388940312","doi":"10.46298/entics.12290","title":"Graded Differential Categories and Graded Differential Linear Logic","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"Japan Society for the Promotion of Science; University of Ottawa; Aix-Marseille Université","keywords":"Linear logic; Mathematics; Mathematical proof; Sequent calculus; Substructural logic; Discrete mathematics; Differential calculus; Differential (mechanical device); Algebra over a field; Pure mathematics; Sequent; Calculus (dental); Many-valued logic; Computer science; Description logic; Theoretical computer science","retraction":null,"screen_n_in":null,"score":{"opus":0.009090863616609317,"gpt":0.2391340152349156,"spread":0.2300431516183062,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005090435,0.0002180332,0.000256124,0.0003347468,0.0003094131,0.0005493599,0.0008380323,0.00006737883,0.000005870085],"category_scores_gemma":[0.00005819013,0.0001713526,0.00004006051,0.00113702,0.001226435,0.0006574581,0.001132787,0.0003004308,0.00001380783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005148054,"about_ca_system_score_gemma":0.0001444966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008027238,"about_ca_topic_score_gemma":0.000003168685,"domain_scores_codex":[0.9979334,0.00004936199,0.0004306649,0.0003503681,0.0004155001,0.0008206519],"domain_scores_gemma":[0.9990844,0.0003019547,0.00008801663,0.000296728,0.00004968375,0.0001792046],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006099057,0.0000235721,0.00007168855,0.00001863126,0.000004521545,0.000002677806,0.001451737,0.0001401304,0.0002049565,0.9495496,0.000003945639,0.04852246],"study_design_scores_gemma":[0.0002922289,0.0001570772,0.001795641,0.00001341791,0.000002828075,0.00001913362,0.00001125645,0.6212389,0.001053343,0.3752524,0.000008370313,0.0001554265],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4851643,0.0000251659,0.5139939,0.0003637569,0.0002245851,0.00009849744,5.049871e-7,0.0001051968,0.0000240936],"genre_scores_gemma":[0.9932429,0.00008655361,0.006329305,0.0002313005,0.00008753415,0.000009145269,0.000004133392,0.00000548345,0.000003652094],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6210988,"threshold_uncertainty_score":0.6987555,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4388940354","doi":"10.46298/entics.12279","title":"Joint Distributions in Probabilistic Semantics","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Semantic Web and Ontologies","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":"McGill University; National Science Foundation","keywords":"Probabilistic logic; Morphism; Semantics (computer science); Denotational semantics; Joint probability distribution; Simple (philosophy); Class (philosophy); Joint (building); Mathematics; Computer science; Theoretical computer science; Discrete mathematics; Operational semantics; Programming language; Artificial intelligence; Statistics","retraction":null,"screen_n_in":null,"score":{"opus":0.01170671206156281,"gpt":0.2494156036341007,"spread":0.2377088915725379,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001763387,0.0001454163,0.0002170787,0.0003797087,0.0001477667,0.0003427976,0.0009737294,0.00005467642,0.00000269697],"category_scores_gemma":[0.0003227136,0.0001185277,0.00003000844,0.002296324,0.001143478,0.0005618109,0.0009003817,0.0002851576,0.00002672682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001205522,"about_ca_system_score_gemma":0.0002663321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007610094,"about_ca_topic_score_gemma":0.00001425539,"domain_scores_codex":[0.997974,0.00003831635,0.0004742273,0.0002680599,0.0003469455,0.0008983955],"domain_scores_gemma":[0.9989623,0.0003791699,0.00006201006,0.0004418393,0.0000580674,0.00009665201],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000123328,0.0000259081,0.0004374385,0.00001939837,0.000001249485,0.000006678858,0.000843965,0.00086662,0.00001877163,0.978325,0.000006693892,0.01944701],"study_design_scores_gemma":[0.0001360194,0.00007602877,0.004326912,0.00003032107,9.24006e-7,0.00001817384,0.00002016307,0.6229298,0.0002655527,0.3720705,0.00001904034,0.0001066425],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2632712,0.0000352572,0.7349207,0.001144529,0.0001440049,0.0001570848,8.688222e-7,0.0001201483,0.0002062152],"genre_scores_gemma":[0.9748439,0.00007221834,0.0248793,0.0001691273,0.00001581324,0.00001347003,0.000001687301,0.000002979567,0.000001474198],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7115728,"threshold_uncertainty_score":0.483342,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}