← All papersjournalWhat Regulators Can Verify: A Formal Account of Algorithmic DisclosureSuresh Venkatasubramanian, D. ColleagueJournal of Privacy and Confidentiality, May 1, 2025PublisherPDFResearchGovernance of Automated Decisions