{"id":"W1663771973","doi":"","title":"Formal Methods in Automated Design Debugging","year":2010,"lang":"en","type":"book","venue":"TSpace (University of Toronto)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Debugging; Computer science; Algorithmic program debugging; Abstraction; Debugger; Leverage (statistics); Bottleneck; Programming language; Embedded system; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01671579,0.002142543,0.001355404,0.003861799,0.001400521,0.005411751,0.003627927,0.002400826,0.007366265],"category_scores_gemma":[0.0223685,0.001595345,0.00277551,0.002617993,0.008576375,0.007388564,0.004147794,0.006521724,0.002148166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003750629,"about_ca_system_score_gemma":0.005167974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003031381,"about_ca_topic_score_gemma":0.001953689,"domain_scores_codex":[0.9868722,0.007431611,0.0009531259,0.001247396,0.003073369,0.0004222659],"domain_scores_gemma":[0.9749553,0.01958667,0.0008874634,0.003040844,0.00133223,0.0001974189],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003035386,0.00005035441,0.0002843648,0.0007063022,0.00006062178,0.0001406617,0.0006134658,0.02528286,0.0008709742,0.8717092,0.00610673,0.094144],"study_design_scores_gemma":[0.00004153715,0.00002985168,0.00008221502,0.0004366032,0.00002645368,0.0001154504,0.0000975301,0.0523464,0.001030298,0.8874038,0.05835406,0.00003575849],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009345193,0.00466703,0.9811512,0.00167464,0.0002496836,0.0001329081,0.0001080389,0.001085502,0.009996469],"genre_scores_gemma":[0.0718745,0.01040301,0.9062442,0.001078075,0.0007995894,0.0007851064,0.0005684404,0.0006253453,0.007621728],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01671579,"threshold_uncertainty_score":0.08840263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04069470551907693,"score_gpt":0.3243640705956789,"score_spread":0.283669365076602,"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."}}