{"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":"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.33832738,0.00011762478,0.6428476,0.00041420694,0.00011585046,0.00014536058,0.00035296794,0.0017455252,0.015933568],"genre_scores_gemma":[0.9215164,0.0000844364,0.07478491,0.00007843693,0.000018677616,0.00016765493,0.00019251433,0.00013913008,0.0030179098],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99944645,0.00016892322,0.000029244306,0.00008047059,0.00019094103,0.00008393225],"domain_scores_gemma":[0.9938672,0.004837231,0.00029281774,0.00064799277,0.00025859268,0.00009610977],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000773887,0.00046026753,0.00041443363,0.00044928267,0.00046397105,0.0008869987,0.00158624,0.0011461442,0.005288052],"category_scores_gemma":[0.006367962,0.00037725669,0.00045025809,0.00038303388,0.0011605124,0.0015591795,0.00079881743,0.0011887243,0.00033569575],"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.000098044635,0.000073574265,0.0013895063,0.00008323234,0.00002707844,0.00023114428,0.00018389629,0.9358922,0.004796728,0.049811862,0.00042027375,0.0069925124],"study_design_scores_gemma":[0.000011569624,0.000014718928,0.000048104816,0.00000313921,0.000004096336,0.000019779867,0.00001407386,0.987158,0.002539393,0.009746927,0.0004370978,0.0000031473305],"about_ca_topic_score_codex":0.0019244162,"about_ca_topic_score_gemma":0.0023421538,"teacher_disagreement_score":0.005288052,"about_ca_system_score_codex":0.0007659598,"about_ca_system_score_gemma":0.0008916415,"threshold_uncertainty_score":0.01769036},"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":"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.014698469,0.000026041362,0.9777334,0.00006428012,0.000016569385,0.00011131052,0.0001348631,0.005449383,0.0017657374],"genre_scores_gemma":[0.28395766,0.00008929618,0.71083367,0.000121100005,0.000020011012,0.00040672268,0.0004996149,0.0011166777,0.0029552141],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99850273,0.00039874602,0.00012337317,0.00017174141,0.00070086634,0.00010266323],"domain_scores_gemma":[0.9972481,0.0014207104,0.00025909132,0.00056173385,0.00046638038,0.00004399273],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011560902,0.00046540864,0.00027781288,0.00044938587,0.0002295332,0.0011159553,0.0010450508,0.0006890824,0.003301906],"category_scores_gemma":[0.0050823847,0.0005075952,0.00041273772,0.00026839148,0.00065353117,0.0011475688,0.0006338584,0.0011874823,0.0010554539],"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.00049955136,0.00024814962,0.004761373,0.0007498822,0.00005745355,0.0012185674,0.0008868446,0.11625456,0.40552366,0.17882553,0.009466303,0.28150818],"study_design_scores_gemma":[0.0001532851,0.00023169986,0.000663391,0.00005555469,0.00003920124,0.00046462304,0.0000638413,0.6558366,0.29658338,0.022622017,0.023255935,0.000030549556],"about_ca_topic_score_codex":0.00046511376,"about_ca_topic_score_gemma":0.0005443186,"teacher_disagreement_score":0.003301906,"about_ca_system_score_codex":0.00043224977,"about_ca_system_score_gemma":0.0008587214,"threshold_uncertainty_score":0.011045992},"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":"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.13594785,0.00037923764,0.8590826,0.00008885361,0.000055738557,0.00004998826,0.00004211582,0.0022243485,0.0021293126],"genre_scores_gemma":[0.7574157,0.00017483027,0.23956943,0.00011894701,0.000029213921,0.00003678718,0.00007561554,0.00013265816,0.0024467623],"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.99982846,0.000023521701,0.000012835423,0.00003654248,0.00007619876,0.000022458013],"domain_scores_gemma":[0.99943227,0.00024727645,0.00009857726,0.000096542164,0.00010784848,0.00001751563],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00019511912,0.00059713726,0.00030250844,0.0005438122,0.00029243398,0.00038005353,0.0009393154,0.00028657744,0.0015916356],"category_scores_gemma":[0.001053873,0.00024291837,0.00026932557,0.00028040927,0.00022107422,0.0007099535,0.00025617832,0.00031117038,0.00023947259],"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.0006240515,0.00016248181,0.0036376745,0.00016738058,0.00006599226,0.00039661795,0.00013782474,0.24793808,0.16424675,0.0073480387,0.0018931745,0.57338196],"study_design_scores_gemma":[0.00006346956,0.0006431907,0.002072846,0.00002749395,0.000070720176,0.0005468062,0.000031551623,0.84861,0.13816679,0.0048868787,0.004843028,0.00003721173],"about_ca_topic_score_codex":0.0011175148,"about_ca_topic_score_gemma":0.0025407968,"teacher_disagreement_score":0.0015916356,"about_ca_system_score_codex":0.00031459387,"about_ca_system_score_gemma":0.0003570525,"threshold_uncertainty_score":0.005324483},"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":"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.0065223915,0.000064827174,0.98806316,0.0002246852,0.000038675353,0.00006662833,0.00001674163,0.0012150491,0.0037878817],"genre_scores_gemma":[0.43653455,0.00021455706,0.5572732,0.00026024246,0.0000430225,0.00028640172,0.000106584936,0.00039747552,0.0048839063],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9985852,0.0004313914,0.00007045509,0.0001966928,0.0005693232,0.00014691426],"domain_scores_gemma":[0.9979352,0.0009238962,0.00014779893,0.00053424656,0.00031591931,0.00014302162],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011482359,0.0009960149,0.0007353006,0.0007808647,0.00073352427,0.0012674315,0.001345262,0.0013696979,0.004638767],"category_scores_gemma":[0.0067245625,0.00046655466,0.00057712174,0.00043306657,0.0013018269,0.0016710216,0.002880488,0.0019100796,0.0012158637],"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.0003911451,0.00015884166,0.0011352671,0.00018163346,0.000046315712,0.0003942437,0.00086280407,0.3756145,0.04377215,0.37040567,0.005358734,0.20167878],"study_design_scores_gemma":[0.000052007254,0.00010828394,0.000102951,0.000034744455,0.000017879098,0.00008079029,0.000071563125,0.8931796,0.009153578,0.0865659,0.010609262,0.000023390143],"about_ca_topic_score_codex":0.0020982646,"about_ca_topic_score_gemma":0.002305102,"teacher_disagreement_score":0.004638767,"about_ca_system_score_codex":0.00073043373,"about_ca_system_score_gemma":0.0015836194,"threshold_uncertainty_score":0.0155181885},"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":"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.045507114,0.00079456234,0.79447573,0.00024907818,0.00032849362,0.00033685897,0.0010475648,0.12986258,0.027398014],"genre_scores_gemma":[0.3714497,0.0009978039,0.51723796,0.00081449066,0.00016078349,0.0005660108,0.0042968662,0.035149924,0.06932647],"study_design_codex":"design_other","study_design_gemma":"not_applicable","domain_scores_codex":[0.9991897,0.000112578484,0.00006209767,0.00018779238,0.0003221559,0.0001256891],"domain_scores_gemma":[0.9979924,0.0006391327,0.00016442298,0.0008448645,0.0003129271,0.000046258097],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005793361,0.00088920054,0.0005182002,0.0009982892,0.00039171003,0.0009596216,0.0015133144,0.0007469844,0.012717774],"category_scores_gemma":[0.004014535,0.00059387257,0.0005958331,0.0005810476,0.0004879687,0.0017311111,0.0020458964,0.0013530654,0.0066884942],"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.00065676164,0.00020049515,0.003307232,0.00066130003,0.00006276478,0.0013862831,0.0010688201,0.012705215,0.1251118,0.04681317,0.050965555,0.75706047],"study_design_scores_gemma":[0.00020449856,0.00030908,0.0056741918,0.00032681425,0.00019912948,0.0030559492,0.00027676174,0.12803975,0.35354847,0.05773078,0.45040435,0.0002302142],"about_ca_topic_score_codex":0.0007499265,"about_ca_topic_score_gemma":0.0013298247,"teacher_disagreement_score":0.012717774,"about_ca_system_score_codex":0.00047084302,"about_ca_system_score_gemma":0.0004786309,"threshold_uncertainty_score":0.0425452},"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":"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.059327208,0.00020648768,0.9392391,0.000039593528,0.000007454786,0.000015051187,0.000056920257,0.00032341763,0.0007847841],"genre_scores_gemma":[0.90426695,0.00024841205,0.093888775,0.000032801447,0.000020968015,0.00007256542,0.000109430264,0.00008725191,0.0012727755],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99955493,0.0001175417,0.000020097299,0.00010282946,0.00015451832,0.000050025537],"domain_scores_gemma":[0.9990087,0.00050199754,0.00017209722,0.00017170869,0.00012554535,0.000020041905],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00058402197,0.0006376636,0.00058824144,0.0005649162,0.00016014997,0.00065823586,0.0010027713,0.0005976511,0.0006340974],"category_scores_gemma":[0.002326206,0.00048374574,0.0006454527,0.0005694111,0.00044214935,0.0012668316,0.00038992972,0.00046914953,0.00026730233],"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.000020365469,0.000013005689,0.00078037044,0.000019505072,0.00001714176,0.000043824017,0.000012881633,0.980928,0.007166906,0.0019510443,0.000076249016,0.008970585],"study_design_scores_gemma":[8.1588286e-7,0.000009605033,0.00022410402,8.867675e-7,0.0000037890713,0.00002041093,0.0000012663362,0.99812526,0.001133999,0.00041074006,0.0000666965,0.0000025009172],"about_ca_topic_score_codex":0.0012880088,"about_ca_topic_score_gemma":0.0019454465,"teacher_disagreement_score":0.0012880088,"about_ca_system_score_codex":0.0006404955,"about_ca_system_score_gemma":0.0007416211,"threshold_uncertainty_score":0.0046471357},"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":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.48189685,0.011912416,0.39390215,0.0020806429,0.00060114486,0.00010369635,0.000112492635,0.0015381568,0.10785243],"genre_scores_gemma":[0.8892967,0.0023722185,0.09895999,0.0002796216,0.00013439494,0.000049957096,0.00007393509,0.000059127935,0.008774042],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9998356,0.000018789791,0.000004804036,0.000026067542,0.00008636193,0.000028276681],"domain_scores_gemma":[0.99993277,0.000017383165,0.000012455659,0.000010095465,0.000019161664,0.00000815031],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00014460499,0.00022235126,0.000112914895,0.0002652389,0.00035925768,0.00055596436,0.0002288396,0.0004430917,0.0014768724],"category_scores_gemma":[0.00018677222,0.00012876968,0.00013307213,0.0001867806,0.00022747023,0.0007229845,0.00037764062,0.00044135496,0.00039206102],"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.000077513134,0.00009261425,0.00057135633,0.000116472685,0.000014060995,0.00028665713,0.00010440802,0.004890954,0.7912779,0.08716171,0.0022330468,0.11317338],"study_design_scores_gemma":[0.000048838083,0.00068876223,0.0024133918,0.000063748215,0.000069807174,0.0014716346,0.00015793824,0.14720818,0.61692816,0.042569004,0.18832855,0.0000519347],"about_ca_topic_score_codex":0.00013292376,"about_ca_topic_score_gemma":0.00036835377,"teacher_disagreement_score":0.0014768724,"about_ca_system_score_codex":0.0003058285,"about_ca_system_score_gemma":0.00022150126,"threshold_uncertainty_score":0.0049406886},"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":"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.08884699,0.0001525284,0.90972817,0.000034065186,0.000018354092,0.000027558062,0.000024059873,0.00021324455,0.00095502706],"genre_scores_gemma":[0.9593762,0.00013067362,0.039837476,0.00001688228,0.000019731231,0.000047656707,0.000037069378,0.000047351183,0.00048682676],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9996767,0.00007450846,0.000014301082,0.0000474459,0.0001476964,0.000039414845],"domain_scores_gemma":[0.999368,0.0004295154,0.000068425004,0.000051661336,0.00006597322,0.000016439582],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00066967396,0.00043298528,0.0003436204,0.0004437266,0.0003400009,0.0004849274,0.00067053543,0.0004304666,0.00044094198],"category_scores_gemma":[0.0028188895,0.00024049493,0.0004010692,0.00045730852,0.00037719266,0.000702867,0.00033160756,0.00034255508,0.00009545423],"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.000029536404,0.00001830204,0.0010215181,0.000016271219,0.000014356753,0.000031475178,0.000028876804,0.9790481,0.00553674,0.0056444597,0.00005809447,0.00855235],"study_design_scores_gemma":[0.0000011589003,0.0000072578828,0.00009452212,8.1141417e-7,0.000002515861,0.000004180574,0.0000017101125,0.9985642,0.0007023179,0.00056951,0.00005057359,0.0000012865271],"about_ca_topic_score_codex":0.0038302522,"about_ca_topic_score_gemma":0.0034169802,"teacher_disagreement_score":0.0038302522,"about_ca_system_score_codex":0.00076692546,"about_ca_system_score_gemma":0.00078790315,"threshold_uncertainty_score":0.007615924},"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":"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.09185643,0.00019241651,0.90340745,0.00016545046,0.000008369302,0.000064913984,0.000111521455,0.002579054,0.0016143211],"genre_scores_gemma":[0.88050103,0.00009565278,0.117321305,0.00007684826,0.000012052081,0.00021051291,0.00020524727,0.0003464093,0.0012309882],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99893695,0.0005354661,0.00003665303,0.0001734658,0.00023933624,0.000078070625],"domain_scores_gemma":[0.9969054,0.0022635618,0.0003287007,0.00025161696,0.00021404838,0.000036719026],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0016910713,0.0010404182,0.0010628094,0.00080654846,0.00028529996,0.00073102536,0.0012350137,0.0006247891,0.0017978743],"category_scores_gemma":[0.007823495,0.0007003533,0.00085044256,0.00075546245,0.00039535936,0.0011450889,0.00050469924,0.0013010281,0.0005392133],"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.000044462933,0.00004242019,0.0011937412,0.000025358799,0.000032914108,0.000013739811,0.000021494207,0.9773162,0.0023618601,0.0008964273,0.00022453103,0.01782683],"study_design_scores_gemma":[0.0000028891845,0.000010331255,0.000070301525,0.0000011350522,0.0000027225476,0.0000027272822,0.0000013199889,0.99906915,0.00043633563,0.0003519628,0.000049473536,0.0000015934669],"about_ca_topic_score_codex":0.003727438,"about_ca_topic_score_gemma":0.0056530396,"teacher_disagreement_score":0.003727438,"about_ca_system_score_codex":0.0006977814,"about_ca_system_score_gemma":0.0011320738,"threshold_uncertainty_score":0.008943379},"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":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.47220385,0.040747274,0.26888856,0.0027188486,0.003349525,0.0007900357,0.0056626447,0.004665231,0.200974],"genre_scores_gemma":[0.725848,0.010670647,0.16332214,0.0015525003,0.00032146348,0.0003921154,0.0027196878,0.00028221638,0.09489125],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.99978906,0.000012133651,0.000013100525,0.00007248019,0.00009029558,0.000022835391],"domain_scores_gemma":[0.9999361,0.000010702051,0.00000976256,0.000009099021,0.000026313126,0.000007918987],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00013422572,0.00031984394,0.0003686898,0.0002719702,0.00029842526,0.0008046006,0.000705878,0.0007386805,0.009744903],"category_scores_gemma":[0.00019332816,0.00024213908,0.00031566582,0.00034121907,0.00021976659,0.0007815731,0.00036085845,0.0009471705,0.0049969736],"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.00003735537,0.00004241938,0.00007640055,0.00025361302,0.000013536008,0.000082291976,0.000032619835,0.00026713146,0.97340196,0.0035973114,0.0022989223,0.019896388],"study_design_scores_gemma":[0.00002920802,0.00014514524,0.00029017855,0.000030623556,0.000016164697,0.00033000062,0.000032841686,0.0021688428,0.944291,0.0010711958,0.05157528,0.000019463103],"about_ca_topic_score_codex":0.00018214904,"about_ca_topic_score_gemma":0.00039544,"teacher_disagreement_score":0.009744903,"about_ca_system_score_codex":0.0003449308,"about_ca_system_score_gemma":0.00020522575,"threshold_uncertainty_score":0.032599986},"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":"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.33357868,0.01001795,0.61621714,0.0011478821,0.0013524755,0.0004881621,0.0013110313,0.004403367,0.03148336],"genre_scores_gemma":[0.74424464,0.0014654023,0.24496312,0.00057829364,0.00012396098,0.00032010826,0.00036219746,0.00011845485,0.007823954],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9998567,0.000019446388,0.000018668015,0.000032093216,0.000053021315,0.00001999732],"domain_scores_gemma":[0.99942446,0.000088739194,0.00012875399,0.00012320404,0.00020875609,0.000026059755],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00017871993,0.00043371934,0.00038960163,0.000635501,0.00044202106,0.00052242546,0.0010198001,0.0006755019,0.0016676711],"category_scores_gemma":[0.0009708447,0.000124526,0.00039138252,0.00059676915,0.00021799063,0.00042602018,0.00025253394,0.000360356,0.00078808825],"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.00036158372,0.00015853954,0.0031139138,0.00082741375,0.00010763126,0.0008596147,0.00024377102,0.027428454,0.5599062,0.03218893,0.009552759,0.36525127],"study_design_scores_gemma":[0.00014530036,0.0021704775,0.0034605823,0.00019290575,0.00030246336,0.0070600826,0.00009599838,0.18643637,0.6577588,0.00782958,0.13441962,0.00012786481],"about_ca_topic_score_codex":0.0006020646,"about_ca_topic_score_gemma":0.0009219495,"teacher_disagreement_score":0.0016676711,"about_ca_system_score_codex":0.00046073608,"about_ca_system_score_gemma":0.0003992654,"threshold_uncertainty_score":0.005578935},"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":"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.015976347,0.00002851134,0.97526324,0.000066966924,0.000018460694,0.00010679132,0.00015024183,0.00647581,0.0019136153],"genre_scores_gemma":[0.30122057,0.00009017448,0.69319165,0.00012982736,0.000021590295,0.00036853238,0.00055242097,0.001297133,0.003128156],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9986204,0.00036282823,0.00011490387,0.00016261011,0.0006435515,0.00009572273],"domain_scores_gemma":[0.9973912,0.0013143326,0.0002464055,0.00053806807,0.00046894106,0.000041012165],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010276198,0.00046509295,0.00026055856,0.00042910906,0.0002147161,0.0010625517,0.0010312585,0.0006507002,0.003317029],"category_scores_gemma":[0.004798042,0.00048699637,0.0003785805,0.00025898658,0.0005794267,0.0011015272,0.0005894661,0.0011455112,0.0010658634],"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.00051466905,0.0002295092,0.0044978103,0.0007216747,0.000053733755,0.0011781022,0.0008172504,0.10822419,0.427888,0.14908318,0.010121602,0.29667038],"study_design_scores_gemma":[0.00014626842,0.0002402513,0.0006649846,0.000052644024,0.000037678,0.0004591433,0.000059636433,0.6387022,0.31704912,0.019032469,0.023525808,0.000029840105],"about_ca_topic_score_codex":0.00046031777,"about_ca_topic_score_gemma":0.0005275842,"teacher_disagreement_score":0.003317029,"about_ca_system_score_codex":0.0004036156,"about_ca_system_score_gemma":0.0007859872,"threshold_uncertainty_score":0.011096537},"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":"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.0433723,0.0006504232,0.8881118,0.00023219147,0.00017722207,0.00026295692,0.0005855894,0.044325043,0.022282466],"genre_scores_gemma":[0.3771878,0.0008136854,0.5642189,0.00048403055,0.000098466175,0.0004418979,0.0022880137,0.0109893745,0.043477803],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99925905,0.00012720571,0.000050292772,0.00016046729,0.00027881912,0.00012410551],"domain_scores_gemma":[0.99841523,0.0006022482,0.00012543597,0.0006175128,0.00020496543,0.00003454915],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00055700203,0.000824723,0.0005694019,0.0008931788,0.00040780357,0.0008953251,0.0014109093,0.00073585816,0.010545264],"category_scores_gemma":[0.0037215883,0.00048050444,0.00061807036,0.00062859076,0.0005405868,0.001508542,0.0020136426,0.0011907808,0.0047712103],"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.0003964847,0.00017285753,0.001963803,0.00049449835,0.000050097355,0.00093569583,0.00056284165,0.03448661,0.07609803,0.05950396,0.032262016,0.7930732],"study_design_scores_gemma":[0.00024556945,0.00035379743,0.0039015214,0.00027280056,0.00019408672,0.0026082897,0.00028522153,0.35943842,0.19923192,0.12762713,0.30566418,0.00017703888],"about_ca_topic_score_codex":0.00073676795,"about_ca_topic_score_gemma":0.0015172485,"teacher_disagreement_score":0.010545264,"about_ca_system_score_codex":0.00045448396,"about_ca_system_score_gemma":0.00045181168,"threshold_uncertainty_score":0.035277367},"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":"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.018238159,0.000043084,0.97762614,0.00007743709,0.00002368704,0.00006737547,0.000032838056,0.002124117,0.0017672055],"genre_scores_gemma":[0.50975966,0.00011551657,0.48646685,0.00016667145,0.000022225106,0.00019957608,0.00016212427,0.0007607625,0.002346553],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99612844,0.0011928355,0.00017809837,0.0004170393,0.0017077888,0.00037570013],"domain_scores_gemma":[0.9908166,0.006100844,0.00042857142,0.001841144,0.0007168558,0.000096113756],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002674065,0.0008788451,0.0005958856,0.0011924459,0.00063050265,0.0014039992,0.0015490795,0.0010057818,0.0036126424],"category_scores_gemma":[0.012345702,0.00070817425,0.001098717,0.00053376076,0.0020133655,0.003009366,0.002490982,0.00208816,0.00068321713],"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.0010326729,0.00031223957,0.00356522,0.0004959161,0.00008650399,0.0010303376,0.0011164653,0.11940258,0.104170606,0.42737767,0.0023923214,0.3390175],"study_design_scores_gemma":[0.00014696945,0.00035762435,0.0005513786,0.00012251368,0.00009333888,0.00039783114,0.00011004596,0.50820124,0.24347644,0.2339083,0.012552007,0.00008228985],"about_ca_topic_score_codex":0.0009804766,"about_ca_topic_score_gemma":0.0014224926,"teacher_disagreement_score":0.0036126424,"about_ca_system_score_codex":0.0012023115,"about_ca_system_score_gemma":0.0011968121,"threshold_uncertainty_score":0.014141917},"labels":[],"label_agreement":null}]}