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.

62fbfd9ed093 · 182B
{{ if .System }}<|im_start|>system
{{ .System }}<|im_end|>
{{ end }}{{ if .Prompt }}<|im_start|>user
{{ .Prompt }}<|im_end|>
{{ end }}<|im_start|>assistant
{{ .Response }}<|im_end|>