Nondeterministic Interactive Refutations for Nearest Boolean Vector.
Andrej BogdanovAlon RosenPublished in: ICALP (2023)
Keyphrases
- vector space
- nearest neighbor
- real valued
- information systems
- graphical interface
- finite state
- highly interactive
- feature vectors
- virtual reality
- euclidean distance
- sparse matrix
- artificial intelligence
- information visualization
- theorem prover
- boolean functions
- user friendly
- virtual environment
- user interaction
- hidden markov models
- artificial neural networks
- social networks