Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification Authors: Aivin V. Solatorio | Published: 2025-09-08 ハルシネーション効率的証明システム監査手法 2025.09.08 文献データベース
How Well Can Differential Privacy Be Audited in One Run? Authors: Amit Keinan, Moshe Shenfeld, Katrina Ligett | Published: 2025-03-10 | Updated: 2025-05-26 プライバシー問題監査手法透かし設計 2025.03.10 文献データベース