{"id":"W1814905144","doi":"10.1007/978-3-642-02658-4_11","title":"Explaining Counterexamples Using Causality","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":72,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Counterexample; TRACE (psycholinguistics); Computer science; Causality (physics); Set (abstract data type); Theoretical computer science; Algorithm; Programming language; Discrete mathematics; Mathematics","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.001758406,0.001289206,0.0007310675,0.002338306,0.001364591,0.00272211,0.001577418,0.002554806,0.02267878],"category_scores_gemma":[0.01522102,0.0009616439,0.00183509,0.001494007,0.003107476,0.008268015,0.002953893,0.003177947,0.001592467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008632705,"about_ca_system_score_gemma":0.0009100396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001602915,"about_ca_topic_score_gemma":0.001659251,"domain_scores_codex":[0.998582,0.0004363444,0.00009058161,0.0002742035,0.000411927,0.0002050311],"domain_scores_gemma":[0.9882081,0.009641064,0.0003667249,0.001215291,0.0004560768,0.0001126455],"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.0001487157,0.00006671904,0.001080071,0.0002233139,0.00003136691,0.0009811905,0.0009033084,0.01340068,0.00277615,0.9345152,0.004915905,0.04095737],"study_design_scores_gemma":[0.00003926683,0.00002667779,0.0002329752,0.0001109761,0.0000660875,0.0005308327,0.0002424306,0.07656246,0.007628412,0.8931327,0.02138489,0.00004212997],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05166559,0.000548334,0.8878499,0.002508243,0.000545622,0.000188601,0.0003857953,0.006014084,0.05029381],"genre_scores_gemma":[0.7141605,0.0007580229,0.2622559,0.0006029378,0.0001570867,0.0001932028,0.00060076,0.001723733,0.01954782],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02267878,"threshold_uncertainty_score":0.07586801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07332092788385225,"score_gpt":0.3206703728948022,"score_spread":0.2473494450109499,"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."}}