2 papers
cs.AI2025
GenesisGeo: Technical Report
Minfeng Zhu, Zi Wang, Sizhe Ji +8
Recent neuro-symbolic geometry theorem provers have made significant progress on Euclidean problems by coupling neural guidance with symbolic verification. However, most existing s…
cs.LG2025
Scorpio: Serving Right Requests at the Right Time for Heterogeneous SLOs in LLM Inference
Yinghao Tang, Tingfeng Lan, Bo Pan +3
Large Language Model (LLM) serving increasingly underpins online Web services such as conversational agents, Web search, and programming assistants, where requests carry heterogene…