{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":4,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":4,"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":"66781c3e802c","filters":{"venue":"ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005."}},"results":[{"id":"W4247520101","doi":"10.1109/iccad.2005.1560178","title":"Statistical timing analysis with two-sided constraints","year":2005,"lang":"en","type":"article","venue":"ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":19,"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":"Static timing analysis; Computer science; Process (computing); Simple (philosophy); Upper and lower bounds; Algorithm; Statistical analysis; Mathematics; Statistics; Embedded system","authors":[{"name":"K.R. Heloue","is_ca":true},{"name":"Farid N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04595261314727286,"gpt":0.2850933295440969,"spread":0.239140716396824,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0008055572,0.0009305945,0.0009555275,0.001275238,0.0002092792,0.0005501811,0.001659326,0.0002699659,0.004677198],"category_scores_gemma":[0.00007669869,0.0008893316,0.000235063,0.000524378,0.000378339,0.0008532489,0.0001253944,0.0008628142,0.001402756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008042678,"about_ca_system_score_gemma":0.0003631611,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003884655,"about_ca_topic_score_gemma":0.0002005611,"domain_scores_codex":[0.9947553,0.0002199752,0.00116233,0.001077288,0.001399824,0.00138529],"domain_scores_gemma":[0.9967702,0.0008643722,0.0002823217,0.001069396,0.0004001457,0.0006135709],"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.0003866246,0.0004228352,0.0007860221,0.00004678628,0.00327291,0.0003353095,0.0004284392,0.9069899,0.005924701,0.01652856,0.0275887,0.0372892],"study_design_scores_gemma":[0.002495085,0.0002681539,0.001381569,0.0002476781,0.0003148161,0.0001134327,0.00004274839,0.9788529,0.009805169,0.0005699052,0.004658069,0.001250534],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02717061,0.00005402993,0.9605548,0.0008067418,0.001390822,0.0006363197,0.0002028937,0.0008648579,0.008318957],"genre_scores_gemma":[0.8109524,0.0001004965,0.1863945,0.0004952691,0.0009672092,0.00008369792,0.000180106,0.0001159021,0.0007104378],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7837818,"threshold_uncertainty_score":0.9993747,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4248548556","doi":"10.1109/iccad.2005.1560094","title":"Incremental partitioning-based vectorless power grid verification","year":2005,"lang":"en","type":"article","venue":"ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":16,"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":"Computer science; Grid; Solver; Power grid; Set (abstract data type); Constraint (computer-aided design); Power (physics); Distributed computing; Parallel computing; Computer engineering; Engineering; Programming language","authors":[{"name":"D. Kouroussis","is_ca":true},{"name":"Imad A. Ferzli","is_ca":true},{"name":"Farid N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04205902838282014,"gpt":0.2645480293589405,"spread":0.2224890009761203,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0007425012,0.0007606363,0.0005271459,0.0006867461,0.0002454488,0.0004892736,0.001611838,0.0003097893,0.002631937],"category_scores_gemma":[0.00004465729,0.0008308267,0.0002072059,0.0002458367,0.000152171,0.001040482,0.00009266214,0.0006738015,0.0025058],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00119275,"about_ca_system_score_gemma":0.0003006723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002948861,"about_ca_topic_score_gemma":0.00008019122,"domain_scores_codex":[0.9956329,0.0001931484,0.001039623,0.0008763341,0.001190013,0.001067931],"domain_scores_gemma":[0.9976878,0.0002707396,0.000279892,0.001026399,0.0003321493,0.000403086],"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.000539991,0.001007578,0.0006788292,0.00008798084,0.0005690042,0.00008395518,0.0004569008,0.7369811,0.07416996,0.01070061,0.16092,0.0138041],"study_design_scores_gemma":[0.002318352,0.0003080328,0.002424556,0.0003286773,0.00004256782,0.00003400124,0.00002781236,0.824714,0.1195979,0.0003353768,0.04865121,0.001217542],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1428908,0.0001932588,0.8285794,0.003154498,0.01124385,0.001533729,0.0002732145,0.002164369,0.009966869],"genre_scores_gemma":[0.9664257,0.0001203075,0.02969976,0.0008985437,0.001870139,0.0001997178,0.000255832,0.0001359317,0.0003941058],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8235348,"threshold_uncertainty_score":0.9994143,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4246911015","doi":"10.1109/iccad.2005.1560102","title":"Noise margin analysis for dynamic logic circuits","year":2005,"lang":"en","type":"article","venue":"ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.","topic":"Low-power high-performance VLSI design","field":"Engineering","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 British Columbia","funders":"","keywords":"Domino logic; Noise margin; Computer science; Electronic circuit; Robustness (evolution); Noise (video); Electronic engineering; Logic gate; Noise immunity; Waveform; Logic synthesis; Logic family; Algorithm; Engineering; Electrical engineering; Transistor; Artificial intelligence; Telecommunications; Voltage","authors":[{"name":"M. Greenstreet","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05005760672455839,"gpt":0.2832840359013022,"spread":0.2332264291767438,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0009470272,0.000971727,0.0009853095,0.001680119,0.0002254087,0.0004929185,0.002396038,0.0004271726,0.00152335],"category_scores_gemma":[0.00007188772,0.001011919,0.0005529924,0.0005892391,0.0001347616,0.0009115024,0.0001381138,0.0006617669,0.001306647],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001212108,"about_ca_system_score_gemma":0.0002527086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002023086,"about_ca_topic_score_gemma":0.0001839757,"domain_scores_codex":[0.9948595,0.0001610064,0.001259492,0.00117256,0.001070163,0.001477292],"domain_scores_gemma":[0.9968488,0.0005982507,0.0003280978,0.001274624,0.0004611457,0.0004890343],"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.0001844355,0.0004378679,0.0003251893,0.0000870712,0.002262922,0.00005582079,0.0002625153,0.9091808,0.01502746,0.006348709,0.03069318,0.03513409],"study_design_scores_gemma":[0.001817657,0.0002262576,0.001653749,0.0001349816,0.000257504,0.00003132495,0.00001889373,0.9702714,0.006468639,0.001584219,0.01636459,0.001170762],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02040842,0.0002212706,0.9690451,0.001732702,0.003177298,0.001206748,0.0002520251,0.001015064,0.002941346],"genre_scores_gemma":[0.9216428,0.0004489566,0.0722011,0.0008787191,0.001314069,0.0003178535,0.0003052634,0.0001662072,0.002725068],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9012343,"threshold_uncertainty_score":0.9994709,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4234246562","doi":"10.1109/iccad.2005.1560189","title":"Mixed-size placement via line search","year":2005,"lang":"en","type":"article","venue":"ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Scaling; Computer science; Simple (philosophy); Line (geometry); Sampling (signal processing); Algorithm; Line search; Function (biology); Mathematical optimization; Mathematics; Geometry","authors":[{"name":"K. Vorwerk","is_ca":true},{"name":"A. Kennings","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07272725290455787,"gpt":0.2939019442810032,"spread":0.2211746913764453,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001017262,0.0007977851,0.0006341911,0.0005843572,0.0001735498,0.0003900928,0.001959556,0.0003855297,0.002638435],"category_scores_gemma":[0.00005709954,0.0008277765,0.0002462046,0.0001940012,0.0001267184,0.0005605491,0.0002210461,0.0009082538,0.001593594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008312954,"about_ca_system_score_gemma":0.0002053238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000370961,"about_ca_topic_score_gemma":0.0000735362,"domain_scores_codex":[0.9953952,0.0002274043,0.001041744,0.0008826695,0.00122487,0.001228107],"domain_scores_gemma":[0.9973956,0.0005706316,0.0001690057,0.001009856,0.0003605637,0.0004943661],"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.0005462776,0.001249331,0.0001123578,0.0001411069,0.00100944,0.0002412536,0.0005779826,0.3408851,0.1107603,0.01444394,0.3055434,0.2244895],"study_design_scores_gemma":[0.001486958,0.0004392813,0.0001728718,0.00027551,0.00003435341,0.00008663135,0.00002693868,0.8037604,0.1465865,0.001916783,0.04412693,0.001086867],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007879225,0.0001800627,0.9772347,0.002092146,0.002427488,0.0009155129,0.00009048431,0.001635821,0.007544525],"genre_scores_gemma":[0.834069,0.0007476214,0.1566958,0.001040963,0.002884549,0.0001909451,0.0001008417,0.0001731607,0.004097107],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8261898,"threshold_uncertainty_score":0.9994173,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}