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