{"id":"W4403024086","doi":"10.1109/lad62341.2024.10691721","title":"LLM-aided explanations of EDA synthesis errors","year":2024,"lang":"en","type":"article","venue":"","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Intel Corporation","keywords":"Computer science; Electronic design automation; Computer architecture; Engineering drawing; Embedded system; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005128927,0.00004841536,0.00007780678,0.00009296546,0.00001137857,0.00001609324,0.00003941587,0.00003019107,0.0004107077],"category_scores_gemma":[0.00001790117,0.00004149773,0.00004674389,0.0001384982,0.000005451996,0.00005269532,0.000002797055,0.00003734561,0.0001728413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001839225,"about_ca_system_score_gemma":0.000005439516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000553878,"about_ca_topic_score_gemma":0.00006818828,"domain_scores_codex":[0.9996805,0.000007517474,0.0001232704,0.00005552869,0.00006828555,0.00006492032],"domain_scores_gemma":[0.9998135,0.0000692006,0.000004295202,0.00008034932,0.000009270225,0.00002337838],"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.00002340341,0.0001221061,0.0002931718,0.002338001,0.001608369,0.00005532509,0.003033125,0.09557699,0.3911921,0.09031069,0.1705504,0.2448963],"study_design_scores_gemma":[0.0001057206,0.00001748308,0.0001952874,0.0001078276,0.00003287983,0.00001247416,0.0007790664,0.8303695,0.0608671,0.0001578501,0.1071808,0.0001739996],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2588115,0.002585766,0.05040896,0.0007964749,0.004995914,0.0003945804,0.0000488451,0.004322551,0.6776354],"genre_scores_gemma":[0.9980472,0.00001144299,0.00007660905,0.000007483458,0.00004215908,0.00003129223,6.126069e-7,0.00001156837,0.001771572],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7392358,"threshold_uncertainty_score":0.4496961,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008841979005523172,"score_gpt":0.2145760716594303,"score_spread":0.2057340926539071,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}