SOURCE-LINKED INTELLIGENCE

Counterfactual Routing Using Integer Programming with Constraint Generation

arXiv · AI, language, vision and robotics · article · Sep 3, 2026 · UTC

We present our submission to the IJCAI 2025 'Counterfactual Routing Competition' (CRC 25). The goal of the competition is to find counterfactual explanations for the shortest path problem. This requires deciding what the minimal changes to a road network would make a route chosen by the user the optimal route. This enables explanations such as "Your suggested route would indeed have been optimal, if road X were not a bicycle path." Our solution models the problem as an integer program, iteratively incorporating constraints until an exact solution is found. In the final evaluation on held-out t

Read original source ↗ Open in workspace

recordType

paper

region

Global