站内内容与 AI 工具一站式检索。
研究者提出神经符号路由器，用L*语法推断学习确定性有限自动机，把结构化推理查询分派给符号求解器，仅将开放性问题交给小模型。在树莓派4B上路由准确率达100%，整体准确率98.3%，远高于基线。