{"id":"W2090852585","doi":"10.1109/tcad.2013.2263036","title":"Path-Directed Abstraction and Refinement for SAT-Based Design Debugging","year":2013,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; TRACE (psycholinguistics); Abstraction; Path (computing); Representation (politics); Programming language; Algorithmic program debugging; Theoretical computer science; Algorithm","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001664112,0.001070076,0.0006515107,0.001415809,0.0004207669,0.0005303823,0.001276822,0.0005886139,0.002367198],"category_scores_gemma":[0.005627081,0.0005976987,0.001296286,0.00106457,0.0008543766,0.001435844,0.001380932,0.001320692,0.0006375159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006804282,"about_ca_system_score_gemma":0.001252423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002926628,"about_ca_topic_score_gemma":0.004127277,"domain_scores_codex":[0.9986085,0.0005694065,0.00009333476,0.0001997126,0.0004253589,0.0001036735],"domain_scores_gemma":[0.9973668,0.001537868,0.0002070997,0.0005845855,0.0002632306,0.00004037889],"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.0003737893,0.00009213325,0.002087758,0.0004277692,0.0001114379,0.0004377493,0.0007119509,0.457691,0.04405126,0.09434407,0.002382124,0.397289],"study_design_scores_gemma":[0.00003369421,0.00008290558,0.0002013734,0.00003731131,0.00004040303,0.0001295632,0.00003655582,0.9452327,0.01504716,0.03504199,0.004096875,0.00001938804],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002508723,0.0000469489,0.9964985,0.00001435688,0.000005827817,0.00002857827,0.00001771175,0.0006611643,0.0002183019],"genre_scores_gemma":[0.1237433,0.0001714969,0.8747653,0.00004365868,0.00001161741,0.0001361479,0.0001909887,0.0002194006,0.0007181263],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002926628,"threshold_uncertainty_score":0.008800805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05912471977764951,"score_gpt":0.2617654536975492,"score_spread":0.2026407339198996,"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."}}