{"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":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.002878542,0.00008308313,0.9951833,0.00074313453,0.00030533096,0.00046656793,2.8037425e-7,0.00010769113,0.00023205995],"genre_scores_gemma":[0.9933964,0.000032756925,0.0061096847,0.00029464727,0.00007855836,0.00007230747,0.0000019307042,0.0000048992847,0.000008831502],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99818945,0.000033653898,0.00036879166,0.00023679966,0.00039535537,0.00077593245],"domain_scores_gemma":[0.99884415,0.000488509,0.00008249788,0.00038255277,0.0001089136,0.00009337811],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0021610516,0.00013734355,0.00015729223,0.000159577,0.00036587886,0.00055270444,0.0011686506,0.000057264522,0.0000016371096],"category_scores_gemma":[0.00011634814,0.000085607026,0.000044529057,0.0014658907,0.0006996003,0.0005356694,0.00053412997,0.00017871098,0.000013482126],"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.0000035764215,0.000015023384,0.00004437814,0.000018560091,0.000003528123,8.45159e-7,0.0012497992,0.0012630379,0.0000051998095,0.9175043,0.000018114179,0.07987362],"study_design_scores_gemma":[0.0001669964,0.00016567353,0.00008635293,0.0000021070136,0.0000022355493,0.000018540592,0.000016796834,0.68122184,0.00021556509,0.31751648,0.00049523235,0.00009219366],"about_ca_topic_score_codex":0.000007688554,"about_ca_topic_score_gemma":0.0000047703106,"teacher_disagreement_score":0.99051785,"about_ca_system_score_codex":0.00007171273,"about_ca_system_score_gemma":0.00021992049,"threshold_uncertainty_score":0.5329742},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.48516425,0.000025165904,0.5139939,0.00036375687,0.00022458506,0.00009849744,5.049871e-7,0.000105196814,0.000024093599],"genre_scores_gemma":[0.9932429,0.000086553606,0.0063293055,0.00023130047,0.00008753415,0.000009145269,0.0000041333924,0.0000054834504,0.0000036520942],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99793345,0.00004936199,0.00043066495,0.00035036806,0.00041550014,0.0008206519],"domain_scores_gemma":[0.9990844,0.00030195471,0.000088016626,0.000296728,0.00004968375,0.00017920458],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00050904346,0.00021803316,0.000256124,0.00033474676,0.00030941312,0.00054935995,0.00083803234,0.00006737883,0.000005870085],"category_scores_gemma":[0.000058190133,0.00017135257,0.000040060513,0.00113702,0.0012264346,0.0006574581,0.0011327866,0.00030043075,0.000013807827],"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.0000060990574,0.000023572104,0.00007168855,0.000018631263,0.000004521545,0.0000026778064,0.0014517368,0.00014013043,0.0002049565,0.94954956,0.0000039456386,0.04852246],"study_design_scores_gemma":[0.00029222894,0.00015707717,0.0017956411,0.000013417909,0.000002828075,0.00001913362,0.000011256446,0.62123895,0.0010533428,0.37525237,0.000008370313,0.00015542649],"about_ca_topic_score_codex":0.0000080272375,"about_ca_topic_score_gemma":0.000003168685,"teacher_disagreement_score":0.6210988,"about_ca_system_score_codex":0.000051480536,"about_ca_system_score_gemma":0.00014449665,"threshold_uncertainty_score":0.6987555},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.74012566,0.000015681198,0.25809914,0.00049541896,0.00024049325,0.00013372011,0.0000011051246,0.00011265148,0.00077613594],"genre_scores_gemma":[0.9954811,0.00003833089,0.004191821,0.00019155718,0.00006061644,0.000015239172,0.0000020827583,0.0000074721966,0.000011820371],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99824923,0.000053755997,0.00039781665,0.00019344239,0.0002588078,0.00084692094],"domain_scores_gemma":[0.9987968,0.000694254,0.00006614201,0.00029568694,0.000042169726,0.00010493619],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009949114,0.00015785653,0.00024976692,0.00024214713,0.00022141672,0.00010419557,0.00048405732,0.00009773923,0.00006597572],"category_scores_gemma":[0.00019976043,0.00012722678,0.000035323777,0.0007366846,0.0026566174,0.00018881995,0.00037816606,0.00033456198,0.000034826535],"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.0000061943715,0.0000218238,0.0002299091,0.000020839292,0.000005863729,0.0000051059383,0.0020519088,0.000011255438,0.00002259242,0.98373866,0.000019141602,0.013866693],"study_design_scores_gemma":[0.00021735112,0.00017136964,0.00039861427,0.0000116351575,0.0000061762744,0.00004677511,0.00007545706,0.16242892,0.000783285,0.8356854,0.000036684145,0.00013836239],"about_ca_topic_score_codex":0.0000036870767,"about_ca_topic_score_gemma":0.000009491575,"teacher_disagreement_score":0.25535542,"about_ca_system_score_codex":0.000053817515,"about_ca_system_score_gemma":0.00016635499,"threshold_uncertainty_score":0.9788418},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.2632712,0.000035257195,0.7349207,0.0011445294,0.00014400492,0.00015708475,8.688222e-7,0.00012014826,0.00020621525],"genre_scores_gemma":[0.9748439,0.00007221834,0.024879295,0.00016912734,0.000015813242,0.000013470029,0.0000016873006,0.000002979567,0.0000014741981],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99797404,0.000038316346,0.0004742273,0.0002680599,0.00034694554,0.00089839555],"domain_scores_gemma":[0.9989623,0.0003791699,0.00006201006,0.00044183928,0.0000580674,0.00009665201],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001763387,0.0001454163,0.00021707872,0.00037970868,0.00014776671,0.00034279758,0.0009737294,0.000054676417,0.0000026969697],"category_scores_gemma":[0.00032271357,0.000118527714,0.000030008436,0.0022963241,0.0011434779,0.00056181086,0.0009003817,0.00028515756,0.000026726815],"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.0000012332796,0.000025908103,0.0004374385,0.000019398372,0.0000012494846,0.0000066788575,0.000843965,0.00086662,0.00001877163,0.978325,0.000006693892,0.019447012],"study_design_scores_gemma":[0.00013601943,0.00007602877,0.0043269116,0.000030321065,9.2400603e-7,0.000018173836,0.000020163068,0.62292975,0.00026555272,0.37207046,0.000019040344,0.00010664251],"about_ca_topic_score_codex":0.0000076100937,"about_ca_topic_score_gemma":0.000014255391,"teacher_disagreement_score":0.71157277,"about_ca_system_score_codex":0.00012055218,"about_ca_system_score_gemma":0.00026633206,"threshold_uncertainty_score":0.483342},"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":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.016917527,0.00009782128,0.98096806,0.0013585491,0.00016156287,0.00026382136,0.000001527463,0.00009179366,0.00013932773],"genre_scores_gemma":[0.94071543,0.000075628785,0.057900492,0.0012241737,0.000042965326,0.000032927914,0.0000017182826,0.0000031596499,0.000003513705],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9986014,0.00001713644,0.00025002705,0.00019972933,0.00030134834,0.00063036504],"domain_scores_gemma":[0.9986573,0.00084409135,0.00005445641,0.00031106902,0.00006614975,0.000066965506],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011578739,0.00011321675,0.00011370634,0.000109648776,0.00041179176,0.0002965688,0.0011137943,0.000035230278,0.0000043912455],"category_scores_gemma":[0.000076511045,0.00006996483,0.00003561765,0.0009980693,0.0011028859,0.0005438391,0.00054885517,0.00018185235,0.000015478641],"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.0000033789202,0.000011293952,0.000020999529,0.000008449499,0.000001989011,7.480602e-7,0.0003759913,0.0019598145,0.000015283798,0.95132107,0.0000130533135,0.046267938],"study_design_scores_gemma":[0.000109230175,0.00012298363,0.0001822481,0.0000064361225,9.866957e-7,0.000014712084,0.000012807424,0.5562772,0.00021018504,0.44287017,0.0001247259,0.000068303154],"about_ca_topic_score_codex":6.087851e-7,"about_ca_topic_score_gemma":9.959697e-7,"teacher_disagreement_score":0.9237979,"about_ca_system_score_codex":0.00004879504,"about_ca_system_score_gemma":0.00016309078,"threshold_uncertainty_score":0.4063629},"labels":[],"label_agreement":null}]}