Text this: Towards Neural Routing with Verified Bounds on Performance