sampling

本文提出了一种新颖框架，通过整合采样、自动机学习和模型检测，为部分可观察马尔可夫决策过程（POMDPs）合成有限状态控制器。该方法为现有形式化合成工具难以解决的阈值安全问题提供了形式化保证。

本文引入了一种有效性-多样性框架，将大语言模型中的多样性崩溃归因于解码过程中的排序和形状校准偏差，并在 14 种语言模型上进行了验证。

VictoriaMetrics在KubeCon EU 2026上介绍了回溯采样，这一新方法与传统OpenTelemetry尾部采样相比，显著降低了流量、CPU和内存开销。