[2404.08509] Efficient Interactive LLM Serving with Proxy Model-based Sequence Length Prediction