Метка: proof-generation - Каталог нейросетей

Метка: proof-generation

Генерация текста

lm-provers/QED-Nano-SFT

1. Краткое описание модели 2. Как использовать 3. Оценка 4. Обучение 5. Ограничения 6. Лицензия QED-Nano SFT —...