{"id":"W2065086898","doi":"10.1007/s10703-011-0132-2","title":"Explaining counterexamples using causality","year":2011,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":104,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Novo Nordisk Fonden; Azrieli Foundation","keywords":"Counterexample; TRACE (psycholinguistics); Computer science; Causality (physics); Set (abstract data type); Theoretical computer science; Algorithm; Feature (linguistics); Programming language; Discrete mathematics; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.01659085,0.0002644504,0.0004334071,0.0003235867,0.0001976653,0.0001113901,0.001313463,0.0001773294,0.00001101123],"category_scores_gemma":[0.0003977921,0.000250962,0.00008179089,0.0007688842,0.00007140906,0.002223442,0.0003192349,0.0002532228,0.00002345166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003639634,"about_ca_system_score_gemma":0.0001159976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002515181,"about_ca_topic_score_gemma":0.000002437163,"domain_scores_codex":[0.9937977,0.003759679,0.0009008164,0.0005370963,0.0003328824,0.0006718166],"domain_scores_gemma":[0.9978646,0.000479761,0.0003933013,0.001029366,0.0001215925,0.000111361],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001287259,0.0001084563,0.002526986,0.000392714,0.00004696169,0.00006534118,0.01804186,0.0008135072,0.01155639,0.8729808,0.00002273263,0.0933155],"study_design_scores_gemma":[0.0004563596,0.0001891259,0.004041265,0.000315186,0.00001579318,0.0002861751,0.001727207,0.9004336,0.08848288,0.00332762,0.0001743502,0.000550441],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003656374,0.0001053148,0.9886725,0.00000205651,0.001324618,0.0004901151,0.000001623514,0.0003357973,0.005411616],"genre_scores_gemma":[0.1806331,0.000002129358,0.81919,0.00002842301,0.00004740799,0.00006816191,4.273551e-7,0.0000193213,0.00001097721],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8996201,"threshold_uncertainty_score":0.9999943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3656074904811601,"score_gpt":0.4137656834194675,"score_spread":0.04815819293830742,"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."}}