{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":5,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":5,"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":"16d2512e059f","filters":{"venue":"Proceedings. 42nd Design Automation Conference, 2005."}},"results":[{"id":"W4211201338","doi":"10.1109/dac.2005.193848","title":"Incremental retiming for FPGA physical synthesis","year":2005,"lang":"en","type":"article","venue":"Proceedings. 42nd Design Automation Conference, 2005.","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Alterra Power (Canada)","funders":"","keywords":"Retiming; Field-programmable gate array; Computer science; Glitch; Stratix; Reset (finance); Floorplan; Parallel computing; Embedded system; Computer hardware; Algorithm","authors":[{"name":"Deshanand P. Singh","is_ca":true},{"name":"Valavan Manohararajah","is_ca":true},{"name":"Stephen D. Brown","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04762207711787992,"gpt":0.2853582250161972,"spread":0.2377361478983173,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002651142,0.0004390447,0.0002021838,0.0004654009,0.0002670639,0.0003700448,0.0006628484,0.0002332172,0.004282759],"category_scores_gemma":[0.0009385523,0.0002206714,0.000259202,0.0003390126,0.0002577711,0.0005287746,0.0003380995,0.0005242929,0.0006805158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004820309,"about_ca_system_score_gemma":0.0006026275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00142848,"about_ca_topic_score_gemma":0.004212706,"domain_scores_codex":[0.9997839,0.00005146995,0.00001080547,0.00002648021,0.0001051384,0.00002213621],"domain_scores_gemma":[0.9997171,0.0001497579,0.00002434098,0.00005329744,0.00004853865,0.000007030758],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001624586,0.00004890837,0.0002511332,0.0002555133,0.00002811785,0.0001247852,0.00008014699,0.2438436,0.05874825,0.04855512,0.003294941,0.6446069],"study_design_scores_gemma":[0.00005822912,0.0001801802,0.0002018471,0.00003453101,0.00003652211,0.0001373682,0.00001742109,0.9222695,0.03699644,0.02451224,0.01553365,0.00002209258],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006573089,0.0003809674,0.9889318,0.00004859739,0.00003611541,0.00002242427,0.00001813712,0.001044164,0.002944725],"genre_scores_gemma":[0.2536206,0.0005814058,0.7412755,0.0001010985,0.00004969374,0.00009124193,0.0001018304,0.0002002281,0.003978431],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004282759,"threshold_uncertainty_score":0.01432729,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4239560685","doi":"10.1109/dac.2005.193910","title":"Efficient SAT solving: beyond supercubes","year":2005,"lang":"en","type":"article","venue":"Proceedings. 42nd Design Automation Conference, 2005.","topic":"Formal Methods in Verification","field":"Computer 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 British Columbia","funders":"","keywords":"Pruning; Computer science; Speedup; Boolean satisfiability problem; Benchmark (surveying); Maximum satisfiability problem; Solver; Theoretical computer science; Boolean function; Algorithm; Programming language; Parallel computing","authors":[{"name":"D. Babic","is_ca":true},{"name":"J. Bingham","is_ca":true},{"name":"A.J. Hu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04063998466356675,"gpt":0.274707702467188,"spread":0.2340677178036212,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002055059,0.0006999183,0.001431388,0.0009653603,0.001079867,0.002169469,0.002679971,0.001136706,0.006050116],"category_scores_gemma":[0.007588911,0.0007568088,0.001182851,0.002273882,0.001633771,0.005278199,0.003306476,0.00256796,0.001529633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001318606,"about_ca_system_score_gemma":0.001872133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005783648,"about_ca_topic_score_gemma":0.008262059,"domain_scores_codex":[0.9966208,0.001296929,0.0001820109,0.0004361377,0.001167606,0.0002964517],"domain_scores_gemma":[0.9953377,0.002188921,0.0001869471,0.001628775,0.0005416753,0.0001158589],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002577287,0.0001837546,0.001383388,0.0005081684,0.0001132021,0.0001848818,0.0004316479,0.1518528,0.009126751,0.3568578,0.01763866,0.4614612],"study_design_scores_gemma":[0.00007895636,0.0000743297,0.0002699512,0.00008341585,0.00003600834,0.000111432,0.0001657608,0.691431,0.006474548,0.2671984,0.03405741,0.00001875779],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02913886,0.001623623,0.9478704,0.001721998,0.000121224,0.0001740951,0.0001855857,0.002026593,0.01713768],"genre_scores_gemma":[0.1743639,0.001309559,0.8175706,0.0006721506,0.000096264,0.0003437829,0.0006535323,0.0006567694,0.004333389],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006050116,"threshold_uncertainty_score":0.02023965,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4237811248","doi":"10.1109/dac.2005.193889","title":"A unified optimization framework for equalization filter synthesis","year":2005,"lang":"en","type":"article","venue":"Proceedings. 42nd Design Automation Conference, 2005.","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":4,"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; Equalization (audio); Filter (signal processing); Algorithm; Computer vision","authors":[{"name":"Jiaying Ren","is_ca":true},{"name":"M. Greenstreet","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03923183387556088,"gpt":0.2581216117356575,"spread":0.2188897778600966,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001070595,0.001353938,0.00099322,0.0006924674,0.0004309435,0.001207157,0.001105916,0.001022476,0.004636922],"category_scores_gemma":[0.001406588,0.0006409452,0.00109455,0.0008468525,0.0006430225,0.001043907,0.001247486,0.001405932,0.001168532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007250112,"about_ca_system_score_gemma":0.001423212,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002413259,"about_ca_topic_score_gemma":0.004028565,"domain_scores_codex":[0.9994412,0.0001605109,0.00002407266,0.00008642432,0.0002294162,0.00005830633],"domain_scores_gemma":[0.9997419,0.0001217517,0.00001917178,0.00002957858,0.00007475033,0.00001286725],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002406219,0.00004170917,0.00008906676,0.0001113569,0.00004225225,0.00004988698,0.00004160449,0.7718827,0.004469078,0.147281,0.002673356,0.0732939],"study_design_scores_gemma":[0.00001099439,0.00002443791,0.00002218744,0.00001203502,0.000009612583,0.00001899487,0.00000733885,0.9678388,0.000876283,0.02684272,0.004328682,0.000007903506],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002509048,0.00007614942,0.9985114,0.00002705364,0.00001024845,0.000007409206,0.00001499791,0.0000428256,0.001058996],"genre_scores_gemma":[0.06540642,0.0006472625,0.9273479,0.0001077504,0.0001146953,0.0002702456,0.0001751446,0.0001932591,0.005737472],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004636922,"threshold_uncertainty_score":0.01551205,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4237557932","doi":"10.1109/dac.2005.193820","title":"Design methodology for wireless nodes with printed antennas","year":2005,"lang":"en","type":"article","venue":"Proceedings. 42nd Design Automation Conference, 2005.","topic":"Antenna Design and Analysis","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":"McGill University","funders":"University of Colorado Boulder","keywords":"Computer science; Wireless; Antenna (radio); Wireless network; Node (physics); Wi-Fi array; Range (aeronautics); Electronic engineering; Electrical engineering; Computer network; Telecommunications; Engineering","authors":[{"name":"J.-S. Chenard","is_ca":true},{"name":"Z. Zilic","is_ca":true},{"name":"Chun Yiu Chu","is_ca":true},{"name":"M. Popovic","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.07432916659593122,"gpt":0.2709913418314867,"spread":0.1966621752355555,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004379161,0.0006511627,0.0002882556,0.0004987417,0.0002648788,0.000769964,0.001120274,0.0005246206,0.004973578],"category_scores_gemma":[0.001010786,0.0003822157,0.0005668125,0.0003843551,0.0004044832,0.0006890463,0.0004355834,0.0007721224,0.003062696],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004033575,"about_ca_system_score_gemma":0.0005086426,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003250263,"about_ca_topic_score_gemma":0.0004661875,"domain_scores_codex":[0.9995233,0.00008347083,0.00003038803,0.00005320687,0.0002881586,0.00002156411],"domain_scores_gemma":[0.9997301,0.00006630991,0.00003756546,0.00004815719,0.0001109789,0.00000695184],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003786111,0.00007060554,0.0004264756,0.001099871,0.0001063742,0.0005416213,0.0004961156,0.1979426,0.2172725,0.2903236,0.007054144,0.2846282],"study_design_scores_gemma":[0.00008158082,0.0003748983,0.0003601658,0.0001843832,0.0001098118,0.001461198,0.0001451301,0.4062913,0.153372,0.07727408,0.3602805,0.00006497624],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006502492,0.00006975394,0.9959456,0.00003385307,0.0000356897,0.00004724124,0.00001834137,0.0001838495,0.003015447],"genre_scores_gemma":[0.04806658,0.0006209408,0.9380659,0.0001042414,0.00004029829,0.0004766959,0.0001005073,0.0002065543,0.01231815],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004973578,"threshold_uncertainty_score":0.01663834,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4247533534","doi":"10.1109/dac.2005.193932","title":"A non-parametric approach for dynamic range estimation of nonlinear systems","year":2005,"lang":"en","type":"article","venue":"Proceedings. 42nd Design Automation Conference, 2005.","topic":"Blind Source Separation Techniques","field":"Computer Science","cited_by":0,"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; Datapath; Nonlinear system; Algorithm; Gaussian; Dynamic range; Parametric statistics; Range (aeronautics); Orthonormal basis; High dynamic range; Independent component analysis; Gaussian process; Mathematical optimization; Mathematics; Artificial intelligence; Statistics","authors":[{"name":"Bin Wu","is_ca":true},{"name":"Jianwen Zhu","is_ca":true},{"name":"F.N. Najm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03145764093773942,"gpt":0.2803036523230371,"spread":0.2488460113852976,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005552682,0.0007519607,0.000663212,0.0008800514,0.000434212,0.000629343,0.0006868964,0.0007134862,0.001612388],"category_scores_gemma":[0.002624644,0.0003193823,0.0005290353,0.0007024106,0.0007180565,0.0009527834,0.0007894822,0.001333665,0.0006871458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003157059,"about_ca_system_score_gemma":0.0005927478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006987137,"about_ca_topic_score_gemma":0.001073883,"domain_scores_codex":[0.9993778,0.0001481722,0.00002549279,0.0001272085,0.0002904767,0.00003084475],"domain_scores_gemma":[0.9994094,0.0003237083,0.00005592731,0.0001056096,0.00009157766,0.00001378247],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001180211,0.00007538207,0.000483848,0.0002456837,0.00009691673,0.0001941172,0.0001752542,0.1450068,0.06650507,0.05772976,0.002159625,0.7272095],"study_design_scores_gemma":[0.00001199517,0.00009658714,0.0008355314,0.00002601341,0.00002733002,0.0005462354,0.00003013608,0.9363576,0.02623388,0.02369364,0.01208143,0.00005974916],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009761246,0.0001971468,0.9980162,0.00004183896,0.00001567086,0.00001060399,0.000009530799,0.0001408333,0.0005919216],"genre_scores_gemma":[0.14012,0.001072089,0.8534163,0.0001304276,0.000152821,0.0002004397,0.0001061518,0.0001129853,0.004688917],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001612388,"threshold_uncertainty_score":0.005393982,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}