{"meta":{"query_hash":"71a7f4b4f9f6","filters":{"venue":"Proceedings - ACM IEEE Design Automation Conference"},"cohort_total":14,"direct_labels_cover":0,"predictions_cover":14,"exported":14,"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/71a7f4b4f9f6","api":"https://metacan.xera.ac/api/v1/cohort?venue=Proceedings+-+ACM+IEEE+Design+Automation+Conference"},"results":[{"id":"W2102749815","doi":"10.1145/1278480.1278518","title":"Simulating improbable events","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":14,"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 British Columbia","funders":"","keywords":"Metastability; Waveform; Computer science; Electronic circuit; FLOPS; Amplifier; Electronic engineering; Spice; Electrical engineering; Parallel computing; Physics; Engineering; Telecommunications","score_opus":0.04252859085392036,"score_gpt":0.2677438906964303,"score_spread":0.22521529984250993,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2102749815","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3988305,0.000056315304,0.56872624,0.00004821136,0.00038717448,0.00044413403,0.0000021362885,0.0016176378,0.029887635],"genre_scores_gemma":[0.9638426,0.000015767686,0.03586924,0.000056892208,0.00007566338,0.000023438803,0.0000024843644,0.000028311215,0.00008560196],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99870145,0.000004720107,0.00036593273,0.00022313789,0.0002729278,0.00043181842],"domain_scores_gemma":[0.9992776,0.00016418289,0.00007939221,0.00012870677,0.00021397296,0.00013613365],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006220122,0.00019693689,0.00018455066,0.00011029251,0.00010118268,0.00010733553,0.000357702,0.0001288471,0.00009407134],"category_scores_gemma":[0.00028269432,0.0001983086,0.000038129194,0.00029553229,0.000024980178,0.00058439694,0.00003375786,0.00018356206,0.00016339665],"study_design_candidate":"bench_or_experimental","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.00008951644,0.00014380406,0.0031284161,0.0013682313,0.00018620832,0.000013205391,0.0042423415,0.030381516,0.83354706,0.039606888,0.0020126116,0.0852802],"study_design_scores_gemma":[0.00024737234,0.00003451136,0.0023097175,0.00009715293,0.000015094383,0.0000060891703,0.00009293717,0.87751764,0.11190583,0.007233434,0.00027474682,0.0002654624],"about_ca_topic_score_codex":0.000004019142,"about_ca_topic_score_gemma":0.0000011854423,"teacher_disagreement_score":0.84713614,"about_ca_system_score_codex":0.000095934425,"about_ca_system_score_gemma":0.00003124501,"threshold_uncertainty_score":0.808679},"labels":[],"label_agreement":null},{"id":"W2117883771","doi":"10.1145/513918.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":42,"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 British Columbia","funders":"","keywords":"Computer science; Interface (matter); Operating system; Embedded system","score_opus":0.2551343654171854,"score_gpt":0.31254168734624593,"score_spread":0.057407321929060506,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2117883771","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.16023134,0.000056000794,0.8378501,0.00040673834,0.00041221935,0.0004550549,0.0000026854848,0.00037346262,0.00021239654],"genre_scores_gemma":[0.53023005,0.000047906626,0.46954274,0.000017316066,0.000049609862,0.000052206127,0.0000013662045,0.000009017602,0.000049788003],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9980093,0.00008890254,0.0006755471,0.00051447813,0.00046945826,0.00024226036],"domain_scores_gemma":[0.99798685,0.00012577875,0.00066764624,0.000465968,0.0006581675,0.00009557188],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009007187,0.00023502542,0.00026960878,0.00029651588,0.00015633875,0.00036725553,0.001003697,0.00014205037,0.000051747986],"category_scores_gemma":[0.0007837034,0.00024079357,0.00003334703,0.0006031462,0.000108766726,0.002156334,0.000117883355,0.0001528962,0.00006042375],"study_design_candidate":"bench_or_experimental","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.0000082495635,0.00014638553,0.00021055268,0.00025050275,0.00003286911,4.6521367e-7,0.0070938175,0.00031267013,0.51772964,0.15622522,0.0021346456,0.315855],"study_design_scores_gemma":[0.00017703546,0.000092342714,0.0035238082,0.000057489826,0.000010235345,0.000011403287,0.000051042756,0.6770139,0.31542504,0.0034401973,0.00002481818,0.00017271274],"about_ca_topic_score_codex":0.000009279372,"about_ca_topic_score_gemma":2.9711865e-7,"teacher_disagreement_score":0.6767012,"about_ca_system_score_codex":0.00009628934,"about_ca_system_score_gemma":0.000037874994,"threshold_uncertainty_score":0.9819277},"labels":[],"label_agreement":null},{"id":"W2128264388","doi":"10.1145/1278480.1278563","title":"Using negative edge triggered ffs to reduce glitching power in FPGA circuits","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":24,"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":"Lookup table; Field-programmable gate array; Computer science; Electronic circuit; Dissipation; Signal edge; Routing (electronic design automation); Enhanced Data Rates for GSM Evolution; Logic gate; Power (physics); Electronic engineering; Macrocell array; Electrical engineering; Logic synthesis; Computer hardware; Engineering; Embedded system; Algorithm; Logic family; Physics; Telecommunications","score_opus":0.07454332034314884,"score_gpt":0.29713680182728286,"score_spread":0.22259348148413402,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2128264388","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.6270569,0.000035208916,0.3672094,0.000058177255,0.00066307036,0.00094299146,0.0000038941253,0.0008943901,0.003135973],"genre_scores_gemma":[0.9589927,0.000012844314,0.040523756,0.00009950511,0.00014552372,0.00008098612,0.000002552002,0.00009622057,0.00004586181],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9969411,0.000031988064,0.0009097837,0.0006039191,0.0005759181,0.0009372833],"domain_scores_gemma":[0.99840796,0.00028735553,0.0002044757,0.00032696218,0.00048273994,0.00029053618],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0016832589,0.0005040307,0.000499367,0.0009922356,0.00016754078,0.0003341757,0.0007867631,0.00027691812,0.00008114466],"category_scores_gemma":[0.000842713,0.000562383,0.000066217166,0.0017104405,0.000057221045,0.0016694607,0.00007008948,0.0004971085,0.00017358472],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","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.0000737219,0.00006613424,0.00052145263,0.0002101227,0.000048118163,0.00001596894,0.016832495,0.009990109,0.9525678,0.00083632214,0.00093096774,0.017906792],"study_design_scores_gemma":[0.0011221289,0.00013051291,0.008622322,0.0006114977,0.000028168519,0.000038609796,0.00080804655,0.26941907,0.7163592,0.001740158,0.00015335623,0.0009669165],"about_ca_topic_score_codex":0.000025003972,"about_ca_topic_score_gemma":0.0000047209637,"teacher_disagreement_score":0.33193588,"about_ca_system_score_codex":0.0007398143,"about_ca_system_score_gemma":0.00017953363,"threshold_uncertainty_score":0.9996828},"labels":[],"label_agreement":null},{"id":"W2143208164","doi":"10.1145/1278480.1278498","title":"An effective guidance strategy for abstraction-guided simulation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":46,"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 British Columbia","funders":"","keywords":"Computer science; Assertion; Abstraction; Formal verification; Model checking; Functional verification; State (computer science); Formal methods; Theoretical computer science; Distributed computing; Computer engineering; Programming language","score_opus":0.1434452489782713,"score_gpt":0.40355069288561124,"score_spread":0.2601054439073399,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2143208164","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.031679373,0.0000097061575,0.964296,0.0000732161,0.0004971158,0.0016398812,0.0000027698097,0.00090369454,0.000898264],"genre_scores_gemma":[0.53989875,0.0000015019692,0.45975122,0.000051139534,0.000096496995,0.00016558249,0.0000038429293,0.000012561875,0.00001889991],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9977306,0.00006227534,0.00064757135,0.0006769396,0.00044725736,0.00043535448],"domain_scores_gemma":[0.99632674,0.00071994547,0.00062855845,0.00048164692,0.0016873152,0.00015577632],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0036576001,0.00026444107,0.00022754754,0.00027672565,0.00031566265,0.0005956835,0.0012578017,0.00020173658,0.000010361252],"category_scores_gemma":[0.0016639788,0.0002812161,0.00005923098,0.00059699896,0.000061419305,0.0041686594,0.000040332507,0.0001768559,0.000037773134],"study_design_candidate":"simulation_or_modeling","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.0001576915,0.00020451026,0.0003038996,0.00022023534,0.000035019806,0.0000012954002,0.0027532286,0.059735063,0.28585416,0.24325892,0.00044258576,0.40703338],"study_design_scores_gemma":[0.00032444324,0.00028538142,0.016062815,0.000036907073,0.000009842443,0.000008190696,0.000061005165,0.7670881,0.19225408,0.023500144,0.00010648601,0.00026258756],"about_ca_topic_score_codex":0.000009020648,"about_ca_topic_score_gemma":0.0000011628177,"teacher_disagreement_score":0.70735306,"about_ca_system_score_codex":0.00021146488,"about_ca_system_score_gemma":0.000118742835,"threshold_uncertainty_score":0.999964},"labels":[],"label_agreement":null},{"id":"W2148567424","doi":"10.1145/513918.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":12,"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":"Computer science; Software engineering; Software; Downstream (manufacturing); Interface (matter); De facto; Architecture; Set (abstract data type); Programming language; Software architecture; Simple (philosophy); Operating system; Engineering","score_opus":0.08883617484457842,"score_gpt":0.2630983132992856,"score_spread":0.1742621384547072,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2148567424","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00221476,0.00014997824,0.9821977,0.001279231,0.00022580603,0.00031106532,0.0000010437464,0.003092754,0.0105276825],"genre_scores_gemma":[0.5556309,0.00008554769,0.44292253,0.00021232032,0.000039759252,0.00005015954,0.0000012567217,0.000011002176,0.001046482],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9982203,0.000046641188,0.0003999246,0.0005328504,0.0004060509,0.00039419098],"domain_scores_gemma":[0.99850726,0.00012953285,0.0002536137,0.0004304779,0.0005624735,0.000116642455],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005462122,0.00024157553,0.0002391052,0.00026198602,0.00030367414,0.00067457015,0.0016673576,0.00012422906,0.00016240103],"category_scores_gemma":[0.00037749636,0.0002435287,0.000057194535,0.00065511686,0.000069724585,0.0017077596,0.00020142496,0.00018405663,0.00021632217],"study_design_candidate":"simulation_or_modeling","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.00003711166,0.00068268745,0.0010992861,0.0004928615,0.00012690508,0.000025144127,0.021004552,0.011213616,0.039910614,0.4156258,0.40185115,0.107930265],"study_design_scores_gemma":[0.0001613853,0.000102804996,0.0001562584,0.000060482915,0.0000053370563,0.000018729426,0.000029831079,0.95927876,0.022049284,0.01647954,0.0013657444,0.0002918286],"about_ca_topic_score_codex":0.0000053533718,"about_ca_topic_score_gemma":8.0777724e-8,"teacher_disagreement_score":0.94806516,"about_ca_system_score_codex":0.000058867718,"about_ca_system_score_gemma":0.0000533452,"threshold_uncertainty_score":0.9930812},"labels":[],"label_agreement":null},{"id":"W2148575734","doi":"10.1145/1278480.1278504","title":"Modeling and estimation of full-chip leakage current considering within-die correlation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":27,"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":"Chip; Die (integrated circuit); Computer science; Electronic engineering; Engineering; Telecommunications","score_opus":0.04633693129847801,"score_gpt":0.2614161609531105,"score_spread":0.21507922965463247,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2148575734","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.44716984,0.00013747795,0.55139625,0.000011767796,0.00033664695,0.00031081913,0.0000014565394,0.00045249524,0.00018326764],"genre_scores_gemma":[0.9257311,0.00009664305,0.07402158,0.000008118448,0.00005542762,0.00003154511,0.00000755608,0.000043097683,0.000004884316],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9981516,0.000013088899,0.00077945413,0.00031153197,0.0003978889,0.0003464224],"domain_scores_gemma":[0.9989514,0.00015782451,0.00023064889,0.00017681856,0.00036412023,0.00011919037],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0011023218,0.0003015425,0.0003091113,0.00039252068,0.00012908262,0.0001384321,0.00022605997,0.00015446314,0.000013092908],"category_scores_gemma":[0.00037609207,0.0003275729,0.000034655477,0.00030482264,0.000071845185,0.0012481594,0.000038387723,0.0002956313,0.000022054814],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","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.00005143505,0.00002741328,0.00049995154,0.0007681906,0.00003514106,0.0000014896389,0.0055526155,0.797264,0.15900849,0.002339659,0.00007874446,0.03437288],"study_design_scores_gemma":[0.0003918003,0.000062552535,0.000544356,0.00036508395,0.00003874644,0.000023020359,0.00017184179,0.9195645,0.07615098,0.0023708062,0.0000057117704,0.00031059879],"about_ca_topic_score_codex":0.0000060737984,"about_ca_topic_score_gemma":0.0000027768378,"teacher_disagreement_score":0.4785613,"about_ca_system_score_codex":0.0001195244,"about_ca_system_score_gemma":0.000066067936,"threshold_uncertainty_score":0.9999176},"labels":[],"label_agreement":null},{"id":"W2162126949","doi":"10.1145/513918.513977","title":"Multifunctional photonic integration for the agile optical internet","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Photonic Crystals and Applications","field":"Physics and Astronomy","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":"Nortel (Canada)","funders":"","keywords":"Agile software development; Photonics; The Internet; Computer science; Optoelectronics; Materials science; Software engineering; World Wide Web","score_opus":0.08116384696044174,"score_gpt":0.28069374623360205,"score_spread":0.1995298992731603,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2162126949","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.032437053,0.000019508067,0.96031666,0.0011689892,0.00017143638,0.0010817919,0.000030530668,0.00014454729,0.004629476],"genre_scores_gemma":[0.9845752,0.000005644865,0.012758358,0.000082212224,0.00018645325,0.0014093067,0.000028170556,0.000016503014,0.0009381272],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99900955,0.00000775202,0.00028613635,0.0002930215,0.00018161826,0.00022189348],"domain_scores_gemma":[0.9989077,0.000326364,0.000171206,0.00017115372,0.00036077213,0.000062845014],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00024136381,0.00016765163,0.00013595223,0.00004578486,0.00023944328,0.0002729543,0.00039428126,0.00004993597,0.0015326825],"category_scores_gemma":[0.00008457961,0.00012757626,0.00008588631,0.00015920753,0.00007623709,0.00030196965,0.000036102563,0.00015432501,0.00011662444],"study_design_candidate":"simulation_or_modeling","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.000058063455,0.00046495008,0.0003219149,0.000044228127,0.00016297863,1.1849779e-7,0.00304795,0.00029624227,0.28400794,0.50788593,0.06078323,0.14292644],"study_design_scores_gemma":[0.00040783922,0.000053476175,0.00029745756,0.00003074996,0.000042985885,0.000002162503,0.00034267528,0.88399667,0.094126135,0.014402675,0.0061182394,0.00017892983],"about_ca_topic_score_codex":0.000019501222,"about_ca_topic_score_gemma":9.971856e-7,"teacher_disagreement_score":0.9521382,"about_ca_system_score_codex":0.000044693625,"about_ca_system_score_gemma":0.000039702474,"threshold_uncertainty_score":0.99938005},"labels":[],"label_agreement":null},{"id":"W2163880998","doi":"10.1145/1278480.1278591","title":"Modeling simultaneous switching noise-induced jitter for system-on-chip phase-locked loops","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Advancements in PLL and VCO Technologies","field":"Engineering","cited_by":10,"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":"Jitter; Phase noise; Phase-locked loop; Noise (video); Electronic engineering; Chip; Computer science; System on a chip; Telecommunications; Engineering; Embedded system","score_opus":0.06938438734817476,"score_gpt":0.30519469951419903,"score_spread":0.23581031216602427,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2163880998","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.35482597,0.000015293828,0.64106977,0.0000440924,0.00037736117,0.0006883603,0.0000049337623,0.0026053914,0.00036885438],"genre_scores_gemma":[0.93861717,0.000010210581,0.06086215,0.000054096767,0.00016101357,0.00019203873,0.000006671766,0.00007130135,0.000025340365],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99799573,0.0000061027513,0.0006144726,0.00044044814,0.00033818147,0.00060505216],"domain_scores_gemma":[0.99872684,0.00038267762,0.00014651733,0.00026718722,0.0003813441,0.00009544651],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00058362295,0.00039210406,0.00035347085,0.00031250267,0.00024724382,0.00018055103,0.0006165999,0.000247244,0.0000078886205],"category_scores_gemma":[0.0007458941,0.00038656953,0.000067662244,0.00028281703,0.000023055374,0.0005749628,0.000043719498,0.00030897596,0.000033061555],"study_design_candidate":"simulation_or_modeling","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.0001971789,0.000094841234,0.000015180987,0.00088849623,0.00010072333,0.000009684373,0.0016149207,0.15713081,0.73769885,0.0073377867,0.00020848127,0.09470306],"study_design_scores_gemma":[0.0008104137,0.00016898557,0.000001925269,0.0002695024,0.000027693415,0.000011564261,0.000608385,0.8005002,0.19474052,0.0024472785,0.000050739454,0.0003628022],"about_ca_topic_score_codex":0.0000024095443,"about_ca_topic_score_gemma":6.367353e-7,"teacher_disagreement_score":0.6433694,"about_ca_system_score_codex":0.00025511364,"about_ca_system_score_gemma":0.000030747207,"threshold_uncertainty_score":0.9998586},"labels":[],"label_agreement":null},{"id":"W2171356936","doi":"10.1145/1278480.1278663","title":"Automatic cache tuning for energy-efficiency using local regression modeling","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of British Columbia","funders":"Western Canada Research Grid","keywords":"Speedup; Computer science; Benchmark (surveying); Cache; Design space exploration; Parallel computing; Cache-oblivious algorithm; Inference; Set (abstract data type); Algorithm; CPU cache; Power (physics); Space (punctuation); Instruction set; Energy (signal processing); Computer engineering; Cache algorithms; Artificial intelligence; Embedded system; Mathematics; Statistics","score_opus":0.10017936747282771,"score_gpt":0.31843908231090334,"score_spread":0.21825971483807563,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2171356936","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0083214035,0.000053318247,0.98830825,0.00014096969,0.0002484271,0.0004287926,6.0726893e-7,0.0022225862,0.00027563053],"genre_scores_gemma":[0.5206513,0.0000055185596,0.47915372,0.00008444981,0.000044521523,0.000024771687,0.0000018621027,0.000015626187,0.000018267552],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9974404,0.000041773696,0.0007149078,0.0006695861,0.0005332827,0.00060004997],"domain_scores_gemma":[0.9976883,0.000302601,0.00047495312,0.00038813677,0.0009781681,0.00016782046],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0021500438,0.00032616622,0.00031904428,0.00047143563,0.0005673492,0.0005084241,0.0014859712,0.00020689722,0.000005830818],"category_scores_gemma":[0.0005476248,0.0003107955,0.00008794827,0.0008072081,0.00006503744,0.0011731064,0.00020652234,0.00017660564,0.000004126828],"study_design_candidate":"simulation_or_modeling","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.000054971086,0.00024174625,0.000071578135,0.00034503586,0.0000464737,0.000007447298,0.0055134986,0.39073354,0.07180504,0.12280988,0.0010057811,0.407365],"study_design_scores_gemma":[0.0002828627,0.000093914336,0.0000070063847,0.00030819664,0.0000135120545,0.000027585455,0.00009359783,0.9384429,0.04603276,0.014310346,0.000022658158,0.00036466648],"about_ca_topic_score_codex":0.000020547708,"about_ca_topic_score_gemma":6.4643854e-7,"teacher_disagreement_score":0.54770935,"about_ca_system_score_codex":0.00020761866,"about_ca_system_score_gemma":0.00026373088,"threshold_uncertainty_score":0.99993443},"labels":[],"label_agreement":null},{"id":"W3148230205","doi":"10.1109/dac.2006.229309","title":"Solution-processed infrared photovoltaic devices","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Quantum Dots Synthesis And Properties","field":"Materials Science","cited_by":1,"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":"Photovoltaic system; Quantum dot; Optoelectronics; Materials science; Absorption (acoustics); Infrared; Nanoparticle; Nanotechnology; Optics; Physics; Electrical engineering; Engineering","score_opus":0.05606914744723391,"score_gpt":0.2544088085907839,"score_spread":0.19833966114355,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3148230205","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.91853786,0.00030514828,0.07048282,0.0004595311,0.0004733595,0.00073111046,0.000014857016,0.001317242,0.007678095],"genre_scores_gemma":[0.9700947,0.000022555085,0.028653247,0.00016646377,0.00018824858,0.00022799411,0.000007753442,0.00003293112,0.00060611323],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9976648,0.00005175297,0.0006240859,0.0005702681,0.00057108444,0.0005179965],"domain_scores_gemma":[0.99823153,0.00018153113,0.00045865378,0.00026153153,0.00076937815,0.000097347205],"candidate_categories":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00085422775,0.00033078404,0.00034692683,0.00018325394,0.0004435644,0.001063899,0.0008489418,0.00016423222,0.0010170796],"category_scores_gemma":[0.00052529894,0.0002861499,0.00006272996,0.0003705564,0.00017066367,0.0018506935,0.00008068508,0.00012832775,0.0007764306],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","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.000045477518,0.00005925291,0.00034041278,0.00016939428,0.0000054575444,0.0000010059559,0.00043929537,0.00003944544,0.9893755,0.0022336845,0.0065446473,0.000746458],"study_design_scores_gemma":[0.00028474297,0.00008177974,0.0024799227,0.00016291985,0.000028709617,0.000012651851,0.00018203798,0.0556119,0.9217562,0.017533105,0.0014402756,0.00042575752],"about_ca_topic_score_codex":0.00018182049,"about_ca_topic_score_gemma":0.0000129856435,"teacher_disagreement_score":0.06761927,"about_ca_system_score_codex":0.000084747204,"about_ca_system_score_gemma":0.0002401322,"threshold_uncertainty_score":0.9999731},"labels":[],"label_agreement":null},{"id":"W3150716070","doi":"10.1109/dac.2006.229229","title":"A family of cells to reduce the soft-error-rate in ternary-CAM","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Radiation Effects in Electronics","field":"Engineering","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":"University of Toronto","funders":"","keywords":"Soft error; Computer science; Reduction (mathematics); Error detection and correction; Word error rate; Content-addressable memory; Ternary operation; Word (group theory); Computer hardware; Embedded system; Arithmetic; Electronic engineering; Algorithm; Engineering; Speech recognition; Artificial intelligence; Mathematics; Programming language","score_opus":0.02575501377618488,"score_gpt":0.24470893138902325,"score_spread":0.21895391761283836,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3150716070","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8394414,0.00007367624,0.15658188,0.00028182543,0.00030217788,0.0008707162,0.000005105468,0.00046389,0.0019793184],"genre_scores_gemma":[0.99320894,0.000012276559,0.0063079554,0.00008016741,0.0000797493,0.00017856758,0.0000023117514,0.000038586568,0.00009141459],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99860746,0.000034998026,0.00047118787,0.00024856764,0.000273021,0.00036474149],"domain_scores_gemma":[0.99914575,0.00022841632,0.0001450988,0.00022510435,0.00020488526,0.000050739785],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006796672,0.0002205725,0.0002310972,0.00023683379,0.00005259236,0.00010213088,0.00061999424,0.00010987921,0.000015021608],"category_scores_gemma":[0.00020396453,0.00020202345,0.000038079008,0.0006755124,0.0000422007,0.00034156555,0.00002857275,0.0002229513,0.000063321495],"study_design_candidate":"simulation_or_modeling","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.000013024009,0.000023950222,0.000111060246,0.000089637644,0.000010375868,5.31864e-7,0.00079357706,0.38988468,0.600042,0.0013575644,0.004198056,0.003475566],"study_design_scores_gemma":[0.00021019176,0.00005798652,0.006554475,0.0000747646,0.000009569326,0.0000022499707,0.000053214244,0.73423207,0.25585735,0.0025321494,0.00022791885,0.00018804095],"about_ca_topic_score_codex":0.00005284623,"about_ca_topic_score_gemma":0.0000073160786,"teacher_disagreement_score":0.34434742,"about_ca_system_score_codex":0.00018601496,"about_ca_system_score_gemma":0.000090818095,"threshold_uncertainty_score":0.82382774},"labels":[],"label_agreement":null},{"id":"W4235191568","doi":"10.1145/513950.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":3,"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 British Columbia","funders":"","keywords":"Computer science; Verilog; VHDL; Embedded system; Block (permutation group theory); Interface (matter); Protocol (science); Hardware description language; Formal verification; System on a chip; Computer architecture; Programming language; Operating system; Field-programmable gate array","score_opus":0.2003871389227613,"score_gpt":0.2919260151815011,"score_spread":0.09153887625873977,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4235191568","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.10549736,0.00008961634,0.891749,0.00046749646,0.00027173094,0.0007177856,0.0000029991327,0.00091743295,0.00028655058],"genre_scores_gemma":[0.66620374,0.000048656293,0.33344874,0.000021121466,0.00006572978,0.00010198598,0.0000012857344,0.000014762013,0.00009399501],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99773467,0.0000939916,0.000785233,0.00058386964,0.00053148286,0.00027074848],"domain_scores_gemma":[0.99775356,0.00016308033,0.0007270833,0.0005094829,0.0007403738,0.00010638994],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008200492,0.00028203317,0.00035638694,0.00037083574,0.00013915941,0.00045179244,0.0011434116,0.00017627334,0.000041602547],"category_scores_gemma":[0.0004220086,0.00028521733,0.000040803865,0.0005732947,0.000093263545,0.0018736545,0.00013213929,0.00016045256,0.00005174267],"study_design_candidate":"bench_or_experimental","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.0000045220513,0.00011892015,0.00020042896,0.00030017272,0.00003685785,0.0000012182963,0.0068064216,0.00006885497,0.82387835,0.0628012,0.008439933,0.0973431],"study_design_scores_gemma":[0.00015845083,0.00011502623,0.0007870626,0.00012255186,0.000009746622,0.000019732033,0.000048757243,0.58119273,0.41253042,0.0047940034,0.00001888037,0.00020264149],"about_ca_topic_score_codex":0.000018240515,"about_ca_topic_score_gemma":6.351255e-7,"teacher_disagreement_score":0.5811239,"about_ca_system_score_codex":0.000113283124,"about_ca_system_score_gemma":0.000045117424,"threshold_uncertainty_score":0.99996},"labels":[],"label_agreement":null},{"id":"W4241336885","doi":"10.1145/514001.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Optimization and Search Problems","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 Toronto","funders":"","keywords":"Computer science; Binary number; Arithmetic; Mathematics","score_opus":0.1252185535176678,"score_gpt":0.26746779574041174,"score_spread":0.14224924222274393,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4241336885","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0022809654,0.00012272537,0.971711,0.0033614608,0.00030003974,0.00052687165,0.0000020370735,0.0014308818,0.020264048],"genre_scores_gemma":[0.72646046,0.00015494575,0.2694978,0.00038930296,0.00004770244,0.00010531224,0.0000024168087,0.000016009022,0.0033260528],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9980279,0.00005168568,0.00038909842,0.00052383554,0.00054330664,0.000464149],"domain_scores_gemma":[0.99841607,0.00012724109,0.00019041025,0.00040108975,0.0006921101,0.00017308843],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006191764,0.00022349469,0.0002192598,0.00026325363,0.00030449967,0.00088461756,0.0015606594,0.00011202205,0.0007189755],"category_scores_gemma":[0.0004457197,0.00021907369,0.000052482683,0.00075235724,0.000085682615,0.0027015281,0.00019359095,0.00020217874,0.0005942537],"study_design_candidate":"simulation_or_modeling","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.0000333933,0.0006585939,0.0010743923,0.000578925,0.00011176379,0.000021307478,0.028407436,0.004608498,0.059402492,0.62402827,0.19576915,0.08530581],"study_design_scores_gemma":[0.00026845577,0.00011604889,0.00019302224,0.000048853228,0.0000044708536,0.0000144794985,0.00007985842,0.9744586,0.008547721,0.013621214,0.0023778563,0.00026947315],"about_ca_topic_score_codex":0.0000052685723,"about_ca_topic_score_gemma":2.0191106e-7,"teacher_disagreement_score":0.96985006,"about_ca_system_score_codex":0.0000610181,"about_ca_system_score_gemma":0.00007693745,"threshold_uncertainty_score":0.89335656},"labels":[],"label_agreement":null},{"id":"W4251683102","doi":"10.1109/dac.2006.229439","title":"Early outpoint insertion for high-level software vs. RTL formal combinational equivalence verification","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"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 British Columbia","funders":"","keywords":"Computer science; Formal equivalence checking; Equivalence (formal languages); Formal verification; High-level synthesis; Combinational logic; Software; Theoretical computer science; Model checking; Parallel computing; Algorithm; Programming language; Embedded system; Mathematics; Field-programmable gate array; Logic gate; Discrete mathematics","score_opus":0.0981762457468505,"score_gpt":0.29383941544495124,"score_spread":0.19566316969810074,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4251683102","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0649334,0.00001213981,0.9310798,0.0007707392,0.0006836333,0.0012831704,0.000024637277,0.001002369,0.00021009445],"genre_scores_gemma":[0.50977826,0.000004150666,0.48941907,0.0000806879,0.000082474966,0.0004714533,0.000037833597,0.000017398172,0.00010863535],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9968579,0.00007329688,0.00086193084,0.0007979494,0.0008256127,0.00058334833],"domain_scores_gemma":[0.9962142,0.0002952799,0.00081885717,0.000543718,0.0020171376,0.00011081302],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0018102537,0.00035484156,0.0003044494,0.0003676592,0.00052130595,0.0007996127,0.0018268026,0.00024074604,0.000017917826],"category_scores_gemma":[0.001438515,0.00038577497,0.000089005734,0.0007084688,0.00011637836,0.0056114336,0.00016510255,0.00021640648,0.00008701819],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008437305,0.00018780598,0.0005036308,0.00020556927,0.000016186737,4.008684e-7,0.0007368218,0.0003454313,0.04907846,0.90078676,0.0015426826,0.046511903],"study_design_scores_gemma":[0.0011046173,0.00044631024,0.1740882,0.000119280165,0.000025072482,0.000016532866,0.000026595086,0.50829846,0.13259064,0.18250284,0.00017884774,0.0006026178],"about_ca_topic_score_codex":0.000044360124,"about_ca_topic_score_gemma":0.0000012153611,"teacher_disagreement_score":0.7182839,"about_ca_system_score_codex":0.00029875425,"about_ca_system_score_gemma":0.00027216,"threshold_uncertainty_score":0.9998594},"labels":[],"label_agreement":null}]}