StepFun-Prover-Preview-32B — это модель доказательства теорем, разработанная командой StepFun. Он может итеративно уточнять эскиз доказательства посредством взаимодействия с Lean4 и достигать точности 70,0 % при Pass@1 в тесте MiniF2F. Примеры расширенного использования можно увидеть на github.
Модальности:
Генерация текста
Области применения:
Диалог / чат
Задача: Генерация текста
Автор: stepfun-ai
Теги: qwen2, chat, conversational, en, text-generation-inference, endpoints_compatible
Лайков: 11 | Загрузок: 89
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
