TorchLean объединяет выполнение и верификацию нейросетей в единой системе. Математические гарантии для критически важных ИИ.