{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":2,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":2,"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"},"query_hash":"a9063938117f","filters":{"venue":"Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)"}},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.1468981887571049,"gpt":0.3220068759063403,"spread":0.1751086871492354,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001922191,0.0003256589,0.000350075,0.0003565729,0.0002260517,0.0003605728,0.002909427,0.0001591398,0.00002891909],"category_scores_gemma":[0.0002241756,0.0002638256,0.0001627771,0.0004703182,0.0001884524,0.001739102,0.0002279044,0.0003538448,0.00005780463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001238945,"about_ca_system_score_gemma":0.00007016698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001738035,"about_ca_topic_score_gemma":6.65123e-7,"domain_scores_codex":[0.9965537,0.0000614739,0.001183965,0.0006465518,0.001154301,0.0004000712],"domain_scores_gemma":[0.9955705,0.0004212644,0.00112245,0.000459902,0.002312774,0.0001130492],"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.0008358739,0.0004362022,0.0001131694,0.00008481659,0.000115897,0.000001778158,0.002168586,0.002282122,0.1186687,0.6248835,0.004787751,0.2456217],"study_design_scores_gemma":[0.0009875243,0.0003887161,0.0002666877,0.0001616749,0.000008886142,0.00001697716,0.0000390508,0.7515447,0.2413192,0.004745835,0.0003037886,0.0002169675],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02220454,0.00002269321,0.9680165,0.0007450578,0.001811162,0.0006397822,0.000005013979,0.0001393096,0.006415914],"genre_scores_gemma":[0.5759812,0.0001375545,0.423385,0.0000880174,0.0001810691,0.00004652322,0.000001787994,0.00001570941,0.0001631093],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7492626,"threshold_uncertainty_score":0.9999814,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.0829117494231717,"gpt":0.2484931727045847,"spread":0.165581423281413,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001644195,0.0002855294,0.0003293183,0.0003272419,0.00003664113,0.0001178336,0.0002939324,0.0001106293,0.00005796015],"category_scores_gemma":[0.00003189962,0.0002605339,0.00003671989,0.0001511554,0.00007523606,0.0004226199,0.00004895447,0.0003543186,0.000005244605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008652291,"about_ca_system_score_gemma":0.00001962328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001637917,"about_ca_topic_score_gemma":0.000008373255,"domain_scores_codex":[0.9985835,0.00001640532,0.0003749584,0.0004025432,0.0003452913,0.000277334],"domain_scores_gemma":[0.9992641,0.0001761338,0.00009992749,0.00009729094,0.0002690118,0.00009349005],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00066935,0.000511607,0.001118355,0.00123544,0.0002123652,0.00007278258,0.003435871,0.04732011,0.8425329,0.04509851,0.001926367,0.0558663],"study_design_scores_gemma":[0.001047276,0.0006918555,0.0008240919,0.001319683,0.0000128286,0.00003612067,0.00001551697,0.9261408,0.06033959,0.009293747,0.000001391798,0.0002770741],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9460059,0.00007418305,0.04874245,0.0001710183,0.0002077112,0.0003379267,0.000004028038,0.00012823,0.004328561],"genre_scores_gemma":[0.9573497,0.00009665964,0.04231883,0.0000616118,0.00007352095,0.00003668528,0.000002451988,0.00002734129,0.00003318353],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8788207,"threshold_uncertainty_score":0.9999847,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}