Neurosymbolic Routing for Reliable Reasoning on Resource-Constrained Edge Devices
The system routes queries to specialized solvers based on their type (arithmetic, logic, etc.) using a learned router instead of fixed rules. This allows small models to handle open-ended word problems while ensuring structured reasoning tasks are solved exactly and quickly by deterministic symbolic engines on resource-constrained devices.