研究人员开发了NetNomos，一个旨在将显式网络知识集成到用于网络任务的生成式机器学习模型中的新框架。这种方法解决了当前模型的一些局限性，例如生成违反已知网络规则的输出以及难以控制。NetNomos从数据中学习规则，过滤其语义含义，并结合使用机器学习模型和可满足性模理论（SMT）求解器来强制执行这些规则。 AI
影响 通过强制执行显式逻辑规则，增强了生成式网络机器学习模型在网络基础设施中的可信度和可控性。
排序理由 这是一篇介绍将逻辑集成到用于网络任务的生成式机器学习模型中的新框架的研究论文。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2506.23964v3 Announce Type: replace-cross Abstract: Generative ML models are increasingly popular in networking for tasks such as telemetry imputation, prediction, and synthetic trace generation. Despite their capabilities, they suffer from two shortcomings: \emph{(i)} thei…