Practical Vector Search: NeurIPS 2023 Competition Leaderboardgithub.com/harsha-simhadri2 pointstodsacerdoti2 years ago