{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00230308,0.0006119495,0.0005483087,0.0006280695,0.0002848052,0.001038621,0.004610667,0.0002599467,0.00004735807],"category_scores_gemma":[0.0004965485,0.0006360684,0.0002010261,0.0005220209,0.0001604802,0.001079586,0.000746284,0.0005678122,0.000411175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007286185,"about_ca_system_score_gemma":0.0008052981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008107886,"about_ca_topic_score_gemma":0.000004142384,"domain_scores_codex":[0.9945372,0.0008715671,0.00100456,0.00125547,0.001555647,0.0007756004],"domain_scores_gemma":[0.9951191,0.0005568087,0.0007124628,0.001683218,0.001438215,0.0004901798],"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.0003460496,0.0006587324,0.0003172141,0.00005588973,0.0002513225,0.0002405981,0.001513239,0.8157917,0.01416457,0.07345049,0.006318994,0.08689125],"study_design_scores_gemma":[0.001088525,0.0004848591,0.00009305371,0.0002262084,0.00001499956,0.0001405236,0.00002251921,0.9643316,0.02461263,0.00772399,0.0005978358,0.0006632554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01471713,0.00004734662,0.9757886,0.0007613099,0.006732667,0.0005236593,0.00001098983,0.0005800476,0.0008382489],"genre_scores_gemma":[0.4317117,0.000003705229,0.5668805,0.0007806465,0.0005050098,0.00001253315,0.00001627287,0.00003477378,0.00005486712],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4169946,"threshold_uncertainty_score":0.9999984,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006144272,0.0003999438,0.0003284554,0.0003708045,0.0002334419,0.0009033838,0.00105424,0.0001747648,0.00001061475],"category_scores_gemma":[0.0001801727,0.0003723209,0.00005938891,0.0003679587,0.0000563772,0.001367225,0.00019348,0.0004852571,0.00003547808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003175072,"about_ca_system_score_gemma":0.000395648,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001635543,"about_ca_topic_score_gemma":0.00001152967,"domain_scores_codex":[0.9971809,0.0002318679,0.0003823986,0.0009026122,0.0008704195,0.0004317846],"domain_scores_gemma":[0.9975008,0.0002925288,0.0003216141,0.0005172362,0.001046445,0.0003213682],"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.0002594076,0.0005441129,0.02775815,0.0001005959,0.0004897622,0.000318367,0.005791129,0.1141678,0.06065261,0.07048613,0.007203146,0.7122288],"study_design_scores_gemma":[0.001500993,0.001246498,0.009231597,0.0005424276,0.00002064104,0.0003326556,0.00007254216,0.9715769,0.006830728,0.007818923,0.0001609868,0.0006650547],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07401767,0.00004618391,0.920801,0.001803643,0.001535905,0.0003207866,0.000005806061,0.0003410099,0.001128027],"genre_scores_gemma":[0.9359673,0.00001625893,0.06259429,0.0002576093,0.0008264013,0.00001926773,0.00001743351,0.00002875228,0.0002726977],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8619496,"threshold_uncertainty_score":0.9998729,"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001214877,0.0004038064,0.0004681157,0.0003833773,0.0001557635,0.0004183104,0.001843795,0.0001756399,0.00003024095],"category_scores_gemma":[0.00107756,0.0003855848,0.0001724027,0.0002947384,0.0001127218,0.0007265955,0.000152011,0.0002564444,0.0000749438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002007561,"about_ca_system_score_gemma":0.0006396018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005381023,"about_ca_topic_score_gemma":0.000007162917,"domain_scores_codex":[0.9967861,0.0002836842,0.0008403747,0.0007710095,0.0009011576,0.000417699],"domain_scores_gemma":[0.9949297,0.001121184,0.0005897716,0.0007479026,0.002333403,0.0002780633],"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.0003043832,0.001032289,0.0003329459,0.00006977519,0.0003734717,0.00004449487,0.001127694,0.1477535,0.065115,0.6214035,0.02698595,0.135457],"study_design_scores_gemma":[0.003496653,0.001603063,0.0001486171,0.0001662344,0.00002169409,0.00003227704,0.00003184395,0.9446495,0.02344585,0.02580444,0.0001631912,0.0004366791],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02922711,0.00001470747,0.9648476,0.001860633,0.002096128,0.000737936,0.000204287,0.0002110442,0.0008005106],"genre_scores_gemma":[0.9589613,0.000005863578,0.03922472,0.0005660973,0.0005495768,0.00006114989,0.0005185771,0.00002408716,0.00008860402],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9297342,"threshold_uncertainty_score":0.9998596,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}