{"meta":{"query_hash":"a9063938117f","filters":{"venue":"Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)"},"cohort_total":2,"direct_labels_cover":0,"predictions_cover":2,"exported":2,"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/a9063938117f","api":"https://metacan.xera.ac/api/v1/cohort?venue=Proceedings+of+IEEE+International+Conference+on+Computer+Aided+Design+%28ICCAD%29"},"results":[{"id":"W4231425351","doi":"10.1109/iccad.1995.479878","title":"The formal verification of a pipelined double-precision IEEE floating-point multiplier","year":2002,"lang":"en","type":"article","venue":"Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":32,"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":"Computer science; Intelligent verification; Formal verification; Double-precision floating-point format; Model checking; Multiplier (economics); Functional verification; High-level verification; IEEE floating point; Automated theorem proving; Floating point; Formal equivalence checking; Runtime verification; Software verification; Algorithm; Programming language; Software","score_opus":0.14689818875710486,"score_gpt":0.3220068759063403,"score_spread":0.17510868714923544,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4231425351","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.022204537,0.000022693206,0.9680165,0.0007450578,0.0018111618,0.00063978217,0.000005013979,0.00013930962,0.0064159143],"genre_scores_gemma":[0.5759812,0.00013755454,0.423385,0.0000880174,0.00018106906,0.00004652322,0.0000017879939,0.000015709407,0.00016310926],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99655366,0.0000614739,0.0011839654,0.0006465518,0.001154301,0.00040007124],"domain_scores_gemma":[0.99557054,0.00042126444,0.0011224496,0.000459902,0.0023127738,0.000113049195],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0019221911,0.00032565888,0.00035007496,0.00035657294,0.0002260517,0.00036057277,0.0029094268,0.00015913979,0.00002891909],"category_scores_gemma":[0.00022417563,0.0002638256,0.00016277711,0.00047031822,0.00018845242,0.0017391021,0.0002279044,0.0003538448,0.000057804627],"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.0008358739,0.0004362022,0.000113169444,0.000084816595,0.00011589695,0.0000017781575,0.0021685862,0.0022821217,0.11866867,0.6248835,0.004787751,0.24562165],"study_design_scores_gemma":[0.0009875243,0.0003887161,0.00026668774,0.0001616749,0.0000088861425,0.00001697716,0.000039050796,0.7515447,0.24131916,0.0047458345,0.00030378858,0.0002169675],"about_ca_topic_score_codex":0.000017380355,"about_ca_topic_score_gemma":6.65123e-7,"teacher_disagreement_score":0.74926263,"about_ca_system_score_codex":0.00012389453,"about_ca_system_score_gemma":0.00007016698,"threshold_uncertainty_score":0.9999814},"labels":[],"label_agreement":null},{"id":"W4252216403","doi":"10.1109/iccad.1995.479990","title":"Addressing high frequency effects in VLSI interconnects with full wave model and CFH","year":2002,"lang":"en","type":"article","venue":"Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","topic":"Electromagnetic Compatibility and Noise Suppression","field":"Engineering","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":"Carleton University","funders":"","keywords":"Very-large-scale integration; Electronic engineering; Computer science; Interconnection; Moment (physics); Frequency domain; Stencil; Boundary value problem; Engineering; Computational science; Physics; Mathematics; Telecommunications; Mathematical analysis","score_opus":0.0829117494231717,"score_gpt":0.24849317270458474,"score_spread":0.16558142328141304,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4252216403","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.9460059,0.00007418305,0.04874245,0.00017101833,0.00020771116,0.00033792673,0.0000040280383,0.00012822998,0.0043285605],"genre_scores_gemma":[0.9573497,0.00009665964,0.042318832,0.000061611805,0.000073520954,0.000036685276,0.000002451988,0.000027341293,0.000033183533],"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9985835,0.000016405316,0.00037495836,0.00040254323,0.00034529134,0.00027733404],"domain_scores_gemma":[0.9992641,0.00017613382,0.00009992749,0.00009729094,0.00026901183,0.00009349005],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00016441951,0.00028552944,0.00032931825,0.00032724193,0.00003664113,0.00011783363,0.00029393242,0.00011062929,0.000057960147],"category_scores_gemma":[0.00003189962,0.00026053394,0.00003671989,0.0001511554,0.00007523606,0.00042261992,0.00004895447,0.00035431865,0.000005244605],"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.00066935003,0.00051160704,0.001118355,0.0012354397,0.00021236524,0.00007278258,0.003435871,0.04732011,0.84253293,0.04509851,0.0019263674,0.055866305],"study_design_scores_gemma":[0.0010472756,0.0006918555,0.0008240919,0.001319683,0.000012828604,0.000036120673,0.000015516967,0.92614084,0.060339592,0.009293747,0.0000013917984,0.0002770741],"about_ca_topic_score_codex":0.000016379166,"about_ca_topic_score_gemma":0.000008373255,"teacher_disagreement_score":0.8788207,"about_ca_system_score_codex":0.00008652291,"about_ca_system_score_gemma":0.00001962328,"threshold_uncertainty_score":0.9999847},"labels":[],"label_agreement":null}]}