{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":3,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":3,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"819e19a63e40","filters":{"venue":"Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)"}},"results":[{"id":"W4247881338","doi":"10.1109/dac.2002.1012673","title":"Dynamic and leakage power reduction in MTCMOS circuits using an automated efficient gate clustering technique","year":2002,"lang":"en","type":"article","venue":"Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":80,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Guelph; University of Waterloo","funders":"","keywords":"Subthreshold conduction; Leakage (economics); Very-large-scale integration; Computer science; Dynamic demand; Transistor; Cluster analysis; Standby power; Electronic engineering; Electronic circuit; Dissipation; Low-power electronics; Reduction (mathematics); Logic gate; Embedded system; Power (physics); Engineering; Electrical engineering; Voltage; Mathematics","authors":[{"name":"Mohab Anis","is_ca":true},{"name":"Shawki Areibi","is_ca":true},{"name":"Mohamed A. E. Mahmoud","is_ca":true},{"name":"M. Elmasry","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03265597306133072,"gpt":0.2450234269764222,"spread":0.2123674539150915,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008822499,0.0006780094,0.0005699033,0.001033387,0.0002678552,0.0004595908,0.000408609,0.0004484116,0.0002536585],"category_scores_gemma":[0.00009995043,0.0007710282,0.00005879711,0.001154033,0.0001528457,0.001782201,0.0000533999,0.000477873,0.0002119362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007966422,"about_ca_system_score_gemma":0.00006864708,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002164546,"about_ca_topic_score_gemma":0.000003582161,"domain_scores_codex":[0.9967023,0.00007084108,0.0009478721,0.0008246776,0.0005333463,0.0009209686],"domain_scores_gemma":[0.9986127,0.00004693048,0.0002838987,0.0003198623,0.0004667048,0.0002699029],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001202149,0.0001267796,0.00006413671,0.0003873738,0.00002843815,0.00001138293,0.003403399,0.1439347,0.8492364,0.00004360372,0.0004759671,0.002275729],"study_design_scores_gemma":[0.0006953528,0.0001586012,0.0008227354,0.0005388079,0.00003399069,0.0002309859,0.000233295,0.9582103,0.03817962,0.0000291753,0.0000263245,0.00084084],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7561074,0.00007456077,0.2362405,0.00003269013,0.0007030245,0.001740786,0.000009029071,0.004029237,0.001062736],"genre_scores_gemma":[0.9613323,0.0001396102,0.03785653,0.00002404889,0.00006204971,0.0003018513,0.000009251536,0.0001565857,0.0001177606],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8142755,"threshold_uncertainty_score":0.999474,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4244102356","doi":"10.1109/dac.2002.1012607","title":"High-level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Verilog; VHDL; Block (permutation group theory); Embedded system; Interface (matter); Protocol (science); Formal verification; System on a chip; Hardware description language; Chip; Programming language; Operating system; Field-programmable gate array","authors":[{"name":"Marcio T. Oliveira","is_ca":true},{"name":"Alan J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1901769282912303,"gpt":0.2921177476427763,"spread":0.1019408193515461,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001228837,0.0004184631,0.0004606908,0.0004892963,0.0002520053,0.0005432963,0.0009851707,0.0002606126,0.0002279015],"category_scores_gemma":[0.0006773951,0.000434461,0.0000643259,0.0008919088,0.0001868269,0.002893274,0.000110035,0.000225636,0.000394909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000213171,"about_ca_system_score_gemma":0.00008338407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002056692,"about_ca_topic_score_gemma":7.313343e-7,"domain_scores_codex":[0.99678,0.0001498273,0.001081337,0.0008178112,0.0007289978,0.00044196],"domain_scores_gemma":[0.9967062,0.0001432785,0.001034951,0.0005173269,0.001412739,0.0001855184],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001520122,0.0002959027,0.0001976476,0.000427702,0.00006515572,0.000001224842,0.007581986,0.0005179217,0.7247902,0.06730241,0.01153336,0.1872713],"study_design_scores_gemma":[0.0003395797,0.0001754851,0.002197267,0.0001114166,0.00002337743,0.00002059817,0.00008855778,0.7940775,0.2017335,0.0007729591,0.0001041474,0.0003555757],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1415188,0.00006247826,0.8549628,0.0003417959,0.0009184947,0.0008306606,0.000007705462,0.0005609349,0.0007963162],"genre_scores_gemma":[0.4754014,0.0001286675,0.5237292,0.00003658265,0.0001343875,0.0001095035,0.000003900271,0.00002185728,0.0004345063],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7935596,"threshold_uncertainty_score":0.9998107,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4240107341","doi":"10.1109/dac.2002.1012645","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Software; Software engineering; Downstream (manufacturing); Set (abstract data type); Retargeting; Architecture; Interface (matter); Programming language; Operating system; Engineering","authors":[{"name":"Maghsoud Abbaspour","is_ca":true},{"name":"Jianwen Zhu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0625527907229308,"gpt":0.2449277789363456,"spread":0.1823749882134148,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008653999,0.0004931201,0.0004773292,0.0004927784,0.0005149997,0.001028245,0.001610068,0.0002679879,0.0008064145],"category_scores_gemma":[0.0003643938,0.0005058557,0.0001219711,0.001055082,0.0001464927,0.002500162,0.0001921229,0.0002991634,0.001590036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001605501,"about_ca_system_score_gemma":0.0001388839,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001884625,"about_ca_topic_score_gemma":3.280061e-7,"domain_scores_codex":[0.9966905,0.00009650726,0.0007637526,0.0009490003,0.0007163805,0.0007839256],"domain_scores_gemma":[0.9971432,0.0001600448,0.0004930862,0.0005106397,0.001436345,0.0002566638],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003902029,0.0007545515,0.0006639446,0.0005138257,0.0001436642,0.00003006019,0.01016896,0.005976122,0.04604244,0.07678824,0.8233114,0.03556774],"study_design_scores_gemma":[0.0003272932,0.0002036695,0.0001548829,0.0001271218,0.00001443911,0.00003333718,0.00005057103,0.9790401,0.01224635,0.002393255,0.004810744,0.0005982749],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003601477,0.0001707372,0.9537406,0.001041193,0.0006319701,0.0006847566,0.000004406646,0.004100639,0.03602425],"genre_scores_gemma":[0.3258483,0.0003906907,0.6591696,0.0005814088,0.0001937072,0.0001762047,0.000006746544,0.0000458195,0.01358751],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9730639,"threshold_uncertainty_score":0.9997393,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}