{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":3,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":3,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"decca7156721","filters":{"venue":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Sandeep Chatterjee","is_ca":true},{"name":"Mohammad Fawaz","is_ca":true},{"name":"Farid N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06861736363377133,"gpt":0.3001561103997518,"spread":0.2315387467659804,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009593607,0.0005173496,0.000665461,0.001225807,0.0003833261,0.0006649332,0.001390479,0.0005897636,0.001109996],"category_scores_gemma":[0.009207282,0.0003923807,0.0005835365,0.000671473,0.0005332825,0.001433949,0.0009277566,0.0004460272,0.0002248627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008291056,"about_ca_system_score_gemma":0.0008350651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003647231,"about_ca_topic_score_gemma":0.003997547,"domain_scores_codex":[0.999131,0.0002509435,0.00006195668,0.0001799836,0.0002954762,0.00008066792],"domain_scores_gemma":[0.9939312,0.003150876,0.0008536783,0.001139298,0.0008238653,0.0001011279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004092037,0.00006310064,0.01914936,0.0001252259,0.00009309284,0.0003225247,0.0001470053,0.8347163,0.01765363,0.01412374,0.002236804,0.11096],"study_design_scores_gemma":[0.000004703123,0.00001666064,0.0003013988,0.000003089367,0.000003942162,0.00003127923,0.000009768935,0.9944627,0.002399623,0.002636713,0.0001273784,0.000002676247],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.161491,0.0001528994,0.8340496,0.0001302731,0.00002180663,0.00004639467,0.0002079673,0.003163691,0.0007363497],"genre_scores_gemma":[0.8582201,0.00004685878,0.1405528,0.00003903171,0.00001103486,0.00003970547,0.0003109924,0.0001244646,0.0006550682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003647231,"threshold_uncertainty_score":0.007252038,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Jason Thong","is_ca":true},{"name":"Nicola Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1346806322324103,"gpt":0.3298127657875132,"spread":0.1951321335551029,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002291892,0.0006368245,0.0002834052,0.0005363955,0.0002119538,0.0006026502,0.001127367,0.0002852448,0.0113645],"category_scores_gemma":[0.0008185324,0.0003099426,0.0003206683,0.0006082609,0.0001732052,0.0006380882,0.0003127849,0.0005837899,0.001439928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005771019,"about_ca_system_score_gemma":0.0007061579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002903162,"about_ca_topic_score_gemma":0.005737643,"domain_scores_codex":[0.9996146,0.0000725951,0.00002806199,0.00006564816,0.000154657,0.00006449025],"domain_scores_gemma":[0.999566,0.000165007,0.00004322191,0.00008201044,0.0001216516,0.0000219808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001100683,0.0003857281,0.003666678,0.0007686117,0.0001640857,0.0006899525,0.0001308769,0.1274873,0.1785826,0.02456899,0.02109488,0.6413597],"study_design_scores_gemma":[0.0002342872,0.0007204196,0.001996096,0.00004174581,0.00009272583,0.0004273401,0.00002891587,0.8496045,0.1197101,0.002769459,0.02433348,0.00004091035],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1595629,0.001025699,0.7799941,0.0005076129,0.0003185446,0.0002257237,0.0005069076,0.02263725,0.03522126],"genre_scores_gemma":[0.5960974,0.0002687302,0.3964625,0.0002557408,0.00005702665,0.0001008491,0.000751712,0.0002457997,0.005760254],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0113645,"threshold_uncertainty_score":0.03801799,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Mohammad Fawaz","is_ca":true},{"name":"Sandeep Chatterjee","is_ca":true},{"name":"Farid N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07865958355693928,"gpt":0.3138129411733506,"spread":0.2351533576164113,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003108754,0.001082334,0.0008771636,0.001591155,0.000732094,0.002736196,0.004367988,0.00101692,0.006345911],"category_scores_gemma":[0.008009974,0.0008985384,0.002010719,0.001383646,0.002148327,0.00483179,0.002699779,0.002260506,0.001232952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001401442,"about_ca_system_score_gemma":0.001678815,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004257406,"about_ca_topic_score_gemma":0.005001378,"domain_scores_codex":[0.9974006,0.000821166,0.0002131909,0.0003847961,0.0009599456,0.0002202265],"domain_scores_gemma":[0.9966979,0.001658163,0.0002429275,0.0008242306,0.0005056896,0.0000710585],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008987405,0.00006839084,0.0007027032,0.000193691,0.00004682577,0.0002424696,0.0001689457,0.3140881,0.003058289,0.5946798,0.00397636,0.08268452],"study_design_scores_gemma":[0.00002471135,0.00003567765,0.0000551312,0.00003655753,0.00002005458,0.00006971796,0.00002163666,0.7853538,0.002089096,0.2036994,0.008576543,0.00001769532],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001016374,0.00005859784,0.9967155,0.00005587154,0.0000198797,0.0000345158,0.00007238427,0.001000103,0.001026818],"genre_scores_gemma":[0.1489984,0.0003329206,0.8437396,0.0002517473,0.0001037338,0.0002997927,0.0005437291,0.0006881857,0.005041813],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006345911,"threshold_uncertainty_score":0.02122915,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}