CertEx：通过认证排除实现大规模精确视觉检索

CertEx 是一种面向 GPU 的精确 kNN 检索方法，基于"认证排除"原理：只需证明被排除向量不可能是邻居，该证明可保守地以低精度校验。CertEx 以半精度存储每个向量的下界投影，并将舍入证书折叠进同一个 tensor-core 点积，仅对少数通过检验的向量计算精确距离，并证明对每个查询都返回精确 kNN。