Ulam-1-Small is a 3.086-billion-parameter mathematical reasoning model developed by Ulam AI. It is a standalone BF16 Transformers model. Built with Qwen. The model lineage includes Qwen2.5-3B, Qwen2.5-Coder-3B, and WeiboAI/VibeThinker-3B. Upstream lineage and modifications are recorded in NOTICE and provenance.json. The release is aimed at exploratory mathematical problem solving and proof-style reasoning. It is not a theorem-certification system: strong claims, counterexamples, and purported proofs require independent expert review. The model was selected for research-oriented use rather than for closed olympiad proof completion. V-SAO checkpoint 177 was stronger on both SIMOBench judging passes, while checkpoint-20 DPO had the highest mean in the 226-item ErdosBench audit and a safer observed tail among self-declared strong claims. This is an objective-dependent product decision, not a claim that DPO checkpoint 20 dominates all mathematical tasks. The checkpoint may emit explicit reasoning delimiters such as …. Applications that expose only a final response should parse or route those spans deliberately rather than assuming they are absent. The 131,072-token architectural…
Модальности:
Генерация текста
Области применения:
Математика Логика и рассуждение Диалог / чат
Задача: Генерация текста
Автор: ulamai
Теги: qwen2, math, reasoning, conversational, text-generation-inference, ulam, en, model-index
Лайков: 4 | Загрузок: 370
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
