机构 · delta-lab-ai

共 1 个 (跨 1 天)

2026-06-05

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