Загрузка…
Ваш выбор конфиденциальности
Обязательное хранение нужно для работы сайта. Аналитика и реклама выключены, пока вы их не разрешите. Политика cookie
| Входы | Веса | Провайдеры | |||
|---|---|---|---|---|---|
| Lean World Model Qwen3 4B Grpoepfl-lara | 32 768 токенов По данным Hugging Face; не подтверждено разработчиком | Текст По данным Hugging Face; не подтверждено разработчиком | 0 | ||
| Lean World Model Qwen3 8B Reasoning Grpoepfl-lara | 32 768 токенов По данным Hugging Face; не подтверждено разработчиком | Текст По данным Hugging Face; не подтверждено разработчиком | 0 | ||
| Lean Standard Prover Qwen3 8B Reasoning Grpoepfl-lara | 32 768 токенов По данным Hugging Face; не подтверждено разработчиком | Текст По данным Hugging Face; не подтверждено разработчиком | 0 | ||
| Lean World Model Qwen3 8B Sftepfl-lara | 32 768 токенов По данным Hugging Face; не подтверждено разработчиком | Текст По данным Hugging Face; не подтверждено разработчиком | 0 | ||
| Lean Standard Prover Qwen3 8B Grpoepfl-lara | Текст По данным Hugging Face; не подтверждено разработчиком | 0 | |||
| Lean World Model Qwen3 8B Grpoepfl-lara | 32 768 токенов По данным Hugging Face; не подтверждено разработчиком | Текст По данным Hugging Face; не подтверждено разработчиком | 0 | ||
| Lean Standard Prover Qwen3 8B Sftepfl-lara | 32 768 токенов По данным Hugging Face; не подтверждено разработчиком | Текст По данным Hugging Face; не подтверждено разработчиком | 0 |