∇ Блог

Блог

Заметки команды SciLib: разборы исследований, описания экспериментов, релизы инструментов и моделей, события лаборатории.

28.04.2026

Зачем мы строим SciLibModal на центроидной геометрии, а не попарной CLIP-схеме.

A. Khalov · Исследования

28.04.2026

Зачем мы строим RDF-граф над Mathlib и почему это начало большого проекта.

O. Ataeva · Исследования

28.04.2026

Разбираем устройство нашего pipeline подбора лемм для целей Lean4.

A. Khalov · Исследования

28.04.2026

Запустили публичную часть лаборатории SciLib.

Команда SciLib · События