{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002270152,0.0005485179,0.0005581384,0.0007725433,0.0003562018,0.0007023368,0.00375264,0.0003611542,0.00001281458],"category_scores_gemma":[0.0002091465,0.0005390311,0.0001191447,0.0006477861,0.0006291388,0.001226549,0.000999096,0.0008464418,0.00002444781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006487844,"about_ca_system_score_gemma":0.0005927408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004317655,"about_ca_topic_score_gemma":0.00002764898,"domain_scores_codex":[0.9957323,0.00008598102,0.0006873439,0.001624375,0.0011333,0.000736666],"domain_scores_gemma":[0.9968134,0.0003513693,0.0004663582,0.001929659,0.0002847146,0.0001545686],"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.000004829381,0.00001958068,0.0000391315,0.00002990034,0.000007220538,0.00004970359,0.00088066,0.02101876,0.0004910159,0.1026043,0.00000551085,0.8748494],"study_design_scores_gemma":[0.0001485944,0.0001214988,0.0002242851,0.0004049726,0.000007480979,0.0001337056,2.35898e-7,0.8431484,0.002544655,0.1512694,0.001283976,0.0007128261],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002260769,0.0002755954,0.9933297,0.0001453848,0.001801295,0.0003084641,0.000003881997,0.000230898,0.003678702],"genre_scores_gemma":[0.03612697,0.00002414967,0.9622974,0.0010286,0.0003924524,0.000003297581,0.000003242805,0.00002688014,0.00009705273],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8741366,"threshold_uncertainty_score":0.9997061,"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."}}