PulseAugur
实时 10:13:58
实体 Directed Neuro-Symbolic Stochastic Execution

Directed Neuro-Symbolic Stochastic Execution

PulseAugur coverage of Directed Neuro-Symbolic Stochastic Execution — every cluster mentioning Directed Neuro-Symbolic Stochastic Execution 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_193292 ·

    新框架通过LLM指导的测试增强AI程序验证

    研究人员开发了一个名为定向神经符号随机执行(DNSSE)的新框架,以解决分布式并行AI程序的可靠性问题。这种混合测试方法结合了大型语言模型(LLM)指导的调度预测、符号约束求解和随机变异。DNSSE将AI执行建模为非确定性系统,并使用线性时序逻辑指定正确性,证明了其健全性和完备性。在PyTorch和Ray中的实现表明,与现有方法相比,在分布式AI基准测试中提高了错误检测和分支覆盖率。