{"meta":{"query_hash":"99745b522b29","filters":{"venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)"},"cohort_total":3,"direct_labels_cover":0,"predictions_cover":3,"exported":3,"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/99745b522b29","api":"https://metacan.xera.ac/api/v1/cohort?venue=2015+IEEE%2FACM+International+Conference+on+Computer-Aided+Design+%28ICCAD%29"},"results":[{"id":"W4246422893","doi":"10.1109/iccad.2015.7372655","title":"Reducing post-silicon coverage monitoring overhead with emulation and Bayesian feature selection","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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":"University of British Columbia","funders":"","keywords":"Observability; Computer science; Emulation; Metric (unit); Overhead (engineering); Bayesian probability; Set (abstract data type); Data mining; Coverage probability; Algorithm; Artificial intelligence; Engineering; Statistics; Mathematics","score_opus":0.08073843140237887,"score_gpt":0.30016361835205957,"score_spread":0.21942518694968072,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4246422893","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.030564053,0.00012431512,0.966047,0.00012042061,0.000011278898,0.000055905915,0.000062821346,0.002153373,0.0008607863],"genre_scores_gemma":[0.66111153,0.000107235726,0.33614364,0.00019498436,0.000032456413,0.00019951446,0.00045385398,0.0003079746,0.0014488451],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99833727,0.0004646847,0.0000783142,0.0002205002,0.0007520118,0.00014719526],"domain_scores_gemma":[0.9950433,0.0029189491,0.0004991602,0.000737876,0.0007106534,0.0000901302],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015183872,0.0012973555,0.0010100434,0.0012002472,0.00033976434,0.00062366406,0.0014317647,0.0007989454,0.0015980189],"category_scores_gemma":[0.008896832,0.000559716,0.00087961333,0.00071078347,0.00042644926,0.0015045597,0.00092031894,0.0011004384,0.0005316437],"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.00041661254,0.00024627947,0.009288329,0.00010721241,0.00011690211,0.00023970315,0.00014510154,0.4847148,0.037507217,0.0065882425,0.003010512,0.4576191],"study_design_scores_gemma":[0.000018971072,0.000073263465,0.001126423,0.000006482472,0.00001864437,0.00007721172,0.000009427444,0.9868716,0.008301982,0.0028003734,0.00068464765,0.000010968678],"about_ca_topic_score_codex":0.0025996827,"about_ca_topic_score_gemma":0.004786632,"teacher_disagreement_score":0.0025996827,"about_ca_system_score_codex":0.0008171023,"about_ca_system_score_gemma":0.0010132833,"threshold_uncertainty_score":0.008030057},"labels":[],"label_agreement":null},{"id":"W4248609189","doi":"10.1109/iccad.2015.7372575","title":"SAT solving using FPGA-based heterogeneous computing","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"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":"Computer science; Field-programmable gate array; Boolean satisfiability problem; Software; Throughput; Parallel computing; Computation; Solver; Computer architecture; Symmetric multiprocessor system; Gate array; Reconfigurable computing; Embedded system; Theoretical computer science; Algorithm; Programming language; Operating system","score_opus":0.29951472175916677,"score_gpt":0.38552118015739034,"score_spread":0.08600645839822357,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4248609189","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.086191684,0.00073975365,0.8835255,0.000293252,0.00015054591,0.00011207057,0.00011025892,0.002218878,0.026658028],"genre_scores_gemma":[0.71439046,0.00025203486,0.28151512,0.00014821412,0.00003115477,0.000076732555,0.00021857965,0.00008305808,0.0032846257],"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","domain_scores_codex":[0.9995536,0.00010271347,0.00002462158,0.00010489145,0.00012852305,0.0000854647],"domain_scores_gemma":[0.9997092,0.000097319724,0.000026990869,0.00009301584,0.00005227563,0.000021160235],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002786745,0.0005069784,0.0003828656,0.0004793171,0.00057457364,0.0009449755,0.001159408,0.00036291048,0.0049993093],"category_scores_gemma":[0.0007816923,0.00022406786,0.00046890965,0.00078603363,0.00042348533,0.0010078566,0.0007035784,0.0005382936,0.0006369308],"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.0006166425,0.00022876955,0.0025152953,0.00025677859,0.00015717815,0.0007688972,0.0001339708,0.4288348,0.054343425,0.10054853,0.0076412563,0.40395442],"study_design_scores_gemma":[0.00008147653,0.00020256922,0.00042954079,0.00002650858,0.00004941764,0.00017258653,0.00005454916,0.9397375,0.027771274,0.022090903,0.009361561,0.000022116748],"about_ca_topic_score_codex":0.0024922679,"about_ca_topic_score_gemma":0.004660829,"teacher_disagreement_score":0.0049993093,"about_ca_system_score_codex":0.00066878746,"about_ca_system_score_gemma":0.00063697144,"threshold_uncertainty_score":0.016724348},"labels":[],"label_agreement":null},{"id":"W4253111545","doi":"10.1109/iccad.2015.7372654","title":"On-chip generation of uniformly distributed constrained-random stimuli for post-silicon validation","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":4,"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":"Observability; Reuse; Computer science; Controllability; Chip; Silicon; Silicon chip; System on a chip; Embedded system; Distributed computing; Engineering; Mathematics; Telecommunications; Materials science","score_opus":0.21070800344640697,"score_gpt":0.33471159552160795,"score_spread":0.12400359207520098,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4253111545","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.087684356,0.00013457752,0.9034024,0.00008606409,0.00012887151,0.0003573594,0.0001505157,0.0031301973,0.0049255644],"genre_scores_gemma":[0.70838636,0.000068226065,0.28738457,0.00015897793,0.00002521117,0.0004174933,0.00021423363,0.0005254215,0.002819513],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9991887,0.00016986008,0.00004477179,0.00015211488,0.00036964743,0.00007489702],"domain_scores_gemma":[0.9982504,0.0007387813,0.00021047636,0.00044104405,0.0002849549,0.00007423532],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007231257,0.00059396226,0.0003784149,0.00036987796,0.00019924088,0.00036432652,0.0009795639,0.00036501454,0.004616423],"category_scores_gemma":[0.0029767046,0.00020227152,0.00021911318,0.00022036397,0.00045392133,0.00046723982,0.00071019004,0.00048341454,0.00088278926],"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.00066991686,0.00023350674,0.0011841917,0.00037953607,0.000047314617,0.0005470991,0.0002070243,0.076230556,0.7401715,0.017737594,0.0024628805,0.16012888],"study_design_scores_gemma":[0.00009897483,0.00077179255,0.0007122607,0.000024360303,0.000025474512,0.00036965823,0.000036214937,0.36894983,0.6165777,0.00432762,0.008051675,0.00005437092],"about_ca_topic_score_codex":0.00013973251,"about_ca_topic_score_gemma":0.00031689246,"teacher_disagreement_score":0.004616423,"about_ca_system_score_codex":0.00028227537,"about_ca_system_score_gemma":0.00052881823,"threshold_uncertainty_score":0.015443444},"labels":[],"label_agreement":null}]}