T
Tao Dacheng
Исследователь в области машинного обучения
Исследователь, публикующий работы по машинному обучению и оптимизации
ДругоеВлияние технологий машинной помощи на математические исследования
Анализ влияния формальных верификаторов доказательств, больших языковых моделей и онлайн-платформ на будущие практики математических исследований.
8 ответов• 1 просмотр