SciLibMath v2

Текстовая базовая модель эмбеддинга для семантического поиска по Mathlib: формулировка EN/RU, Lean4-код и LaTeX в едином 312-мерном пространстве. Используется в коллекции Qdrant scilib_mathlib_v1.

SciLibMath v2 — текстовая (без изображений) модель эмбеддингов для семантического поиска по корпусу Mathlib. В отличие от мультимодальной SciLibModal, v2 принимает на вход только текстовые модальности (формулировка + Lean + LaTeX) — что делает её легче и быстрее в инференсе.

На внутреннем бенчмарке поиска (10 000 поисковых сценариев) v2 даёт recall@10 = 0.84 против 0.71 у v1.

Доступ — через MCP-tool semantic_search или прямой запрос к Qdrant scilib_mathlib_v1 (для лабораторных групп — по запросу).