实体 NatATL

NatATL

PulseAugur coverage of NatATL — every cluster mentioning NatATL across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_95774 · Jun 16 · 14:13

神经符号框架利用LLM增强AI策略综合

研究人员开发了一种新颖的神经符号框架，将大型语言模型（LLM）集成到多智能体系统（MAS）的模型检查过程中。该方法使用LLM作为策略生成预言机，提出候选策略，然后由MAS模型检查器进行形式化验证。使用Qwen3-32B模型的实验表明，这种生成-认证架构在一个包含4211个NatATL实例的新数据集上，在策略综合结果方面达到了92%的准确率。