Cover Image

Efficiently Verifiable Proofs of Data Attribution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Karchmer, Ari, Pawelczyk, Martin, Neel, Seth
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Stronger Computational Separations Between Multimodal and Unimodal Machine Learning
by: Karchmer, Ari
Published: (2024)

In-Context Unlearning: Language Models as Few Shot Unlearners
by: Pawelczyk, Martin, et al.
Published: (2023)

The Power of Random Features and the Limits of Distribution-Free Gradient Descent
by: Karchmer, Ari, et al.
Published: (2025)

Covert Quantum Learning: Privately and Verifiably Learning from Quantum Data
by: Anand, Abhishek, et al.
Published: (2025)

Machine Unlearning Fails to Remove Data Poisoning Attacks
by: Pawelczyk, Martin, et al.
Published: (2024)

Explaining the Model, Protecting Your Data: Revealing and Mitigating the Data Privacy Risks of Post-Hoc Model Explanations via Membership Inference
by: Huang, Catherine, et al.
Published: (2024)

Easy Data Unlearning Bench
by: Rinberg, Roy, et al.
Published: (2026)

PRIMO: Private Regression in Multiple Outcomes
by: Neel, Seth
Published: (2023)

Train Once, Answer All: Many Pretraining Experiments for the Cost of One
by: Bordt, Sebastian, et al.
Published: (2025)

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
by: Somani, Neel
Published: (2026)

Attribute-to-Delete: Machine Unlearning via Datamodel Matching
by: Georgiev, Kristian, et al.
Published: (2024)

Feature Importance Disparities for Data Bias Investigations
by: Chang, Peter W., et al.
Published: (2023)

Towards Non-Adversarial Algorithmic Recourse
by: Leemann, Tobias, et al.
Published: (2024)

I Prefer not to Say: Protecting User Consent in Models with Optional Personal Data
by: Leemann, Tobias, et al.
Published: (2022)

Multi-Agent Systems are Mixtures of Experts: Who Becomes an Influencer?
by: Bause, Franka, et al.
Published: (2026)

ProofSketch: Efficient Verified Reasoning for Large Language Models
by: Sheshanarayana, Disha, et al.
Published: (2025)

Pandora's White-Box: Precise Training Data Detection and Extraction in Large Language Models
by: Wang, Jeffrey G., et al.
Published: (2024)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
by: Patel, Manooshree, et al.
Published: (2026)

Generalizing Trust: Weak-to-Strong Trustworthiness in Language Models
by: Pawelczyk, Martin, et al.
Published: (2024)

PrivEraserVerify: Efficient, Private, and Verifiable Federated Unlearning
by: Goswami, Parthaw, et al.
Published: (2026)

Position: Behavioural Assurance Cannot Verify the Safety Claims Governance Now Demands
by: Seth, Pratinav, et al.
Published: (2026)

Efficient Sketches for Training Data Attribution and Studying the Loss Landscape
by: Schioppa, Andrea
Published: (2024)

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
by: He, Jun, et al.
Published: (2026)

Efficient Ensembles Improve Training Data Attribution
by: Deng, Junwei, et al.
Published: (2024)

Prospector Heads: Generalized Feature Attribution for Large Models & Data
by: Machiraju, Gautam, et al.
Published: (2024)

Do We Need Frontier Models to Verify Mathematical Proofs?
by: Naik, Aaditya, et al.
Published: (2026)

Efficient Verified Machine Unlearning For Distillation
by: Quan, Yijun, et al.
Published: (2025)

Sparse, Efficient and Explainable Data Attribution with DualXDA
by: Yolcu, Galip Ümit, et al.
Published: (2024)

$\texttt{dattri}$: A Library for Efficient Data Attribution
by: Deng, Junwei, et al.
Published: (2024)

Data Cartography for Detecting Memorization Hotspots and Guiding Data Interventions in Generative Models
by: Patel, Laksh, et al.
Published: (2025)

Pinpointing crucial steps: Attribution-based Credit Assignment for Verifiable Reinforcement Learning
by: Yin, Junxi, et al.
Published: (2025)

A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning
by: Peng, Zhizhi, et al.
Published: (2025)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

Neural Scaling Laws Rooted in the Data Distribution
by: Brill, Ari
Published: (2024)

Data Attribution in Adaptive Learning
by: Rege, Amit Kiran
Published: (2026)

Adversarial Attacks on Data Attribution
by: Wang, Xinhe, et al.
Published: (2024)

NANOZK: Layerwise Zero-Knowledge Proofs for Verifiable Large Language Model Inference
by: Wang, Zhaohui Geoffrey
Published: (2026)

Zero-Knowledge Proof-based Verifiable Decentralized Machine Learning in Communication Network: A Comprehensive Survey
by: Xing, Zhibo, et al.
Published: (2023)

Forgetting That Sticks: Quantization-Permanent Unlearning via Circuit Attribution
by: Sadhu, Saisab, et al.
Published: (2026)

RelP: Faithful and Efficient Circuit Discovery in Language Models via Relevance Patching
by: Jafari, Farnoush Rezaei, et al.
Published: (2025)