Research
Counterfactual Routing Using Integer Programming with Constraint Generation
arXiv:2609.03707v1 Announce Type: new Abstract: We present our submission to the IJCAI 2025 'Counterfactual Routing Competition' (CRC 25). The goal of the competition is to find counterfactual explana
arXiv:2609.03707v1 Announce Type: new Abstract: 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 test instances, our method ranked fourth in solution quality and obtained its solution fastest on every instance, with an average runtime of 9.0 seconds compared to 118.8 seconds for the next-fastest submission.
Related
- WISERouter: LLM Routing with Workload Budget Constraint
- Partial Identification under Causal Orders by Linear Programming
- Play Like Champions: Counterfactual Feedback Generation in Latent Space
- CounterFlow: A Two-Phase Inference-Time Sampling for Counterfactual Video Foley Generation
Source: arXiv cs.AI | 2026-09-04