index binary vectors for efficient nearest neighbor search
-
Updated
Jun 25, 2022 - C++
#
hamming-space
Here are 3 public repositories matching this topic...
A Provably Sound Closed-Form Error Bound for Reed-Solomon Proximity Testing via Hamming Association Schemes, Delsarte's Duality, and Krawtchouk Polynomials in Lean 4 and Comparator.
security cryptography information-theory polynomials coding-theory comparator fiat-shamir interactive-theorem-proving mathlib zero-knowledge-proofs reed-solomon-codes hyperspherical lean4 hamming-space krawtchouk interactive-oracle-proofs delsarte-linear-programming-duality hamming-association-scheme johnson-radius random-folding-operators
-
Updated
Sep 22, 2026 - Lean
Lean 4 formalization of q-ary covering codes with a proof-carrying database of certified bounds for K_q(n,r)
-
Updated
Sep 21, 2026 - Lean
Add this topic to your repo
To associate your repository with the hamming-space topic, visit your repo's landing page and select "manage topics."