3 papers
cs.CR2026
Privacy-Preserving AI Verification via Minimal Information Disclosure
Sleem Abdelghafar, Gabriel Kulp
AI verification crosses a trust boundary: a verifier must learn enough to establish an authorized claim, yet the same evidence can reveal sensitive details about the model, workloa…
cs.LG2025
Auditing Information Disclosure During LLM-Scale Gradient Descent Using Gradient Uniqueness
Sleem Abdelghafar, Maryam Aliakbarpour, Chris Jermaine
Disclosing information via the publication of a machine learning model poses significant privacy risks. However, auditing this disclosure across every datapoint during the training…
cs.DC2024
EinDecomp: Decomposition of Declaratively-Specified Machine Learning and Numerical Computations for Parallel Execution
Daniel Bourgeois, Zhimin Ding, Dimitrije Jankov +6
We consider the problem of automatically decomposing operations over tensors or arrays so that they can be executed in parallel on multiple devices. We address two, closely-linked…