{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":4,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":4,"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":"3cdf94666982","filters":{"venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015"}},"results":[{"id":"W4252446866","doi":"10.7873/date.2015.0817","title":"Towards An Accurate Reliability, Availability and Maintainability Analysis Approach for Satellite Systems Based on Probabilistic Model Checking","year":2015,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal; Concordia University","funders":"","keywords":"Maintainability; Reliability engineering; Computer science; Reliability (semiconductor); Probabilistic logic; Satellite; Model checking; Artificial intelligence; Software engineering; Engineering; Programming language","authors":[{"name":"Khaza Anuarul Hoque","is_ca":true},{"name":"Otmane Aı̈t Mohamed","is_ca":true},{"name":"Yvon Savaria","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1530481491274419,"gpt":0.3465684916765019,"spread":0.1935203425490601,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.01501258,0.0007000971,0.001131878,0.001065646,0.0003590517,0.001553606,0.001393036,0.0003655099,0.00003927356],"category_scores_gemma":[0.01606094,0.0006478904,0.0002357548,0.004021054,0.0004901722,0.001857551,0.000367584,0.0005768292,0.0001198413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006436476,"about_ca_system_score_gemma":0.001564156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000378813,"about_ca_topic_score_gemma":0.000245816,"domain_scores_codex":[0.9900532,0.003250216,0.001752505,0.002436497,0.001556123,0.0009514684],"domain_scores_gemma":[0.9891443,0.001827534,0.0006428667,0.003071371,0.004574369,0.0007395529],"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.0002335673,0.002114153,0.01423208,0.000774054,0.00007178714,0.000002429088,0.001791458,0.9699075,0.0005719727,0.005506076,0.0005429877,0.004251883],"study_design_scores_gemma":[0.0009206691,0.0002308499,0.009773816,0.00009185028,0.0001243606,0.000005403629,0.00005947,0.9782178,0.0000607742,0.008046969,0.001768858,0.000699138],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06565107,0.00006423754,0.9292713,0.0007266501,0.00008497149,0.00275215,0.000136079,0.0006882171,0.000625334],"genre_scores_gemma":[0.7666913,0.00003128497,0.23106,0.0001232437,0.00004481826,0.0005888483,0.001128569,0.00004104839,0.0002908832],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7010402,"threshold_uncertainty_score":0.9995973,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4233255510","doi":"10.7873/date.2015.0970","title":"Minimizing the Number of Process Corner Simulations during Design Verification","year":2015,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","topic":"Manufacturing Process and Optimization","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 Alberta","funders":"","keywords":"Process corners; Process (computing); Transistor; Computer science; Key (lock); Function (biology); Voltage; Range (aeronautics); Integrated circuit; Electronic engineering; Mathematical optimization; Computer engineering; Engineering; Mathematics; Electrical engineering","authors":[{"name":"Michael Shoniker","is_ca":true},{"name":"B.F. Cockburn","is_ca":true},{"name":"Jie Han","is_ca":true},{"name":"Witold Pedrycz","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08695593336660833,"gpt":0.2975296831639558,"spread":0.2105737497973475,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008298273,0.0003851516,0.0003498805,0.0002921869,0.0001828523,0.0002380145,0.0003794612,0.0001872624,0.0004643714],"category_scores_gemma":[0.00118198,0.0003531353,0.00004458867,0.0009793307,0.0001069348,0.000941409,0.00004659791,0.0002939587,0.0006482603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001039726,"about_ca_system_score_gemma":0.0002101919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002668657,"about_ca_topic_score_gemma":0.000045895,"domain_scores_codex":[0.9973583,0.0003330485,0.0009349217,0.0004426167,0.0005427495,0.0003883887],"domain_scores_gemma":[0.9972935,0.0003633829,0.0004052748,0.0006160515,0.001169405,0.0001523851],"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.00004345398,0.00012281,0.001135432,0.0002115544,0.00001773669,9.29588e-7,0.003018199,0.9846988,0.00762948,0.0002246538,0.002381879,0.0005150757],"study_design_scores_gemma":[0.00340494,0.00007741766,0.02847973,0.001081475,0.0001563628,0.00007718249,0.0003688712,0.9009503,0.03708904,0.002461045,0.02391254,0.001941137],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1821723,0.00007456976,0.8137301,0.0001756025,0.0002387913,0.0008927354,0.00005139717,0.0006566664,0.002007858],"genre_scores_gemma":[0.9621783,0.00008543351,0.03595045,0.00003939045,0.00008188975,0.0001256066,0.0006643214,0.00008700249,0.0007875947],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.780006,"threshold_uncertainty_score":0.9998921,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4240612068","doi":"10.7873/date.2015.0342","title":"A Methodology for Automated Design of Embedded Bit-flips Detectors in Post-Silicon Validation","year":2015,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"McGill University","keywords":"Computer science; Detector; Bit (key); Latency (audio); Domain (mathematical analysis); Embedded system; Computer hardware; Computer engineering; Real-time computing; Mathematics","authors":[{"name":"Pouya Taatizadeh","is_ca":true},{"name":"Nicola Nicolici","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2614822672069271,"gpt":0.3594507826561819,"spread":0.09796851544925478,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00653357,0.0005561656,0.0008235882,0.001372308,0.000149862,0.0003355134,0.001078733,0.0003518829,0.00007594914],"category_scores_gemma":[0.01429834,0.0005806931,0.0001020331,0.002509779,0.0001645587,0.00160685,0.0001927692,0.0003660698,0.0004818823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001846712,"about_ca_system_score_gemma":0.001090077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000225856,"about_ca_topic_score_gemma":0.000280225,"domain_scores_codex":[0.9926026,0.003145572,0.001699714,0.001086667,0.0006800446,0.0007854204],"domain_scores_gemma":[0.9919788,0.003055426,0.001098399,0.001054833,0.00251396,0.0002985733],"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.00009551325,0.00110112,0.003776468,0.0003022584,0.00006309622,0.00002382902,0.01150802,0.07601246,0.8621477,0.005000005,0.009005936,0.0309636],"study_design_scores_gemma":[0.006215155,0.001063726,0.01766074,0.0009990793,0.00009674371,0.0002312823,0.0002663602,0.9097501,0.0471766,0.01002509,0.004308715,0.002206424],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09384853,0.00006954575,0.9023088,0.0003673655,0.0003524043,0.001475428,0.00004934199,0.001242826,0.0002857386],"genre_scores_gemma":[0.6865642,0.00002143357,0.3119999,0.0002253599,0.0000666183,0.0002221368,0.0005982904,0.00006366125,0.0002383263],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8337376,"threshold_uncertainty_score":0.9996644,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4256605373","doi":"10.7873/date.2015.0331","title":"Automated Rectification Methodologies to Functional State-Space Unreachability","year":2015,"lang":"en","type":"article","venue":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":4,"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; Reachability; State (computer science); Debugging; Set (abstract data type); Automation; State space; Process (computing); Task (project management); Model checking; Formal verification; Theoretical computer science; Computer engineering; Algorithm; Programming language; Mathematics; Systems engineering; Engineering","authors":[{"name":"Ryan Berryhill","is_ca":true},{"name":"Andreas Veneris","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1615082697552232,"gpt":0.326432760432717,"spread":0.1649244906774938,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00371385,0.0005720118,0.0006204987,0.0007362677,0.0001668003,0.0003990879,0.0003642335,0.0002981476,0.0003882878],"category_scores_gemma":[0.006061198,0.0005945806,0.00008706258,0.001818648,0.000112102,0.0008706307,0.00007570297,0.0004612457,0.00644247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004565086,"about_ca_system_score_gemma":0.0003053112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002394766,"about_ca_topic_score_gemma":0.0008770985,"domain_scores_codex":[0.9949245,0.00162106,0.001239089,0.0008290669,0.0007687745,0.000617487],"domain_scores_gemma":[0.9958208,0.0009100826,0.0003267469,0.0009691986,0.001544681,0.0004284494],"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.0003604341,0.0003194564,0.001162212,0.0002214312,0.00009128907,0.000005904335,0.004391096,0.4025824,0.3296408,0.0007856923,0.2486189,0.01182045],"study_design_scores_gemma":[0.003708667,0.0003560903,0.04984189,0.0004746231,0.00008673189,0.0001468116,0.0006075135,0.2620306,0.01095972,0.002396775,0.6668507,0.002539795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09562173,0.0001196383,0.8901115,0.0009939153,0.001567512,0.001514518,0.0001276679,0.006412009,0.003531487],"genre_scores_gemma":[0.921778,0.0000621662,0.07135008,0.0002158312,0.0001970453,0.000635513,0.001186391,0.0001429771,0.004432053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8261562,"threshold_uncertainty_score":0.9996505,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}