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

Nadeem Abdul Hamid

Browse the full SAC paper archive.