{"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":"fad40be211a2","filters":{"venue":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"}},"results":[{"id":"W4230233658","doi":"10.1109/date.2004.1268858","title":"Managing don't cares in Boolean satisfiability","year":2004,"lang":"en","type":"article","venue":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":18,"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":"Satisfiability; Boolean satisfiability problem; Computer science; And-inverter graph; Boolean circuit; Very-large-scale integration; Boolean function; Circuit minimization for Boolean functions; Maximum satisfiability problem; Theoretical computer science; Representation (politics); Process (computing); Boolean expression; Computability; Algorithm; Programming language; Embedded system","authors":[{"name":"S. Safarpour","is_ca":true},{"name":"A. Veneris","is_ca":true},{"name":"Rolf Drechsler","is_ca":false},{"name":"J. Lee","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03486099874340715,"gpt":0.2634861605072138,"spread":0.2286251617638067,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008313037,0.0001263459,0.0001299718,0.000228098,0.00008409718,0.0003110927,0.0001474798,0.00005524535,0.000002721751],"category_scores_gemma":[0.0005246273,0.0001280589,0.000008335132,0.0005764927,0.00006871183,0.001471658,0.00007232524,0.0001353888,0.000005205974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006206385,"about_ca_system_score_gemma":0.00004667984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005611156,"about_ca_topic_score_gemma":0.00001570028,"domain_scores_codex":[0.998975,0.00004286287,0.0002892665,0.00037003,0.0001434448,0.0001794039],"domain_scores_gemma":[0.99954,0.00007281203,0.0001054735,0.00009508109,0.0001333628,0.00005328235],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00002525033,0.0001858757,0.05059145,0.0003317359,0.000003184089,0.00001177217,0.01163272,0.0002021859,0.03095718,0.6941797,0.00003455573,0.2118444],"study_design_scores_gemma":[0.001402322,0.0003550357,0.4595636,0.000554258,0.000006621521,0.00006180496,0.000629344,0.3600952,0.02428083,0.1524014,0.0001395032,0.0005101089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5071267,0.00007816046,0.4891784,0.0009471032,0.00006934666,0.0004112184,6.144176e-7,0.0002169331,0.001971526],"genre_scores_gemma":[0.8982024,0.0001988189,0.1014272,0.0001155202,0.00001127958,0.00002884029,0.000002097188,0.000005828354,0.000008004326],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5417783,"threshold_uncertainty_score":0.5222089,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4241307726","doi":"10.1109/date.2004.1269203","title":"Application of a multi-processor SoC platform to high-speed packet forwarding","year":2004,"lang":"en","type":"article","venue":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","topic":"Interconnection Networks and Systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"STMicroelectronics (Canada)","funders":"","keywords":"Computer science; Network processor; Overhead (engineering); Network packet; Embedded system; IPv4; Computer network; Packet forwarding; Packet processing; System on a chip; Task (project management); The Internet; Computer architecture; Operating system; IPv6; Engineering","authors":[{"name":"P.G. Paulin","is_ca":true},{"name":"C. Pilkington","is_ca":true},{"name":"E. Bensoudane","is_ca":true},{"name":"Maxime Langevin","is_ca":true},{"name":"D. Lyonnard","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03580486639417899,"gpt":0.2516730263982797,"spread":0.2158681600041007,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004278996,0.0001362527,0.0001878665,0.0002172121,0.0001064814,0.0001752926,0.0001379464,0.00006908515,0.000001672234],"category_scores_gemma":[0.0001748751,0.0001277577,0.00001523531,0.0005742164,0.00003048026,0.0008941012,0.00006060082,0.00008397688,0.000009870997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003758481,"about_ca_system_score_gemma":0.00003767906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004999216,"about_ca_topic_score_gemma":0.00001021454,"domain_scores_codex":[0.9989741,0.00001067589,0.0003539367,0.0003377874,0.0001516515,0.000171806],"domain_scores_gemma":[0.9992509,0.00005968376,0.0001840374,0.00007649564,0.0003514318,0.00007739426],"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.00009188629,0.0005012314,0.008993024,0.000796592,0.00002928061,0.000006078135,0.02173964,0.001561885,0.2337588,0.5577454,0.0003195505,0.1744566],"study_design_scores_gemma":[0.002164887,0.000657138,0.02895128,0.0007967076,0.0000139347,0.00007417045,0.0006902097,0.9124234,0.04056965,0.01289822,0.0002658379,0.0004945785],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2411959,0.00003396464,0.757527,0.0004015214,0.00005079886,0.000414948,0.00000151781,0.0001198963,0.0002543934],"genre_scores_gemma":[0.9844072,0.00006751963,0.01528317,0.0001317648,0.00003250303,0.0000444144,0.000004420985,0.000008735679,0.00002022392],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9108615,"threshold_uncertainty_score":0.5209809,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4231603221","doi":"10.1109/date.2004.1268882","title":"Wrapper design for testing IP cores with multiple clock domains","year":2004,"lang":"en","type":"article","venue":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","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":"Computer science; Testability; Overhead (engineering); Design for testing; Clock rate; Embedded system; System on a chip; Chip; Dissipation; Computer hardware; Engineering; Reliability engineering","authors":[{"name":"Qiang Xu","is_ca":true},{"name":"N. Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05719091648853494,"gpt":0.2395133995194343,"spread":0.1823224830308993,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004617948,0.0001859221,0.0001686301,0.0001632595,0.0002773495,0.0004731622,0.000147543,0.00005699258,7.754867e-7],"category_scores_gemma":[0.001094579,0.0001606972,0.00001185202,0.0005594693,0.00007309731,0.0009693419,0.00004144002,0.0001059672,0.000003503842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002895543,"about_ca_system_score_gemma":0.0001091751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001842007,"about_ca_topic_score_gemma":0.000004562492,"domain_scores_codex":[0.9988648,0.00001902767,0.0002543144,0.0004333237,0.0001515459,0.0002769539],"domain_scores_gemma":[0.9988039,0.0005056,0.0001538708,0.00007137362,0.0003751769,0.00009008262],"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.00005091398,0.0005558045,0.1557848,0.0008571742,0.00003942463,0.00006303058,0.01286301,0.002164561,0.2731796,0.1826432,0.0003121697,0.3714862],"study_design_scores_gemma":[0.003852052,0.001712836,0.09274196,0.001360974,0.00002871412,0.0003019148,0.0003398918,0.8582142,0.018379,0.02218666,0.0001138835,0.0007679236],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1742608,0.0000503617,0.824277,0.0002876357,0.00001969545,0.0005047105,0.000001413609,0.0002791625,0.0003191532],"genre_scores_gemma":[0.9015214,0.00003072505,0.0981508,0.0001662936,0.00003249452,0.00006860563,0.0000037284,0.00001366771,0.0000123075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8560497,"threshold_uncertainty_score":0.6553041,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}