Login / Signup
Atlas Wang
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Language Model
Probabilistic Model
Formal Methods
Fine Tuned
Top Venues
MLSys
CoRR
</>
Publications
</>
Yunhao Yang
,
Neel P. Bhatt
,
Tyler Ingebrand
,
William Ward
,
Steven Carr
,
Atlas Wang
,
Ufuk Topcu
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
MLSys
(2024)
Zhenyu Zhang
,
Shiwei Liu
,
Runjin Chen
,
Bhavya Kailkhura
,
Beidi Chen
,
Atlas Wang
Q-Hitter: A Better Token Oracle for Efficient LLM Inference via Sparse-Quantized KV Cache.
MLSys
(2024)
Sicong Liu
,
Junzhao Du
,
Kaiming Nan
,
Zimu Zhou
,
Atlas Wang
,
Yingyan Lin
AdaDeep: A Usage-Driven, Automated Deep Model Compression Framework for Enabling Ubiquitous Intelligent Mobiles.
CoRR
(2020)