Overlap Set Similarity Joins with Theoretical Guarantees | Synapse