certificates

Anthropic已发布13门免费的AI课程，附带证书，涵盖从入门到高级技能的主题，如API使用和模型上下文协议，旨在提供实用的AI教育。

介绍“Training Under Challenge”（挑战下训练），这是一个可执行证书框架，利用架构有效的过程构建替代模型，并估计神经网络检查点的经验全局最优性差距，具有理论保证以及基于 ResNet-18 蒸馏和量化去噪的实验。

This paper presents a certificate-carrying sub-quadratic method for computing bisimulation metrics in Markov decision processes using approximate nearest neighbors, with coverage-augmented guarantees and two-sided bounds. Experiments show improved scaling and accurate metric recovery compared to baselines.

本文引入了统计算法统计有效性的可公开验证证书（pvCSVs）概念，在不交互的情况下实现了学习结果的分布鲁棒性认证。作者为自适应统计查询算法构建了pvCSVs，其样本复杂度随查询次数呈对数增长。

介绍了如何使用分视域DNS、带DNS解析器的VPN以及ACME客户端（如acme.sh配合Let's Encrypt）来为内部服务设置TLS证书，为自签名证书提供了实用的替代方案。

本文讨论了信息窃取型恶意软件窃取身份验证令牌的问题，并探讨了Dirk Balfanz在15年前提出的一项提案：使用自签名客户端证书进行TLS双向认证，从而将令牌绑定到特定设备，即使令牌被窃取也无法重用。

本文提醒Linux发行版注意微软用于安全启动的UEFI CA证书即将到期，介绍了新证书以及在缺少旧证书的较新硬件上可能出现的启动问题。

本文形式化了多模态智能体中的幻觉到动作转换，并提出了携带证据的智能体（ECA），它使用受限验证器仅授权安全的工具调用，在200个任务的流水线上实现了0%的不安全动作率。