Verifiable Graph-Based Approximate Nearest Neighbor Search. - Chenzhao Wang; Jilian Zhang; Xuyang Liu; Kaimin Wei; Bingwen Feng (ADMA (3), 2024)