OP-00116 Lean verified Improve the randomized LU squared-error factor to 2^k NA · low-rank approximations · OpenProblemsInNLA · pivoted LU factorizations