{"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":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.1460882,0.00022394783,0.8407181,0.00055443536,0.0001608656,0.00024322384,0.0003654232,0.0026442748,0.009001481],"genre_scores_gemma":[0.82431096,0.00024852916,0.16994767,0.00009279879,0.000026691792,0.00016524442,0.0001680124,0.00010519955,0.004934816],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99936754,0.00012793517,0.00004389346,0.000086014974,0.0003099111,0.000064822394],"domain_scores_gemma":[0.99906844,0.00056481763,0.000088696834,0.00012373396,0.00013243078,0.000021878908],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009477084,0.00038923262,0.00026838225,0.00032292504,0.000607987,0.00082290615,0.0007034011,0.00057419756,0.0021575494],"category_scores_gemma":[0.0029858707,0.00034051653,0.0006252478,0.00015561245,0.0016180283,0.0011993976,0.00061211135,0.0007799687,0.0003026795],"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.00033543422,0.00018019478,0.0017979688,0.000651088,0.00006170435,0.0012897712,0.000697862,0.34013376,0.16623318,0.4251059,0.0024455874,0.061067555],"study_design_scores_gemma":[0.00019543669,0.0004463086,0.0006572448,0.0001258474,0.00005749917,0.0005750131,0.000099460005,0.69015276,0.19324717,0.08876228,0.025606463,0.00007445226],"about_ca_topic_score_codex":0.0023526216,"about_ca_topic_score_gemma":0.002242071,"teacher_disagreement_score":0.0023526216,"about_ca_system_score_codex":0.00090185093,"about_ca_system_score_gemma":0.0019716187,"threshold_uncertainty_score":0.0072177052},"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":"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.0652986,0.00014518369,0.9305165,0.00013859957,0.000021486601,0.000025892268,0.00004410678,0.0004317659,0.003377823],"genre_scores_gemma":[0.64113927,0.0004337033,0.3534914,0.00009330797,0.00003310862,0.000099091936,0.00012666995,0.000094921,0.0044884523],"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","domain_scores_codex":[0.9999,0.000026297499,0.000003135916,0.000007719787,0.000052270203,0.000010574143],"domain_scores_gemma":[0.9997149,0.00016479914,0.000022083743,0.000061619015,0.000029562447,0.0000070221918],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00022480593,0.00030987963,0.00036772204,0.00027146633,0.00023840596,0.00035830526,0.00040812444,0.00083132385,0.0014394041],"category_scores_gemma":[0.0007270257,0.00023746178,0.00028483765,0.00023262293,0.00034263494,0.0011369403,0.00033780662,0.00038199447,0.00026381217],"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.00004070391,0.000051289215,0.00064636575,0.00007643397,0.000015548478,0.00015008809,0.00012446573,0.8894514,0.027364993,0.022432333,0.0008557008,0.058790743],"study_design_scores_gemma":[0.0000033720735,0.000011595976,0.000063722604,0.0000016512425,0.0000012208637,0.000024018278,0.000007639828,0.9951325,0.0019503225,0.0022906004,0.0005105323,0.0000028359361],"about_ca_topic_score_codex":0.0021742159,"about_ca_topic_score_gemma":0.0023272233,"teacher_disagreement_score":0.0021742159,"about_ca_system_score_codex":0.00025591248,"about_ca_system_score_gemma":0.000456912,"threshold_uncertainty_score":0.004815221},"labels":[],"label_agreement":null}]}