{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":23,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":23,"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":"b369cf7e8dec","filters":{"venue":"ACM SIGLOG News"}},"results":[{"id":"W2962731772","doi":"10.1145/2984450.2984455","title":"Algebraic proof complexity","year":2016,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Proof complexity; Algebraic number; Mathematics; Circuit complexity; Upper and lower bounds; Connection (principal bundle); Discrete mathematics; Algebraic number theory; Polynomial; Computer science; Algebra over a field; Pure mathematics; Electronic circuit","retraction":null,"screen_n_in":null,"score":{"opus":0.05705805629815051,"gpt":0.2720437758751473,"spread":0.2149857195769967,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002140381,0.0001810777,0.0002084167,0.0001025159,0.0001797219,0.0001009408,0.002688618,0.00006773772,0.0002027191],"category_scores_gemma":[0.0002781397,0.0001213463,0.0001189401,0.0004181474,0.00022938,0.0005361457,0.001157438,0.0001104896,0.0004180354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003812105,"about_ca_system_score_gemma":0.00005884275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006351264,"about_ca_topic_score_gemma":0.00009594092,"domain_scores_codex":[0.9984026,0.00009051456,0.0002521841,0.0005234629,0.0002951479,0.0004360668],"domain_scores_gemma":[0.9976003,0.0003228463,0.00008813331,0.001773125,0.00006660753,0.0001490452],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005290647,0.00009525268,0.00202492,0.000007761511,0.00002007764,0.00002037637,0.0001704096,5.754468e-7,0.00204245,0.4627162,0.01571061,0.517186],"study_design_scores_gemma":[0.0006468474,0.0001415661,0.009464577,0.00003574492,0.000004588016,0.00003908461,0.000009266736,0.0005930049,0.005541118,0.8945599,0.08860291,0.0003614161],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02679149,0.0002327159,0.9278423,0.03141686,0.001330124,0.0004088701,0.0000157613,0.0007375182,0.01122441],"genre_scores_gemma":[0.7996475,0.000035179,0.1955493,0.002635543,0.0003562375,0.00004318518,0.000003089328,0.00002060733,0.001709367],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7728561,"threshold_uncertainty_score":0.5373139,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2902878758","doi":"10.1145/3292048.3292050","title":"Constraint satisfaction problems","year":2018,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Conjecture; Constraint satisfaction problem; Constraint (computer-aided design); Constraint satisfaction dual problem; Complexity of constraint satisfaction; Constraint satisfaction; Backtracking; Mathematics; Combinatorics; Computer science; Mathematical economics; Local consistency; Mathematical optimization; Statistics; Geometry","retraction":null,"screen_n_in":null,"score":{"opus":0.03928523442880928,"gpt":0.311409972750338,"spread":0.2721247383215288,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000276588,0.0001039458,0.0001057197,0.0001024793,0.0001603127,0.00009105139,0.0009956501,0.0000545143,0.0001820244],"category_scores_gemma":[0.0003170703,0.00009208851,0.00004064196,0.0004194241,0.0002951104,0.0004673741,0.0004500354,0.0001497874,0.001017385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004029851,"about_ca_system_score_gemma":0.00005925535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007495879,"about_ca_topic_score_gemma":0.0001707482,"domain_scores_codex":[0.9987959,0.00009212508,0.0001578922,0.0003633406,0.0002427791,0.0003480243],"domain_scores_gemma":[0.9984637,0.0001768604,0.00005628331,0.001076819,0.0001180577,0.000108314],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001132079,0.00003047088,0.0126713,0.000009951042,0.00001951879,0.00001241249,0.000718507,0.00002067966,0.02672981,0.2967795,0.003889268,0.6591073],"study_design_scores_gemma":[0.0006552318,0.0005953303,0.0192129,0.00002829102,0.000003863312,0.00008966849,0.00009684753,0.002309977,0.01490955,0.9072732,0.05442955,0.0003955911],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08431116,0.00006276434,0.8949433,0.002407413,0.0007167213,0.0004603013,0.000002863496,0.0004672295,0.01662826],"genre_scores_gemma":[0.9334118,0.00001557318,0.06562345,0.000434246,0.0001459479,0.00002322839,8.737265e-7,0.000008808219,0.0003361059],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8491006,"threshold_uncertainty_score":0.9997604,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2768930898","doi":"10.1145/3157831.3157837","title":"Probabilistic bisimilarity distances","year":2017,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Computational Drug Discovery Methods","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Probabilistic logic; Statistical model; Computer science; Probabilistic relevance model; Probabilistic argumentation; Column (typography); Mathematics; Theoretical computer science; Probabilistic analysis of algorithms; Artificial intelligence; Geometry; Connection (principal bundle)","retraction":null,"screen_n_in":null,"score":{"opus":0.06332600992454658,"gpt":0.3533270686065424,"spread":0.2900010586819959,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004181317,0.0001351012,0.0001702415,0.00004078001,0.0004833972,0.0006882118,0.003886906,0.00004584144,0.00001676466],"category_scores_gemma":[0.002945629,0.0001193682,0.0000748271,0.00009753794,0.0001429422,0.0009768982,0.001392361,0.0001266297,0.00007481288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000453436,"about_ca_system_score_gemma":0.0001201387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000129075,"about_ca_topic_score_gemma":0.0001636475,"domain_scores_codex":[0.9986748,0.0001225688,0.0001967538,0.0004602297,0.0002961149,0.0002495584],"domain_scores_gemma":[0.9965878,0.000555522,0.0001758626,0.002510967,0.00007640087,0.0000934634],"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.00001772373,0.0001738248,0.01934238,0.00004772036,0.00003511575,0.00006530629,0.0005218863,0.002779194,0.0001796679,0.5417314,0.009085094,0.4260207],"study_design_scores_gemma":[0.0003081482,0.00005119918,0.1470485,0.00002134461,0.000007625258,0.00001114589,0.00001046613,0.03897008,0.0002663554,0.7762139,0.03678969,0.0003015255],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1289272,0.0002032467,0.8253629,0.01794686,0.001972825,0.0004009003,0.00001366779,0.0003013479,0.02487105],"genre_scores_gemma":[0.830479,0.00001079873,0.1685193,0.0004886405,0.0001547882,0.00002169192,0.000002636514,0.000008126704,0.0003149953],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7015519,"threshold_uncertainty_score":0.7222903,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3108284226","doi":"10.1145/3436980.3436984","title":"The ABCs of petri net reachability relaxations","year":2020,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Reachability; Petri net; Concurrency; Computer science; Branching (polymer chemistry); Stochastic Petri net; Process architecture; Reachability problem; Theoretical computer science; Programming language; Distributed computing; Algorithm","retraction":null,"screen_n_in":null,"score":{"opus":0.04943174827778196,"gpt":0.2710576643439669,"spread":0.221625916066185,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005510809,0.0001050175,0.0001763971,0.0000311571,0.0001757415,0.00007724358,0.002501819,0.00005983885,0.000005657834],"category_scores_gemma":[0.003280884,0.00007595702,0.00008377599,0.0007223786,0.00007415412,0.0002368447,0.000767305,0.0001689668,0.00005672195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003700311,"about_ca_system_score_gemma":0.000101321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001247976,"about_ca_topic_score_gemma":0.00003889431,"domain_scores_codex":[0.9984963,0.0001715746,0.0004333689,0.0003490671,0.0003272978,0.0002224064],"domain_scores_gemma":[0.9968349,0.001035454,0.0002232052,0.001686578,0.0001173659,0.0001024947],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008174167,0.0002604089,0.04911244,0.0002034709,0.000182603,0.00003263723,0.02248285,0.01090356,0.01568986,0.2821113,0.1414156,0.4775235],"study_design_scores_gemma":[0.001629483,0.0007111566,0.01529576,0.00009809032,0.00004742879,0.0000445361,0.00104467,0.4414795,0.004984924,0.0600027,0.4736691,0.0009926191],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08001032,0.001420606,0.8466974,0.05458874,0.001229391,0.0006192659,0.00001219184,0.0004711955,0.01495083],"genre_scores_gemma":[0.9644533,0.00004909522,0.03456067,0.000647539,0.0001308557,0.00001365267,0.000001378672,0.000007703472,0.0001357459],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.884443,"threshold_uncertainty_score":0.4649044,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2336283925","doi":"10.1145/2815493.2815501","title":"Probabilistic bisimulation","year":2015,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Computer science; Artificial intelligence; Discrete mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.1219169949482362,"gpt":0.3418267903558216,"spread":0.2199097954075855,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005120588,0.00007832982,0.00008537019,0.00005883901,0.00004028229,0.00007793074,0.001009452,0.00005332959,0.000005025974],"category_scores_gemma":[0.002572137,0.00007033693,0.00002389987,0.0003459819,0.00002846068,0.000570579,0.000262602,0.00007135297,0.0002788366],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000695129,"about_ca_system_score_gemma":0.00007054663,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000033947,"about_ca_topic_score_gemma":0.000005866753,"domain_scores_codex":[0.999086,0.0001156424,0.000178228,0.0002430276,0.0002190293,0.0001580517],"domain_scores_gemma":[0.9984841,0.0001063103,0.00007782626,0.001117553,0.0001149183,0.00009930484],"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.00002002046,0.0001119632,0.004456697,0.00002095935,0.00001055745,0.000006871398,0.002096663,0.007594494,0.000897081,0.6019902,0.01057181,0.3722228],"study_design_scores_gemma":[0.000746932,0.0002959118,0.01074305,0.00001497219,0.000009572715,0.00002357594,0.00006442981,0.4955504,0.002531595,0.4142375,0.07536969,0.0004123258],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03168134,0.00005625846,0.9579434,0.0009965764,0.000870523,0.0002422174,4.933598e-7,0.0002997945,0.007909335],"genre_scores_gemma":[0.338413,0.000001603569,0.6610193,0.0002966967,0.00007879367,0.00001550176,0.000002238941,0.00000524767,0.0001675506],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4879559,"threshold_uncertainty_score":0.3583974,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2562647514","doi":"10.1145/3026744.3026746","title":"An improved homomorphism preservation theorem from lower bounds in circuit complexity","year":2016,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Homomorphism; Quantifier elimination; Rank (graph theory); Mathematics; Isomorphism (crystallography); Sentence; Quantifier (linguistics); Discrete mathematics; Upper and lower bounds; Function (biology); Combinatorics; Computer science","retraction":null,"screen_n_in":null,"score":{"opus":0.06368496125477932,"gpt":0.3068169852129929,"spread":0.2431320239582136,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006199116,0.0002018487,0.0002517623,0.0001782265,0.0001277038,0.0001618679,0.003373464,0.0001188713,0.0001835831],"category_scores_gemma":[0.0006278562,0.0001492485,0.00006701777,0.000570303,0.0003178118,0.002224498,0.0007095621,0.0002142976,0.0001151994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001271231,"about_ca_system_score_gemma":0.00009316282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006099009,"about_ca_topic_score_gemma":0.0008905889,"domain_scores_codex":[0.99763,0.0003660937,0.0003275318,0.0007525306,0.0003658589,0.0005579957],"domain_scores_gemma":[0.9961503,0.0007156314,0.0001148959,0.002718478,0.0001214067,0.0001793337],"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.0001491535,0.0003861666,0.02675619,0.000006631422,0.00002573679,0.00005427158,0.001030602,0.00001242,0.2913641,0.5195251,0.0005978914,0.1600917],"study_design_scores_gemma":[0.0009975608,0.0002195507,0.03472203,0.00002267153,0.000001863916,0.000002475695,0.00002148936,0.003267331,0.003093441,0.9556391,0.001765418,0.0002470712],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5252822,0.00007179305,0.4695104,0.002795838,0.0003535875,0.0004285387,0.00003207085,0.000239963,0.001285653],"genre_scores_gemma":[0.9794418,0.00001870409,0.01961931,0.0004655436,0.00009209056,0.00005165687,0.00001328958,0.00002135532,0.0002762302],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4541596,"threshold_uncertainty_score":0.6268791,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2741584520","doi":"10.1145/3129173.3129176","title":"2017 Kleene award","year":2017,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Constructive; Presentation (obstetrics); Completeness (order theory); Computer science; Kleene's recursion theorem; Kleene algebra; Calculus (dental); Mathematics; Programming language; Discrete mathematics; Algorithm; Medicine","retraction":null,"screen_n_in":null,"score":{"opus":0.06795900448942767,"gpt":0.3532362460411129,"spread":0.2852772415516852,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002544771,0.0001212158,0.0001881221,0.00002900246,0.0004352698,0.0004375071,0.004005498,0.00005798564,0.00002159099],"category_scores_gemma":[0.0008471555,0.00009613189,0.00008140549,0.00005976503,0.00007922998,0.0005238507,0.001332624,0.000130597,0.0003770514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000140365,"about_ca_system_score_gemma":0.00003130892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002539654,"about_ca_topic_score_gemma":0.000007675787,"domain_scores_codex":[0.99893,0.00005927997,0.0001473085,0.0003738776,0.000183918,0.0003056288],"domain_scores_gemma":[0.9965285,0.0001430324,0.0001450937,0.002997645,0.00003864192,0.0001471068],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00000159625,0.00002785965,0.002164273,0.000002754105,0.000009023936,0.00004745602,0.00005149118,0.000001278121,0.001958446,0.00783674,0.01183686,0.9760622],"study_design_scores_gemma":[0.0008869726,0.0002647091,0.09783301,0.00003091528,0.00001358263,0.00004940396,0.0000171818,0.006575669,0.007383277,0.2054867,0.6807463,0.0007123076],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004780089,0.0001761135,0.9541109,0.01855024,0.002444117,0.0001297006,0.000002474732,0.0001952994,0.01961108],"genre_scores_gemma":[0.04840485,0.00007240759,0.9472455,0.001266886,0.0004452219,0.00001184017,5.877718e-7,0.00001015986,0.002542558],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9753499,"threshold_uncertainty_score":0.7443278,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4293248785","doi":"10.1145/3559736.3559739","title":"Complexity column","year":2022,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Column (typography); Constraint satisfaction problem; Generalization; Constraint (computer-aided design); Computer science; Quarter (Canadian coin); Theoretical computer science; Mathematics; Artificial intelligence; Geography; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.04491169681758451,"gpt":0.260486389094718,"spread":0.2155746922771335,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001165722,0.0000579371,0.00007356167,0.00005351978,0.0003251903,0.00006467655,0.0007205642,0.00001400832,0.001374993],"category_scores_gemma":[0.00006176504,0.00006646523,0.00003655227,0.0003175119,0.00003416297,0.0001694545,0.0006875882,0.0001153216,0.00006978307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005964629,"about_ca_system_score_gemma":0.0000579345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001195145,"about_ca_topic_score_gemma":0.0001087464,"domain_scores_codex":[0.9992663,0.00008512787,0.0001189283,0.0002068535,0.0001891912,0.0001335899],"domain_scores_gemma":[0.9992669,0.00006429245,0.00005227419,0.000543241,0.00002289236,0.00005045493],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001453399,0.0001667654,0.03367389,0.000007015933,0.00002839204,0.00004166594,0.001508933,0.007336902,0.000847184,0.371833,0.1318929,0.4526488],"study_design_scores_gemma":[0.001460851,0.0002966837,0.09496084,0.000003489629,0.00001048152,0.0002017832,0.0005047158,0.1440793,0.000270844,0.07509752,0.6824409,0.0006725103],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02052529,0.0000578219,0.9256755,0.02003113,0.001813411,0.0003689723,0.00001759128,0.0006706587,0.03083961],"genre_scores_gemma":[0.9073352,0.000006366633,0.0876517,0.003864267,0.00004336343,0.00003680197,0.0000144265,0.000006019518,0.001041893],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8868099,"threshold_uncertainty_score":0.9995379,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4233050175","doi":"10.1145/2984450.2984456","title":"Semantics column","year":2016,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Soundness; Column (typography); Semantics (computer science); Component (thermodynamics); Computer science; Programming language; Philosophy; Epistemology; Physics","retraction":null,"screen_n_in":null,"score":{"opus":0.03022646206520492,"gpt":0.2554961291519797,"spread":0.2252696670867748,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001949965,0.000108804,0.0001472447,0.0000409235,0.00008231203,0.0001179958,0.001349322,0.0000756962,0.00003297088],"category_scores_gemma":[0.0002147602,0.00006745211,0.00006151494,0.0001831318,0.00004657366,0.0002590575,0.0004302867,0.00004949764,0.001135781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002729446,"about_ca_system_score_gemma":0.00004467852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001157144,"about_ca_topic_score_gemma":0.00009817462,"domain_scores_codex":[0.9989427,0.00005595966,0.0001811087,0.0003133104,0.0001927593,0.0003141185],"domain_scores_gemma":[0.998485,0.0001570342,0.00008128319,0.001124269,0.00005578502,0.000096678],"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.000003223595,0.00006736429,0.02497867,0.00001688076,0.00002711654,0.00005951721,0.0004594583,5.643016e-7,0.003275842,0.5735126,0.0506514,0.3469474],"study_design_scores_gemma":[0.0006406839,0.0001960064,0.002884643,0.00000844325,0.000007629793,0.00004890113,0.00003051702,0.0001396223,0.002411108,0.1351755,0.8581209,0.000336024],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007279693,0.0002534197,0.9647201,0.007738349,0.001991727,0.000304417,8.505455e-7,0.0005390315,0.01717247],"genre_scores_gemma":[0.9870664,0.00002804615,0.006680083,0.0005099229,0.000224775,0.00001365752,5.180547e-7,0.000008450044,0.005468124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9797868,"threshold_uncertainty_score":0.999642,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4408293789","doi":"10.1145/3723141.3723144","title":"Complexity Column","year":2025,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Column (typography); Computer science; Computer network","retraction":null,"screen_n_in":null,"score":{"opus":0.04422964664292883,"gpt":0.2960666793611475,"spread":0.2518370327182187,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001777892,0.0001383911,0.0001990774,0.0001366921,0.0002618036,0.0001886359,0.002624751,0.00006464693,0.000074064],"category_scores_gemma":[0.0002043104,0.0001407368,0.0001049602,0.0008761007,0.0001631421,0.0002562,0.001372003,0.0001835164,0.0001341629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003642367,"about_ca_system_score_gemma":0.00008993181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003002885,"about_ca_topic_score_gemma":0.0002773385,"domain_scores_codex":[0.998777,0.00007464701,0.0002253908,0.0004209494,0.0001835448,0.000318441],"domain_scores_gemma":[0.9979948,0.0002559653,0.00005149356,0.00155863,0.00006419222,0.00007485259],"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.000003778362,0.00008542638,0.002898037,0.00001315007,0.00002431069,0.00001278851,0.0001275954,0.000007276235,0.0001625453,0.8147264,0.05934143,0.1225972],"study_design_scores_gemma":[0.0004107523,0.00004952966,0.01729318,0.00002419841,0.000006632229,0.00000776039,0.00002994344,0.007518932,0.0005995299,0.7505542,0.2232822,0.0002231174],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01453163,0.0005133917,0.8519508,0.02283164,0.00279725,0.000425385,0.00001118687,0.0009238396,0.1060149],"genre_scores_gemma":[0.49573,0.00006805813,0.4840949,0.01332321,0.0002276208,0.00005535507,0.00001221182,0.00001446952,0.006474236],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4811983,"threshold_uncertainty_score":0.5739082,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4410161521","doi":"10.1145/3734192.3734194","title":"Semantics Column","year":2025,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Semantics (computer science); Computer science; Programming language; Computer network","retraction":null,"screen_n_in":null,"score":{"opus":0.02335366936589616,"gpt":0.2695427972365912,"spread":0.246189127870695,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001861319,0.0001040588,0.0001599364,0.00006989916,0.0001146618,0.0002024816,0.00141602,0.00008116792,0.00001152949],"category_scores_gemma":[0.0001854118,0.00009062559,0.00006270553,0.0004345039,0.00003531957,0.0001533646,0.0005491592,0.00009676584,0.0002705338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002681717,"about_ca_system_score_gemma":0.00008140978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002471646,"about_ca_topic_score_gemma":0.0001544066,"domain_scores_codex":[0.9990474,0.0000538192,0.0001896058,0.0003014581,0.0001427143,0.0002650316],"domain_scores_gemma":[0.9986355,0.0001169099,0.00005833735,0.001077926,0.00005732853,0.00005405364],"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.000001790141,0.00005304677,0.01392716,0.00003239445,0.00002752448,0.00002660488,0.0003161374,0.000005135044,0.0002407709,0.841243,0.06214293,0.08198356],"study_design_scores_gemma":[0.0003722036,0.00007784612,0.002696578,0.000006942399,0.00001154423,0.00001121328,0.00006799756,0.001359191,0.0008604765,0.1726844,0.8216411,0.0002104602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003494689,0.000707969,0.9023756,0.006113612,0.003045389,0.0003966205,4.428122e-7,0.0005499153,0.08331577],"genre_scores_gemma":[0.9797704,0.00002181746,0.00868551,0.001467694,0.0001065918,0.00001805142,0.000001677439,0.000005088187,0.009923202],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9762757,"threshold_uncertainty_score":0.3695604,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396981007","doi":"10.1145/3665453.3665458","title":"Complexity Column","year":2024,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Column (typography); Computer science; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.06455749615922264,"gpt":0.2977449406978264,"spread":0.2331874445386037,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002029652,0.0001480134,0.0001648084,0.000121525,0.0001692215,0.0005070706,0.002002692,0.00006033671,0.0001823113],"category_scores_gemma":[0.00009595748,0.0001403011,0.0001293469,0.0007615176,0.0001439266,0.0004516475,0.0009422669,0.0002337253,0.0007197949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003629375,"about_ca_system_score_gemma":0.00007669826,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002133303,"about_ca_topic_score_gemma":0.0001480011,"domain_scores_codex":[0.9986479,0.00005999328,0.0002043497,0.0004991279,0.0002559789,0.0003326222],"domain_scores_gemma":[0.9983402,0.0002847146,0.00002499329,0.001202164,0.00003505487,0.0001128273],"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.000001652147,0.00004346932,0.0002778708,0.0000294227,0.00002727614,0.0001067208,0.0004030656,0.00000627739,0.0002337227,0.7261569,0.06667213,0.2060415],"study_design_scores_gemma":[0.0001264547,0.00007487593,0.001936339,0.00003609841,0.00000634296,0.00006242481,0.00002194954,0.0365044,0.0003037406,0.5631568,0.3975106,0.0002600322],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01670816,0.003279226,0.890777,0.0267265,0.00695257,0.0004999855,0.00003472851,0.003440442,0.0515814],"genre_scores_gemma":[0.6440212,0.0001213922,0.3482917,0.003596322,0.0007771952,0.000045241,0.00001640776,0.00003288128,0.003097703],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.627313,"threshold_uncertainty_score":0.9251748,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3137835047","doi":"10.1145/3262168","title":"Session details: Semantics","year":2015,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Column (typography); Session (web analytics); Semantics (computer science); Component (thermodynamics); Foundation (evidence); Connection (principal bundle); Subject (documents); Computer science; Quarter (Canadian coin); Mathematics education; Mathematics; Theoretical computer science; Algebra over a field; Pure mathematics; Programming language; World Wide Web; Political science; History; Geometry","retraction":null,"screen_n_in":null,"score":{"opus":0.05597036807902019,"gpt":0.2860830191579579,"spread":0.2301126510789377,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000294098,0.0001444353,0.0001745743,0.0000586753,0.00009084067,0.0001481506,0.001552885,0.00009884435,0.00001610833],"category_scores_gemma":[0.00072649,0.0001097123,0.00006162659,0.0003009134,0.00003747797,0.0004102502,0.0008515476,0.0001318157,0.0009643966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004407678,"about_ca_system_score_gemma":0.0001384934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004978666,"about_ca_topic_score_gemma":0.00005996107,"domain_scores_codex":[0.9988193,0.00008428409,0.0001766639,0.0003464186,0.0002477689,0.0003255961],"domain_scores_gemma":[0.9983247,0.000123075,0.0000806946,0.001111288,0.0001245127,0.0002357388],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002512552,0.0004430294,0.08464901,0.00004744807,0.00005577632,0.0003796289,0.009862758,0.00009176569,0.002630858,0.169882,0.4551613,0.2767713],"study_design_scores_gemma":[0.002859524,0.0007433529,0.01027584,0.0001037388,0.00004684714,0.0002855521,0.0007340852,0.02942294,0.01054339,0.210849,0.732722,0.001413796],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1633245,0.002703107,0.6334416,0.008275857,0.005583134,0.0005086427,0.000002159147,0.001415945,0.1847451],"genre_scores_gemma":[0.9516199,0.00004441632,0.04400765,0.0008869995,0.0003348278,0.000008242878,0.000002934142,0.00001279178,0.003082203],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7882954,"threshold_uncertainty_score":0.9998135,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396981000","doi":"10.1145/3665453.3665456","title":"Semantics Column","year":2024,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Computer science; Semantics (computer science); Programming language; Natural language processing; Computer network","retraction":null,"screen_n_in":null,"score":{"opus":0.03072058701398835,"gpt":0.2712612910600725,"spread":0.2405407040460842,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002106765,0.0001109252,0.0001338469,0.00006262714,0.00007579198,0.000512785,0.00109686,0.0000760465,0.00002679638],"category_scores_gemma":[0.00009062559,0.00009035859,0.00007627557,0.0003819631,0.00003155764,0.0002588038,0.0003888019,0.000121959,0.001333896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002677701,"about_ca_system_score_gemma":0.00006926065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001768622,"about_ca_topic_score_gemma":0.00008523132,"domain_scores_codex":[0.9989585,0.00004352357,0.0001730218,0.0003539835,0.0001948729,0.0002760997],"domain_scores_gemma":[0.9988863,0.0001272922,0.00002961986,0.0008450001,0.00003240655,0.00007932018],"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":[8.715009e-7,0.0000297842,0.001626713,0.00007296701,0.00003261543,0.0002071473,0.0009860607,0.000004712562,0.0003607567,0.7823043,0.07452676,0.1398473],"study_design_scores_gemma":[0.00009725677,0.00009076751,0.0002656616,0.000007956848,0.00000884001,0.00006359226,0.00004087373,0.004781242,0.0003597916,0.0934955,0.9005964,0.0001921044],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003965175,0.003962947,0.9337834,0.006973268,0.007069553,0.0004506196,0.000001245676,0.001837216,0.04195662],"genre_scores_gemma":[0.987414,0.0000388119,0.006439643,0.0004525007,0.000353948,0.00001574191,0.00000228871,0.00001163306,0.005271408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9834489,"threshold_uncertainty_score":0.9994437,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4389314516","doi":"10.1145/3636362.3636364","title":"Complexity Column","year":2023,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Undecidable problem; Word problem (mathematics education); Decidability; Semigroup; Intersection (aeronautics); Mathematics; Group (periodic table); Column (typography); Decision problem; Computational complexity theory; Word (group theory); Discrete mathematics; Computer science; Theoretical computer science; Algebra over a field; Algorithm; Arithmetic; Pure mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.06774780822632265,"gpt":0.2883472779466192,"spread":0.2205994697202966,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002568048,0.00009593167,0.0001320493,0.00007281663,0.0001285412,0.0001215682,0.001760988,0.00004503014,0.00008316051],"category_scores_gemma":[0.0001654372,0.00008939292,0.00005823435,0.0006704933,0.00006451898,0.0002449986,0.0009538431,0.00008630574,0.002448155],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001773659,"about_ca_system_score_gemma":0.00002903081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001262995,"about_ca_topic_score_gemma":0.00004541925,"domain_scores_codex":[0.9990063,0.00005827544,0.000144343,0.000303457,0.0001782784,0.0003092907],"domain_scores_gemma":[0.9984373,0.0002350968,0.00004409602,0.001178842,0.00002264303,0.00008196068],"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.00000438235,0.00005801524,0.004130158,0.00001602235,0.00002231085,0.0001146605,0.0008383735,0.00002998453,0.003836101,0.4665851,0.3721539,0.152211],"study_design_scores_gemma":[0.0005588122,0.0001054646,0.06249384,0.00001992879,0.000005653206,0.00003103154,0.0001586144,0.03549786,0.001809833,0.7153205,0.1835415,0.0004569524],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8008912,0.0002837387,0.1141872,0.03114329,0.00365285,0.0006419007,0.00002873499,0.007697579,0.04147351],"genre_scores_gemma":[0.9651784,0.00003800965,0.02780444,0.003915319,0.000224952,0.00002656465,0.00001888667,0.00001815847,0.002775217],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2487354,"threshold_uncertainty_score":0.9983286,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4235412025","doi":"10.1145/3397619.3397620","title":"Verification column","year":2020,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Column (typography); Computer science; Focus (optics); Quarter (Canadian coin); Automaton; Artificial intelligence; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.07760133858126825,"gpt":0.2978954237337485,"spread":0.2202940851524803,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001877653,0.0000840928,0.00009976955,0.00002676618,0.0000739297,0.00009543051,0.0016049,0.00005771187,0.00003006889],"category_scores_gemma":[0.0009937162,0.00008733316,0.00003680691,0.0004520997,0.0000298811,0.0005114443,0.0002774123,0.0001071316,0.0006594629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002740832,"about_ca_system_score_gemma":0.00004053591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002033749,"about_ca_topic_score_gemma":0.000001872893,"domain_scores_codex":[0.9990331,0.00009731603,0.0001934341,0.0003319976,0.0001797034,0.000164468],"domain_scores_gemma":[0.998695,0.00006801381,0.00009260544,0.0009816614,0.00005171384,0.0001110027],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002463559,0.0000681586,0.002855974,0.00003636595,0.00001849699,0.000008564106,0.003411357,0.0001266125,0.05084654,0.3646121,0.04474605,0.5332451],"study_design_scores_gemma":[0.0008558157,0.0005086463,0.03309057,0.00001519516,0.00001702325,0.00001889607,0.0001797563,0.1734973,0.07281586,0.02062274,0.6976135,0.0007647358],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007538564,0.00006556097,0.9750484,0.01057793,0.0003973455,0.0001929662,0.000001295898,0.0003721223,0.005805787],"genre_scores_gemma":[0.2186253,0.00002023896,0.7771962,0.003897095,0.0001384216,0.00002385646,0.00000400358,0.000007767208,0.00008706462],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6528674,"threshold_uncertainty_score":0.8476282,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4206460673","doi":"10.1145/3458593.3458594","title":"Verification column","year":2020,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Column (typography); Relevance (law); Quarter (Canadian coin); Computer science; Political science; History; Telecommunications; Law; Archaeology","retraction":null,"screen_n_in":null,"score":{"opus":0.04073593764287183,"gpt":0.2665553533010225,"spread":0.2258194156581507,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00006998131,0.00006835053,0.0000847381,0.00002430179,0.00007174168,0.00009573076,0.001114727,0.0000410988,0.00001416047],"category_scores_gemma":[0.0002415558,0.00007028719,0.00003071687,0.000317084,0.00001498056,0.0001846025,0.0002628979,0.00007183226,0.0001677268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001215813,"about_ca_system_score_gemma":0.00003160142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001714941,"about_ca_topic_score_gemma":0.000001073357,"domain_scores_codex":[0.9993284,0.00004272185,0.0001357615,0.0002589137,0.0001116547,0.0001225994],"domain_scores_gemma":[0.9992233,0.00005015476,0.00006017832,0.0005392516,0.00004476664,0.00008236864],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001592223,0.0001152437,0.005422376,0.00003128449,0.00002956488,0.00002255651,0.00356682,0.006964257,0.007658267,0.0882218,0.6127104,0.2752415],"study_design_scores_gemma":[0.0005632182,0.0003236988,0.004002857,0.00001517623,0.000007478231,0.000009680199,0.000035247,0.619166,0.01526442,0.01195507,0.3481511,0.0005060714],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001290362,0.00005978158,0.9794042,0.01317284,0.00008994532,0.00009553176,4.640746e-7,0.000902416,0.004984445],"genre_scores_gemma":[0.5199119,0.00003555929,0.4735222,0.006260084,0.0001008293,0.00001000848,0.000004614823,0.000006570184,0.0001481839],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6122018,"threshold_uncertainty_score":0.2866229,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4401359032","doi":"10.1145/3687256.3687259","title":"Semantics Column","year":2024,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Semantics (computer science); Computer science; Programming language; Computer network","retraction":null,"screen_n_in":null,"score":{"opus":0.03072058701398835,"gpt":0.2712612910600725,"spread":0.2405407040460842,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002106765,0.0001109252,0.0001338469,0.00006262714,0.00007579198,0.000512785,0.00109686,0.0000760465,0.00002679638],"category_scores_gemma":[0.00009062559,0.00009035859,0.00007627557,0.0003819631,0.00003155764,0.0002588038,0.0003888019,0.000121959,0.001333896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002677701,"about_ca_system_score_gemma":0.00006926065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001768622,"about_ca_topic_score_gemma":0.00008523132,"domain_scores_codex":[0.9989585,0.00004352357,0.0001730218,0.0003539835,0.0001948729,0.0002760997],"domain_scores_gemma":[0.9988863,0.0001272922,0.00002961986,0.0008450001,0.00003240655,0.00007932018],"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":[8.715009e-7,0.0000297842,0.001626713,0.00007296701,0.00003261543,0.0002071473,0.0009860607,0.000004712562,0.0003607567,0.7823043,0.07452676,0.1398473],"study_design_scores_gemma":[0.00009725677,0.00009076751,0.0002656616,0.000007956848,0.00000884001,0.00006359226,0.00004087373,0.004781242,0.0003597916,0.0934955,0.9005964,0.0001921044],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003965175,0.003962947,0.9337834,0.006973268,0.007069553,0.0004506196,0.000001245676,0.001837216,0.04195662],"genre_scores_gemma":[0.987414,0.0000388119,0.006439643,0.0004525007,0.000353948,0.00001574191,0.00000228871,0.00001163306,0.005271408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9834489,"threshold_uncertainty_score":0.9994437,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2740496174","doi":"10.1145/3129173.3129174","title":"The 2017 Alonzo Church award","year":2017,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Semantics (computer science); Order (exchange); Field (mathematics); Computer science; Citation; Sociology; Classics; Linguistics; Programming language; Philosophy; Library science; History; Mathematics; Business","retraction":null,"screen_n_in":null,"score":{"opus":0.05130812114383852,"gpt":0.2996879251411176,"spread":0.2483798039972791,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["sts","scholarly_communication","open_science","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005628501,0.0001409599,0.0001613805,0.00002297517,0.001504991,0.001332916,0.005824818,0.00008792464,0.000007049303],"category_scores_gemma":[0.0005832634,0.00008529762,0.00009645091,0.00005512683,0.0001536213,0.000412752,0.001203337,0.0001554827,0.0008540304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002288974,"about_ca_system_score_gemma":0.00006499646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008224241,"about_ca_topic_score_gemma":0.0003025584,"domain_scores_codex":[0.9986733,0.00007326183,0.0001947749,0.0003644487,0.0002692611,0.0004250042],"domain_scores_gemma":[0.995501,0.0001749153,0.0002251436,0.003927371,0.00006796446,0.0001035989],"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.000006352424,0.00004196594,0.01859128,0.00001138051,0.00004463598,0.0000738978,0.0007787872,0.000001784736,0.0003183612,0.4222891,0.1790994,0.3787431],"study_design_scores_gemma":[0.0002636237,0.00007481068,0.01899001,0.00000228127,0.00000494849,0.00003137198,0.00003337691,0.0002717128,0.0002340671,0.0648238,0.9150892,0.0001807626],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02091247,0.004941802,0.3187369,0.07896949,0.02419845,0.002042533,0.000003068078,0.001399938,0.5487954],"genre_scores_gemma":[0.9871008,0.0000993387,0.001717922,0.0003269354,0.0004716472,0.00003233385,9.607522e-7,0.000009124989,0.01024095],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9661883,"threshold_uncertainty_score":0.9999239,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4255700447","doi":"10.1145/3467001.3467002","title":"Verification column","year":2021,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Duration (music); Column (typography); Computer science; Quarter (Canadian coin); Field (mathematics); State (computer science); Work (physics); Mathematics; Engineering; Algorithm; Telecommunications; Mechanical engineering; Art; Geography","retraction":null,"screen_n_in":null,"score":{"opus":0.230048888147719,"gpt":0.4573298102679942,"spread":0.2272809221202753,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004217495,0.00006199679,0.0001150203,0.00005820499,0.0001323414,0.0001734109,0.0006147339,0.00006256489,0.001951297],"category_scores_gemma":[0.003631929,0.0000545184,0.00006875116,0.0008411663,0.00003481749,0.0001397291,0.0001484365,0.0000653915,0.001393126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002077036,"about_ca_system_score_gemma":0.00007046073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003076531,"about_ca_topic_score_gemma":0.00004726422,"domain_scores_codex":[0.9986529,0.00007642779,0.000352039,0.000353291,0.0004504126,0.0001149662],"domain_scores_gemma":[0.9972314,0.0007412385,0.0001085752,0.001493831,0.0003607778,0.00006419185],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006971266,0.000125442,0.0286497,0.000001517875,0.000008313163,0.000006496624,0.0002348164,0.0001327401,0.02840951,0.06126941,0.4215512,0.4596039],"study_design_scores_gemma":[0.0001059763,0.0000100785,0.02538827,0.00000175739,0.000003688146,0.000004602112,0.0002326215,0.0004675328,0.01296499,0.148104,0.8126323,0.00008420801],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5475341,0.0005496014,0.2057783,0.05322624,0.0008115682,0.0008655243,0.00006126698,0.0007752258,0.1903982],"genre_scores_gemma":[0.9708925,0.00002771683,0.01561254,0.0015071,0.00009701326,0.00004408943,0.00002279252,0.000007433406,0.01178882],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4595197,"threshold_uncertainty_score":0.9993844,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396981003","doi":"10.1145/3665453.3665457","title":"A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott","year":2024,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Categorical variable; Semantics (computer science); Cognitive science; Psychology; Mathematics; Geometry; Algebra over a field; Computer science; Pure mathematics; Programming language; Statistics","retraction":null,"screen_n_in":null,"score":{"opus":0.06361505629553076,"gpt":0.3058626743424644,"spread":0.2422476180469337,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008343185,0.00008977682,0.0001949457,0.0001436375,0.00002429701,0.00005815872,0.0006591592,0.00006778549,0.000005111987],"category_scores_gemma":[0.0006943847,0.00005813352,0.00007893876,0.0005967406,0.00004035926,0.0001228246,0.0001564823,0.0001333571,0.00001050576],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002623842,"about_ca_system_score_gemma":0.00006057653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00201773,"about_ca_topic_score_gemma":0.000557491,"domain_scores_codex":[0.9989907,0.0001409196,0.0003004256,0.0002361665,0.000174204,0.0001576477],"domain_scores_gemma":[0.9978982,0.001381486,0.00009839913,0.0005415612,0.00005549631,0.00002484923],"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.0001291286,0.0006499052,0.02666618,0.0007905914,0.0001848723,0.00004413044,0.00561504,0.0002534412,0.005020713,0.7289271,0.02733326,0.2043857],"study_design_scores_gemma":[0.004697206,0.007021089,0.1712313,0.0005715511,0.0001734603,0.0001862353,0.002664456,0.1375476,0.136496,0.4233368,0.1136748,0.002399512],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3820162,0.001941975,0.5986143,0.005550458,0.006413586,0.001770294,0.00001594313,0.0002246104,0.003452642],"genre_scores_gemma":[0.9992754,0.00001836349,0.0003763745,0.00009735989,0.00007598056,0.00001602264,0.000005009042,0.000007231961,0.0001282999],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6172591,"threshold_uncertainty_score":0.3050218,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2925744740","doi":"10.1145/3313909.3313915","title":"Women in Logic 2018 workshop report","year":2019,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Event (particle physics); Logic model; Computer science; Library science; Political science; Public administration","retraction":null,"screen_n_in":null,"score":{"opus":0.03896293176793796,"gpt":0.2720167680281156,"spread":0.2330538362601776,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007650368,0.000149575,0.0002740291,0.0001019171,0.00003745543,0.000138628,0.001397438,0.000126872,0.00009601646],"category_scores_gemma":[0.0003005237,0.0001195577,0.00005836839,0.000468276,0.00002892725,0.0003161505,0.0005467731,0.0001659204,0.00140746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000124664,"about_ca_system_score_gemma":0.00008315783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002710663,"about_ca_topic_score_gemma":0.0001073079,"domain_scores_codex":[0.9982054,0.00008122654,0.0003532945,0.000535926,0.0002353179,0.0005888907],"domain_scores_gemma":[0.9978715,0.0001364094,0.0001552504,0.00168183,0.00003540704,0.0001196176],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003315678,0.0004359541,0.5202188,0.0001046305,0.00007284449,0.002376526,0.009276999,0.0001411657,0.001323837,0.2625138,0.04202126,0.161481],"study_design_scores_gemma":[0.001439832,0.0004404458,0.02897813,0.00001967707,0.000004962328,0.000527151,0.0009236853,0.0009609581,0.0002302623,0.3223929,0.6431662,0.000915729],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6329436,0.001482412,0.1340503,0.00715212,0.01085466,0.002385951,7.50573e-7,0.001290544,0.2098396],"genre_scores_gemma":[0.982551,0.00001242486,0.00303291,0.0006607731,0.0001364125,0.00004754917,0.000002718209,0.000009579046,0.01354663],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.601145,"threshold_uncertainty_score":0.99937,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2740891638","doi":"10.1145/3129173.3129175","title":"2017 LICS test-of-time award","year":2017,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Honor; Test (biology); Library science; History; Computer science; Operations research; Engineering; Biology","retraction":null,"screen_n_in":null,"score":{"opus":0.03960364725736493,"gpt":0.2948623259756701,"spread":0.2552586787183052,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["open_science"],"consensus_categories":[],"category_scores_codex":[0.0004651989,0.000231864,0.0003930317,0.00007953832,0.0003691415,0.0003645729,0.007250283,0.0001358198,0.00003825814],"category_scores_gemma":[0.004727244,0.0002113581,0.0001645608,0.0001365941,0.0002349545,0.0006697376,0.003751579,0.0002008337,0.000523565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005031842,"about_ca_system_score_gemma":0.0001454283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003489922,"about_ca_topic_score_gemma":0.00005071975,"domain_scores_codex":[0.9980762,0.00006876382,0.0003792523,0.0006516755,0.0003789821,0.0004451166],"domain_scores_gemma":[0.9923176,0.001070859,0.0003845766,0.005878626,0.0001804503,0.0001679411],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00001441965,0.0007931165,0.1646815,0.00007547732,0.00007832874,0.0001603916,0.001266109,0.0001746451,0.01195232,0.006931273,0.07058895,0.7432835],"study_design_scores_gemma":[0.002303161,0.001397725,0.5530782,0.000102093,0.00005945141,0.0001630258,0.00003047366,0.1336023,0.01311921,0.1912015,0.1031248,0.001817965],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3513272,0.000953995,0.5011808,0.04914661,0.008980114,0.002236821,0.00006183761,0.001916027,0.08419669],"genre_scores_gemma":[0.6921117,0.00007373546,0.3038378,0.0006632433,0.0006425879,0.00002702992,0.000004225686,0.00003335201,0.002606289],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7414655,"threshold_uncertainty_score":0.998121,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}