arXiv·2026-10-05 21:04· 12 天前AI 评分22DPNL:一种基于 DPLL 的概率神经符号学习算法DPNL: A DPLL-based Algorithm for Probabilistic Neurosymbolic LearningAI 导读针对概率神经符号学习(PNL)中推理需先物化逻辑溯源、易成计算瓶颈的问题,研究者提出 DPNL——一个 oracle 引导的框架,无需在推理前完成完整的溯源物化,而是惰性探索求解空间。来源:arXiv · arxiv.org推理能力论文研究#论文/研究#推理查看事件全部后续