Isabelle/HOL 形式化 Rényi 差分隐私
热点事件观察中
Isabelle/HOL 形式化 Rényi 差分隐私
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
研究者 Tetsuya Sato 提出一个 Isabelle/HOL 库，在一般设定下形式化 Rényi 差分隐私（RDP）。该工作先针对连续分布形式化 RDP，并形式化非负凸函数的凸性性质与 f-散度作为技术基础。 在此基础上，该库形式化了 RDP 的基本性质、RDP 到 DP 的转换法则、DP 的矩会计、高斯机制及其 RDP。最后讨论带高斯噪声的随机梯度下降机制，并形式化其 RDP 与 DP 的粗略评估。
AI 根据报道生成 · 1 小时前更新
最新进展10月19日 09:27
Isabelle/HOL 中 Rényi 差分隐私的形式化（草稿版）报道时间线
沿着报道，了解事件的不同侧面。
10月19日
- arXiv 隐私论文Isabelle/HOL 中 Rényi 差分隐私的形式化（草稿版）
研究者提出一个 Isabelle/HOL 库，在一般设定下形式化 Rényi 差分隐私（RDP）。工作先针对连续分布形式化 RDP，并形式化非负凸函数的凸性性质与 f-散度作为技术基础，随后形式化 RDP 基本性质、RDP 到 DP 的转换法则、DP 的矩会计、高斯机制及其 RDP。最后讨论带高斯噪声的随机梯度下降机制，并形式化其 RDP 与 DP 的粗略评估。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。