{"id":"W3209486183","doi":"10.4230/lipics.cp.2021.35","title":"Counterfactual Explanations via Inverse Constraint Programming","year":2021,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Explainable Artificial Intelligence (XAI)","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Counterfactual thinking; Constraint programming; Mathematical optimization; Inverse; Computer science; Scheduling (production processes); Constraint (computer-aided design); Integer programming; Knapsack problem; Mathematics; Stochastic programming","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.007278128,0.001527633,0.001087946,0.001864678,0.001003818,0.003242505,0.002330861,0.001800606,0.007073163],"category_scores_gemma":[0.03817822,0.0009180453,0.002323952,0.001851279,0.003157354,0.003275823,0.002956051,0.004757556,0.0005293231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002170536,"about_ca_system_score_gemma":0.002795433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005214033,"about_ca_topic_score_gemma":0.006732839,"domain_scores_codex":[0.9925092,0.004575373,0.0002650833,0.0007690151,0.001574624,0.0003066148],"domain_scores_gemma":[0.9592247,0.0365267,0.001362078,0.001493939,0.001152147,0.0002403667],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001048175,0.0001017221,0.0009385266,0.0002632083,0.0001099293,0.0002682002,0.0003335995,0.6000811,0.0005562362,0.3194095,0.002939865,0.0748932],"study_design_scores_gemma":[0.00002852656,0.00001539041,0.00008413467,0.00004272978,0.00001886471,0.00003297763,0.00003281713,0.7992246,0.0005900087,0.1976519,0.002264196,0.00001386599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00536761,0.0001435229,0.9906812,0.0006088106,0.00002712818,0.0001092298,0.0001138702,0.0003018637,0.002646789],"genre_scores_gemma":[0.2025607,0.0003237486,0.7938949,0.0003461979,0.00008552914,0.000452925,0.0005128772,0.0002136817,0.001609376],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007278128,"threshold_uncertainty_score":0.03849089,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02717998728889445,"score_gpt":0.2727296329007228,"score_spread":0.2455496456118284,"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."}}