{"meta":{"query_hash":"b369cf7e8dec","filters":{"venue":"ACM SIGLOG News"},"cohort_total":23,"direct_labels_cover":0,"predictions_cover":23,"exported":23,"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/b369cf7e8dec","api":"https://metacan.xera.ac/api/v1/cohort?venue=ACM+SIGLOG+News"},"results":[{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Computer science; Artificial intelligence; Discrete mathematics","score_opus":0.12191699494823618,"score_gpt":0.34182679035582164,"score_spread":0.21990979540758546,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2336283925","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.0023529872,0.031101102,0.8652782,0.0055051423,0.0032818113,0.00012270255,0.00031092428,0.0009058351,0.09114128],"genre_scores_gemma":[0.46021453,0.09039473,0.35466403,0.014724369,0.01033093,0.0019028255,0.0013124482,0.0015548385,0.06490129],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99397707,0.0017196694,0.00043082156,0.0013894311,0.002152278,0.00033070907],"domain_scores_gemma":[0.9963649,0.0018093241,0.00019124501,0.0006547784,0.00087970274,0.000100134384],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003864733,0.001086469,0.00097501546,0.0019576913,0.001009347,0.003062891,0.0021699239,0.0016607493,0.0066140643],"category_scores_gemma":[0.009358759,0.0006820091,0.0014152027,0.0017704683,0.0061663496,0.0076781595,0.0031578015,0.00581005,0.0028283857],"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.000009453004,0.000005151365,0.000023561835,0.00014291433,0.000018109335,0.000014269594,0.000054182845,0.0022478006,0.0002104073,0.9753268,0.0037958527,0.018151501],"study_design_scores_gemma":[0.000010626218,0.000024241283,0.00006441984,0.00015069229,0.000019799787,0.00008617729,0.00001918289,0.0064592897,0.001146179,0.85743487,0.13455787,0.000026725314],"about_ca_topic_score_codex":0.0013216779,"about_ca_topic_score_gemma":0.00066943176,"teacher_disagreement_score":0.0066140643,"about_ca_system_score_codex":0.0034663475,"about_ca_system_score_gemma":0.0021524418,"threshold_uncertainty_score":0.02515024},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.06368496125477932,"score_gpt":0.30681698521299294,"score_spread":0.24313202395821362,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2562647514","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.08584034,0.0019018566,0.821829,0.0052935965,0.00041498654,0.00018552973,0.0010744721,0.0035772417,0.07988297],"genre_scores_gemma":[0.8572087,0.0011740169,0.11996261,0.0026321835,0.0012468107,0.0003536783,0.0013379324,0.001264197,0.014819756],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9944938,0.0009275178,0.00026166753,0.0016130629,0.0019672494,0.00073673535],"domain_scores_gemma":[0.9843329,0.010265623,0.00050714985,0.0034992357,0.0009609738,0.0004340856],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0033482092,0.0011983921,0.0012973679,0.0017810354,0.0013878179,0.0044775615,0.0043223808,0.0015325791,0.012184716],"category_scores_gemma":[0.016101,0.00087925344,0.0034826978,0.0019419186,0.004199268,0.018145889,0.0063724895,0.009212848,0.001525039],"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.00016293509,0.0001417235,0.0009494232,0.00035707725,0.00006215413,0.0001971934,0.00047082375,0.015756376,0.007621459,0.92869514,0.005232395,0.040353276],"study_design_scores_gemma":[0.000029182565,0.00008492065,0.0006168797,0.000028525941,0.000060992577,0.00015905182,0.000056315333,0.043335754,0.006835472,0.9417393,0.0070196036,0.00003393395],"about_ca_topic_score_codex":0.0020018544,"about_ca_topic_score_gemma":0.0018029836,"teacher_disagreement_score":0.012184716,"about_ca_system_score_codex":0.0035797956,"about_ca_system_score_gemma":0.0014818234,"threshold_uncertainty_score":0.040761888},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.051308121143838516,"score_gpt":0.2996879251411176,"score_spread":0.24837980399727907,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2740496174","genre_codex":"other","genre_gemma":"commentary","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"commentary","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0017545618,0.011667839,0.004321974,0.2612919,0.33351249,0.00008401264,0.0019930142,0.0016008669,0.38377327],"genre_scores_gemma":[0.008185293,0.003560997,0.0011236871,0.011853011,0.020450285,0.00005601951,0.0010284368,0.00063615816,0.953106],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99643904,0.00038965195,0.000084476545,0.00033833698,0.002097647,0.00065085804],"domain_scores_gemma":[0.9944701,0.00042340066,0.00013834948,0.00029557032,0.0019870214,0.0026855234],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004381211,0.0008780683,0.0009052619,0.0015313661,0.0031463709,0.008795719,0.0011492968,0.0033653716,0.20551977],"category_scores_gemma":[0.008467377,0.0003765133,0.0009298783,0.0010891437,0.0013571415,0.005388584,0.0044052424,0.0052597746,0.13614239],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.00003455352,0.000011478775,0.00005871231,0.000018677185,0.0000021852559,0.000029044388,0.000016705359,0.000032179636,0.00004987513,0.010093894,0.9784113,0.011241453],"study_design_scores_gemma":[0.000007792371,0.0000078510475,0.00008860049,0.000024790454,0.0000013509302,0.00001118148,0.000035984653,0.00006419389,0.000046454625,0.0020465627,0.99766064,0.0000045459133],"about_ca_topic_score_codex":0.006513783,"about_ca_topic_score_gemma":0.017745472,"teacher_disagreement_score":0.20551977,"about_ca_system_score_codex":0.00474857,"about_ca_system_score_gemma":0.00617222,"threshold_uncertainty_score":0.68753207},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Honor; Test (biology); Library science; History; Computer science; Operations research; Engineering; Biology","score_opus":0.039603647257364934,"score_gpt":0.29486232597567014,"score_spread":0.2552586787183052,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2740891638","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.007921342,0.0045645116,0.027795052,0.12851822,0.16979477,0.00082051306,0.01148721,0.014658946,0.6344394],"genre_scores_gemma":[0.047455166,0.0033597823,0.0074468898,0.017556923,0.019179024,0.0005590915,0.017493658,0.0054097255,0.88153964],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9811065,0.0024852296,0.00081925694,0.0013262999,0.010662954,0.0035996635],"domain_scores_gemma":[0.90084857,0.006679882,0.0018187099,0.0050578625,0.047320466,0.03827454],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.019020671,0.0014007818,0.0025296623,0.003879192,0.0031873463,0.012888457,0.003507043,0.005393759,0.29866603],"category_scores_gemma":[0.044516854,0.00060574396,0.0017528054,0.0026384525,0.0023938015,0.0067855828,0.008195821,0.00712498,0.23782282],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.00019308242,0.0001136919,0.0005475572,0.000093952985,0.00001898899,0.00018778193,0.000031421336,0.00036466008,0.00034958925,0.013097395,0.9420126,0.042989172],"study_design_scores_gemma":[0.0000977218,0.00020606501,0.0011348481,0.00012566792,0.000019579282,0.000232158,0.000130442,0.0020556028,0.0010789679,0.00796464,0.98690224,0.00005201898],"about_ca_topic_score_codex":0.004218862,"about_ca_topic_score_gemma":0.005399313,"teacher_disagreement_score":0.29866603,"about_ca_system_score_codex":0.008461295,"about_ca_system_score_gemma":0.015861506,"threshold_uncertainty_score":0.9991374},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.06795900448942767,"score_gpt":0.35323624604111287,"score_spread":0.2852772415516852,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2741584520","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0025600698,0.009020469,0.016242452,0.10691903,0.10033787,0.00025376,0.0041486262,0.0027051347,0.7578126],"genre_scores_gemma":[0.015981277,0.007889926,0.0051182266,0.009038172,0.0145057915,0.00017204079,0.004532357,0.0018723722,0.9408898],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99195534,0.0008115547,0.00041290472,0.0008241313,0.0046445695,0.0013515811],"domain_scores_gemma":[0.9821738,0.001170902,0.00039513406,0.0010672217,0.008799707,0.006393232],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.007231589,0.001525063,0.0017552266,0.0034797965,0.0044342284,0.014635097,0.0023130851,0.0044440925,0.30428073],"category_scores_gemma":[0.017018367,0.0006567436,0.0018128287,0.0025874597,0.0021337445,0.009502394,0.008304544,0.007321693,0.27542797],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000067236935,0.000043455253,0.00010605511,0.00010806769,0.000009487766,0.00009618286,0.000044429074,0.00023136614,0.00022368708,0.047083054,0.9134175,0.038569514],"study_design_scores_gemma":[0.000009820046,0.000020317184,0.0001111416,0.00008366238,0.00000469411,0.0000720113,0.000049560327,0.00017168632,0.00025265847,0.0115159815,0.98769325,0.000015251213],"about_ca_topic_score_codex":0.0029597653,"about_ca_topic_score_gemma":0.0064157713,"teacher_disagreement_score":0.30428073,"about_ca_system_score_codex":0.008217745,"about_ca_system_score_gemma":0.009973371,"threshold_uncertainty_score":0.9923591},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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)","score_opus":0.06332600992454658,"score_gpt":0.35332706860654245,"score_spread":0.2900010586819959,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2768930898","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.017941857,0.006479261,0.90261483,0.010734559,0.0037243816,0.00012081359,0.0006109834,0.0007781637,0.056995288],"genre_scores_gemma":[0.6239329,0.009160807,0.31867373,0.006089812,0.0035614448,0.0006373394,0.0015551472,0.001479413,0.034909394],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99555343,0.0013477808,0.00026743294,0.0009473318,0.0016091061,0.00027494633],"domain_scores_gemma":[0.9929391,0.0040909387,0.00040936962,0.001043773,0.0011922967,0.0003245488],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0030275167,0.0010844717,0.0009604856,0.0022696112,0.0018803861,0.0029937243,0.0014927001,0.0019816218,0.010506834],"category_scores_gemma":[0.019508833,0.00053929095,0.0016311886,0.002395991,0.0029413204,0.008069324,0.0034491448,0.0056662667,0.002537868],"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.000037229074,0.000021993515,0.00014878556,0.000086805885,0.000027948061,0.000037168764,0.00007814284,0.005077426,0.0014882282,0.9644948,0.0055024736,0.022999002],"study_design_scores_gemma":[0.000008456955,0.000026293874,0.00009883961,0.000024976463,0.000013704374,0.00008111351,0.000026785357,0.019701136,0.0014839423,0.9546286,0.023879811,0.000026210979],"about_ca_topic_score_codex":0.00089188915,"about_ca_topic_score_gemma":0.00081662094,"teacher_disagreement_score":0.010506834,"about_ca_system_score_codex":0.0023504717,"about_ca_system_score_gemma":0.0014884461,"threshold_uncertainty_score":0.03514886},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.03928523442880928,"score_gpt":0.31140997275033805,"score_spread":0.2721247383215288,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2902878758","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.016952468,0.022419274,0.69042474,0.06793854,0.0031777723,0.0008791361,0.006125381,0.0011653272,0.19091737],"genre_scores_gemma":[0.3234492,0.03142743,0.52019495,0.0193398,0.009790045,0.0016424513,0.01533782,0.000782188,0.07803612],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.98994154,0.0032387157,0.00076116255,0.002336089,0.0029259836,0.0007965831],"domain_scores_gemma":[0.97953016,0.016438164,0.0006257762,0.0013050581,0.001440223,0.0006606794],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0054416596,0.0015242297,0.0019157084,0.0024216222,0.004274341,0.007231637,0.0039989543,0.003776608,0.025583535],"category_scores_gemma":[0.024352588,0.000992809,0.0020985415,0.0076602944,0.006002398,0.013468567,0.0057163513,0.010096905,0.003913721],"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.000030300058,0.000052266798,0.0002205662,0.0003790425,0.000037743102,0.000117360316,0.00021741934,0.0024634232,0.0001573174,0.93987983,0.02303147,0.033413388],"study_design_scores_gemma":[0.000032161704,0.000012782701,0.00009204808,0.00011792232,0.000011871189,0.00017623471,0.00017227937,0.0068351612,0.00023718862,0.92357975,0.068715915,0.000016615817],"about_ca_topic_score_codex":0.0033449538,"about_ca_topic_score_gemma":0.0026487214,"teacher_disagreement_score":0.025583535,"about_ca_system_score_codex":0.004267896,"about_ca_system_score_gemma":0.003210166,"threshold_uncertainty_score":0.085585475},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Event (particle physics); Logic model; Computer science; Library science; Political science; Public administration","score_opus":0.03896293176793796,"score_gpt":0.2720167680281156,"score_spread":0.23305383626017762,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2925744740","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0060802796,0.027623182,0.006050496,0.24884781,0.1357171,0.00062169915,0.020826343,0.0028818818,0.5513513],"genre_scores_gemma":[0.027400656,0.01301906,0.0038142467,0.014640507,0.025950642,0.00071094465,0.02057166,0.0017157156,0.8921766],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99526465,0.0008215444,0.00017524899,0.0006485834,0.0020388118,0.0010511501],"domain_scores_gemma":[0.9908924,0.00087112776,0.00016634472,0.0003104621,0.0028367506,0.0049229097],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008546638,0.0010319911,0.00063468656,0.00205815,0.0033589974,0.008759582,0.0017204069,0.002681353,0.20537306],"category_scores_gemma":[0.008059398,0.00035840404,0.0009355712,0.0017161383,0.00069919025,0.0055557042,0.006317138,0.0043288316,0.08678689],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000048093392,0.00005111178,0.0001239415,0.00007787413,0.0000030258232,0.000057083296,0.00016530284,0.00004339795,0.00012898809,0.004648531,0.9729488,0.021703806],"study_design_scores_gemma":[0.000008435241,0.000012046786,0.00016473458,0.000056444518,0.0000021609535,0.00002084744,0.00019046721,0.000033423523,0.00011317172,0.000902854,0.9984915,0.0000038205367],"about_ca_topic_score_codex":0.007519992,"about_ca_topic_score_gemma":0.010563673,"teacher_disagreement_score":0.20537306,"about_ca_system_score_codex":0.004793488,"about_ca_system_score_gemma":0.010762736,"threshold_uncertainty_score":0.68704134},"labels":[],"label_agreement":null},{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.057058056298150514,"score_gpt":0.2720437758751473,"score_spread":0.21498571957699675,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2962731772","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.030374568,0.026202464,0.7929596,0.016607279,0.0008935712,0.00019789352,0.0016306781,0.0010423101,0.1300917],"genre_scores_gemma":[0.7160318,0.040355306,0.2115302,0.004214949,0.0050963107,0.00049004686,0.0028767122,0.00066211395,0.018742668],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99119776,0.0018680155,0.000646101,0.001603509,0.003994427,0.0006901804],"domain_scores_gemma":[0.95796156,0.031856462,0.0017989883,0.0038148046,0.0037854428,0.00078273896],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004350843,0.00093713735,0.0011474245,0.0030965232,0.0021236087,0.008658848,0.0032676142,0.001461183,0.014428216],"category_scores_gemma":[0.028488643,0.0007572341,0.001859478,0.0040112897,0.005459021,0.018772673,0.0050203544,0.007196809,0.0020552168],"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.00001657275,0.000016807588,0.00025339847,0.0002851561,0.000021219039,0.0000271002,0.00009812988,0.0030754537,0.0002590141,0.9769812,0.0027316685,0.016234184],"study_design_scores_gemma":[0.0000074330437,0.0000094726165,0.0001736885,0.000047292226,0.000016166152,0.00008471435,0.000027390432,0.007089675,0.00035135134,0.9774343,0.014747236,0.000011425471],"about_ca_topic_score_codex":0.0016210914,"about_ca_topic_score_gemma":0.0012021959,"teacher_disagreement_score":0.014428216,"about_ca_system_score_codex":0.004587246,"about_ca_system_score_gemma":0.0023395515,"threshold_uncertainty_score":0.048267245},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04943174827778196,"score_gpt":0.27105766434396694,"score_spread":0.22162591606618498,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3108284226","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.06703289,0.0043043955,0.8337883,0.0043083034,0.0005499702,0.00031193622,0.00070509355,0.0017158816,0.08728327],"genre_scores_gemma":[0.61378384,0.0039391904,0.35055453,0.0022877369,0.00075871043,0.00059388974,0.0012660437,0.0009860819,0.025830008],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99510115,0.0014167712,0.00031496445,0.00096400484,0.0015779975,0.0006251427],"domain_scores_gemma":[0.9811009,0.012123571,0.0011165498,0.0032583862,0.0017188297,0.00068179803],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004593262,0.0009433545,0.0011755045,0.0017281957,0.0014466116,0.0029776518,0.002448866,0.0014839642,0.011469344],"category_scores_gemma":[0.02914657,0.0011739788,0.0023268068,0.0017771656,0.0048458925,0.006481603,0.004108454,0.0082756905,0.0018152802],"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.0005606027,0.000116111456,0.0006950727,0.0005292415,0.000060880964,0.00019965624,0.0003723956,0.084616564,0.0030534326,0.8219007,0.0079219015,0.079973415],"study_design_scores_gemma":[0.00007965293,0.00008530928,0.00036849815,0.00015352522,0.00006252692,0.00016652582,0.00010033712,0.18420051,0.0022677833,0.79364276,0.018827198,0.00004532107],"about_ca_topic_score_codex":0.004235821,"about_ca_topic_score_gemma":0.003116454,"teacher_disagreement_score":0.011469344,"about_ca_system_score_codex":0.0024398884,"about_ca_system_score_gemma":0.0019778335,"threshold_uncertainty_score":0.03836876},"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.055970368079020186,"score_gpt":0.28608301915795786,"score_spread":0.2301126510789377,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3137835047","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.000508845,0.0028159267,0.0036846313,0.03332349,0.08057696,0.00041486148,0.013829028,0.005505538,0.8593406],"genre_scores_gemma":[0.004068188,0.0015446771,0.00088798435,0.008010986,0.017206935,0.00031900208,0.006464917,0.0030450583,0.9584523],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9987447,0.0001735236,0.00007526376,0.0003153219,0.00043913716,0.00025207232],"domain_scores_gemma":[0.99712676,0.00030593685,0.00009144102,0.00033899906,0.00083477877,0.0013020613],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0022189831,0.0015698897,0.0018362997,0.001488595,0.0044349795,0.012287041,0.0013672828,0.0035630353,0.79861355],"category_scores_gemma":[0.0043160603,0.0007194322,0.0013847623,0.001960104,0.0007070424,0.0078156665,0.00482675,0.0059028645,0.63555515],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000022009712,0.000013668943,0.000024182094,0.000023960316,0.0000011632337,0.000007722887,0.000015217674,0.000012315119,0.00007125925,0.0015508957,0.9911436,0.007114023],"study_design_scores_gemma":[0.000011933645,0.000008198316,0.00010217698,0.000029921492,0.000001386562,0.000013193215,0.000030267207,0.000031359818,0.00004978459,0.0013255959,0.99839103,0.000005217089],"about_ca_topic_score_codex":0.0024687438,"about_ca_topic_score_gemma":0.006631635,"teacher_disagreement_score":0.79861355,"about_ca_system_score_codex":0.0032625748,"about_ca_system_score_gemma":0.0033287373,"threshold_uncertainty_score":0.28725332},"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"","keywords":"Column (typography); Relevance (law); Quarter (Canadian coin); Computer science; Political science; History; Telecommunications; Law; Archaeology","score_opus":0.040735937642871825,"score_gpt":0.2665553533010225,"score_spread":0.22581941565815067,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4206460673","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0009851789,0.0040739346,0.011848723,0.12810916,0.1233011,0.00022113557,0.011414431,0.0062303767,0.7138158],"genre_scores_gemma":[0.0128547065,0.0018565971,0.0031172016,0.032295484,0.013250313,0.0001078612,0.00751861,0.0022713817,0.92672783],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99431276,0.0005395752,0.00031136177,0.0008955784,0.0033574472,0.0005832686],"domain_scores_gemma":[0.9866676,0.0022380794,0.00049195194,0.0022219915,0.007262682,0.0011176541],"candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0033515843,0.00071633584,0.0008179769,0.001942169,0.0032815011,0.00847742,0.0017635553,0.0034652262,0.44004944],"category_scores_gemma":[0.017343998,0.00067835854,0.0010357463,0.0015376426,0.0014281254,0.0059892316,0.0020134759,0.0054327864,0.27009827],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.00002822141,0.0000100724465,0.00007492446,0.000054313492,0.000003775842,0.000036324094,0.000016859876,0.000049857164,0.00026590173,0.013029254,0.96716124,0.019269228],"study_design_scores_gemma":[0.000007780347,0.000008025943,0.00011348112,0.00004594563,0.000003136872,0.000055858614,0.000018446215,0.00014214378,0.000472664,0.0042013214,0.99492294,0.000008284529],"about_ca_topic_score_codex":0.005995551,"about_ca_topic_score_gemma":0.00966106,"teacher_disagreement_score":0.5599506,"about_ca_system_score_codex":0.0034456456,"about_ca_system_score_gemma":0.005502517,"threshold_uncertainty_score":0.7987015},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Soundness; Column (typography); Semantics (computer science); Component (thermodynamics); Computer science; Programming language; Philosophy; Epistemology; Physics","score_opus":0.03022646206520492,"score_gpt":0.25549612915197967,"score_spread":0.22526966708677476,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4233050175","genre_codex":"other","genre_gemma":"commentary","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"commentary","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00039830836,0.0019722413,0.00912754,0.041181557,0.05850859,0.00010693933,0.009528622,0.007180492,0.87199575],"genre_scores_gemma":[0.0025401486,0.0011409088,0.0015988419,0.010563689,0.005439972,0.000050194125,0.0056142746,0.0027968613,0.9702551],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9977792,0.00021188127,0.00014610782,0.00037308072,0.0012077347,0.00028205087],"domain_scores_gemma":[0.9967367,0.000375801,0.00014632939,0.00045986418,0.0016738097,0.0006073705],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0016014117,0.0010246735,0.0009876145,0.0019400718,0.0024564597,0.009991539,0.0016052298,0.0027710446,0.6240583],"category_scores_gemma":[0.005148088,0.0007661624,0.0010606934,0.0019519187,0.0010778429,0.0083338395,0.003113099,0.004425274,0.57709247],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000018722953,0.000010701398,0.00002921168,0.000043906242,0.0000021842066,0.000018654015,0.000020573712,0.0000223297,0.0002767787,0.016709553,0.96915096,0.013696432],"study_design_scores_gemma":[0.0000030586164,0.000003619396,0.000025785735,0.000013205154,8.625628e-7,0.000027103668,0.00001423019,0.000019817595,0.000090864436,0.0024098665,0.99738854,0.0000030329854],"about_ca_topic_score_codex":0.00391588,"about_ca_topic_score_gemma":0.0074763764,"teacher_disagreement_score":0.6240583,"about_ca_system_score_codex":0.0031974274,"about_ca_system_score_gemma":0.0037863587,"threshold_uncertainty_score":0.5362352},"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"","funders":"","keywords":"Column (typography); Computer science; Focus (optics); Quarter (Canadian coin); Automaton; Artificial intelligence; Telecommunications","score_opus":0.07760133858126825,"score_gpt":0.2978954237337485,"score_spread":0.22029408515248025,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4235412025","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00064946635,0.006549401,0.0079248855,0.05729064,0.08835086,0.0001744843,0.019618863,0.0073318062,0.81210953],"genre_scores_gemma":[0.0045391796,0.0020416374,0.0015073679,0.011982006,0.007088019,0.00005726444,0.011279968,0.0019519706,0.9595525],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.99726737,0.00025553326,0.00016318465,0.00049038546,0.0015672563,0.00025622945],"domain_scores_gemma":[0.99145085,0.0011871571,0.0002942304,0.0013171685,0.004602046,0.0011485853],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0018615643,0.00079442904,0.00092771597,0.0023018683,0.0018295045,0.006950065,0.0016072799,0.0022393174,0.65452945],"category_scores_gemma":[0.010813618,0.0005955838,0.0008852467,0.0020239402,0.0007649696,0.0049332827,0.0016604166,0.0035678009,0.48520407],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000020428937,0.000009022696,0.000051493556,0.000056917343,0.0000030044105,0.000016897076,0.0000064336045,0.000047793194,0.00018700979,0.0049203513,0.97018594,0.024494613],"study_design_scores_gemma":[0.000005132687,0.000005986361,0.00009811032,0.000042683096,0.0000017417881,0.000028301563,0.000008536495,0.00007433147,0.00017752631,0.0018141345,0.99773943,0.000004117015],"about_ca_topic_score_codex":0.004582848,"about_ca_topic_score_gemma":0.008224114,"teacher_disagreement_score":0.65452945,"about_ca_system_score_codex":0.0026992604,"about_ca_system_score_gemma":0.0037136534,"threshold_uncertainty_score":0.4927718},"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.23004888814771898,"score_gpt":0.45732981026799424,"score_spread":0.22728092212027526,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4255700447","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0005959263,0.0019607926,0.012569003,0.044310015,0.04909224,0.00021544726,0.014063975,0.0088857515,0.86830693],"genre_scores_gemma":[0.010953565,0.0013531054,0.0030669465,0.013616822,0.0062794317,0.000103211954,0.011389266,0.0027524722,0.9504851],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9959739,0.00043514394,0.0002600856,0.00068602414,0.0022702548,0.00037462506],"domain_scores_gemma":[0.98899734,0.0020518661,0.0003111654,0.0020499702,0.005781321,0.00080839655],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0029348275,0.00089667615,0.00090196263,0.0021767013,0.002248536,0.0071920278,0.0019599472,0.0029702233,0.66422784],"category_scores_gemma":[0.015723474,0.000754029,0.0010841304,0.0013747442,0.00096817606,0.0063338596,0.002094519,0.0037611055,0.4555643],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.00003556252,0.000013102447,0.00007632455,0.00006183433,0.000004578137,0.00003377647,0.0000149246,0.00007543426,0.00031082277,0.012460443,0.96063524,0.026278006],"study_design_scores_gemma":[0.0000101629885,0.000009505362,0.000097859855,0.00004987983,0.0000035301061,0.000059143225,0.000017234128,0.00020416976,0.0005221861,0.003919938,0.9950983,0.000008113327],"about_ca_topic_score_codex":0.005318099,"about_ca_topic_score_gemma":0.007580257,"teacher_disagreement_score":0.66422784,"about_ca_system_score_codex":0.0025658647,"about_ca_system_score_gemma":0.0035886085,"threshold_uncertainty_score":0.47893822},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04491169681758451,"score_gpt":0.260486389094718,"score_spread":0.2155746922771335,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4293248785","genre_codex":"other","genre_gemma":"commentary","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"commentary","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00090575626,0.01941457,0.014995227,0.09404953,0.10185154,0.0002116106,0.00829558,0.0026402043,0.75763595],"genre_scores_gemma":[0.011809223,0.021420771,0.007940191,0.03210264,0.053788003,0.0003594409,0.014309815,0.002814081,0.8554558],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9965947,0.00032087122,0.00019961309,0.0005917438,0.0019907916,0.0003022329],"domain_scores_gemma":[0.9918588,0.0018536932,0.00032742182,0.0013190886,0.003291373,0.0013496322],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0014974623,0.0016537516,0.0014072466,0.0022675293,0.0019424935,0.007744129,0.0021723104,0.002423382,0.5108592],"category_scores_gemma":[0.011422414,0.00071253866,0.001393487,0.003477558,0.0012745885,0.0065108887,0.0027606294,0.005488423,0.34338823],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000020716934,0.00002391619,0.00006289849,0.00013703044,0.0000067681026,0.000018389646,0.000009346673,0.0001764429,0.0002595312,0.012157093,0.9306122,0.056515753],"study_design_scores_gemma":[0.000007142283,0.000014195202,0.00015058386,0.000090974696,0.000004289358,0.00007529304,0.000015032308,0.00026449066,0.00014237198,0.0107862195,0.9884399,0.000009435064],"about_ca_topic_score_codex":0.0032842737,"about_ca_topic_score_gemma":0.00417051,"teacher_disagreement_score":0.5108592,"about_ca_system_score_codex":0.004500879,"about_ca_system_score_gemma":0.003660728,"threshold_uncertainty_score":0.6977},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.06774780822632265,"score_gpt":0.28834727794661924,"score_spread":0.2205994697202966,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4389314516","genre_codex":"other","genre_gemma":"commentary","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"commentary","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.015310464,0.013629863,0.1988688,0.039365027,0.0056981384,0.00039165103,0.014198928,0.00295796,0.70957917],"genre_scores_gemma":[0.31800735,0.014925356,0.10765279,0.009751987,0.0077744094,0.0011368443,0.026996706,0.0026602033,0.51109433],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99736625,0.00032649116,0.00013838844,0.00090362114,0.0009723281,0.0002929312],"domain_scores_gemma":[0.9950159,0.0020245125,0.00021736976,0.0014039085,0.0009327837,0.00040541447],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009797739,0.0010913159,0.0011061629,0.0013167314,0.0022879525,0.0077844323,0.0019070222,0.0014966448,0.1359043],"category_scores_gemma":[0.006821978,0.0005219342,0.0014017259,0.002374853,0.0016436152,0.008890691,0.0028310486,0.005634648,0.035512716],"study_design_candidate":"not_applicable","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.000085393716,0.00008830292,0.0004532455,0.00036294217,0.000046934645,0.00007301187,0.00015523325,0.0024200797,0.0014308662,0.6601587,0.23895046,0.09577478],"study_design_scores_gemma":[0.000023456327,0.000033710752,0.0006100362,0.00008454879,0.000024702578,0.0002882506,0.00010717302,0.008597164,0.0012046105,0.6774459,0.31155285,0.000027648695],"about_ca_topic_score_codex":0.0019493594,"about_ca_topic_score_gemma":0.002223591,"teacher_disagreement_score":0.1359043,"about_ca_system_score_codex":0.0029482292,"about_ca_system_score_gemma":0.0020930534,"threshold_uncertainty_score":0.45464516},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Computer science; Semantics (computer science); Programming language; Natural language processing; Computer network","score_opus":0.030720587013988346,"score_gpt":0.2712612910600725,"score_spread":0.24054070404608419,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4396981000","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00024779455,0.0012199064,0.004091702,0.0129914405,0.015489039,0.00006748334,0.012077816,0.00586983,0.947945],"genre_scores_gemma":[0.0017709067,0.0008573793,0.001155715,0.0041424227,0.0020626732,0.00003424551,0.008223579,0.0025285939,0.9792244],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9987608,0.00012511646,0.00008402087,0.0002470422,0.00064787216,0.00013521867],"domain_scores_gemma":[0.9977366,0.00022953353,0.000079022495,0.0004760919,0.0010903424,0.0003884689],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0010117611,0.0009422792,0.0008173162,0.0021820778,0.0019280564,0.007913061,0.0016434761,0.0020978984,0.799942],"category_scores_gemma":[0.003995738,0.0006177053,0.0008773751,0.0021865042,0.00076875254,0.0074167056,0.0032282316,0.0028042851,0.7633359],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.00001490674,0.000010456422,0.000037011992,0.0000620515,0.000002662445,0.000018589266,0.000021881211,0.000019434305,0.00024000557,0.011878832,0.9639145,0.023779674],"study_design_scores_gemma":[0.0000022766012,0.0000023136658,0.000029534904,0.000018662442,8.9134454e-7,0.000023301858,0.000012965889,0.0000143090865,0.00006593092,0.0023490756,0.9974784,0.00000233558],"about_ca_topic_score_codex":0.003125854,"about_ca_topic_score_gemma":0.005478056,"teacher_disagreement_score":0.799942,"about_ca_system_score_codex":0.0019929365,"about_ca_system_score_gemma":0.0025150364,"threshold_uncertainty_score":0.28535837},"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,"route_ca_aff":false,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.06361505629553076,"score_gpt":0.30586267434246445,"score_spread":0.24224761804693368,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4396981003","genre_codex":"review","genre_gemma":"review","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"review","genre_consensus":"review","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.010726754,0.52411515,0.2027191,0.029277975,0.0052341726,0.00010067015,0.000592005,0.000517434,0.22671673],"genre_scores_gemma":[0.32183716,0.5073678,0.075378776,0.008703022,0.014051899,0.00044095374,0.0015968482,0.00082454766,0.06979898],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99774605,0.00094375224,0.00019992336,0.0003682214,0.00054105715,0.00020092206],"domain_scores_gemma":[0.99723583,0.0019054025,0.00012784943,0.00020991183,0.00037706952,0.00014400539],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0030579853,0.0010026357,0.0015148722,0.0040865187,0.0027315111,0.0053829923,0.0020937119,0.0019447142,0.009747006],"category_scores_gemma":[0.0056860605,0.001041768,0.0011719888,0.009459223,0.008617735,0.017863665,0.0033443768,0.0041430965,0.0031837015],"study_design_candidate":"not_applicable","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.000021630529,0.000017617858,0.00021255827,0.00042241835,0.000011949957,0.000091486814,0.0011138198,0.0008085838,0.0001853731,0.9482238,0.017468125,0.031422716],"study_design_scores_gemma":[0.00001184319,0.000056600686,0.00065222394,0.0004550429,0.000015666203,0.0004001995,0.000619354,0.0011458066,0.00019229142,0.5526719,0.44373125,0.000047911934],"about_ca_topic_score_codex":0.007722713,"about_ca_topic_score_gemma":0.003997414,"teacher_disagreement_score":0.009747006,"about_ca_system_score_codex":0.004861531,"about_ca_system_score_gemma":0.0021094198,"threshold_uncertainty_score":0.035273075},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Column (typography); Computer science; Telecommunications","score_opus":0.06455749615922264,"score_gpt":0.29774494069782637,"score_spread":0.23318744453860374,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4396981007","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0010782417,0.008816852,0.006601263,0.020921811,0.017608773,0.00010578103,0.019441076,0.002500558,0.9229256],"genre_scores_gemma":[0.014492971,0.008159051,0.0035266147,0.0067333877,0.010161374,0.00013610946,0.024050996,0.0017538519,0.9309856],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9985821,0.00008284363,0.00007956494,0.0003281686,0.0007675394,0.0001597846],"domain_scores_gemma":[0.9959604,0.00063479476,0.00022733709,0.0007545653,0.0014100994,0.0010127539],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005888574,0.0008800325,0.00093862426,0.003762535,0.00201504,0.008450016,0.0013994237,0.0013415758,0.5739163],"category_scores_gemma":[0.005726855,0.0005615031,0.0007114605,0.0052720783,0.000984225,0.006344907,0.0025055562,0.0038062944,0.2994326],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000019855494,0.00001636012,0.00009687299,0.00013284945,0.0000063833086,0.000023339422,0.00002766929,0.000108047985,0.00038165782,0.035549834,0.91529566,0.048341468],"study_design_scores_gemma":[0.00000254734,0.000005028322,0.00020830202,0.00004827744,0.0000019660417,0.000053687632,0.000018579925,0.00008481192,0.00011779013,0.008567339,0.99088657,0.0000052220694],"about_ca_topic_score_codex":0.0031003791,"about_ca_topic_score_gemma":0.005816587,"teacher_disagreement_score":0.5739163,"about_ca_system_score_codex":0.0034333756,"about_ca_system_score_gemma":0.002822354,"threshold_uncertainty_score":0.6077566},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Semantics (computer science); Computer science; Programming language; Computer network","score_opus":0.030720587013988346,"score_gpt":0.2712612910600725,"score_spread":0.24054070404608419,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4401359032","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00044166367,0.0060150065,0.028545132,0.042929146,0.032462817,0.000110535075,0.0067164027,0.007948513,0.8748308],"genre_scores_gemma":[0.0049491604,0.0051653213,0.0066184495,0.016936954,0.006729734,0.00010081281,0.008404726,0.0054528993,0.94564193],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9984584,0.000231948,0.00010968805,0.00029491703,0.00072823296,0.00017676444],"domain_scores_gemma":[0.9976064,0.00035926583,0.000105861545,0.00036595296,0.0010493541,0.0005131489],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0016166045,0.00092694146,0.0007402647,0.0019723836,0.0018304286,0.008059159,0.0016039931,0.0022508886,0.44350684],"category_scores_gemma":[0.0040650615,0.0006375846,0.0008809713,0.002148523,0.0013400313,0.0120321745,0.003620407,0.0044703,0.38134018],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000017485676,0.000015996407,0.000043059717,0.00009845523,0.0000034753912,0.000026583964,0.000056557234,0.000058752637,0.000488551,0.07209388,0.8871005,0.039996646],"study_design_scores_gemma":[0.000001235501,0.0000025558318,0.000020342297,0.000017608401,5.5171466e-7,0.00002948554,0.000016108417,0.000021971724,0.000062327555,0.005775897,0.9940493,0.000002621974],"about_ca_topic_score_codex":0.002840906,"about_ca_topic_score_gemma":0.0049731648,"teacher_disagreement_score":0.44350684,"about_ca_system_score_codex":0.0033245839,"about_ca_system_score_gemma":0.0031325358,"threshold_uncertainty_score":0.79376996},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Column (typography); Computer science; Computer network","score_opus":0.04422964664292883,"score_gpt":0.2960666793611475,"score_spread":0.25183703271821867,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4408293789","genre_codex":"methods","genre_gemma":"commentary","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"commentary","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.016853807,0.021997578,0.5175707,0.030402638,0.0042944155,0.00040018256,0.0076681953,0.0030022096,0.39781037],"genre_scores_gemma":[0.43499947,0.026302587,0.26359424,0.008112792,0.0071265157,0.0012939989,0.017846921,0.0025964747,0.23812713],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.9964988,0.0005735449,0.00016907051,0.0012214266,0.0011449766,0.00039208174],"domain_scores_gemma":[0.99189174,0.0034736847,0.00032511086,0.0027230883,0.0011886563,0.00039764642],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0016261302,0.0012749151,0.001477682,0.0013853314,0.0018267913,0.008249156,0.0025551757,0.0017475954,0.050931234],"category_scores_gemma":[0.012141409,0.000637095,0.0013864837,0.0028436345,0.0018562133,0.008525209,0.0028819044,0.006925679,0.016147872],"study_design_candidate":"not_applicable","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.0001593766,0.000104792314,0.0006926048,0.00043821734,0.00007919423,0.000073181945,0.00011828208,0.014063454,0.0013638049,0.6714107,0.14151764,0.16997881],"study_design_scores_gemma":[0.000026509762,0.000043581676,0.00059372373,0.00012012614,0.00003504512,0.00028129847,0.00006636343,0.051634837,0.0013623913,0.79532456,0.15048175,0.000029695304],"about_ca_topic_score_codex":0.0024454577,"about_ca_topic_score_gemma":0.002341569,"teacher_disagreement_score":0.050931234,"about_ca_system_score_codex":0.0037786018,"about_ca_system_score_gemma":0.003017027,"threshold_uncertainty_score":0.17038196},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Semantics (computer science); Computer science; Programming language; Computer network","score_opus":0.02335366936589616,"score_gpt":0.2695427972365912,"score_spread":0.24618912787069502,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4410161521","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00029907617,0.0013544032,0.009071125,0.018139727,0.0257875,0.000101936595,0.016967881,0.008833874,0.9194445],"genre_scores_gemma":[0.0022748758,0.0009993034,0.0018572618,0.006137033,0.0037633844,0.000053838652,0.011281247,0.0039046668,0.96972835],"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","domain_scores_codex":[0.9987765,0.00013448659,0.00008690504,0.00025329008,0.0006099063,0.00013883995],"domain_scores_gemma":[0.9976283,0.0003453896,0.00011837966,0.00041695163,0.0009907527,0.00050029333],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009584561,0.0009946892,0.00089015166,0.0022913138,0.0016891998,0.0068872278,0.0015532885,0.002079751,0.77910936],"category_scores_gemma":[0.0041131275,0.00072440354,0.00084811915,0.0024422703,0.00077242224,0.007346536,0.0029109172,0.0030247648,0.71226984],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","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.000016911583,0.000012632233,0.00003382167,0.000064146996,0.0000023521643,0.00002229187,0.000021508717,0.00002620769,0.00028884973,0.0141876675,0.9662706,0.01905291],"study_design_scores_gemma":[0.0000029452845,0.000003147786,0.00002780293,0.000015711666,7.4553003e-7,0.000030494217,0.00001231541,0.000018416193,0.00006565259,0.00256803,0.99725217,0.0000025399868],"about_ca_topic_score_codex":0.0023547255,"about_ca_topic_score_gemma":0.0043865475,"teacher_disagreement_score":0.77910936,"about_ca_system_score_codex":0.002216433,"about_ca_system_score_gemma":0.0022436886,"threshold_uncertainty_score":0.31507367},"labels":[],"label_agreement":null}]}