{"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":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.012428621,0.000007755337,0.97985864,0.0016300114,0.0026655367,0.0018969288,0.000015071012,0.00021645168,0.0012809597],"genre_scores_gemma":[0.506542,0.000022239374,0.49248254,0.00027419123,0.00019976262,0.00027097543,0.000039731454,0.00001737364,0.00015116739],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99666286,0.00030873608,0.00096865854,0.0008389821,0.0007888738,0.0004319123],"domain_scores_gemma":[0.9957249,0.00051334675,0.00079205044,0.0010001734,0.001807189,0.00016230467],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009358671,0.0003908227,0.00040673514,0.00040493035,0.00016660258,0.00051858317,0.0024346632,0.00020787698,0.00021195777],"category_scores_gemma":[0.00029317525,0.00038231164,0.00017049628,0.00026625895,0.00018302888,0.0018308577,0.00020835431,0.00027143056,0.00028272765],"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.0001662591,0.00037089665,0.000028698694,0.00007999266,0.00016369681,0.0000018933711,0.0010773793,0.009798396,0.24904832,0.44951683,0.009037206,0.28071043],"study_design_scores_gemma":[0.0008220149,0.0006454657,0.0005065697,0.00012626607,0.000009678886,0.000008043537,0.00004103352,0.7259926,0.24493371,0.026375117,0.00019147355,0.00034800882],"about_ca_topic_score_codex":0.000071287875,"about_ca_topic_score_gemma":0.0000050924255,"teacher_disagreement_score":0.7161942,"about_ca_system_score_codex":0.00022522244,"about_ca_system_score_gemma":0.00029727834,"threshold_uncertainty_score":0.9998629},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.33170366,0.000025917736,0.65496695,0.0042570126,0.007017428,0.0012322225,0.000039017006,0.00021917875,0.0005386083],"genre_scores_gemma":[0.90618914,0.000032107942,0.09092475,0.00100471,0.0010677328,0.000396289,0.00003745509,0.000045237295,0.00030254686],"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.99682486,0.00023052101,0.00072074385,0.00095949165,0.0006406796,0.00062370073],"domain_scores_gemma":[0.9965135,0.0010043524,0.00036265777,0.0008039538,0.0011133092,0.00020226846],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00071162946,0.00044952089,0.00045687845,0.00021554303,0.00023727404,0.0008849653,0.0015425099,0.0002774171,0.004042198],"category_scores_gemma":[0.00038629214,0.0003820443,0.00021883103,0.00014300563,0.00013228248,0.0006395722,0.00017860453,0.0003967722,0.0012841602],"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.00048531758,0.00062357105,0.000194641,0.00006208411,0.00014527561,0.000008399397,0.0009777566,0.0017531974,0.7879107,0.13443805,0.06499452,0.008406496],"study_design_scores_gemma":[0.0021312258,0.002633223,0.0030677693,0.00087507267,0.000054519074,0.000049509825,0.00018609605,0.33160338,0.40595794,0.24683973,0.00488362,0.001717919],"about_ca_topic_score_codex":0.00035128742,"about_ca_topic_score_gemma":0.000028560302,"teacher_disagreement_score":0.5744855,"about_ca_system_score_codex":0.0002649303,"about_ca_system_score_gemma":0.00019464729,"threshold_uncertainty_score":0.99986315},"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3916137,0.000032876807,0.59164953,0.0063783987,0.0066876197,0.0017994519,0.000060352926,0.0003275079,0.0014505662],"genre_scores_gemma":[0.969997,0.000043834494,0.026594581,0.0009193381,0.00080497185,0.00040353253,0.00006596882,0.000049930346,0.0011208412],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9966024,0.00023472254,0.00080623495,0.0010317402,0.0006767355,0.00064814603],"domain_scores_gemma":[0.9966385,0.0005644709,0.00036852743,0.00082927116,0.0013876325,0.000211643],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00079536607,0.00047575857,0.00047413117,0.00023314547,0.00027033413,0.00086859515,0.0015639418,0.0002409308,0.004466299],"category_scores_gemma":[0.00021876865,0.00040505093,0.00023506898,0.0001374995,0.0001472065,0.0008047467,0.00019470141,0.0003229003,0.0012191349],"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.00038172823,0.00051349984,0.0001221631,0.00005776278,0.00012489442,0.000007738567,0.00074638345,0.001241337,0.81175196,0.030402802,0.14600441,0.00864532],"study_design_scores_gemma":[0.0026200165,0.0032238003,0.0015930212,0.00058800494,0.000053163985,0.00006092945,0.00019546194,0.4874001,0.43113658,0.06610082,0.00545593,0.001572157],"about_ca_topic_score_codex":0.000338556,"about_ca_topic_score_gemma":0.00003947901,"teacher_disagreement_score":0.5783833,"about_ca_system_score_codex":0.00029702246,"about_ca_system_score_gemma":0.0002519165,"threshold_uncertainty_score":0.99984014},"labels":[],"label_agreement":null}]}