OP-00239 Lean verified Sensitivity-dependent row sampling for ℓₚ embeddings when p exceeds two NA · OpenProblemsInNLA · row sampling · sensitivity sampling · subspace embeddings