Last released Jul 22, 2026
Counterfactual reasoning and explanation over symbolic state-transition traces
Supported by