PulseAugur
实时 12:02:45
实体 neuro-symbolic constraint solving

neuro-symbolic constraint solving

PulseAugur coverage of neuro-symbolic constraint solving — every cluster mentioning neuro-symbolic constraint solving across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_205911 ·

    神经符号AI使用证明来防止捏造的解决方案

    研究人员开发了一种新的神经符号约束求解方法,提高了语言模型在处理复杂问题时的可靠性。该方法用详细的证明取代了简单的错误消息,具体方法是在生成的程序不正确时提取一个最小不可满足核心。这使得较弱的模型能够显著减少捏造的解决方案,将其从79%降低到7%,而较强的模型则可以实现与符号方法相当的准确性,同时提供可验证的证书并防止虚假解决方案。