{"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":"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","authors":[{"name":"Giorgio Bacci","is_ca":false},{"name":"Radu Mardare","is_ca":false},{"name":"Prakash Panangaden","is_ca":true},{"name":"Gordon Plotkin","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003196075,0.0004851431,0.0004654282,0.001348859,0.001293141,0.003517637,0.0009930175,0.001137268,0.00288312],"category_scores_gemma":[0.00490724,0.0004290499,0.001692129,0.0009538866,0.00520627,0.006934924,0.003379979,0.003524184,0.0003881296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003739743,"about_ca_system_score_gemma":0.001183134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002215315,"about_ca_topic_score_gemma":0.001692173,"domain_scores_codex":[0.9976994,0.0008978412,0.000148192,0.0002766383,0.0007547052,0.0002231028],"domain_scores_gemma":[0.9982811,0.001045078,0.0001053342,0.0002280538,0.0002443761,0.00009595779],"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.000003011946,0.000003626593,0.0000273761,0.00001079186,0.000003416842,0.00002153442,0.0001109631,0.0006730998,0.0001983568,0.9969692,0.0002077067,0.001770904],"study_design_scores_gemma":[0.000005820538,0.000006006762,0.00006560357,0.00001135043,0.000004488238,0.00002807105,0.00003428478,0.004386081,0.0003095979,0.9896554,0.00548507,0.000008267369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06149485,0.002445646,0.8335348,0.006045409,0.0003433057,0.0001595001,0.0004126502,0.0006613451,0.09490248],"genre_scores_gemma":[0.8249267,0.0009574528,0.1613293,0.001194652,0.0003495881,0.0001987342,0.0003068174,0.00009920553,0.01063748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003739743,"threshold_uncertainty_score":0.02713388,"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","authors":[{"name":"Jason Z. S. Hu","is_ca":true},{"name":"Brigitte Pientka","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00505041,0.0008906166,0.001186292,0.001604923,0.003076275,0.003478368,0.003174144,0.001619257,0.01094027],"category_scores_gemma":[0.008852139,0.001077935,0.003229326,0.002146148,0.006373329,0.01326289,0.007480878,0.008435299,0.002141379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005276404,"about_ca_system_score_gemma":0.004117947,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004608487,"about_ca_topic_score_gemma":0.003290405,"domain_scores_codex":[0.9956928,0.0008921378,0.0002158755,0.0009568175,0.001805299,0.0004371369],"domain_scores_gemma":[0.9957144,0.001798056,0.0001868304,0.0007675275,0.001261798,0.0002714858],"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.00001257118,0.00001488912,0.0001182333,0.00003894937,0.000007428542,0.00004693116,0.0001904615,0.0007598884,0.0007485353,0.9900079,0.001273172,0.006780939],"study_design_scores_gemma":[0.00001717812,0.00001486649,0.0001628079,0.00003507215,0.00002118287,0.00009466436,0.00007294204,0.008544852,0.002776688,0.9669797,0.02124684,0.00003315716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0100588,0.000453636,0.9599066,0.002209093,0.0004101307,0.00008016572,0.0002946963,0.001262702,0.02532411],"genre_scores_gemma":[0.381841,0.001306231,0.5772346,0.002809736,0.0007564357,0.0007249093,0.0007393266,0.001731119,0.03285676],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01094027,"threshold_uncertainty_score":0.03828311,"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","authors":[{"name":"Jean-Simon Pacaud Lemay","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000879892,0.0002386573,0.0002820577,0.001090236,0.001276494,0.002441369,0.0004551514,0.0004579775,0.004506763],"category_scores_gemma":[0.001492244,0.0002055181,0.0004044261,0.0007997528,0.003405772,0.004844789,0.002490561,0.001173419,0.0007049906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001372952,"about_ca_system_score_gemma":0.0007737409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001585345,"about_ca_topic_score_gemma":0.001638802,"domain_scores_codex":[0.9991568,0.0001189982,0.00006843626,0.0001854724,0.0003207575,0.0001494428],"domain_scores_gemma":[0.9990427,0.0002171555,0.00008446224,0.0001510052,0.0003664908,0.0001382087],"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.000005723755,0.000002441702,0.0002987833,0.00001927824,0.000002410723,0.00004954356,0.0004898375,0.00007238628,0.0005287239,0.9947528,0.0007380827,0.003039925],"study_design_scores_gemma":[0.000008014855,0.00002599424,0.002115289,0.00002950707,0.00001293652,0.000943243,0.0006940931,0.001362495,0.002183229,0.8664412,0.1261635,0.00002049513],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2835759,0.003617281,0.3910071,0.005077049,0.0005488865,0.000135171,0.001140068,0.001093867,0.3138047],"genre_scores_gemma":[0.9111909,0.001066464,0.03837213,0.0007520716,0.0002175682,0.0000792909,0.0003623008,0.00008614434,0.0478731],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004506763,"threshold_uncertainty_score":0.01507664,"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","authors":[{"name":"Jean-Simon Pacaud Lemay","is_ca":false},{"name":"Jean-Baptiste Vienney","is_ca":true}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001334942,0.0003455967,0.0002401672,0.001539321,0.001175731,0.001825676,0.0008662872,0.0006125841,0.005308986],"category_scores_gemma":[0.001797122,0.0002371532,0.0005959651,0.001115789,0.004613444,0.004337915,0.002803697,0.001436769,0.0007319761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002305968,"about_ca_system_score_gemma":0.0009085286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003040443,"about_ca_topic_score_gemma":0.002281687,"domain_scores_codex":[0.9987364,0.0003216178,0.00007226218,0.0002040086,0.0004629528,0.0002028132],"domain_scores_gemma":[0.9991468,0.00026637,0.00007233436,0.0001161574,0.0002709212,0.0001273614],"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.000002956081,0.000002828257,0.00006760916,0.00001079412,0.000001726544,0.00002365319,0.0001662996,0.0002017678,0.0003013672,0.9962834,0.0002889843,0.002648583],"study_design_scores_gemma":[0.000004228445,0.00001062243,0.0002136625,0.00001378375,0.000005164648,0.00007155509,0.0001337873,0.001694922,0.0007026005,0.9773719,0.01976867,0.000009096349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1154821,0.003503185,0.6580078,0.004108242,0.0004389469,0.0001186156,0.0005750144,0.0008078391,0.2169582],"genre_scores_gemma":[0.8836134,0.001429253,0.07544266,0.00180651,0.0003614545,0.0001219454,0.0003944212,0.0001386537,0.03669179],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005308986,"threshold_uncertainty_score":0.01776034,"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","authors":[{"name":"Dexter Kozen","is_ca":false},{"name":"Alexandra Silva","is_ca":false},{"name":"Erik Voogd","is_ca":false}],"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01089109,0.0009117264,0.0009104962,0.003036547,0.00333672,0.007090172,0.002341039,0.004939335,0.005908954],"category_scores_gemma":[0.01500976,0.0007774919,0.001941256,0.002514014,0.01795982,0.02447695,0.005399216,0.007713948,0.001415478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004511544,"about_ca_system_score_gemma":0.001850694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001849232,"about_ca_topic_score_gemma":0.0008586895,"domain_scores_codex":[0.9926932,0.003072609,0.00048863,0.001522213,0.001839395,0.0003839302],"domain_scores_gemma":[0.991387,0.005307199,0.0003937891,0.001524125,0.001062764,0.0003250604],"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.000001375507,8.41509e-7,0.00001147977,0.000007743319,0.000001471357,0.000007857941,0.0000726685,0.00009777692,0.00001438314,0.9984605,0.000414274,0.0009096072],"study_design_scores_gemma":[0.000002108877,0.000002883697,0.00002184234,0.00001088702,0.000001807418,0.0000332157,0.00002772916,0.0008472832,0.00004238083,0.9885456,0.01045995,0.000004313306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008921092,0.005972896,0.8681932,0.04123231,0.002107489,0.00007564863,0.0003731441,0.0006660658,0.07245815],"genre_scores_gemma":[0.672759,0.008281424,0.2647469,0.0144778,0.007069871,0.0008355235,0.0006289692,0.0006906394,0.03050972],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01089109,"threshold_uncertainty_score":0.05759829,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}