arXiv：cs.AI（全量分类）· Avyay Sadhu, Alvaro Velasquez, Lekai Chen·2026-09-30 12:00· 1 天前AI 评分43

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

Neurosymbolic Routing for Reliable Reasoning on Resource-Constrained Edge Devices

AI 导读

研究者提出一种神经符号路由器，用 L* 语法推断算法学习确定性有限自动机（DFA），将结构化查询分派给确定性求解器，仅把开放式应用题留给小语言模型（SLM）。