{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001054767,0.0004307084,0.0002436344,0.0005049767,0.0003366274,0.0002558402,0.0005947996,0.0002604903,0.0007362727],"category_scores_gemma":[0.0004207246,0.0001598471,0.0002494679,0.0005801434,0.0001800515,0.0005103301,0.000236564,0.0002251219,0.0001837474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004393122,"about_ca_system_score_gemma":0.0004180161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00129211,"about_ca_topic_score_gemma":0.002970644,"domain_scores_codex":[0.9998511,0.00002918392,0.000007505979,0.00002321946,0.00006620477,0.0000228123],"domain_scores_gemma":[0.9997762,0.00006270739,0.0000561704,0.00005237984,0.00004379715,0.000008857131],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003366805,0.0002197897,0.002337701,0.0001871666,0.00006038122,0.000197455,0.0001962103,0.234964,0.3397023,0.008893417,0.002045238,0.4108597],"study_design_scores_gemma":[0.00006740967,0.0006839113,0.003241477,0.00001683963,0.0000478954,0.0005533767,0.00006303361,0.7565261,0.2272022,0.006870645,0.004695924,0.00003121193],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4594042,0.0006148101,0.5332496,0.0002010822,0.00003563051,0.0000744504,0.0001275229,0.002291551,0.00400117],"genre_scores_gemma":[0.8347989,0.0001223393,0.1634555,0.00006758201,0.00001441126,0.00005261907,0.0001638414,0.00007597132,0.00124885],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00129211,"threshold_uncertainty_score":0.003187478,"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001228709,0.000460468,0.000284243,0.0004600635,0.0002315272,0.001161124,0.001033781,0.0007089941,0.003091073],"category_scores_gemma":[0.005253718,0.0005209258,0.0004093818,0.0002732849,0.0006819691,0.001113176,0.0006143566,0.001174589,0.001029811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004447277,"about_ca_system_score_gemma":0.0008662703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004283021,"about_ca_topic_score_gemma":0.0004940623,"domain_scores_codex":[0.9984521,0.0004143709,0.0001290959,0.0001747868,0.0007266778,0.0001030159],"domain_scores_gemma":[0.9972605,0.001423661,0.0002691858,0.0005500882,0.0004529894,0.00004368473],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004723476,0.0002511317,0.004741237,0.0007740817,0.00005717873,0.001240373,0.0009342775,0.1176018,0.3923127,0.1969148,0.009248368,0.2754516],"study_design_scores_gemma":[0.0001575911,0.0002257258,0.0006660851,0.00005970924,0.00003931559,0.0005117389,0.00006304665,0.655144,0.2937659,0.02514526,0.02419064,0.00003093441],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01457322,0.00002763263,0.9784585,0.00006342798,0.00001598975,0.000112549,0.0001249414,0.004919303,0.001704556],"genre_scores_gemma":[0.272342,0.00009679003,0.7226751,0.0001166492,0.00001976531,0.0004227199,0.0004961513,0.001007364,0.002823383],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003091073,"threshold_uncertainty_score":0.01034063,"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006132074,0.0009228609,0.0005412122,0.001053624,0.0004070755,0.0009982977,0.001538264,0.0007531784,0.01319465],"category_scores_gemma":[0.004215568,0.0006194439,0.0006145396,0.0006085319,0.0004887294,0.001777612,0.002102371,0.001381536,0.007070484],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004712442,"about_ca_system_score_gemma":0.0004836176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00070756,"about_ca_topic_score_gemma":0.001265556,"domain_scores_codex":[0.9991479,0.0001162199,0.0000679728,0.0001978358,0.0003388781,0.000131113],"domain_scores_gemma":[0.9979126,0.0006668906,0.0001752366,0.0008668554,0.0003287511,0.00004959851],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000674663,0.0002057129,0.003301674,0.0006620366,0.00006546561,0.001431936,0.001056233,0.01152533,0.1247878,0.04666478,0.05404001,0.7555843],"study_design_scores_gemma":[0.000211276,0.0003028326,0.005699773,0.0003245789,0.0002020311,0.003250657,0.0002719002,0.1188593,0.3630218,0.05794276,0.4496783,0.0002349089],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04309386,0.0007969969,0.7904227,0.0002478964,0.0003221804,0.0003481705,0.001089296,0.1363213,0.02735754],"genre_scores_gemma":[0.3558872,0.001052352,0.5282098,0.0008468402,0.0001667949,0.0006187703,0.004745949,0.03806547,0.0704068],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01319465,"threshold_uncertainty_score":0.04414052,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}