AdaDeep: A Usage-Driven, Automated Deep Model Compression Framework for Enabling Ubiquitous Intelligent Mobiles. - Sicong Liu 005; Junzhao Du; Kaiming Nan; Zimu Zhou; Atlas Wang; Yingyan Lin (CoRR, 2020)

Q-Hitter: A Better Token Oracle for Efficient LLM Inference via Sparse-Quantized KV Cache. - Zhenyu Zhang 015; Shiwei Liu 003; Runjin Chen; Bhavya Kailkhura; Beidi Chen; Atlas Wang (MLSys, 2024)

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. - Yunhao Yang; Neel P. Bhatt; Tyler Ingebrand; William Ward; Steven Carr 002; Atlas Wang; Ufuk Topcu (MLSys, 2024)

SAS: Simulated Attention Score. - Chuanyang Zheng; Jiankai Sun; Yihang Gao; Yuehao Wang; Peihao Wang; Jing Xiong; Liliang Ren; Hao Cheng 002; Janardhan Kulkarni; Yelong Shen; Atlas Wang; Mac Schwager; et al. (CoRR, 2025)