0bebc780bb8e34b198c344a24cf1e092d5de2652		branch 'neurips2024_near_optimality' of https://github.com/NoahAmsel/lanczos-optimality
