vAttention: Verified Sparse Attention

Open in new window