Konstantin Sidorov

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths

People want to rely on optimization algorithms for complex decisions but verifying the optimality of the solutions can then become a valid concern, particularly for critical decisions taken by non-experts in optimization. One example is the shortest-path problem on a network, occurring in many conte…