Imandra предлагает облачную автоматизированную систему обоснования, предназначенную для внедрения строгости и прозрачности в анализе и дизайне сложных алгоритмов. С Imandra пользователи могут преобразовывать входные данные в математическую логику и автоматизировать процессы обоснования, обеспечивая безопасность, справедливость и соответствие алгоритмов. Imandra особенно подходит для высокосопоставленных отраслей, таких как финансы, где надежность алгоритмов является критически важной.

Captum — это расширяемая библиотека, которая предоставляет общие реализации для интерпретируемости моделей в PyTorch. Она направлена на разъяснение сложных моделей машинного обучения, предлагая несколько алгоритмов для анализа и понимания предсказаний моделей. Captum включает в себя разнообразные методы, такие как абляция признаков, интегрированные градиенты и другие, которые помогают исследователям и разработчикам осмысливать и улучшать свои модели.