{"id":"W2915034041","doi":"10.1109/mtv.2006.1","title":"Abstraction and Refinement Techniques in Automated Design Debugging","year":2006,"lang":"en","type":"article","venue":"Proceedings","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Programming language; Abstraction; Software engineering; Algorithmic program debugging","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.0002900203,0.0000701161,0.00006899639,0.0001237937,0.0000649361,0.0001413365,0.0001231335,0.00003210678,9.129735e-7],"category_scores_gemma":[0.00002675418,0.00006854959,0.00000856454,0.0002472121,0.00001097198,0.0004230386,0.00004140687,0.00007099513,0.000002540281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003800351,"about_ca_system_score_gemma":0.00001266038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001288954,"about_ca_topic_score_gemma":0.000002953397,"domain_scores_codex":[0.999393,0.000003051689,0.0001453241,0.0002011308,0.00009482016,0.0001626314],"domain_scores_gemma":[0.999822,0.00001991219,0.00005861154,0.0000369958,0.00004161407,0.0000208843],"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.000001088953,0.0001436804,0.06692564,0.0001375332,0.000007065424,0.00003097455,0.001026161,0.00009826877,0.2652995,0.02006395,0.004471945,0.6417942],"study_design_scores_gemma":[0.0003723975,0.0001211787,0.1549465,0.000322142,0.000007884437,0.0001403381,0.00005855572,0.7064688,0.1188583,0.01647239,0.001748029,0.000483555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.489659,0.0003392304,0.4704852,0.001516298,0.00009835334,0.0005098098,3.009288e-7,0.007399202,0.02999267],"genre_scores_gemma":[0.973915,0.000004662273,0.02594638,0.00005585806,0.0000317214,0.0000166989,2.857762e-7,0.000004432127,0.00002493882],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7063705,"threshold_uncertainty_score":0.2795371,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01526524897101569,"score_gpt":0.2329327118650491,"score_spread":0.2176674628940334,"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."}}