Англоязычная версия DistilGPT2, дообученная на математических доказательствах для генерации текстов в соответствующем стиле.

Подходит для: продолжение текста математического доказательства · создание черновиков доказательств · эксперименты с генерацией математических рассуждений