Qiguang Chen
LightChen2333
AI & ML interests
None yet
Recent Activity
upvoted a paper 9 days ago
OScaR: The Occam's Razor for Extreme KV Cache Quantization in LLMs and Beyond upvoted a paper 11 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving