{"meta":{"query_hash":"6c8990258fa9","filters":{"venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)"},"cohort_total":6,"direct_labels_cover":0,"predictions_cover":6,"exported":6,"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/6c8990258fa9","api":"https://metacan.xera.ac/api/v1/cohort?venue=ICCAD-2003.+International+Conference+on+Computer+Aided+Design+%28IEEE+Cat.+No.03CH37486%29"},"results":[{"id":"W4230169210","doi":"10.1109/iccad.2003.159685","title":"Efficient generation of monitor circuits for GSTE assertion graphs","year":2003,"lang":"en","type":"article","venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":17,"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; Formal verification; Scalability; Overhead (engineering); Automaton; Programming language; Abstraction; Theoretical computer science; Symbolic trajectory evaluation; Electronic circuit; Model checking; Computer engineering","score_opus":0.1474870650686887,"score_gpt":0.33515202622466794,"score_spread":0.18766496115597925,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4230169210","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.023296919,0.000019594007,0.9621215,0.00014987265,0.011369298,0.0013651787,0.00003831084,0.00019970744,0.0014396352],"genre_scores_gemma":[0.35073313,0.000025430896,0.64786756,0.0003330519,0.00040158242,0.00025372393,0.00003961444,0.000036130314,0.00030974933],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99533945,0.00069231546,0.0011383508,0.001130917,0.0011285765,0.0005704127],"domain_scores_gemma":[0.99221134,0.000349376,0.0007751903,0.0010146404,0.0054336195,0.0002158495],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0017676784,0.0005121022,0.0004971094,0.0006439002,0.000245874,0.00040356972,0.0017988124,0.0002753827,0.0000468876],"category_scores_gemma":[0.0012330235,0.000528267,0.00017928483,0.0011438372,0.0001271967,0.000619907,0.000095676245,0.00028614746,0.00013929217],"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.00008476972,0.0005623583,0.00009541689,0.00005980916,0.0001533452,0.0000068184954,0.0005592383,0.0359987,0.13980532,0.7922793,0.004359057,0.026035897],"study_design_scores_gemma":[0.00076684944,0.00057366345,0.00042887233,0.00015028016,0.000021264563,0.000021006732,0.000012409408,0.86956155,0.12463095,0.002659396,0.0006971607,0.0004765928],"about_ca_topic_score_codex":0.000018936267,"about_ca_topic_score_gemma":0.0000019169172,"teacher_disagreement_score":0.83356285,"about_ca_system_score_codex":0.00035579698,"about_ca_system_score_gemma":0.0006023715,"threshold_uncertainty_score":0.9997169},"labels":[],"label_agreement":null},{"id":"W4230566481","doi":"10.1109/iccad.2003.159687","title":"Timing analysis in presence of power supply and ground voltage variations","year":2003,"lang":"en","type":"article","venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":47,"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":"Voltage; Power (physics); Switched-mode power supply; Electrical engineering; Switched-mode power supply applications; Environmental science; Computer science; Constant power circuit; Physics; Engineering","score_opus":0.031060140783514774,"score_gpt":0.251325132103137,"score_spread":0.22026499131962224,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4230566481","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.10720454,0.00004689996,0.88483757,0.000057970105,0.0024779788,0.00060846837,0.00007592936,0.00017883797,0.0045118327],"genre_scores_gemma":[0.9120867,0.00013825668,0.08684479,0.000137089,0.00011814963,0.00007902561,0.000042151216,0.00005682906,0.00049698824],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99690986,0.0002088004,0.0009215792,0.0006858619,0.0007219738,0.0005519078],"domain_scores_gemma":[0.997362,0.00045674405,0.00021661681,0.00057723385,0.0011965247,0.00019085461],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00069749187,0.0005063144,0.00063888566,0.0012532964,0.00009215558,0.00023830272,0.0007355497,0.00022589111,0.00054511975],"category_scores_gemma":[0.00036320067,0.00053963216,0.00010677806,0.0019731089,0.00013293148,0.0007830086,0.00006841945,0.00041627555,0.00013364966],"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.00036720227,0.0011912062,0.03201488,0.00030995987,0.0042434963,0.000283298,0.007574348,0.64250326,0.08146214,0.19791663,0.019057082,0.013076514],"study_design_scores_gemma":[0.0008318739,0.0001947869,0.018692873,0.00022547887,0.000111991045,0.000017530774,0.000039586706,0.9732216,0.0047384696,0.00060392934,0.0006977828,0.0006240739],"about_ca_topic_score_codex":0.00012321024,"about_ca_topic_score_gemma":0.000044412445,"teacher_disagreement_score":0.80488217,"about_ca_system_score_codex":0.0002940146,"about_ca_system_score_gemma":0.00026168418,"threshold_uncertainty_score":0.9997055},"labels":[],"label_agreement":null},{"id":"W4236090814","doi":"10.1109/iccad.2003.159711","title":"Performance efficiency of context-flow system-on-chip platform","year":2003,"lang":"en","type":"article","venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","topic":"Interconnection Networks and Systems","field":"Computer 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":"Computer science; Computer architecture; System on a chip; Architecture; Programming paradigm; Embedded system; Context (archaeology); Network on a chip; Bandwidth (computing); Distributed computing; Computer network","score_opus":0.0535743858993818,"score_gpt":0.25545042713158195,"score_spread":0.20187604123220015,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4236090814","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.022669466,0.000027588749,0.9250189,0.00014770884,0.018186862,0.0009816755,0.000032536474,0.00034483094,0.03259042],"genre_scores_gemma":[0.9497102,0.000038810285,0.046580255,0.0008758892,0.0007361439,0.0001210864,0.000015535788,0.000050734285,0.0018713395],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9944264,0.00048096292,0.0014899804,0.0012939807,0.001469739,0.00083890685],"domain_scores_gemma":[0.9933149,0.0005458094,0.0008069019,0.0012542014,0.0037611444,0.00031702497],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0014926476,0.0007401892,0.0008597879,0.0006611749,0.00033744526,0.0005277806,0.0027389962,0.00032078623,0.00016846765],"category_scores_gemma":[0.00033914772,0.0006698562,0.00023118858,0.00115158,0.0001732017,0.000882678,0.00016519858,0.00056877494,0.0010291064],"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.00038090022,0.00080935477,0.00055820716,0.0002233285,0.0003946542,0.000110190274,0.0016249687,0.06960804,0.0021129623,0.8707079,0.029806843,0.023662621],"study_design_scores_gemma":[0.0011487223,0.0013174615,0.00017748834,0.0012178688,0.000014782698,0.00017506289,0.000082428465,0.98622286,0.0055831643,0.00020250071,0.0031648183,0.0006928115],"about_ca_topic_score_codex":0.000053175274,"about_ca_topic_score_gemma":0.0000058577093,"teacher_disagreement_score":0.92704076,"about_ca_system_score_codex":0.0005210577,"about_ca_system_score_gemma":0.0007595305,"threshold_uncertainty_score":0.9997487},"labels":[],"label_agreement":null},{"id":"W4240581163","doi":"10.1109/iccad.2003.159764","title":"Statistical verification of power grids considering process-induced leakage current variations","year":2003,"lang":"en","type":"article","venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","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":"Leakage (economics); Voltage drop; Voltage; Transistor; Electrical engineering; Scaling; Grid; Drop (telecommunication); Exponential function; Computer science; Electronic engineering; Engineering; Mathematics","score_opus":0.054677636114714226,"score_gpt":0.2897904621042547,"score_spread":0.23511282598954047,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4240581163","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.040446885,0.00003308888,0.9440759,0.00006697745,0.008620558,0.00089612964,0.00014699336,0.00042547463,0.0052879876],"genre_scores_gemma":[0.9116784,0.00008906966,0.08732565,0.000117267424,0.00030515273,0.00017550109,0.000101336416,0.000100461286,0.000107190586],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9962336,0.0002485215,0.0011398275,0.00075888424,0.0009853771,0.00063383445],"domain_scores_gemma":[0.9958587,0.00037857756,0.00030413424,0.00065616035,0.002536173,0.0002662225],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00059770135,0.0006233625,0.0005872169,0.0005487566,0.00014815496,0.00023101547,0.00077932014,0.00023957803,0.000693904],"category_scores_gemma":[0.00067746727,0.0006659022,0.00008835655,0.00084054284,0.00013649135,0.0006759617,0.00004288103,0.0006035877,0.0006284716],"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.0004133291,0.0018315193,0.0017488332,0.000750552,0.0013132888,0.00012388972,0.0046387105,0.13725372,0.19019954,0.59392905,0.04317447,0.024623109],"study_design_scores_gemma":[0.0013927309,0.00046521612,0.0022647658,0.000540726,0.00007083789,0.00004346446,0.000049097845,0.93592346,0.05331861,0.0019766744,0.0028529265,0.0011015016],"about_ca_topic_score_codex":0.000012481511,"about_ca_topic_score_gemma":0.000002765436,"teacher_disagreement_score":0.8712315,"about_ca_system_score_codex":0.00042091517,"about_ca_system_score_gemma":0.0007658245,"threshold_uncertainty_score":0.9995792},"labels":[],"label_agreement":null},{"id":"W4241249008","doi":"10.1109/iccad.2003.159755","title":"On the interaction between power-aware FPGA CAD Algorithms","year":2003,"lang":"en","type":"article","venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":71,"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":"Field-programmable gate array; Computer science; CAD; Cluster analysis; Routing (electronic design automation); Power analysis; Design flow; Energy consumption; Power (physics); Embedded system; Algorithm; Power optimization; Electronic design automation; Energy (signal processing); FPGA prototype; Reconfigurable computing; Field (mathematics); Power consumption; Artificial intelligence; Engineering; Electrical engineering","score_opus":0.06249537015885398,"score_gpt":0.28237616494298573,"score_spread":0.21988079478413175,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4241249008","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.007868177,0.000018832337,0.9610234,0.0003794926,0.006554014,0.0010108504,0.00012808948,0.001021767,0.021995362],"genre_scores_gemma":[0.97210604,0.00012637119,0.023780119,0.0012833549,0.0009483138,0.0002523618,0.0000911442,0.00015279668,0.0012595182],"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99652565,0.00035515038,0.0007995083,0.0007696476,0.0008895851,0.0006604755],"domain_scores_gemma":[0.99666834,0.00068801123,0.00021759109,0.0007589929,0.001428495,0.00023856194],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00069641677,0.00073266897,0.0005315059,0.0004693142,0.00022110081,0.000453565,0.0012024639,0.00035417132,0.00091732066],"category_scores_gemma":[0.00037116683,0.00062403525,0.00016742262,0.000640269,0.000115472765,0.00047556506,0.00006462296,0.00095980125,0.0013587587],"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.00032981977,0.0008668609,0.0006169373,0.00013648513,0.002002477,0.00027827977,0.0020310981,0.030890834,0.0241266,0.20550312,0.6448852,0.088332295],"study_design_scores_gemma":[0.00113712,0.0013710586,0.00054847077,0.0010482876,0.00008399179,0.00009952549,0.0001337211,0.86131054,0.095963135,0.008167095,0.028182093,0.0019549883],"about_ca_topic_score_codex":0.000036964415,"about_ca_topic_score_gemma":0.000003190566,"teacher_disagreement_score":0.96423787,"about_ca_system_score_codex":0.0005470323,"about_ca_system_score_gemma":0.00022145391,"threshold_uncertainty_score":0.99999595},"labels":[],"label_agreement":null},{"id":"W4241836984","doi":"10.1109/iccad.2003.1257872","title":"Hardware/software co-testing of embedded memories in complex SOCs","year":2004,"lang":"en","type":"article","venue":"ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Embedded system; Overhead (engineering); Computer science; Scalability; System on a chip; Embedded software; Software; Chip; Design for testing; Computer hardware; Reliability engineering; Engineering; Operating system","score_opus":0.13819382706692487,"score_gpt":0.316617270461211,"score_spread":0.17842344339428615,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4241836984","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.021735843,0.00001734793,0.97046924,0.0004297705,0.0026510588,0.0006133058,0.00006023102,0.0004948457,0.0035283535],"genre_scores_gemma":[0.58477765,0.000017007904,0.4130983,0.0011621257,0.00054295576,0.000055958808,0.00007077741,0.000050995346,0.0002242279],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9948768,0.00031838147,0.0013422426,0.0012863,0.0013075955,0.0008686873],"domain_scores_gemma":[0.9935455,0.00081004447,0.0007121312,0.00092494965,0.0037227173,0.00028469786],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00088595174,0.0006823567,0.0008323436,0.0007315617,0.00025138952,0.0005504037,0.0031547179,0.00023796693,0.00011541714],"category_scores_gemma":[0.0019439267,0.0007155352,0.00014974129,0.0018018135,0.00026798295,0.0010722475,0.00034000436,0.0005998574,0.0003500025],"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.00015205155,0.003583261,0.022540137,0.0006133829,0.000911674,0.0021683646,0.012716293,0.20732932,0.1225525,0.32674465,0.026159255,0.27452913],"study_design_scores_gemma":[0.002716858,0.0008951698,0.007857669,0.0017315621,0.000026132717,0.00020144429,0.00009532819,0.9526054,0.019534566,0.012308935,0.0005717245,0.0014551725],"about_ca_topic_score_codex":0.00023624934,"about_ca_topic_score_gemma":0.000028044535,"teacher_disagreement_score":0.7452761,"about_ca_system_score_codex":0.00048362886,"about_ca_system_score_gemma":0.0014807899,"threshold_uncertainty_score":0.9995296},"labels":[],"label_agreement":null}]}