vAttention: Verified Sparse Attention via Sampling - Desai, Aditya; Agrawal, Kumar; Yang, Shuo; Cuadron Lafuente, Alejandro; Gaspar Schroeder, Luis; Zaharia, Matei; Gonzalez, Joseph E; Stoica, Ion (International Conference on Learning Representations, 2026)