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

Arabic

ويعتبر الخصوصية التفاعلية (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