神经符号人工智能 LLM-DailyDigest 2026-08-30 2026-08-30 约 100 字 预计阅读 1 分钟 神经符号人工智能 本主题由提交工具自动创建,可在此补充洞察与资料。 相关消息(按子主题自动聚合) 具身规划 1 神经符号具身智能体:视觉探索与约束规划 08-18 可验证推理 1 SymbolLKG:以逻辑知识图与符号求解器实现可验证推理 08-29 断言生成 1 NeuroAssertion:覆盖驱动的 RTL 断言生成与神经符号精炼 08-20 时序逻辑 1 Time to Reason:基于模糊语义的可扩展 LTLf 神经符号学习 08-18 本体推理 1 Baobab:将 OWL 2 DL 编译为可微电路的神经符号学习 08-19 知识图谱推理 1 SIRLM:结构内化规则语言模型实现可信知识图谱推理 08-19 神经符号人工智能 1 Moose:具备推理捷径感知的 EL++ 潜在概念学习 08-16 符号规划 1 PDDLCoder:智能体式 PDDL 生成辅助符号规划 08-18 论证补全 1 语义链接不确定性下的省略论证补全选择 08-20 语义编译 1 受限语义规划与确定性编译提升企业 Text-to-SQL 可靠性 08-18 隐含前提识别 1 识别隐含前提以逻辑重建论证图 08-20