2 papers
cs.LG2025
Learning Filter-Aware Distance Metrics for Nearest Neighbor Search with Multiple Filters
Ananya Sutradhar, Suryansh Gupta, Ravishankar Krishnaswamy +3
Filtered Approximate Nearest Neighbor (ANN) search retrieves the closest vectors for a query vector from a dataset. It enforces that a specified set of discrete labels for the…
cs.PL2025
Automatically Verifying Replication-aware Linearizability
Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi +1
Data replication is crucial for enabling fault tolerance and uniform low latency in modern decentralized applications. Replicated Data Types (RDTs) have emerged as a principled app…