(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq.

Nadeem Abdul Hamid

Published in: CoRR (2023)

Keyphrases

tree construction
nearest neighbor
nearest neighbor search
decision trees
search algorithm
search strategy
data points
r tree
reverse nearest neighbor
user queries
k nearest neighbor
information extraction
knn
search space
high dimensional
training data
neural network