使用 Sentence Transformers 和 Gradio 构建歌单生成器

基于 `sentence-transformers/msmarco-MiniLM-L-6-v3` 模型将歌词按段落分块并生成嵌入向量，通过语义搜索匹配提示词以构建歌单。利用 Gradio Blocks API 封装多步交互应用并托管于 Hugging Face Spaces，实验显示设置 `top_k=20` 时通常能获取至少 9 首不同歌曲。