Preprint
Sep 2026
Atlas: Efficient Verifiable Semantic Search
Atlas is the first to demonstrate verifiable graph-based search at scale, proving a query in under a second on the SIFT1M benchmark and in 2.0 seconds at 100 million vectors, while maintaining the recall of plaintext HNSW and revealing nothing about the index beyond the result.
Nikolay Avramov, Hidde Lycklama, Alexander Viand et al.
· 0 citations