神经符号路由：在资源受限边缘设备上实现可靠推理

研究者提出一种神经符号路由器，把结构化查询交给确定性求解器、只让 SLM 处理开放式应用题，路由逻辑用 L* 语法推断算法学习 DFA。在 Raspberry Pi 4B 的 100 条未测提示上，其路由准确率 100%、总准确率 98.3%，优于 Program-of-Thought 的 72.0%。