TY  - RPRT
TI  - (Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq
AU  - Nadeem Abdul Hamid
PY  - 2023
UR  - https://arxiv.org/abs/2311.10965
ID  - 2311.10965
ER  -