3 papers
cs.LG2026
RSLM: Training-Free Vector Quantization for Approximate Nearest Neighbor Search
Rastislav Lenhardt, Teodora Dobos, Thomas Vecchiato +2
By introducing RSLM (Rotated Scaled Lloyd-Max), a family of training-free vector quantization codecs compressing embeddings to 1--4 bits per dimension, we reduce memory cost and me…
cs.IR2026
Semantic Recall for Vector Search
Leonardo Kuffo, Ioanna Tsakalidou, Roberta De Viti +3
We introduce Semantic Recall, a novel metric to assess the quality of approximate nearest neighbor search algorithms by considering only semantically relevant objects that are theo…
cs.DS2010
Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers
Rastislav Lenhardt
In the last decade, the power of the state-of-the-art SAT and Integer Programming solvers has dramatically increased. They implement many new techniques and heuristics and since an…