vCache: Verified Semantic Prompt Caching - Gaspar Schroeder, Luis; Desai, Aditya; Cuadron Lafuente, Alejandro; Chu, Kyle; Liu, Shu; Zhao, Mark; Krusche, Stephan; Kemper, Alfons; Zaharia, Matei; Gonzalez, Joseph E (International Conference on Learning Representations, 2026)