{"meta":{"query_hash":"eca183634adb","filters":{"venue":"Electronic Notes in Theoretical Informatics and Computer Science"},"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/eca183634adb","api":"https://metacan.xera.ac/api/v1/cohort?venue=Electronic+Notes+in+Theoretical+Informatics+and+Computer+Science"},"results":[{"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,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.01114079662424359,"score_gpt":0.2516470990599794,"score_spread":0.2405063024357358,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4321480286","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.010058799,0.00045363596,0.95990664,0.0022090927,0.0004101307,0.000080165715,0.00029469628,0.0012627018,0.025324106],"genre_scores_gemma":[0.38184097,0.0013062311,0.57723457,0.0028097362,0.00075643574,0.0007249093,0.00073932664,0.0017311188,0.032856762],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9956928,0.0008921378,0.00021587552,0.00095681753,0.0018052994,0.00043713689],"domain_scores_gemma":[0.99571437,0.0017980558,0.00018683035,0.0007675275,0.0012617984,0.00027148577],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0050504096,0.00089061656,0.0011862919,0.0016049234,0.0030762749,0.003478368,0.0031741443,0.0016192571,0.010940269],"category_scores_gemma":[0.008852139,0.0010779353,0.0032293256,0.0021461484,0.0063733286,0.0132628875,0.007480878,0.008435299,0.0021413788],"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.0000125711795,0.000014889119,0.0001182333,0.000038949365,0.000007428542,0.000046931164,0.00019046152,0.0007598884,0.00074853527,0.9900079,0.0012731721,0.006780939],"study_design_scores_gemma":[0.000017178121,0.000014866493,0.00016280793,0.00003507215,0.000021182874,0.00009466436,0.000072942035,0.008544852,0.002776688,0.96697974,0.021246845,0.000033157165],"about_ca_topic_score_codex":0.004608487,"about_ca_topic_score_gemma":0.0032904046,"teacher_disagreement_score":0.010940269,"about_ca_system_score_codex":0.005276404,"about_ca_system_score_gemma":0.004117947,"threshold_uncertainty_score":0.03828311},"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,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.009090863616609317,"score_gpt":0.23913401523491556,"score_spread":0.23004315161830624,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4388940312","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.115482114,0.0035031848,0.6580078,0.004108242,0.00043894694,0.00011861557,0.00057501445,0.0008078391,0.21695817],"genre_scores_gemma":[0.8836134,0.0014292526,0.075442664,0.0018065103,0.00036145453,0.00012194536,0.0003944212,0.00013865373,0.03669179],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99873644,0.00032161784,0.000072262184,0.00020400855,0.00046295283,0.0002028132],"domain_scores_gemma":[0.9991468,0.00026637,0.00007233436,0.00011615743,0.00027092124,0.00012736136],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013349424,0.00034559667,0.00024016724,0.0015393207,0.0011757307,0.0018256762,0.0008662872,0.00061258406,0.005308986],"category_scores_gemma":[0.0017971222,0.00023715317,0.00059596513,0.0011157889,0.004613444,0.0043379148,0.0028036975,0.0014367691,0.0007319761],"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.0000029560813,0.0000028282573,0.00006760916,0.000010794123,0.0000017265442,0.000023653192,0.00016629956,0.00020176783,0.0003013672,0.99628335,0.00028898433,0.0026485827],"study_design_scores_gemma":[0.000004228445,0.000010622425,0.00021366254,0.000013783748,0.000005164648,0.00007155509,0.00013378734,0.0016949225,0.0007026005,0.9773719,0.019768674,0.0000090963495],"about_ca_topic_score_codex":0.003040443,"about_ca_topic_score_gemma":0.002281687,"teacher_disagreement_score":0.005308986,"about_ca_system_score_codex":0.0023059675,"about_ca_system_score_gemma":0.00090852863,"threshold_uncertainty_score":0.017760336},"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,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.010902469735081728,"score_gpt":0.27731785414872634,"score_spread":0.2664153844136446,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4388940344","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.2835759,0.0036172813,0.39100713,0.0050770487,0.00054888654,0.00013517095,0.0011400678,0.0010938668,0.3138047],"genre_scores_gemma":[0.91119087,0.0010664645,0.038372133,0.0007520716,0.00021756817,0.0000792909,0.00036230078,0.00008614434,0.047873102],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99915683,0.00011899818,0.00006843626,0.00018547244,0.00032075748,0.00014944276],"domain_scores_gemma":[0.9990427,0.00021715551,0.00008446224,0.00015100521,0.0003664908,0.00013820868],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00087989203,0.00023865729,0.00028205774,0.0010902362,0.0012764941,0.0024413688,0.00045515143,0.0004579775,0.0045067626],"category_scores_gemma":[0.001492244,0.00020551812,0.00040442613,0.00079975283,0.003405772,0.004844789,0.0024905612,0.0011734193,0.0007049906],"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.0000057237553,0.0000024417025,0.0002987833,0.000019278237,0.000002410723,0.000049543556,0.00048983755,0.000072386276,0.00052872393,0.99475276,0.00073808274,0.003039925],"study_design_scores_gemma":[0.000008014855,0.000025994244,0.0021152894,0.000029507071,0.000012936523,0.000943243,0.0006940931,0.0013624955,0.0021832292,0.8664412,0.12616353,0.000020495127],"about_ca_topic_score_codex":0.0015853446,"about_ca_topic_score_gemma":0.0016388015,"teacher_disagreement_score":0.0045067626,"about_ca_system_score_codex":0.0013729524,"about_ca_system_score_gemma":0.00077374093,"threshold_uncertainty_score":0.015076637},"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,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.01170671206156281,"score_gpt":0.24941560363410073,"score_spread":0.2377088915725379,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4388940354","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.008921092,0.0059728962,0.8681932,0.041232307,0.0021074892,0.00007564863,0.00037314408,0.00066606584,0.07245815],"genre_scores_gemma":[0.672759,0.008281424,0.26474693,0.014477803,0.007069871,0.0008355235,0.0006289692,0.00069063937,0.030509718],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9926932,0.003072609,0.00048863,0.0015222133,0.0018393946,0.0003839302],"domain_scores_gemma":[0.99138695,0.0053071994,0.0003937891,0.0015241255,0.0010627637,0.0003250604],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.010891093,0.0009117264,0.00091049616,0.0030365472,0.0033367197,0.0070901723,0.0023410388,0.004939335,0.005908954],"category_scores_gemma":[0.015009755,0.0007774919,0.0019412559,0.002514014,0.017959816,0.024476951,0.0053992155,0.0077139484,0.0014154777],"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.0000013755066,8.41509e-7,0.0000114797695,0.000007743319,0.0000014713568,0.000007857941,0.000072668496,0.000097776916,0.000014383142,0.99846053,0.000414274,0.00090960716],"study_design_scores_gemma":[0.0000021088765,0.0000028836969,0.000021842343,0.000010887016,0.0000018074182,0.000033215703,0.00002772916,0.00084728317,0.000042380827,0.9885456,0.010459947,0.0000043133064],"about_ca_topic_score_codex":0.001849232,"about_ca_topic_score_gemma":0.0008586895,"teacher_disagreement_score":0.010891093,"about_ca_system_score_codex":0.004511544,"about_ca_system_score_gemma":0.0018506936,"threshold_uncertainty_score":0.057598293},"labels":[],"label_agreement":null},{"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,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_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","score_opus":0.009747418406165097,"score_gpt":0.2616938535063769,"score_spread":0.2519464351002118,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4388940514","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.061494853,0.002445646,0.83353484,0.0060454085,0.00034330573,0.00015950011,0.00041265023,0.00066134514,0.09490248],"genre_scores_gemma":[0.82492673,0.0009574528,0.16132933,0.0011946517,0.00034958814,0.00019873423,0.00030681735,0.00009920553,0.010637477],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99769944,0.0008978412,0.00014819205,0.00027663828,0.00075470516,0.00022310276],"domain_scores_gemma":[0.9982811,0.0010450782,0.00010533425,0.00022805377,0.0002443761,0.00009595779],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003196075,0.00048514307,0.0004654282,0.0013488593,0.0012931407,0.003517637,0.0009930175,0.0011372676,0.00288312],"category_scores_gemma":[0.00490724,0.00042904995,0.0016921293,0.0009538866,0.00520627,0.0069349236,0.0033799792,0.0035241835,0.00038812956],"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.0000030119463,0.0000036265928,0.000027376098,0.000010791864,0.000003416842,0.000021534417,0.000110963105,0.00067309977,0.0001983568,0.99696916,0.00020770673,0.0017709042],"study_design_scores_gemma":[0.000005820538,0.000006006762,0.00006560357,0.000011350429,0.0000044882377,0.00002807105,0.000034284778,0.004386081,0.0003095979,0.9896554,0.0054850704,0.000008267369],"about_ca_topic_score_codex":0.0022153154,"about_ca_topic_score_gemma":0.0016921728,"teacher_disagreement_score":0.0037397435,"about_ca_system_score_codex":0.0037397435,"about_ca_system_score_gemma":0.0011831338,"threshold_uncertainty_score":0.027133882},"labels":[],"label_agreement":null}]}