{"id":"W7109983441","doi":"10.4230/lipics.concur.2025.36","title":"Explainability is a Game for Probabilistic Bisimilarity Distances","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Probabilistic logic; State (computer science); Markov chain; Markov process; Markov decision process; Exponential function; Upper and lower bounds; Sequential game","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.0009542081,0.0004287636,0.0005453001,0.0002123582,0.0004514082,0.0007016363,0.0017436,0.0002526152,0.00001028529],"category_scores_gemma":[0.0003986484,0.0003821446,0.0003404787,0.0005277588,0.0002002297,0.001445562,0.0004401907,0.0003524691,0.00002105028],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000210895,"about_ca_system_score_gemma":0.000302513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001743821,"about_ca_topic_score_gemma":0.00002628314,"domain_scores_codex":[0.9970022,0.00004424854,0.001175286,0.0005400935,0.0003808991,0.0008573011],"domain_scores_gemma":[0.9972038,0.0003749343,0.0003153924,0.001256067,0.000658484,0.0001913195],"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.0004338812,0.001362171,0.005768128,0.006599877,0.0003719622,0.000003593105,0.02090561,0.000576533,0.00005134128,0.8172365,0.03351328,0.1131771],"study_design_scores_gemma":[0.002520209,0.0003468956,0.0006005267,0.0003535186,0.00006251375,0.000009270295,0.0005450421,0.6675074,0.0008824216,0.1954313,0.1309585,0.0007823632],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.021839,0.00008482517,0.9700652,0.002141409,0.0008803722,0.001825535,0.0005090286,0.0003296149,0.002324973],"genre_scores_gemma":[0.9142697,0.00002418514,0.08087686,0.003175423,0.00007716914,0.0007973195,0.0001231005,0.00002299853,0.0006332275],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8924307,"threshold_uncertainty_score":0.999863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02050632036176338,"score_gpt":0.2980518053021301,"score_spread":0.2775454849403667,"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."}}