神经符号人工智能 LLM-DailyDigest 2026-08-30 2026-08-30 约 100 字 预计阅读 1 分钟 神经符号人工智能 本主题由提交工具自动创建，可在此补充洞察与资料。 相关消息（按子主题自动聚合） 具身规划 2 连接学习式视觉感知与符号信念空间规划 09-16 神经符号具身智能体：视觉探索与约束规划 08-18 协同演化 1 PRAXIS：符号档案驱动的自改进模型学习动力学 10-09 可信推理 2 LogicTrack：用形式逻辑求解器审计大模型推理轨迹 09-21 验证器引导的可解释推理框架：QLoRA、符号路由与群组相对 RLVR 09-07 可验证推理 1 SymbolLKG：以逻辑知识图与符号求解器实现可验证推理 08-29 多智能体系统 1 EPLA：受符号守卫约束的多智能体 LLM 协调模型 09-25 幻觉检测 1 利用 SQL 符号能力实现无监督幻觉检测 09-07 断言生成 1 NeuroAssertion：覆盖驱动的 RTL 断言生成与神经符号精炼 08-20 时序逻辑 1 Time to Reason：基于模糊语义的可扩展 LTLf 神经符号学习 08-18 本体推理 1 Baobab：将 OWL 2 DL 编译为可微电路的神经符号学习 08-19 机制发现 1 OptScientist：自动发现符号优化定律 10-21 模型架构创新 1 DODR：潜空间中的确定性算子驱动推理 09-07 模型评测 1 双向评测揭示：LLM 能生成 MRS，却难以可靠解析 09-26 知识图谱推理 1 SIRLM：结构内化规则语言模型实现可信知识图谱推理 08-19 神经符号人工智能 11 OntoAct：基于本体抽象的假设驱动神经符号智能体 10-18 功能梯度引导语言模型学习概率逻辑程序 10-09 ACR：溯因学习中的候选保留策略 10-01 基于医疗本体与认知映射的免训练临床推理框架 09-30 LieDiscover：自适应符号库驱动的开放形式对称性发现 09-29 面向工业配置的神经符号人工智能 09-25 S4L：交通法规到 Prolog 的四阶段结构化翻译 09-18 符号分离：用知识图谱支撑可信运营数据分析智能体 09-16 基于原子命题图的可解释自然语言推断 09-16 从符号感知到逻辑演绎：语言模型几何推理框架 09-10 Moose：具备推理捷径感知的 EL++ 潜在概念学习 08-16 符号规划 1 PDDLCoder：智能体式 PDDL 生成辅助符号规划 08-18 系统优化 1 JAXtari：高吞吐、易修改的街机学习环境 10-19 缺失前提识别 2 GUARD：论证性实质推理的自动形式化 09-16 识别隐含前提以逻辑重建论证图 08-20 自动形式化 1 自然语言到一阶逻辑的 LLM 自动形式化综述 10-09 论证补全 1 语义链接不确定性下的省略论证补全选择 08-20 语义编译 1 受限语义规划与确定性编译提升企业 Text-to-SQL 可靠性 08-18 连续推理 1 SALR：面向知识库问答的模式锚定潜在推理 09-18 逆合成规划 1 表征对齐成为 LLM 逆合成规划瓶颈 09-30 逻辑推理 1 面向自然语言推理的语义抽象框架 09-23 长期记忆 1 LGM：基于潜在神经符号推理的长期记忆解耦 09-17
