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