∇ Блог
Заметки команды SciLib: разборы исследований, описания экспериментов, релизы инструментов и моделей, события лаборатории.
FAIR-принципы - это набор рекомендаций, который обеспечивает для данных и знаний, чтобы они были легко находимыми, доступными, совместимыми между системами и пригодными для многократного использования людьми и машинами.
W3C PROV — это международный стандарт, который позволяет описывать происхождение данных и прослеживать, какие объекты, процессы и участники привели к появлению того или иного результата, обеспечивая прозрачность, воспроизводимость и доверие к информации и системам искусственного интеллекта.
Зачем мы строим SciLibModal на центроидной геометрии, а не попарной CLIP-схеме.
Зачем мы строим RDF-граф над Mathlib и почему это начало большого проекта.
Разбираем устройство нашего pipeline подбора лемм для целей Lean4.
Запустили публичную часть лаборатории SciLib.