{"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"},"query_hash":"46769651bdf0","filters":{"venue":"2008 Design, Automation and Test in Europe"}},"results":[{"id":"W4237135760","doi":"10.1109/date.2008.4484858","title":"Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":55,"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; TRACE (psycholinguistics); Computer science; Identification (biology); Chip; Set (abstract data type); State (computer science); Software bug; Embedded system; Real-time computing; Software; Computer hardware; Algorithm; Operating system; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.04872749868183594,"gpt":0.2643035914894865,"spread":0.2155760928076506,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00122598,0.0001410028,0.0001606284,0.0002418343,0.0001950414,0.0001823862,0.0001549885,0.00005696647,0.000001276616],"category_scores_gemma":[0.001857765,0.0001494677,0.0000149643,0.0007139035,0.000046631,0.001327118,0.00003276538,0.00008905768,0.000005478298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005674002,"about_ca_system_score_gemma":0.0001198955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001000477,"about_ca_topic_score_gemma":0.00003361707,"domain_scores_codex":[0.9983933,0.0002673924,0.0005359594,0.0004349466,0.0001622128,0.0002061684],"domain_scores_gemma":[0.9985097,0.0006988358,0.0002381135,0.0002118926,0.0002839272,0.00005754381],"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.00001007327,0.0004259372,0.1102993,0.0002573142,0.000006216907,0.00003715452,0.008233161,0.007974382,0.5826181,0.0005927917,0.0001420473,0.2894035],"study_design_scores_gemma":[0.0003208476,0.00007287083,0.4477596,0.00001997672,0.000002083314,0.00001878454,0.00001029251,0.5469139,0.004595384,0.0001673277,0.00001194449,0.0001070678],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7462162,0.0001112153,0.2524368,0.0002215875,0.00005017263,0.0005483072,0.000004839616,0.000394801,0.00001605386],"genre_scores_gemma":[0.9927627,0.0000387257,0.0069892,0.0000695906,0.00001373678,0.0000436025,0.00002453353,0.00001221869,0.00004562947],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5780227,"threshold_uncertainty_score":0.6095115,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3147898783","doi":"10.1109/date.2008.4484814","title":"Quantified Synthesis of Reversible Logic","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of New Brunswick","funders":"","keywords":"Toffoli gate; Boolean function; Boolean satisfiability problem; Reversible computing; Computer science; Satisfiability; And-inverter graph; Binary decision diagram; Generalization; Logic synthesis; Logic gate; Boolean circuit; Boolean algebra; True quantified Boolean formula; Quantum computer; Theoretical computer science; Quantum; Algorithm; Mathematics; Quantum gate","retraction":null,"screen_n_in":null,"score":{"opus":0.02966612485944461,"gpt":0.2310510608777906,"spread":0.201384936018346,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003133107,0.0001024552,0.0001624562,0.0001753881,0.0001046977,0.00002689931,0.0002731031,0.00003622921,0.000007018246],"category_scores_gemma":[0.0005691934,0.00008874827,0.00002136712,0.0007209526,0.00006455554,0.0001399204,0.00007743409,0.00008513343,0.00002553058],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007354608,"about_ca_system_score_gemma":0.0000550341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001787048,"about_ca_topic_score_gemma":7.187297e-7,"domain_scores_codex":[0.999069,0.0001475648,0.0002424445,0.0002375096,0.0001513485,0.0001520887],"domain_scores_gemma":[0.9988256,0.0007056692,0.0001088147,0.0002382189,0.00007764586,0.00004407195],"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.00008986821,0.00333001,0.0579687,0.0007229433,0.00009767892,0.001927586,0.02042452,0.09357469,0.05634716,0.08493327,0.03104914,0.6495345],"study_design_scores_gemma":[0.0002382287,0.0001168844,0.08041419,0.00007413269,0.000002900721,0.0001529344,0.000004798329,0.912142,0.005212877,0.0005009009,0.0009726047,0.0001675479],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3131057,0.0003930934,0.6820236,0.001117469,0.0002306878,0.0003057127,0.000003744941,0.000448973,0.002371079],"genre_scores_gemma":[0.8446455,0.0001251238,0.1548822,0.0001589794,0.00001752312,0.000003143653,7.196537e-7,0.000007822106,0.0001589699],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8185673,"threshold_uncertainty_score":0.361905,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4252048528","doi":"10.1109/date.2008.4484892","title":"On Automated Trigger Event Generation in Post-Silicon Validation","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":11,"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":"Debugging; Event (particle physics); Computer science; Set (abstract data type); State (computer science); Software bug; Embedded system; Real-time computing; Chip; Instruction set; Computer hardware; Software; Programming language","retraction":null,"screen_n_in":null,"score":{"opus":0.04077090791037222,"gpt":0.2540600839340904,"spread":0.2132891760237182,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004872506,0.0001477538,0.0001480978,0.0003771448,0.0001366299,0.00009018731,0.0001775426,0.00006103117,0.00001255284],"category_scores_gemma":[0.0008873024,0.0001432683,0.00001834852,0.0009496252,0.00002476969,0.0005408856,0.00002951642,0.0001186846,0.00009395761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005917255,"about_ca_system_score_gemma":0.0001046601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004110791,"about_ca_topic_score_gemma":0.000009994499,"domain_scores_codex":[0.9985557,0.0002672804,0.0003920504,0.0003512203,0.0002238942,0.0002098713],"domain_scores_gemma":[0.9991505,0.0003316317,0.0001230778,0.0002108103,0.0001271813,0.00005685723],"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.00001335178,0.00303157,0.08026589,0.0001099123,0.00002753347,0.001246366,0.01305382,0.152525,0.255669,0.01668221,0.01111049,0.4662648],"study_design_scores_gemma":[0.0005036315,0.0001416163,0.2041297,0.0000324351,0.000001393601,0.00006750806,0.000002691163,0.7915611,0.003272853,0.00006321473,0.00007347635,0.0001503073],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9251234,0.00008363582,0.07255262,0.0004118392,0.0001264713,0.0003512076,0.000001668403,0.0007093431,0.0006398252],"genre_scores_gemma":[0.9977059,0.00005343071,0.00165783,0.0003806224,0.00003367739,0.00001583891,0.00002565887,0.00001214895,0.0001149342],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6390361,"threshold_uncertainty_score":0.5842313,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3143632367","doi":"10.1109/date.2008.4484730","title":"Semantics for Model-Based Validation of Continuous/Discrete Systems","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"Real-time simulation and control systems","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":"Polytechnique Montréal","funders":"","keywords":"Computer science; Semantics (computer science); Representation (politics); Discrete modelling; Theoretical computer science; Programming language; Discrete system","retraction":null,"screen_n_in":null,"score":{"opus":0.02200322319615253,"gpt":0.2251357254883002,"spread":0.2031325022921477,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002559698,0.0001210368,0.0002313698,0.0001432977,0.00004738581,0.00003073896,0.00005586446,0.0000604788,0.000003882441],"category_scores_gemma":[0.0001610803,0.0001192385,0.0000269634,0.0002114715,0.00002456425,0.0001467086,0.000003718996,0.00004202065,0.000008479415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001944165,"about_ca_system_score_gemma":0.00003220784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008671314,"about_ca_topic_score_gemma":6.172556e-7,"domain_scores_codex":[0.9991313,0.00006360377,0.0004251261,0.0001201666,0.0001293342,0.0001304725],"domain_scores_gemma":[0.9992796,0.0002860942,0.00009855555,0.0001303774,0.0001638885,0.00004149543],"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.000009767514,0.00002207371,0.001692916,0.0001445701,0.000006572738,0.000001742655,0.000187902,0.9900336,0.00692957,0.0002647153,0.0004012482,0.0003052665],"study_design_scores_gemma":[0.00101488,0.0000512807,0.002736352,0.00006770978,0.000009797992,0.000006567625,0.00001074807,0.9931781,0.002306892,0.00001352939,0.0004796296,0.0001244806],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1360698,0.0002272276,0.8610949,0.00002495534,0.0001357626,0.0008854983,0.00001941496,0.0002870927,0.001255349],"genre_scores_gemma":[0.9967664,0.00004018751,0.002836554,0.00001339687,0.000027489,0.00004103061,0.000030626,0.00003051911,0.0002137417],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8606966,"threshold_uncertainty_score":0.4862406,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3150902856","doi":"10.1109/date.2008.4484890","title":"Built-in Clock Skew System for On-line Debug and Repair","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"VLSI and Analog Circuit Testing","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":"McGill University","funders":"","keywords":"Skew; Timing failure; Clock skew; Debugging; Digital clock manager; Computer science; Overhead (engineering); Clock domain crossing; Embedded system; Margin (machine learning); Electronic engineering; Engineering; Clock signal; Synchronous circuit; Telecommunications","retraction":null,"screen_n_in":null,"score":{"opus":0.05562892365713838,"gpt":0.2591049581642449,"spread":0.2034760345071065,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004449581,0.0001280339,0.0001713946,0.0001838464,0.0001439015,0.00005308925,0.0001647663,0.00004369999,8.517761e-7],"category_scores_gemma":[0.0006517562,0.0001185573,0.00001986542,0.0005029636,0.00003221966,0.0002203714,0.0000408325,0.00008280021,0.00001462786],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002947158,"about_ca_system_score_gemma":0.00005907514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002957128,"about_ca_topic_score_gemma":0.00001014351,"domain_scores_codex":[0.9989188,0.0001033772,0.0003065318,0.000338171,0.0001225108,0.0002106535],"domain_scores_gemma":[0.9988868,0.0006732633,0.00008475689,0.00021138,0.00007662646,0.00006715147],"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.00002363342,0.001676555,0.3973676,0.001690027,0.00004588608,0.002416665,0.009067728,0.01208909,0.007955911,0.08381303,0.009597472,0.4742564],"study_design_scores_gemma":[0.000824236,0.0002764825,0.1152617,0.0002160058,0.000002904965,0.0002741446,0.000009614861,0.8815144,0.000345723,0.000140299,0.0009348454,0.0001996727],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.330317,0.0008564194,0.6639395,0.0004755489,0.0002305659,0.0008889982,0.000005458808,0.001367491,0.001919],"genre_scores_gemma":[0.9847255,0.0000757739,0.0147691,0.0002037122,0.00004159781,0.00002085605,0.000002344143,0.00001271099,0.0001483587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8694253,"threshold_uncertainty_score":0.4834627,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}