{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":3,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":3,"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":"99745b522b29","filters":{"venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)"}},"results":[{"id":"W4248609189","doi":"10.1109/iccad.2015.7372575","title":"SAT solving using FPGA-based heterogeneous computing","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Field-programmable gate array; Boolean satisfiability problem; Software; Throughput; Parallel computing; Computation; Solver; Computer architecture; Symmetric multiprocessor system; Gate array; Reconfigurable computing; Embedded system; Theoretical computer science; Algorithm; Programming language; Operating system","authors":[{"name":"Jason Thong","is_ca":true},{"name":"Nicola Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2995147217591668,"gpt":0.3855211801573903,"spread":0.08600645839822357,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002786745,0.0005069784,0.0003828656,0.0004793171,0.0005745736,0.0009449755,0.001159408,0.0003629105,0.004999309],"category_scores_gemma":[0.0007816923,0.0002240679,0.0004689097,0.0007860336,0.0004234853,0.001007857,0.0007035784,0.0005382936,0.0006369308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006687875,"about_ca_system_score_gemma":0.0006369714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002492268,"about_ca_topic_score_gemma":0.004660829,"domain_scores_codex":[0.9995536,0.0001027135,0.00002462158,0.0001048914,0.0001285231,0.0000854647],"domain_scores_gemma":[0.9997092,0.00009731972,0.00002699087,0.00009301584,0.00005227563,0.00002116023],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006166425,0.0002287696,0.002515295,0.0002567786,0.0001571781,0.0007688972,0.0001339708,0.4288348,0.05434342,0.1005485,0.007641256,0.4039544],"study_design_scores_gemma":[0.00008147653,0.0002025692,0.0004295408,0.00002650858,0.00004941764,0.0001725865,0.00005454916,0.9397375,0.02777127,0.0220909,0.009361561,0.00002211675],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08619168,0.0007397537,0.8835255,0.000293252,0.0001505459,0.0001120706,0.0001102589,0.002218878,0.02665803],"genre_scores_gemma":[0.7143905,0.0002520349,0.2815151,0.0001482141,0.00003115477,0.00007673255,0.0002185796,0.00008305808,0.003284626],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004999309,"threshold_uncertainty_score":0.01672435,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4246422893","doi":"10.1109/iccad.2015.7372655","title":"Reducing post-silicon coverage monitoring overhead with emulation and Bayesian feature selection","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"VLSI and Analog Circuit Testing","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":"Observability; Computer science; Emulation; Metric (unit); Overhead (engineering); Bayesian probability; Set (abstract data type); Data mining; Coverage probability; Algorithm; Artificial intelligence; Engineering; Statistics; Mathematics","authors":[{"name":"Ricardo Ochoa Gallardo","is_ca":true},{"name":"Alan J. Huy","is_ca":false},{"name":"A. Ivanov","is_ca":true},{"name":"Maryam S. Mirian","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08073843140237887,"gpt":0.3001636183520596,"spread":0.2194251869496807,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001518387,0.001297356,0.001010043,0.001200247,0.0003397643,0.0006236641,0.001431765,0.0007989454,0.001598019],"category_scores_gemma":[0.008896832,0.000559716,0.0008796133,0.0007107835,0.0004264493,0.00150456,0.0009203189,0.001100438,0.0005316437],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008171023,"about_ca_system_score_gemma":0.001013283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002599683,"about_ca_topic_score_gemma":0.004786632,"domain_scores_codex":[0.9983373,0.0004646847,0.0000783142,0.0002205002,0.0007520118,0.0001471953],"domain_scores_gemma":[0.9950433,0.002918949,0.0004991602,0.000737876,0.0007106534,0.0000901302],"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.0004166125,0.0002462795,0.009288329,0.0001072124,0.0001169021,0.0002397031,0.0001451015,0.4847148,0.03750722,0.006588242,0.003010512,0.4576191],"study_design_scores_gemma":[0.00001897107,0.00007326347,0.001126423,0.000006482472,0.00001864437,0.00007721172,0.000009427444,0.9868716,0.008301982,0.002800373,0.0006846476,0.00001096868],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03056405,0.0001243151,0.966047,0.0001204206,0.0000112789,0.00005590592,0.00006282135,0.002153373,0.0008607863],"genre_scores_gemma":[0.6611115,0.0001072357,0.3361436,0.0001949844,0.00003245641,0.0001995145,0.000453854,0.0003079746,0.001448845],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002599683,"threshold_uncertainty_score":0.008030057,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4253111545","doi":"10.1109/iccad.2015.7372654","title":"On-chip generation of uniformly distributed constrained-random stimuli for post-silicon validation","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Observability; Reuse; Computer science; Controllability; Chip; Silicon; Silicon chip; System on a chip; Embedded system; Distributed computing; Engineering; Mathematics; Telecommunications; Materials science","authors":[{"name":"Xiaobing Shi","is_ca":true},{"name":"Nicola Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.210708003446407,"gpt":0.334711595521608,"spread":0.124003592075201,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007231257,0.0005939623,0.0003784149,0.000369878,0.0001992409,0.0003643265,0.0009795639,0.0003650145,0.004616423],"category_scores_gemma":[0.002976705,0.0002022715,0.0002191132,0.000220364,0.0004539213,0.0004672398,0.00071019,0.0004834145,0.0008827893],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002822754,"about_ca_system_score_gemma":0.0005288182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001397325,"about_ca_topic_score_gemma":0.0003168925,"domain_scores_codex":[0.9991887,0.0001698601,0.00004477179,0.0001521149,0.0003696474,0.00007489702],"domain_scores_gemma":[0.9982504,0.0007387813,0.0002104764,0.000441044,0.0002849549,0.00007423532],"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.0006699169,0.0002335067,0.001184192,0.0003795361,0.00004731462,0.0005470991,0.0002070243,0.07623056,0.7401715,0.01773759,0.00246288,0.1601289],"study_design_scores_gemma":[0.00009897483,0.0007717925,0.0007122607,0.0000243603,0.00002547451,0.0003696582,0.00003621494,0.3689498,0.6165777,0.00432762,0.008051675,0.00005437092],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08768436,0.0001345775,0.9034024,0.00008606409,0.0001288715,0.0003573594,0.0001505157,0.003130197,0.004925564],"genre_scores_gemma":[0.7083864,0.00006822607,0.2873846,0.0001589779,0.00002521117,0.0004174933,0.0002142336,0.0005254215,0.002819513],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004616423,"threshold_uncertainty_score":0.01544344,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}