14 7 months ago

A 30B-parameter (Mixture-of-Experts) model specialized for **mathematical problem-solving and proof-writing in natural language**, packaged for Ollama with a 256K context window.

f02dd72bb242 · 59B
{
"stop": [
"<|im_start|>",
"<|im_end|>"
]
}