Asynchronous Verified Semantic Caching for Tiered LLM Architectures. - Asmit Kumar Singh; Haozhe Wang 022; Laxmi Naga Santosh Attaluri; Tak Chiam; Weihua Zhu (EuroMLSys@EuroSys, 2026)