{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":14,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":14,"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":"71a7f4b4f9f6","filters":{"venue":"Proceedings - ACM IEEE Design Automation Conference"}},"results":[{"id":"W2143208164","doi":"10.1145/1278480.1278498","title":"An effective guidance strategy for abstraction-guided simulation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":46,"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; Assertion; Abstraction; Formal verification; Model checking; Functional verification; State (computer science); Formal methods; Theoretical computer science; Distributed computing; Computer engineering; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.1434452489782713,"gpt":0.4035506928856112,"spread":0.2601054439073399,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0036576,0.0002644411,0.0002275475,0.0002767257,0.0003156626,0.0005956835,0.001257802,0.0002017366,0.00001036125],"category_scores_gemma":[0.001663979,0.0002812161,0.00005923098,0.000596999,0.0000614193,0.004168659,0.00004033251,0.0001768559,0.00003777313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002114649,"about_ca_system_score_gemma":0.0001187428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009020648,"about_ca_topic_score_gemma":0.000001162818,"domain_scores_codex":[0.9977306,0.00006227534,0.0006475713,0.0006769396,0.0004472574,0.0004353545],"domain_scores_gemma":[0.9963267,0.0007199455,0.0006285585,0.0004816469,0.001687315,0.0001557763],"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.0001576915,0.0002045103,0.0003038996,0.0002202353,0.00003501981,0.0000012954,0.002753229,0.05973506,0.2858542,0.2432589,0.0004425858,0.4070334],"study_design_scores_gemma":[0.0003244432,0.0002853814,0.01606281,0.00003690707,0.000009842443,0.000008190696,0.00006100516,0.7670881,0.1922541,0.02350014,0.000106486,0.0002625876],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03167937,0.000009706157,0.964296,0.0000732161,0.0004971158,0.001639881,0.00000276981,0.0009036945,0.000898264],"genre_scores_gemma":[0.5398988,0.000001501969,0.4597512,0.00005113953,0.00009649699,0.0001655825,0.000003842929,0.00001256188,0.00001889991],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7073531,"threshold_uncertainty_score":0.999964,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2117883771","doi":"10.1145/513918.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":42,"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; Interface (matter); Operating system; Embedded system","retraction":null,"screen_n_in":null,"score":{"opus":0.2551343654171854,"gpt":0.3125416873462459,"spread":0.05740732192906051,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009007187,0.0002350254,0.0002696088,0.0002965159,0.0001563387,0.0003672555,0.001003697,0.0001420504,0.00005174799],"category_scores_gemma":[0.0007837034,0.0002407936,0.00003334703,0.0006031462,0.0001087667,0.002156334,0.0001178834,0.0001528962,0.00006042375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009628934,"about_ca_system_score_gemma":0.00003787499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009279372,"about_ca_topic_score_gemma":2.971186e-7,"domain_scores_codex":[0.9980093,0.00008890254,0.0006755471,0.0005144781,0.0004694583,0.0002422604],"domain_scores_gemma":[0.9979869,0.0001257788,0.0006676462,0.000465968,0.0006581675,0.00009557188],"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.000008249564,0.0001463855,0.0002105527,0.0002505028,0.00003286911,4.652137e-7,0.007093817,0.0003126701,0.5177296,0.1562252,0.002134646,0.315855],"study_design_scores_gemma":[0.0001770355,0.00009234271,0.003523808,0.00005748983,0.00001023535,0.00001140329,0.00005104276,0.6770139,0.315425,0.003440197,0.00002481818,0.0001727127],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1602313,0.00005600079,0.8378501,0.0004067383,0.0004122193,0.0004550549,0.000002685485,0.0003734626,0.0002123965],"genre_scores_gemma":[0.53023,0.00004790663,0.4695427,0.00001731607,0.00004960986,0.00005220613,0.000001366205,0.000009017602,0.000049788],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6767012,"threshold_uncertainty_score":0.9819277,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2148575734","doi":"10.1145/1278480.1278504","title":"Modeling and estimation of full-chip leakage current considering within-die correlation","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":27,"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":"Chip; Die (integrated circuit); Computer science; Electronic engineering; Engineering; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.04633693129847801,"gpt":0.2614161609531105,"spread":0.2150792296546325,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001102322,0.0003015425,0.0003091113,0.0003925207,0.0001290826,0.0001384321,0.00022606,0.0001544631,0.00001309291],"category_scores_gemma":[0.0003760921,0.0003275729,0.00003465548,0.0003048226,0.00007184518,0.001248159,0.00003838772,0.0002956313,0.00002205481],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001195244,"about_ca_system_score_gemma":0.00006606794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006073798,"about_ca_topic_score_gemma":0.000002776838,"domain_scores_codex":[0.9981516,0.0000130889,0.0007794541,0.000311532,0.0003978889,0.0003464224],"domain_scores_gemma":[0.9989514,0.0001578245,0.0002306489,0.0001768186,0.0003641202,0.0001191904],"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.00005143505,0.00002741328,0.0004999515,0.0007681906,0.00003514106,0.000001489639,0.005552616,0.797264,0.1590085,0.002339659,0.00007874446,0.03437288],"study_design_scores_gemma":[0.0003918003,0.00006255254,0.000544356,0.0003650839,0.00003874644,0.00002302036,0.0001718418,0.9195645,0.07615098,0.002370806,0.00000571177,0.0003105988],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4471698,0.000137478,0.5513963,0.0000117678,0.0003366469,0.0003108191,0.000001456539,0.0004524952,0.0001832676],"genre_scores_gemma":[0.9257311,0.00009664305,0.07402158,0.000008118448,0.00005542762,0.00003154511,0.00000755608,0.00004309768,0.000004884316],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4785613,"threshold_uncertainty_score":0.9999176,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2128264388","doi":"10.1145/1278480.1278563","title":"Using negative edge triggered ffs to reduce glitching power in FPGA circuits","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":24,"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":"Lookup table; Field-programmable gate array; Computer science; Electronic circuit; Dissipation; Signal edge; Routing (electronic design automation); Enhanced Data Rates for GSM Evolution; Logic gate; Power (physics); Electronic engineering; Macrocell array; Electrical engineering; Logic synthesis; Computer hardware; Engineering; Embedded system; Algorithm; Logic family; Physics; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.07454332034314884,"gpt":0.2971368018272829,"spread":0.222593481484134,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001683259,0.0005040307,0.000499367,0.0009922356,0.0001675408,0.0003341757,0.0007867631,0.0002769181,0.00008114466],"category_scores_gemma":[0.000842713,0.000562383,0.00006621717,0.00171044,0.00005722104,0.001669461,0.00007008948,0.0004971085,0.0001735847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007398143,"about_ca_system_score_gemma":0.0001795336,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002500397,"about_ca_topic_score_gemma":0.000004720964,"domain_scores_codex":[0.9969411,0.00003198806,0.0009097837,0.0006039191,0.0005759181,0.0009372833],"domain_scores_gemma":[0.998408,0.0002873555,0.0002044757,0.0003269622,0.0004827399,0.0002905362],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000737219,0.00006613424,0.0005214526,0.0002101227,0.00004811816,0.00001596894,0.0168325,0.009990109,0.9525678,0.0008363221,0.0009309677,0.01790679],"study_design_scores_gemma":[0.001122129,0.0001305129,0.008622322,0.0006114977,0.00002816852,0.0000386098,0.0008080465,0.2694191,0.7163592,0.001740158,0.0001533562,0.0009669165],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6270569,0.00003520892,0.3672094,0.00005817725,0.0006630704,0.0009429915,0.000003894125,0.0008943901,0.003135973],"genre_scores_gemma":[0.9589927,0.00001284431,0.04052376,0.00009950511,0.0001455237,0.00008098612,0.000002552002,0.00009622057,0.00004586181],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3319359,"threshold_uncertainty_score":0.9996828,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2102749815","doi":"10.1145/1278480.1278518","title":"Simulating improbable events","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":14,"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":"Metastability; Waveform; Computer science; Electronic circuit; FLOPS; Amplifier; Electronic engineering; Spice; Electrical engineering; Parallel computing; Physics; Engineering; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.04252859085392036,"gpt":0.2677438906964303,"spread":0.2252152998425099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006220122,0.0001969369,0.0001845507,0.0001102925,0.0001011827,0.0001073355,0.000357702,0.0001288471,0.00009407134],"category_scores_gemma":[0.0002826943,0.0001983086,0.00003812919,0.0002955323,0.00002498018,0.0005843969,0.00003375786,0.0001835621,0.0001633966],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009593443,"about_ca_system_score_gemma":0.00003124501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004019142,"about_ca_topic_score_gemma":0.000001185442,"domain_scores_codex":[0.9987015,0.000004720107,0.0003659327,0.0002231379,0.0002729278,0.0004318184],"domain_scores_gemma":[0.9992776,0.0001641829,0.00007939221,0.0001287068,0.000213973,0.0001361336],"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.00008951644,0.0001438041,0.003128416,0.001368231,0.0001862083,0.00001320539,0.004242341,0.03038152,0.8335471,0.03960689,0.002012612,0.0852802],"study_design_scores_gemma":[0.0002473723,0.00003451136,0.002309717,0.00009715293,0.00001509438,0.00000608917,0.00009293717,0.8775176,0.1119058,0.007233434,0.0002747468,0.0002654624],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3988305,0.0000563153,0.5687262,0.00004821136,0.0003871745,0.000444134,0.000002136288,0.001617638,0.02988764],"genre_scores_gemma":[0.9638426,0.00001576769,0.03586924,0.00005689221,0.00007566338,0.0000234388,0.000002484364,0.00002831121,0.00008560196],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8471361,"threshold_uncertainty_score":0.808679,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2148567424","doi":"10.1145/513918.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":12,"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; Software engineering; Software; Downstream (manufacturing); Interface (matter); De facto; Architecture; Set (abstract data type); Programming language; Software architecture; Simple (philosophy); Operating system; Engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.08883617484457842,"gpt":0.2630983132992856,"spread":0.1742621384547072,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005462122,0.0002415755,0.0002391052,0.000261986,0.0003036741,0.0006745702,0.001667358,0.0001242291,0.000162401],"category_scores_gemma":[0.0003774964,0.0002435287,0.00005719453,0.0006551169,0.00006972459,0.00170776,0.000201425,0.0001840566,0.0002163222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005886772,"about_ca_system_score_gemma":0.0000533452,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005353372,"about_ca_topic_score_gemma":8.077772e-8,"domain_scores_codex":[0.9982203,0.00004664119,0.0003999246,0.0005328504,0.0004060509,0.000394191],"domain_scores_gemma":[0.9985073,0.0001295329,0.0002536137,0.0004304779,0.0005624735,0.0001166425],"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.00003711166,0.0006826874,0.001099286,0.0004928615,0.0001269051,0.00002514413,0.02100455,0.01121362,0.03991061,0.4156258,0.4018511,0.1079303],"study_design_scores_gemma":[0.0001613853,0.000102805,0.0001562584,0.00006048291,0.000005337056,0.00001872943,0.00002983108,0.9592788,0.02204928,0.01647954,0.001365744,0.0002918286],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00221476,0.0001499782,0.9821977,0.001279231,0.000225806,0.0003110653,0.000001043746,0.003092754,0.01052768],"genre_scores_gemma":[0.5556309,0.00008554769,0.4429225,0.0002123203,0.00003975925,0.00005015954,0.000001256722,0.00001100218,0.001046482],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9480652,"threshold_uncertainty_score":0.9930812,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2163880998","doi":"10.1145/1278480.1278591","title":"Modeling simultaneous switching noise-induced jitter for system-on-chip phase-locked loops","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Advancements in PLL and VCO Technologies","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Jitter; Phase noise; Phase-locked loop; Noise (video); Electronic engineering; Chip; Computer science; System on a chip; Telecommunications; Engineering; Embedded system","retraction":null,"screen_n_in":null,"score":{"opus":0.06938438734817476,"gpt":0.305194699514199,"spread":0.2358103121660243,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000583623,0.0003921041,0.0003534709,0.0003125027,0.0002472438,0.000180551,0.0006165999,0.000247244,0.000007888621],"category_scores_gemma":[0.0007458941,0.0003865695,0.00006766224,0.000282817,0.00002305537,0.0005749628,0.0000437195,0.000308976,0.00003306155],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002551136,"about_ca_system_score_gemma":0.00003074721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002409544,"about_ca_topic_score_gemma":6.367353e-7,"domain_scores_codex":[0.9979957,0.000006102751,0.0006144726,0.0004404481,0.0003381815,0.0006050522],"domain_scores_gemma":[0.9987268,0.0003826776,0.0001465173,0.0002671872,0.0003813441,0.00009544651],"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.0001971789,0.00009484123,0.00001518099,0.0008884962,0.0001007233,0.000009684373,0.001614921,0.1571308,0.7376989,0.007337787,0.0002084813,0.09470306],"study_design_scores_gemma":[0.0008104137,0.0001689856,0.000001925269,0.0002695024,0.00002769342,0.00001156426,0.000608385,0.8005002,0.1947405,0.002447278,0.00005073945,0.0003628022],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.354826,0.00001529383,0.6410698,0.0000440924,0.0003773612,0.0006883603,0.000004933762,0.002605391,0.0003688544],"genre_scores_gemma":[0.9386172,0.00001021058,0.06086215,0.00005409677,0.0001610136,0.0001920387,0.000006671766,0.00007130135,0.00002534037],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6433694,"threshold_uncertainty_score":0.9998586,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3150716070","doi":"10.1109/dac.2006.229229","title":"A family of cells to reduce the soft-error-rate in ternary-CAM","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":9,"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":"Soft error; Computer science; Reduction (mathematics); Error detection and correction; Word error rate; Content-addressable memory; Ternary operation; Word (group theory); Computer hardware; Embedded system; Arithmetic; Electronic engineering; Algorithm; Engineering; Speech recognition; Artificial intelligence; Mathematics; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.02575501377618488,"gpt":0.2447089313890232,"spread":0.2189539176128384,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006796672,0.0002205725,0.0002310972,0.0002368338,0.00005259236,0.0001021309,0.0006199942,0.0001098792,0.00001502161],"category_scores_gemma":[0.0002039645,0.0002020235,0.00003807901,0.0006755124,0.0000422007,0.0003415656,0.00002857275,0.0002229513,0.00006332149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000186015,"about_ca_system_score_gemma":0.0000908181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005284623,"about_ca_topic_score_gemma":0.000007316079,"domain_scores_codex":[0.9986075,0.00003499803,0.0004711879,0.0002485676,0.000273021,0.0003647415],"domain_scores_gemma":[0.9991457,0.0002284163,0.0001450988,0.0002251043,0.0002048853,0.00005073979],"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.00001302401,0.00002395022,0.0001110602,0.00008963764,0.00001037587,5.31864e-7,0.0007935771,0.3898847,0.600042,0.001357564,0.004198056,0.003475566],"study_design_scores_gemma":[0.0002101918,0.00005798652,0.006554475,0.0000747646,0.000009569326,0.000002249971,0.00005321424,0.7342321,0.2558573,0.002532149,0.0002279188,0.000188041],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8394414,0.00007367624,0.1565819,0.0002818254,0.0003021779,0.0008707162,0.000005105468,0.00046389,0.001979318],"genre_scores_gemma":[0.9932089,0.00001227656,0.006307955,0.00008016741,0.0000797493,0.0001785676,0.000002311751,0.00003858657,0.00009141459],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3443474,"threshold_uncertainty_score":0.8238277,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4251683102","doi":"10.1109/dac.2006.229439","title":"Early outpoint insertion for high-level software vs. RTL formal combinational equivalence verification","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Formal Methods in Verification","field":"Computer Science","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 British Columbia","funders":"","keywords":"Computer science; Formal equivalence checking; Equivalence (formal languages); Formal verification; High-level synthesis; Combinational logic; Software; Theoretical computer science; Model checking; Parallel computing; Algorithm; Programming language; Embedded system; Mathematics; Field-programmable gate array; Logic gate; Discrete mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.0981762457468505,"gpt":0.2938394154449512,"spread":0.1956631696981007,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001810254,0.0003548416,0.0003044494,0.0003676592,0.0005213059,0.0007996127,0.001826803,0.000240746,0.00001791783],"category_scores_gemma":[0.001438515,0.000385775,0.00008900573,0.0007084688,0.0001163784,0.005611434,0.0001651026,0.0002164065,0.00008701819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002987543,"about_ca_system_score_gemma":0.00027216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004436012,"about_ca_topic_score_gemma":0.000001215361,"domain_scores_codex":[0.9968579,0.00007329688,0.0008619308,0.0007979494,0.0008256127,0.0005833483],"domain_scores_gemma":[0.9962142,0.0002952799,0.0008188572,0.000543718,0.002017138,0.000110813],"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.00008437305,0.000187806,0.0005036308,0.0002055693,0.00001618674,4.008684e-7,0.0007368218,0.0003454313,0.04907846,0.9007868,0.001542683,0.0465119],"study_design_scores_gemma":[0.001104617,0.0004463102,0.1740882,0.0001192802,0.00002507248,0.00001653287,0.00002659509,0.5082985,0.1325906,0.1825028,0.0001788477,0.0006026178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0649334,0.00001213981,0.9310798,0.0007707392,0.0006836333,0.00128317,0.00002463728,0.001002369,0.0002100945],"genre_scores_gemma":[0.5097783,0.000004150666,0.4894191,0.0000806879,0.00008247497,0.0004714533,0.0000378336,0.00001739817,0.0001086354],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7182839,"threshold_uncertainty_score":0.9998594,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4235191568","doi":"10.1145/513950.513952","title":"High-Level specification and automatic generation of IP interface monitors","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Embedded Systems Design Techniques","field":"Computer Science","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 British Columbia","funders":"","keywords":"Computer science; Verilog; VHDL; Embedded system; Block (permutation group theory); Interface (matter); Protocol (science); Hardware description language; Formal verification; System on a chip; Computer architecture; Programming language; Operating system; Field-programmable gate array","retraction":null,"screen_n_in":null,"score":{"opus":0.2003871389227613,"gpt":0.2919260151815011,"spread":0.09153887625873977,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008200492,0.0002820332,0.0003563869,0.0003708357,0.0001391594,0.0004517924,0.001143412,0.0001762733,0.00004160255],"category_scores_gemma":[0.0004220086,0.0002852173,0.00004080386,0.0005732947,0.00009326354,0.001873655,0.0001321393,0.0001604526,0.00005174267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001132831,"about_ca_system_score_gemma":0.00004511742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001824051,"about_ca_topic_score_gemma":6.351255e-7,"domain_scores_codex":[0.9977347,0.0000939916,0.000785233,0.0005838696,0.0005314829,0.0002707485],"domain_scores_gemma":[0.9977536,0.0001630803,0.0007270833,0.0005094829,0.0007403738,0.0001063899],"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.000004522051,0.0001189202,0.000200429,0.0003001727,0.00003685785,0.000001218296,0.006806422,0.00006885497,0.8238783,0.0628012,0.008439933,0.0973431],"study_design_scores_gemma":[0.0001584508,0.0001150262,0.0007870626,0.0001225519,0.000009746622,0.00001973203,0.00004875724,0.5811927,0.4125304,0.004794003,0.00001888037,0.0002026415],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1054974,0.00008961634,0.891749,0.0004674965,0.0002717309,0.0007177856,0.000002999133,0.0009174329,0.0002865506],"genre_scores_gemma":[0.6662037,0.00004865629,0.3334487,0.00002112147,0.00006572978,0.000101986,0.000001285734,0.00001476201,0.00009399501],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5811239,"threshold_uncertainty_score":0.99996,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2171356936","doi":"10.1145/1278480.1278663","title":"Automatic cache tuning for energy-efficiency using local regression modeling","year":2007,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Western Canada Research Grid","keywords":"Speedup; Computer science; Benchmark (surveying); Cache; Design space exploration; Parallel computing; Cache-oblivious algorithm; Inference; Set (abstract data type); Algorithm; CPU cache; Power (physics); Space (punctuation); Instruction set; Energy (signal processing); Computer engineering; Cache algorithms; Artificial intelligence; Embedded system; Mathematics; Statistics","retraction":null,"screen_n_in":null,"score":{"opus":0.1001793674728277,"gpt":0.3184390823109033,"spread":0.2182597148380756,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002150044,0.0003261662,0.0003190443,0.0004714356,0.0005673492,0.0005084241,0.001485971,0.0002068972,0.000005830818],"category_scores_gemma":[0.0005476248,0.0003107955,0.00008794827,0.0008072081,0.00006503744,0.001173106,0.0002065223,0.0001766056,0.000004126828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002076187,"about_ca_system_score_gemma":0.0002637309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002054771,"about_ca_topic_score_gemma":6.464385e-7,"domain_scores_codex":[0.9974404,0.0000417737,0.0007149078,0.0006695861,0.0005332827,0.00060005],"domain_scores_gemma":[0.9976883,0.000302601,0.0004749531,0.0003881368,0.0009781681,0.0001678205],"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.00005497109,0.0002417463,0.00007157814,0.0003450359,0.0000464737,0.000007447298,0.005513499,0.3907335,0.07180504,0.1228099,0.001005781,0.407365],"study_design_scores_gemma":[0.0002828627,0.00009391434,0.000007006385,0.0003081966,0.00001351205,0.00002758545,0.00009359783,0.9384429,0.04603276,0.01431035,0.00002265816,0.0003646665],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008321404,0.00005331825,0.9883083,0.0001409697,0.0002484271,0.0004287926,6.072689e-7,0.002222586,0.0002756305],"genre_scores_gemma":[0.5206513,0.00000551856,0.4791537,0.00008444981,0.00004452152,0.00002477169,0.000001862103,0.00001562619,0.00001826755],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5477093,"threshold_uncertainty_score":0.9999344,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3148230205","doi":"10.1109/dac.2006.229309","title":"Solution-processed infrared photovoltaic devices","year":2006,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Quantum Dots Synthesis And Properties","field":"Materials Science","cited_by":1,"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":"Photovoltaic system; Quantum dot; Optoelectronics; Materials science; Absorption (acoustics); Infrared; Nanoparticle; Nanotechnology; Optics; Physics; Electrical engineering; Engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.05606914744723391,"gpt":0.2544088085907839,"spread":0.19833966114355,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008542278,0.000330784,0.0003469268,0.0001832539,0.0004435644,0.001063899,0.0008489418,0.0001642322,0.00101708],"category_scores_gemma":[0.0005252989,0.0002861499,0.00006272996,0.0003705564,0.0001706637,0.001850693,0.00008068508,0.0001283278,0.0007764306],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000847472,"about_ca_system_score_gemma":0.0002401322,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001818205,"about_ca_topic_score_gemma":0.00001298564,"domain_scores_codex":[0.9976648,0.00005175297,0.0006240859,0.0005702681,0.0005710844,0.0005179965],"domain_scores_gemma":[0.9982315,0.0001815311,0.0004586538,0.0002615315,0.0007693782,0.00009734721],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004547752,0.00005925291,0.0003404128,0.0001693943,0.000005457544,0.000001005956,0.0004392954,0.00003944544,0.9893755,0.002233685,0.006544647,0.000746458],"study_design_scores_gemma":[0.000284743,0.00008177974,0.002479923,0.0001629199,0.00002870962,0.00001265185,0.000182038,0.0556119,0.9217562,0.0175331,0.001440276,0.0004257575],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9185379,0.0003051483,0.07048282,0.0004595311,0.0004733595,0.0007311105,0.00001485702,0.001317242,0.007678095],"genre_scores_gemma":[0.9700947,0.00002255508,0.02865325,0.0001664638,0.0001882486,0.0002279941,0.000007753442,0.00003293112,0.0006061132],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06761927,"threshold_uncertainty_score":0.9999731,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4241336885","doi":"10.1145/514001.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Optimization and Search Problems","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; Binary number; Arithmetic; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.1252185535176678,"gpt":0.2674677957404117,"spread":0.1422492422227439,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006191764,0.0002234947,0.0002192598,0.0002632536,0.0003044997,0.0008846176,0.001560659,0.000112022,0.0007189755],"category_scores_gemma":[0.0004457197,0.0002190737,0.00005248268,0.0007523572,0.00008568262,0.002701528,0.000193591,0.0002021787,0.0005942537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000610181,"about_ca_system_score_gemma":0.00007693745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005268572,"about_ca_topic_score_gemma":2.019111e-7,"domain_scores_codex":[0.9980279,0.00005168568,0.0003890984,0.0005238355,0.0005433066,0.000464149],"domain_scores_gemma":[0.9984161,0.0001272411,0.0001904103,0.0004010898,0.0006921101,0.0001730884],"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.0000333933,0.0006585939,0.001074392,0.000578925,0.0001117638,0.00002130748,0.02840744,0.004608498,0.05940249,0.6240283,0.1957691,0.08530581],"study_design_scores_gemma":[0.0002684558,0.0001160489,0.0001930222,0.00004885323,0.000004470854,0.0000144795,0.00007985842,0.9744586,0.008547721,0.01362121,0.002377856,0.0002694732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002280965,0.0001227254,0.971711,0.003361461,0.0003000397,0.0005268716,0.000002037074,0.001430882,0.02026405],"genre_scores_gemma":[0.7264605,0.0001549458,0.2694978,0.000389303,0.00004770244,0.0001053122,0.000002416809,0.00001600902,0.003326053],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9698501,"threshold_uncertainty_score":0.8933566,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2162126949","doi":"10.1145/513918.513977","title":"Multifunctional photonic integration for the agile optical internet","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Photonic Crystals and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Nortel (Canada)","funders":"","keywords":"Agile software development; Photonics; The Internet; Computer science; Optoelectronics; Materials science; Software engineering; World Wide Web","retraction":null,"screen_n_in":null,"score":{"opus":0.08116384696044174,"gpt":0.280693746233602,"spread":0.1995298992731603,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002413638,0.0001676516,0.0001359522,0.00004578486,0.0002394433,0.0002729543,0.0003942813,0.00004993597,0.001532682],"category_scores_gemma":[0.00008457961,0.0001275763,0.00008588631,0.0001592075,0.00007623709,0.0003019696,0.00003610256,0.000154325,0.0001166244],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004469362,"about_ca_system_score_gemma":0.00003970247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001950122,"about_ca_topic_score_gemma":9.971856e-7,"domain_scores_codex":[0.9990095,0.00000775202,0.0002861363,0.0002930215,0.0001816183,0.0002218935],"domain_scores_gemma":[0.9989077,0.000326364,0.000171206,0.0001711537,0.0003607721,0.00006284501],"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.00005806346,0.0004649501,0.0003219149,0.00004422813,0.0001629786,1.184978e-7,0.00304795,0.0002962423,0.2840079,0.5078859,0.06078323,0.1429264],"study_design_scores_gemma":[0.0004078392,0.00005347617,0.0002974576,0.00003074996,0.00004298588,0.000002162503,0.0003426753,0.8839967,0.09412614,0.01440268,0.006118239,0.0001789298],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03243705,0.00001950807,0.9603167,0.001168989,0.0001714364,0.001081792,0.00003053067,0.0001445473,0.004629476],"genre_scores_gemma":[0.9845752,0.000005644865,0.01275836,0.00008221222,0.0001864533,0.001409307,0.00002817056,0.00001650301,0.0009381272],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9521382,"threshold_uncertainty_score":0.9993801,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}