Improved maximum inner product search with better theoretical guarantees | IEEE Conference Publication | IEEE Xplore