Newest papers

Formalization of Rényi Differential Privacy in Isabelle/HOL (Draft version)

Tetsuya Sato · 2026 · arXiv

DOI: 10.48550/arXiv.2610.25636 · open-access PDF

Japanese

差別プライバシー(DP)は、データベースのプライバシー保証を評価するために設計されたプライバシーのゴールドスタンダード定義です。 Rényi差別プライバシー(RDP)は、機械学習アルゴリズムの厳密な評価を提供するDPの重要なバージョンです。これらの公式は理解しやすいが、実際のデータベースのプライバシーの評価は複雑です。データベースの小さな変更でさえ、プライバシーを破ることができ、DPとRDPの評価自体は複雑です。特に、最近の研究におけるRDPの評価はより難しくなっています。

Machine translation (Meta M2M100); the English original follows.

Abstract

Differential privacy (DP) is a gold-standard definition of privacy designed to evaluate the privacy guarantee of databases. Rényi differential privacy (RDP) is an important variant of DP that gives tight evaluations of machine learning algorithms. These formulations are easy to understand, but evaluating privacy for actual databases is complicated. Even a small change in the database can break its privacy, and evaluations of DP and RDP themselves are complicated. In particular, RDP evaluations in recent studies have become much harder. Therefore, formal verification of them has been studied fo

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.25636, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange