Очень благодарен за получение спонсорства математика от команды Harmonic для поддержки моего независимого исследования в области формальных методов/машинного обучения!