# Adalina reproduction logbook

**Paper:** *Adalina: Adaptive Linear Approximation for the Shapley Value and Beyond*

**ORID:** `hMTCuqjCW8`

**Source:** [OpenReview submission hMTCuqjCW8](https://openreview.net/forum?id=hMTCuqjCW8)

## Registered claims

1. [Algorithm 1 query complexity and linear space](claim-1/page.md)
2. [Theorem 3.1 complexity and bounded (D^*)](claim-2/page.md)
3. [Theorem 3.2 paired sampling](claim-3/page.md)
4. [Theorem 4.1 adaptive MSE and SHAP-IQ comparison](claim-4/page.md)
5. [Four-dataset experiment](claim-5/page.md)

Every claim is assigned a decisive verdict from evidence written on its own
claim page. Numbers in the pages come from the scripts and runs packaged in
`code/` and `outputs/`; the pages contain the evidence tables.