← Search

Jinguang Wang

2 accepted papers

2025

QoKV: Comprehending and Surpassing the Hurdles of KV Cache Quantization

ICASSP 2025accepted

Large language models (LLMs) have demonstrated outstanding performance in various tasks. However, the memory footprint of the key-value (KV) cache generated during model inference poses significant challenges for efficient model deployment. This paper presents a detailed analysis of the KV cache and…

Cited by 0SourceScholar
2025

Spy Inside: Scalable Verification of Dependable Transformers for Event Time Series Systems

ICASSP 2025accepted

Event time series appear in many software scenarios and are a necessary data type in data analytics systems. Transformers are the preferred type of sequential neural network for advanced analytics on event time series, particularly due to their significant contributions to the recent surge of large…

Cited by 0SourceScholar