任务类型 · feature-extraction

共 2 个 (跨 2 天)

2026-06-05

Lean Finder (delta-lab-ai) 面向数学证明的语义搜索嵌入模型，用于查找 mathlib 定理

2026-05-18

jina-embeddings-v5-omni-small (Jina) 多模态嵌入模型，支持文本/图像/视频/音频