{"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.07401767,0.00004618391,0.920801,0.0018036434,0.001535905,0.0003207866,0.0000058060614,0.00034100987,0.0011280266],"genre_scores_gemma":[0.93596727,0.000016258926,0.062594295,0.00025760927,0.00082640134,0.000019267727,0.000017433515,0.00002875228,0.0002726977],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99718094,0.00023186786,0.00038239858,0.00090261217,0.00087041955,0.00043178457],"domain_scores_gemma":[0.99750084,0.00029252883,0.0003216141,0.00051723624,0.0010464452,0.00032136822],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006144272,0.0003999438,0.00032845538,0.00037080445,0.00023344188,0.0009033838,0.00105424,0.00017476482,0.000010614748],"category_scores_gemma":[0.00018017273,0.00037232085,0.000059388913,0.00036795868,0.000056377205,0.0013672248,0.00019347998,0.0004852571,0.000035478082],"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.00025940756,0.00054411293,0.02775815,0.00010059586,0.0004897622,0.000318367,0.005791129,0.11416778,0.060652606,0.07048613,0.007203146,0.71222883],"study_design_scores_gemma":[0.0015009932,0.0012464983,0.009231597,0.0005424276,0.00002064104,0.00033265565,0.00007254216,0.9715769,0.006830728,0.007818923,0.00016098682,0.0006650547],"about_ca_topic_score_codex":0.00016355426,"about_ca_topic_score_gemma":0.000011529665,"teacher_disagreement_score":0.8619496,"about_ca_system_score_codex":0.00031750722,"about_ca_system_score_gemma":0.00039564804,"threshold_uncertainty_score":0.99987286},"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":"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.014717132,0.000047346617,0.9757886,0.00076130993,0.006732667,0.00052365934,0.000010989828,0.0005800476,0.00083824893],"genre_scores_gemma":[0.4317117,0.0000037052293,0.56688046,0.0007806465,0.00050500984,0.0000125331535,0.000016272872,0.00003477378,0.000054867123],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9945372,0.0008715671,0.0010045602,0.0012554697,0.0015556474,0.00077560043],"domain_scores_gemma":[0.9951191,0.0005568087,0.00071246276,0.0016832176,0.001438215,0.0004901798],"candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0023030797,0.00061194954,0.00054830866,0.00062806945,0.0002848052,0.0010386213,0.0046106665,0.0002599467,0.000047358073],"category_scores_gemma":[0.00049654854,0.0006360684,0.00020102607,0.00052202085,0.00016048024,0.0010795859,0.000746284,0.0005678122,0.000411175],"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.00034604964,0.0006587324,0.00031721406,0.00005588973,0.00025132246,0.00024059814,0.0015132395,0.81579167,0.014164568,0.07345049,0.006318994,0.08689125],"study_design_scores_gemma":[0.0010885246,0.00048485908,0.00009305371,0.00022620836,0.000014999558,0.00014052357,0.00002251921,0.9643316,0.024612632,0.0077239904,0.0005978358,0.0006632554],"about_ca_topic_score_codex":0.000081078855,"about_ca_topic_score_gemma":0.0000041423837,"teacher_disagreement_score":0.41699457,"about_ca_system_score_codex":0.0007286185,"about_ca_system_score_gemma":0.0008052981,"threshold_uncertainty_score":0.9999984},"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":"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.02922711,0.0000147074725,0.9648476,0.001860633,0.0020961277,0.000737936,0.00020428696,0.00021104419,0.00080051064],"genre_scores_gemma":[0.9589613,0.0000058635783,0.039224718,0.0005660973,0.00054957677,0.00006114989,0.00051857706,0.000024087158,0.00008860402],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99678606,0.00028368423,0.00084037473,0.0007710095,0.0009011576,0.000417699],"domain_scores_gemma":[0.9949297,0.0011211836,0.0005897716,0.0007479026,0.0023334033,0.0002780633],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0012148767,0.0004038064,0.00046811573,0.00038337734,0.00015576345,0.0004183104,0.0018437947,0.00017563989,0.000030240952],"category_scores_gemma":[0.0010775602,0.00038558478,0.0001724027,0.0002947384,0.000112721835,0.0007265955,0.00015201097,0.00025644436,0.000074943804],"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.00030438317,0.0010322888,0.00033294593,0.00006977519,0.00037347173,0.00004449487,0.0011276936,0.14775352,0.065115,0.6214035,0.026985945,0.135457],"study_design_scores_gemma":[0.0034966534,0.0016030626,0.00014861714,0.0001662344,0.00002169409,0.00003227704,0.000031843952,0.94464946,0.023445854,0.02580444,0.00016319119,0.0004366791],"about_ca_topic_score_codex":0.00005381023,"about_ca_topic_score_gemma":0.0000071629174,"teacher_disagreement_score":0.92973423,"about_ca_system_score_codex":0.00020075607,"about_ca_system_score_gemma":0.0006396018,"threshold_uncertainty_score":0.99985963},"labels":[],"label_agreement":null}]}