{"meta":{"query_hash":"decca7156721","filters":{"venue":"2013 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/decca7156721","api":"https://metacan.xera.ac/api/v1/cohort?venue=2013+IEEE%2FACM+International+Conference+on+Computer-Aided+Design+%28ICCAD%29"},"results":[{"id":"W4237740194","doi":"10.1109/iccad.2013.6691124","title":"FPGA acceleration of enhanced boolean constraint propagation for SAT solvers","year":2013,"lang":"en","type":"article","venue":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":15,"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; Hardware acceleration; Field-programmable gate array; Parallel computing; Boolean satisfiability problem; Gate array; Embedded system; Software; Multi-core processor; Computer architecture; Computer hardware; Theoretical computer science; Operating system","score_opus":0.1346806322324103,"score_gpt":0.32981276578751323,"score_spread":0.19513213355510292,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4237740194","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.15956287,0.0010256987,0.7799941,0.00050761295,0.00031854463,0.00022572368,0.0005069076,0.022637246,0.035221264],"genre_scores_gemma":[0.5960974,0.00026873016,0.3964625,0.00025574077,0.00005702665,0.00010084909,0.00075171195,0.00024579966,0.005760254],"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9996146,0.000072595096,0.000028061988,0.00006564816,0.00015465698,0.00006449025],"domain_scores_gemma":[0.999566,0.00016500703,0.00004322191,0.00008201044,0.00012165162,0.000021980803],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022918919,0.0006368245,0.00028340524,0.0005363955,0.00021195384,0.00060265017,0.0011273667,0.00028524478,0.0113645],"category_scores_gemma":[0.0008185324,0.00030994255,0.00032066827,0.00060826086,0.00017320525,0.0006380882,0.00031278486,0.0005837899,0.0014399278],"study_design_candidate":"bench_or_experimental","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.0011006825,0.00038572808,0.0036666784,0.0007686117,0.0001640857,0.00068995246,0.00013087691,0.12748726,0.17858264,0.024568994,0.021094875,0.64135975],"study_design_scores_gemma":[0.00023428725,0.0007204196,0.0019960965,0.000041745807,0.00009272583,0.00042734013,0.000028915869,0.8496045,0.11971015,0.0027694586,0.024333484,0.00004091035],"about_ca_topic_score_codex":0.0029031618,"about_ca_topic_score_gemma":0.005737643,"teacher_disagreement_score":0.0113645,"about_ca_system_score_codex":0.00057710195,"about_ca_system_score_gemma":0.0007061579,"threshold_uncertainty_score":0.03801799},"labels":[],"label_agreement":null},{"id":"W4251368852","doi":"10.1109/iccad.2013.6691170","title":"A Vectorless framework for power grid electromigration checking","year":2013,"lang":"en","type":"article","venue":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Copper Interconnects and Reliability","field":"Materials 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 Toronto","funders":"","keywords":"Electromigration; Computer science; Reliability (semiconductor); Workload; Conservatism; Grid; Pessimism; Power (physics); Power integrity; Very-large-scale integration; Reliability engineering; Chip; Power grid; Interconnection; Electronic engineering; Electrical engineering; Telecommunications; Engineering; Embedded system; Physics; Mathematics","score_opus":0.07865958355693928,"score_gpt":0.3138129411733506,"score_spread":0.23515335761641135,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4251368852","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.0010163743,0.000058597838,0.99671555,0.00005587154,0.000019879704,0.0000345158,0.000072384275,0.0010001032,0.0010268184],"genre_scores_gemma":[0.14899838,0.0003329206,0.8437396,0.00025174735,0.00010373382,0.00029979274,0.0005437291,0.00068818574,0.005041813],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99740064,0.00082116603,0.00021319087,0.0003847961,0.0009599456,0.00022022653],"domain_scores_gemma":[0.9966979,0.0016581628,0.00024292749,0.0008242306,0.0005056896,0.0000710585],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003108754,0.0010823336,0.0008771636,0.0015911554,0.00073209405,0.0027361964,0.004367988,0.0010169196,0.0063459114],"category_scores_gemma":[0.008009974,0.00089853845,0.0020107192,0.0013836464,0.0021483267,0.0048317895,0.002699779,0.0022605064,0.0012329515],"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.000089874055,0.00006839084,0.0007027032,0.00019369098,0.00004682577,0.00024246958,0.00016894574,0.31408814,0.0030582892,0.59467983,0.0039763604,0.082684524],"study_design_scores_gemma":[0.000024711353,0.000035677655,0.000055131197,0.000036557532,0.00002005458,0.00006971796,0.00002163666,0.7853538,0.002089096,0.20369941,0.008576543,0.000017695322],"about_ca_topic_score_codex":0.004257406,"about_ca_topic_score_gemma":0.005001378,"teacher_disagreement_score":0.0063459114,"about_ca_system_score_codex":0.0014014422,"about_ca_system_score_gemma":0.0016788153,"threshold_uncertainty_score":0.021229148},"labels":[],"label_agreement":null},{"id":"W4251821671","doi":"10.1109/iccad.2013.6691168","title":"Redundancy-aware Electromigration checking for mesh power grids","year":2013,"lang":"en","type":"article","venue":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Copper Interconnects and Reliability","field":"Materials Science","cited_by":26,"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":"Electromigration; Redundancy (engineering); Reliability (semiconductor); Grid; Computer science; Interconnection; Power grid; Reliability engineering; Circuit reliability; Algorithm; Power (physics); Electrical engineering; Mathematics; Engineering; Physics; Geometry; Telecommunications","score_opus":0.06861736363377133,"score_gpt":0.30015611039975176,"score_spread":0.23153874676598044,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4251821671","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.161491,0.00015289937,0.8340496,0.00013027314,0.000021806627,0.000046394667,0.00020796731,0.0031636907,0.0007363497],"genre_scores_gemma":[0.8582201,0.000046858782,0.14055277,0.000039031707,0.000011034858,0.000039705472,0.00031099241,0.00012446461,0.0006550682],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.999131,0.00025094347,0.00006195668,0.00017998356,0.00029547617,0.000080667916],"domain_scores_gemma":[0.9939312,0.0031508761,0.00085367827,0.0011392982,0.0008238653,0.00010112791],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009593607,0.00051734963,0.000665461,0.0012258068,0.00038332614,0.0006649332,0.0013904792,0.00058976363,0.0011099962],"category_scores_gemma":[0.009207282,0.0003923807,0.00058353646,0.000671473,0.00053328247,0.0014339492,0.0009277566,0.00044602723,0.00022486273],"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.00040920367,0.00006310064,0.01914936,0.00012522594,0.00009309284,0.00032252466,0.00014700525,0.83471626,0.017653631,0.014123742,0.0022368038,0.110959984],"study_design_scores_gemma":[0.0000047031226,0.000016660635,0.0003013988,0.0000030893668,0.0000039421616,0.000031279233,0.000009768935,0.99446267,0.0023996234,0.0026367125,0.00012737844,0.0000026762466],"about_ca_topic_score_codex":0.0036472306,"about_ca_topic_score_gemma":0.003997547,"teacher_disagreement_score":0.0036472306,"about_ca_system_score_codex":0.00082910556,"about_ca_system_score_gemma":0.00083506515,"threshold_uncertainty_score":0.0072520375},"labels":[],"label_agreement":null}]}