extraction
Daubert-eligibleTier 1Cooper PDE
Cooper et al. · arXiv 2024
Description
Probabilistic discoverable extraction with confidence bounds. Estimates the probability that a target string is recoverable from a model under a budgeted prompt distribution, with formal lower-bound guarantees.
Technical signature
in: (model, target_string, budget) → out: { p_extract_lower, p_extract_upper, probes_used }Adversarial robustness
Formal guarantees hold under decoder modification; budget scaling is the main lever.
Daubert eligibility
Method is peer-reviewed, has published error rates, and is reproducible from the chain-of-custody hash. Eligible for Tier-A admissibility packaging. Ultimate admissibility is the court's determination.